svf-tools 1.0.694 → 1.0.695

package/svf/include/SVFIR/SVFModule.h

@@ -43,6 +43,7 @@ class SVFModule
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<const SVFFunction*> FunctionSetType;

package/svf/include/SVFIR/SVFModuleRW.h

@@ -161,8 +161,8 @@ private:
     SVFType* indexToType(TypeIndex i);
     SVFValue* indexToValue(ValueIndex i);
 
-    void fillSvfTypeAt(size_t i);
-    void fillSvfValueAt(size_t i);
+    void fillSVFTypeAt(size_t i);
+    void fillSVFValueAt(size_t i);
 
     StInfo* readStInfo(cJSON* iter);
     cJSON* readJson(cJSON* iter, SVFType* type);

package/svf/include/SVFIR/SVFStatements.h

@@ -51,6 +51,7 @@ typedef GenericEdge<SVFVar> GenericPAGEdgeTy;
 class SVFStmt : public GenericPAGEdgeTy
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     /// Types of SVFIR statements
@@ -81,6 +82,14 @@ private:
     const SVFBasicBlock* basicBlock; ///< LLVM BasicBlock
     ICFGNode* icfgNode;              ///< ICFGNode
     EdgeID edgeId;                   ///< Edge ID
+
+protected:
+    /// Private constructor for reading SVFIR from file without side-effect
+    SVFStmt(GEdgeFlag k)
+        : GenericPAGEdgeTy({}, {}, k), value{}, basicBlock{}, icfgNode{}
+    {
+    }
+
 public:
     static u32_t totalEdgeNum; ///< Total edge number
 
@@ -222,6 +231,7 @@ private:
 class AssignStmt : public SVFStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     AssignStmt();                      ///< place holder
@@ -235,6 +245,8 @@ private:
 protected:
     /// constructor
     AssignStmt(SVFVar* s, SVFVar* d, GEdgeFlag k) : SVFStmt(s, d, k) {}
+    /// Constructor to create empty AssignStmt (for SVFIRReader/serilization)
+    AssignStmt(GEdgeFlag k) : SVFStmt(k) {}
 
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -295,9 +307,11 @@ public:
 class AddrStmt: public AssignStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    AddrStmt();                      ///< place holder
+    /// Constructs empty AddrStmt (for SVFIRReader/serilization)
+    AddrStmt() : AssignStmt(SVFStmt::Addr) {}
     AddrStmt(const AddrStmt&);       ///< place holder
     void operator=(const AddrStmt&); ///< place holder
 
@@ -330,9 +344,11 @@ public:
 class CopyStmt: public AssignStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    CopyStmt();                      ///< place holder
+    /// Constructs empty CopyStmt (for SVFIRReader/serilization)
+    CopyStmt() : AssignStmt(SVFStmt::Copy) {}
     CopyStmt(const CopyStmt&);       ///< place holder
     void operator=(const CopyStmt&); ///< place holder
 public:
@@ -364,9 +380,11 @@ public:
 class StoreStmt: public AssignStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    StoreStmt();                      ///< place holder
+    /// Constructs empty StoreStmt (for SVFIRReader/serilization)
+    StoreStmt() : AssignStmt(SVFStmt::Store) {}
     StoreStmt(const StoreStmt&);      ///< place holder
     void operator=(const StoreStmt&); ///< place holder
 
@@ -399,9 +417,11 @@ public:
 class LoadStmt: public AssignStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    LoadStmt();                      ///< place holder
+    /// Constructs empty LoadStmt (for SVFIRReader/serilization)
+    LoadStmt(): AssignStmt(SVFStmt::Load) {}
     LoadStmt(const LoadStmt&);       ///< place holder
     void operator=(const LoadStmt&); ///< place holder
 
@@ -434,9 +454,11 @@ public:
 class GepStmt: public AssignStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    GepStmt();                      ///< place holder
+    /// Constructs empty GepStmt (for SVFIRReader/serilization)
+    GepStmt() : AssignStmt(SVFStmt::Gep) {}
     GepStmt(const GepStmt &);  ///< place holder
     void operator=(const GepStmt &); ///< place holder
 
@@ -506,14 +528,18 @@ public:
 class CallPE: public AssignStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    CallPE();                      ///< place holder
     CallPE(const CallPE&);         ///< place holder
     void operator=(const CallPE&); ///< place holder
 
     const CallICFGNode* call;      /// the callsite statement calling from
     const FunEntryICFGNode* entry; /// the function exit statement calling to
+protected:
+    /// Constructs empty CallPE (for SVFIRReader/serilization)
+    CallPE(GEdgeFlag k = SVFStmt::Call) : AssignStmt(k), call{}, entry{} {}
+
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -562,14 +588,19 @@ public:
 class RetPE: public AssignStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    RetPE();                      ///< place holder
     RetPE(const RetPE&);          ///< place holder
     void operator=(const RetPE&); ///< place holder
 
     const CallICFGNode* call;    /// the callsite statement returning to
     const FunExitICFGNode* exit; /// the function exit statement returned from
+
+protected:
+    /// Constructs empty RetPE (for SVFIRReader/serilization)
+    RetPE(GEdgeFlag k = SVFStmt::Ret) : AssignStmt(k), call{}, exit{} {}
+
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -618,6 +649,7 @@ public:
 class MultiOpndStmt : public SVFStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<SVFVar*> OPVars;
@@ -635,6 +667,8 @@ protected:
     OPVars opVars;
     /// Constructor, only used by subclassess but not external users
     MultiOpndStmt(SVFVar* r, const OPVars& opnds, GEdgeFlag k);
+    /// Constructs empty MultiOpndStmt (for SVFIRReader/serilization)
+    MultiOpndStmt(GEdgeFlag k) : SVFStmt(k) {}
 
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -697,12 +731,14 @@ public:
 class PhiStmt: public MultiOpndStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<const ICFGNode*> OpICFGNodeVec;
 
 private:
-    PhiStmt();                      ///< place holder
+    /// Constructs empty PhiStmt (for SVFIRReader/serilization)
+    PhiStmt() : MultiOpndStmt(SVFStmt::Phi) {}
     PhiStmt(const PhiStmt&);        ///< place holder
     void operator=(const PhiStmt&); ///< place holder
 
@@ -763,9 +799,11 @@ public:
 class SelectStmt: public MultiOpndStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    SelectStmt();                      ///< place holder
+    /// Constructs empty SelectStmt (for SVFIRReader/serilization)
+    SelectStmt() : MultiOpndStmt(SVFStmt::Select), condition{} {}
     SelectStmt(const SelectStmt&);     ///< place holder
     void operator=(const SelectStmt&); ///< place holder
 
@@ -816,9 +854,11 @@ public:
 class CmpStmt: public MultiOpndStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    CmpStmt();                      ///< place holder
+    /// Constructs empty CmpStmt (for SVFIRReader/serilization)
+    CmpStmt() : MultiOpndStmt(SVFStmt::Cmp) {}
     CmpStmt(const CmpStmt&);        ///< place holder
     void operator=(const CmpStmt&); ///< place holder
 
@@ -900,9 +940,11 @@ public:
 class BinaryOPStmt: public MultiOpndStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    BinaryOPStmt();                      ///< place holder
+    /// Constructs empty BinaryOPStmt (for SVFIRReader/serilization)
+    BinaryOPStmt() : MultiOpndStmt(SVFStmt::BinaryOp) {}
     BinaryOPStmt(const BinaryOPStmt&);   ///< place holder
     void operator=(const BinaryOPStmt&); ///< place holder
     u32_t opcode;
@@ -968,9 +1010,11 @@ public:
 class UnaryOPStmt: public SVFStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    UnaryOPStmt();                      ///< place holder
+    /// Constructs empty UnaryOPStmt (for SVFIRReader/serilization)
+    UnaryOPStmt() : SVFStmt(SVFStmt::UnaryOp) {}
     UnaryOPStmt(const UnaryOPStmt&);    ///< place holder
     void operator=(const UnaryOPStmt&); ///< place holder
     SVFVar* getSrcNode(); ///< place holder, use getOpVar() instead
@@ -1033,12 +1077,14 @@ public:
 class BranchStmt: public SVFStmt
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<std::pair<const ICFGNode*, s32_t>> SuccAndCondPairVec;
 
 private:
-    BranchStmt();                      ///< place holder
+    /// Constructs empty BranchStmt (for SVFIRReader/serilization)
+    BranchStmt() : SVFStmt(SVFStmt::Branch), cond{}, brInst{} {}
     BranchStmt(const BranchStmt&);     ///< place holder
     void operator=(const BranchStmt&); ///< place holder
     SVFVar* getSrcNode();              ///< place holder, not allowed
@@ -1121,9 +1167,11 @@ public:
 class TDForkPE: public CallPE
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    TDForkPE();                      ///< place holder
+    /// Constructs empty TDForkPE (for SVFIRReader/serilization)
+    TDForkPE() : CallPE(SVFStmt::ThreadFork) {}
     TDForkPE(const TDForkPE&);       ///< place holder
     void operator=(const TDForkPE&); ///< place holder
 
@@ -1160,9 +1208,11 @@ public:
 class TDJoinPE: public RetPE
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
-    TDJoinPE();                      ///< place holder
+    /// Constructs empty TDJoinPE (for SVFIRReader/serilization)
+    TDJoinPE() : RetPE(SVFStmt::ThreadJoin) {}
     TDJoinPE(const TDJoinPE&);       ///< place holder
     void operator=(const TDJoinPE&); ///< place holder
 

package/svf/include/SVFIR/SVFType.h

@@ -133,6 +133,7 @@ class StInfo
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     /// flattened field indices of a struct (ignoring arrays)
@@ -244,6 +245,7 @@ class SVFType
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef s64_t GNodeK;
@@ -330,6 +332,7 @@ class SVFPointerType : public SVFType
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     const SVFType* ptrElementType;
@@ -364,6 +367,7 @@ class SVFFunctionType : public SVFType
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     const SVFType* retTy;

package/svf/include/SVFIR/SVFValue.h

@@ -52,6 +52,7 @@ class SVFLoopAndDomInfo
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 public:
     typedef Set<const SVFBasicBlock*> BBSet;
     typedef std::vector<const SVFBasicBlock*> BBList;
@@ -153,6 +154,7 @@ class SVFValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class LLVMModuleSet;
 
 public:
@@ -269,6 +271,7 @@ class SVFFunction : public SVFValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<const SVFBasicBlock*>::const_iterator const_iterator;
@@ -486,6 +489,7 @@ class SVFBasicBlock : public SVFValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     typedef std::vector<const SVFInstruction*>::const_iterator const_iterator;
@@ -587,6 +591,7 @@ class SVFInstruction : public SVFValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 public:
     typedef std::vector<const SVFInstruction*> InstVec;
 
@@ -655,6 +660,7 @@ class SVFCallInst : public SVFInstruction
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class LLVMModuleSet;
 
 private:
@@ -730,6 +736,7 @@ class SVFVirtualCallInst : public SVFCallInst
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class LLVMModuleSet;
 
 private:
@@ -789,6 +796,7 @@ class SVFConstant : public SVFValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 public:
     SVFConstant(const std::string& _const, const SVFType* ty, SVFValKind k = SVFConst): SVFValue(_const, ty, k)
     {
@@ -812,6 +820,7 @@ class SVFGlobalValue : public SVFConstant
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class LLVMModuleSet;
 
 private:
@@ -851,6 +860,7 @@ class SVFArgument : public SVFValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 private:
     const SVFFunction* fun;
     u32_t argNo;
@@ -891,6 +901,7 @@ class SVFConstantData : public SVFConstant
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 public:
     SVFConstantData(const std::string& _const, const SVFType* ty, SVFValKind k = SVFConstData): SVFConstant(_const, ty, k)
     {
@@ -921,6 +932,7 @@ class SVFConstantInt : public SVFConstantData
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 private:
     u64_t zval;
     s64_t sval;
@@ -956,6 +968,7 @@ class SVFConstantFP : public SVFConstantData
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 private:
     float dval;
 public:
@@ -984,6 +997,7 @@ class SVFConstantNullPtr : public SVFConstantData
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     SVFConstantNullPtr(const std::string& _const, const SVFType* ty): SVFConstantData(_const, ty, SVFValue::SVFNullPtr)
@@ -1006,6 +1020,7 @@ class SVFBlackHoleValue : public SVFConstantData
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     SVFBlackHoleValue(const std::string& _const, const SVFType* ty): SVFConstantData(_const, ty, SVFValue::SVFBlackHole)
@@ -1028,6 +1043,7 @@ class SVFOtherValue : public SVFValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 public:
     SVFOtherValue(const std::string& other, const SVFType* ty, SVFValKind k = SVFValue::SVFOther): SVFValue(other, ty, k)
     {
@@ -1048,6 +1064,7 @@ class SVFMetadataAsValue : public SVFOtherValue
     friend class SVFModuleWrite;
     friend class SVFModuleRead;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 public:
     SVFMetadataAsValue(const std::string& other, const SVFType* ty): SVFOtherValue(other, ty, SVFValue::SVFMetaAsValue)
     {
@@ -1067,9 +1084,14 @@ public:
 
 class CallSite
 {
+    friend class SVFIRReader;
+
 private:
     const SVFCallInst* CB;
 
+    /// Constructs empty CallSite (for SVFIRReader/deserialization)
+    CallSite() : CB{} {}
+
 public:
     CallSite(const SVFInstruction* I) : CB(SVFUtil::dyn_cast<SVFCallInst>(I))
     {

package/svf/include/SVFIR/SVFVariables.h

@@ -45,6 +45,7 @@ typedef GenericNode<SVFVar, SVFStmt> GenericPAGNodeTy;
 class SVFVar : public GenericPAGNodeTy
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class IRGraph;
     friend class SVFIR;
     friend class VFG;
@@ -79,6 +80,9 @@ protected:
     SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap;
     bool isPtr;	/// whether it is a pointer (top-level or address-taken)
 
+    /// Constructor to create an empty object (for deserialization)
+    SVFVar(NodeID i, PNODEK k) : GenericPAGNodeTy(i, k), value{} {}
+
 public:
     /// Constructor
     SVFVar(const SVFValue* val, NodeID i, PNODEK k);
@@ -258,6 +262,11 @@ public:
 class ValVar: public SVFVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
+
+protected:
+    /// Constructor to create an empty ValVar (for SVFIRReader/deserialization)
+    ValVar(NodeID i, PNODEK ty = ValNode) : SVFVar(i, ty) {}
 
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -306,9 +315,12 @@ public:
 class ObjVar: public SVFVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 protected:
     const MemObj* mem;	///< memory object
+    /// Constructor to create an empty ObjVar (for SVFIRReader/deserialization)
+    ObjVar(NodeID i, PNODEK ty = ObjNode) : SVFVar(i, ty), mem{} {}
     /// Constructor
     ObjVar(const SVFValue* val, NodeID i, const MemObj* m, PNODEK ty = ObjNode) :
         SVFVar(val, i, ty), mem(m)
@@ -368,11 +380,15 @@ public:
 class GepValVar: public ValVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     LocationSet ls;	// LocationSet
     const SVFType* gepValType;
 
+    /// Constructor to create empty GeValVar (for SVFIRReader/deserialization)
+    GepValVar(NodeID i) : ValVar(i, GepValNode), gepValType{} {}
+
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -432,11 +448,16 @@ public:
 class GepObjVar: public ObjVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     LocationSet ls;
     NodeID base = 0;
 
+    /// Constructor to create empty GepObjVar (for SVFIRReader/deserialization)
+    //  only for reading from file when we don't have MemObj*
+    GepObjVar(NodeID i, PNODEK ty = GepObjNode) : ObjVar(i, ty) {}
+
 public:
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
@@ -514,6 +535,11 @@ public:
 class FIObjVar: public ObjVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
+
+private:
+    /// Constructor to create empty ObjVar (for SVFIRReader/deserialization)
+    FIObjVar(NodeID i, PNODEK ty = FIObjNode) : ObjVar(i, ty) {}
 
 public:
     ///  Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -560,6 +586,11 @@ public:
 class RetPN: public ValVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
+
+private:
+    /// Constructor to create empty RetPN (for SVFIRReader/deserialization)
+    RetPN(NodeID i) : ValVar(i, RetNode) {}
 
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -599,6 +630,11 @@ public:
 class VarArgPN: public ValVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
+
+private:
+    /// Constructor to create empty VarArgPN (for SVFIRReader/deserialization)
+    VarArgPN(NodeID i) : ValVar(i, VarargNode) {}
 
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -638,6 +674,7 @@ public:
 class DummyValVar: public ValVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:
@@ -677,6 +714,11 @@ public:
 class DummyObjVar: public ObjVar
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
+
+private:
+    /// Constructor to create empty DummyObjVar (for SVFIRReader/deserialization)
+    DummyObjVar(NodeID i) : ObjVar(i, DummyObjNode) {}
 
 public:
     //@{ Methods for support type inquiry through isa, cast, and dyn_cast:

package/svf/include/SVFIR/SymbolTableInfo.h

@@ -48,6 +48,7 @@ class SymbolTableInfo
 {
     friend class SymbolTableBuilder;
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 public:
 
@@ -288,6 +289,19 @@ public:
 
     //@}
 
+    /// Constant reader that won't change the state of the symbol table
+    //@{
+    inline const SVFTypeSet& getSVFTypes() const
+    {
+        return svfTypes;
+    }
+
+    inline const Set<const StInfo*>& getStInfos() const
+    {
+        return stInfos;
+    }
+    //@}
+
     /// Get struct info
     //@{
     ///Get a reference to StructInfo.
@@ -354,7 +368,7 @@ protected:
     SVFTypeSet svfTypes;
 
     /// @brief (owned) All StInfo
-    Set<StInfo*> stInfos;
+    Set<const StInfo*> stInfos;
 };
 
 
@@ -364,6 +378,7 @@ protected:
 class MemObj
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
 
 private:
     /// Type information of this object
@@ -456,6 +471,7 @@ public:
 class ObjTypeInfo
 {
     friend class SVFIRWriter;
+    friend class SVFIRReader;
     friend class SymbolTableBuilder;
 
 public:

package/svf/include/Util/Options.h

@@ -135,6 +135,7 @@ public:
     static const Option<bool> ShowSVFIRValue;
     static const Option<bool> DumpICFG;
     static const Option<std::string> DumpJson;
+    static const Option<bool> ReadJson;
     static const Option<bool> CallGraphDotGraph;
     static const Option<bool> PAGPrint;
     static const Option<u32_t> IndirectCallLimit;