#include <SVFFileSystem.h>

Static Public Member Functions
static SVFIR *	read (const std::string &path)

static void	readJson (const cJSON *obj, bool &flag)

static void	readJson (const cJSON *obj, unsigned &val)

static void	readJson (const cJSON *obj, int &val)

static void	readJson (const cJSON *obj, short &val)

static void	readJson (const cJSON *obj, float &val)

static void	readJson (const cJSON *obj, unsigned long &val)

static void	readJson (const cJSON *obj, long long &val)

static void	readJson (const cJSON *obj, unsigned long long &val)

static void	readJson (const cJSON *obj, std::string &str)

static s64_t	applyEdgeMask (u64_t edgeFlag)

template<typename T >
static void	setEdgeFlag (GenericEdge< T > *edge, typename GenericEdge< T >::GEdgeFlag edgeFlag)

Private Types
using	GNodeK = s32_t

using	GEdgeFlag = GenericEdge< void >::GEdgeFlag

using	GEdgeKind = GenericEdge< void >::GEdgeKind

Private Member Functions
SVFIR *	read (const cJSON *root)

const cJSON *	createObjs (const cJSON *root)

void	readJson (const cJSON obj, NodeIDAllocator idAllocator)

void	readJson (SymbolTableInfo *symTabInfo)

void	readJson (IRGraph *graph)

void	readJson (ICFG *icfg)

void	readJson (CHGraph *graph)

void	readJson (SVFModule *module)

void	readJson (const cJSON obj, SVFType &type)

void	readJson (const cJSON obj, StInfo &stInfo)

void	readJson (const cJSON obj, SVFValue &value)

void	readJson (const cJSON obj, SVFVar &var)

void	readJson (const cJSON obj, SVFStmt &stmt)

void	readJson (const cJSON obj, ICFGNode &node)

void	readJson (const cJSON obj, ICFGEdge &edge)

void	readJson (const cJSON obj, CHNode &node)

void	readJson (const cJSON obj, CHEdge &edge)

void	readJson (const cJSON *obj, AccessPath &ap)

void	readJson (const cJSON obj, SVFLoop &loop)

void	readJson (const cJSON obj, MemObj &memObj)

void	readJson (const cJSON obj, ObjTypeInfo &objTypeInfo)

void	readJson (const cJSON obj, SVFLoopAndDomInfo &ldInfo)

template<unsigned ElementSize>
void	readJson (const cJSON *obj, SparseBitVector< ElementSize > &bv)

template<typename T >
SVFUtil::void_t< KindBaseT< T > >	readJson (const cJSON obj, T &ptr)
	Read a pointer of some child class of SVFType/SVFValue/SVFVar/SVFStmt/ICFGNode/ICFGEdge/CHNode/CHEdge. More...

template<typename T >
void	readJson (const cJSON obj, const T &cptr)
	Read a const pointer. More...

template<typename T1 , typename T2 >
void	readJson (const cJSON *obj, std::pair< T1, T2 > &pair)

template<typename T , size_t N>
void	readJson (const cJSON *obj, T(&array)[N])

template<typename C >
std::enable_if_t< SVFUtil::is_sequence_container_v< C > >	readJson (const cJSON *obj, C &container)

template<typename C >
std::enable_if_t< SVFUtil::is_map_v< C > >	readJson (const cJSON *obj, C &map)

template<typename C >
std::enable_if_t< SVFUtil::is_set_v< C > >	readJson (const cJSON *obj, C &set)

void	virtFill (const cJSON &fieldJson, SVFVar var)

void	fill (const cJSON &fieldJson, SVFVar var)

void	fill (const cJSON &fieldJson, ValVar var)

void	fill (const cJSON &fieldJson, ObjVar var)

void	fill (const cJSON &fieldJson, GepValVar var)

void	fill (const cJSON &fieldJson, GepObjVar var)

void	fill (const cJSON &fieldJson, FIObjVar var)

void	fill (const cJSON &fieldJson, RetPN var)

void	fill (const cJSON &fieldJson, VarArgPN var)

void	fill (const cJSON &fieldJson, DummyValVar var)

void	fill (const cJSON &fieldJson, DummyObjVar var)

void	virtFill (const cJSON &fieldJson, SVFStmt stmt)

void	fill (const cJSON &fieldJson, SVFStmt stmt)

void	fill (const cJSON &fieldJson, AssignStmt stmt)

void	fill (const cJSON &fieldJson, AddrStmt stmt)

void	fill (const cJSON &fieldJson, CopyStmt stmt)

void	fill (const cJSON &fieldJson, StoreStmt stmt)

void	fill (const cJSON &fieldJson, LoadStmt stmt)

void	fill (const cJSON &fieldJson, GepStmt stmt)

void	fill (const cJSON &fieldJson, CallPE stmt)

void	fill (const cJSON &fieldJson, RetPE stmt)

void	fill (const cJSON &fieldJson, MultiOpndStmt stmt)

void	fill (const cJSON &fieldJson, PhiStmt stmt)

void	fill (const cJSON &fieldJson, SelectStmt stmt)

void	fill (const cJSON &fieldJson, CmpStmt stmt)

void	fill (const cJSON &fieldJson, BinaryOPStmt stmt)

void	fill (const cJSON &fieldJson, UnaryOPStmt stmt)

void	fill (const cJSON &fieldJson, BranchStmt stmt)

void	fill (const cJSON &fieldJson, TDForkPE stmt)

void	fill (const cJSON &fieldJson, TDJoinPE stmt)

void	fill (const cJSON &fieldJson, MemObj memObj)

void	fill (const cJSON &fieldJson, StInfo stInfo)

void	virtFill (const cJSON &fieldJson, ICFGNode node)

void	fill (const cJSON &fieldJson, ICFGNode node)

void	fill (const cJSON &fieldJson, GlobalICFGNode node)

void	fill (const cJSON &fieldJson, IntraICFGNode node)

void	fill (const cJSON &fieldJson, InterICFGNode node)

void	fill (const cJSON &fieldJson, FunEntryICFGNode node)

void	fill (const cJSON &fieldJson, FunExitICFGNode node)

void	fill (const cJSON &fieldJson, CallICFGNode node)

void	fill (const cJSON &fieldJson, RetICFGNode node)

void	virtFill (const cJSON &fieldJson, ICFGEdge node)

void	fill (const cJSON &fieldJson, ICFGEdge edge)

void	fill (const cJSON &fieldJson, IntraCFGEdge edge)

void	fill (const cJSON &fieldJson, CallCFGEdge edge)

void	fill (const cJSON &fieldJson, RetCFGEdge edge)

void	fill (const cJSON &fieldJson, SVFLoop loop)

void	virtFill (const cJSON &fieldJson, CHNode node)

void	virtFill (const cJSON &fieldJson, CHEdge edge)

void	virtFill (const cJSON &fieldJson, SVFValue value)

void	fill (const cJSON &fieldJson, SVFValue value)

void	fill (const cJSON &fieldJson, SVFFunction value)

void	fill (const cJSON &fieldJson, SVFBasicBlock value)

void	fill (const cJSON &fieldJson, SVFInstruction value)

void	fill (const cJSON &fieldJson, SVFCallInst value)

void	fill (const cJSON &fieldJson, SVFVirtualCallInst value)

void	fill (const cJSON &fieldJson, SVFConstant value)

void	fill (const cJSON &fieldJson, SVFGlobalValue value)

void	fill (const cJSON &fieldJson, SVFArgument value)

void	fill (const cJSON &fieldJson, SVFConstantData value)

void	fill (const cJSON &fieldJson, SVFConstantInt value)

void	fill (const cJSON &fieldJson, SVFConstantFP value)

void	fill (const cJSON &fieldJson, SVFConstantNullPtr value)

void	fill (const cJSON &fieldJson, SVFBlackHoleValue value)

void	fill (const cJSON &fieldJson, SVFOtherValue value)

void	fill (const cJSON &fieldJson, SVFMetadataAsValue value)

void	virtFill (const cJSON &fieldJson, SVFType type)

void	fill (const cJSON &fieldJson, SVFType type)

void	fill (const cJSON &fieldJson, SVFPointerType type)

void	fill (const cJSON &fieldJson, SVFIntegerType type)

void	fill (const cJSON &fieldJson, SVFFunctionType type)

void	fill (const cJSON &fieldJson, SVFStructType type)

void	fill (const cJSON &fieldJson, SVFArrayType type)

void	fill (const cJSON &fieldJson, SVFOtherType type)

template<typename NodeTy , typename EdgeTy >
void	fill (const cJSON &fieldJson, GenericNode< NodeTy, EdgeTy > node)

template<typename NodeTy >
void	fill (const cJSON &fieldJson, GenericEdge< NodeTy > edge)

Static Private Member Functions
static ICFGNode *	createICFGNode (NodeID id, GNodeK type)

static ICFGEdge *	createICFGEdge (GEdgeKind kind)

static CHNode *	createCHNode (NodeID id, GNodeK kind)

static CHEdge *	createCHEdge (GEdgeKind kind)

static SVFVar *	createPAGNode (NodeID id, GNodeK kind)

static SVFStmt *	createPAGEdge (GEdgeKind kind)

template<typename EdgeCreator >
static auto	createEdgeWithFlag (GEdgeFlag flag, EdgeCreator creator)

Private Attributes
SVFModuleReader	svfModuleReader

SymbolTableInfoReader	symTableReader

ICFGReader	icfgReader

CHGraphReader	chGraphReader

IRGraphReader	irGraphReader

Detailed Description

Definition at line 1032 of file SVFFileSystem.h.

Member Typedef Documentation

◆ GEdgeFlag

using SVF::SVFIRReader::GEdgeFlag = GenericEdge<void>::GEdgeFlag

private

Definition at line 1068 of file SVFFileSystem.h.

◆ GEdgeKind

using SVF::SVFIRReader::GEdgeKind = GenericEdge<void>::GEdgeKind

private

Definition at line 1069 of file SVFFileSystem.h.

◆ GNodeK

using SVF::SVFIRReader::GNodeK = s32_t

private

Definition at line 1067 of file SVFFileSystem.h.

Member Function Documentation

◆ applyEdgeMask()

static s64_t SVF::SVFIRReader::applyEdgeMask ( u64_t edgeFlag )

inlinestatic

Definition at line 1055 of file SVFFileSystem.h.

     {
         return edgeFlag & GenericEdge<void>::EdgeKindMask;
     }

◆ createCHEdge()

CHEdge * SVF::SVFIRReader::createCHEdge ( GEdgeKind kind )

staticprivate

Definition at line 1613 of file SVFFileSystem.cpp.

 {
     ABORT_IFNOT(kind == 0, "Unsupported CHEdge kind " << kind);
     return new CHEdge(nullptr, nullptr, {});
 }

◆ createCHNode()

CHNode * SVF::SVFIRReader::createCHNode	(	NodeID	id,
		GNodeK	kind
	)

staticprivate

Definition at line 1607 of file SVFFileSystem.cpp.

 {
     ABORT_IFNOT(kind == 0, "Impossible CHNode kind " << kind);
     return new CHNode("", id);
 }

◆ createEdgeWithFlag()

template<typename EdgeCreator >

static auto SVF::SVFIRReader::createEdgeWithFlag	(	GEdgeFlag	flag,
		EdgeCreator	creator
	)

inlinestaticprivate

Definition at line 1078 of file SVFFileSystem.h.

     {
         auto kind = SVFIRReader::applyEdgeMask(flag);
         auto edge = creator(kind);
         setEdgeFlag(edge, flag);
         return edge;
     }

◆ createICFGEdge()

ICFGEdge * SVF::SVFIRReader::createICFGEdge ( GEdgeKind kind )

staticprivate

Definition at line 1589 of file SVFFileSystem.cpp.

 {
     constexpr ICFGNode* src = nullptr;
     constexpr ICFGNode* dst = nullptr;
  
     switch (kind)
     {
     default:
         ABORT_MSG(kind << " is an impossible ICFGEdgeKind in create()");
     case ICFGEdge::IntraCF:
         return new IntraCFGEdge(src, dst);
     case ICFGEdge::CallCF:
         return new CallCFGEdge(src, dst);
     case ICFGEdge::RetCF:
         return new RetCFGEdge(src, dst);
     }
 }

◆ createICFGNode()

ICFGNode * SVF::SVFIRReader::createICFGNode	(	NodeID	id,
		GNodeK	type
	)

staticprivate

Definition at line 1570 of file SVFFileSystem.cpp.

 {
     switch (kind)
     {
     default:
         ABORT_MSG(kind << " is an impossible ICFGNodeKind in create()");
 #define CASE(kind, constructor)                                                \
     case ICFGNode::kind:                                                       \
         return new constructor(id);
         CASE(IntraBlock, IntraICFGNode);
         CASE(FunEntryBlock, FunEntryICFGNode);
         CASE(FunExitBlock, FunExitICFGNode);
         CASE(FunCallBlock, CallICFGNode);
         CASE(FunRetBlock, RetICFGNode);
         CASE(GlobalBlock, GlobalICFGNode);
 #undef CASE
     }
 }

◆ createObjs()

const cJSON * SVF::SVFIRReader::createObjs ( const cJSON * root )

private

Definition at line 1384 of file SVFFileSystem.cpp.

 {
 #define READ_CREATE_NODE_FWD(GType)                                            \
     [](const cJSON*& nodeJson) {                                               \
         JSON_DEF_READ_FWD(nodeJson, NodeID, id);                               \
         JSON_DEF_READ_FWD(nodeJson, GNodeK, nodeKind);                         \
         return std::make_pair(id, create##GType##Node(id, nodeKind));          \
     }
 #define READ_CREATE_EDGE_FWD(GType)                                            \
     [](const cJSON*& edgeJson) {                                               \
         JSON_DEF_READ_FWD(edgeJson, GEdgeFlag, edgeFlag);                      \
         auto kind = applyEdgeMask(edgeFlag);                                   \
         auto edge = create##GType##Edge(kind);                                 \
         setEdgeFlag(edge, edgeFlag);                                           \
         return edge;                                                           \
     }
  
     ABORT_IFNOT(jsonIsObject(root), "Root should be an object");
  
     const cJSON* const svfModule = root->child;
     CHECK_JSON_KEY(svfModule);
     svfModuleReader.createObjs(
         svfModule,
         // SVFType Creator
         [](const cJSON*& svfTypeFldJson)
     {
         JSON_DEF_READ_FWD(svfTypeFldJson, SVFType::GNodeK, kind);
         JSON_DEF_READ_FWD(svfTypeFldJson, bool, isSingleValTy);
         return createSVFType(kind, isSingleValTy);
     },
     // SVFType Filler
     [this](const cJSON*& svfVarFldJson, SVFType* type)
     {
         virtFill(svfVarFldJson, type);
     },
     // SVFValue Creator
     [this](const cJSON*& svfValueFldJson)
     {
         JSON_DEF_READ_FWD(svfValueFldJson, SVFValue::GNodeK, kind);
         JSON_DEF_READ_FWD(svfValueFldJson, const SVFType*, type, {});
         JSON_DEF_READ_FWD(svfValueFldJson, std::string, name);
         return createSVFValue(kind, type, std::move(name));
     },
     // SVFValue Filler
     [this](const cJSON*& svfVarFldJson, SVFValue* value)
     {
         virtFill(svfVarFldJson, value);
     },
     // StInfo Creator (no filler needed)
     [this](const cJSON*& stInfoFldJson)
     {
         JSON_DEF_READ_FWD(stInfoFldJson, u32_t, stride);
         auto si = new StInfo(stride);
         fill(stInfoFldJson, si);
         ABORT_IFNOT(!stInfoFldJson, "StInfo has extra field");
         return si;
     });
  
     const cJSON* const symInfo = svfModule->next;
     CHECK_JSON_KEY(symInfo);
     symTableReader.createObjs(
         symInfo,
         // MemObj Creator (no filler needed)
         [this](const cJSON*& memObjFldJson)
     {
         JSON_DEF_READ_FWD(memObjFldJson, SymID, symId);
         JSON_DEF_READ_FWD(memObjFldJson, ObjTypeInfo*, typeInfo, {});
         JSON_DEF_READ_FWD(memObjFldJson, const SVFValue*, refVal, {});
         return std::make_pair(symId, new MemObj(symId, typeInfo, refVal));
     });
  
     const cJSON* const icfg = symInfo->next;
     CHECK_JSON_KEY(icfg);
     icfgReader.createObjs(icfg, READ_CREATE_NODE_FWD(ICFG),
                           READ_CREATE_EDGE_FWD(ICFG),
                           [](auto)
     {
         return new SVFLoop({}, 0);
     });
  
     const cJSON* const chgraph = icfg->next;
     CHECK_JSON_KEY(chgraph);
     chGraphReader.createObjs(chgraph, READ_CREATE_NODE_FWD(CH),
                              READ_CREATE_EDGE_FWD(CH));
  
     const cJSON* const irGraph = chgraph->next;
     CHECK_JSON_KEY(irGraph);
     irGraphReader.createObjs(irGraph, READ_CREATE_NODE_FWD(PAG),
                              READ_CREATE_EDGE_FWD(PAG));
  
     icfgReader.fillObjs(
         [this](const cJSON*& j, ICFGNode* node)
     {
         virtFill(j, node);
     },
     [this](const cJSON*& j, ICFGEdge* edge)
     {
         virtFill(j, edge);
     },
     [this](const cJSON*& j, SVFLoop* loop)
     {
         fill(j, loop);
     });
     chGraphReader.fillObjs(
         [this](const cJSON*& j, CHNode* node)
     {
         virtFill(j, node);
     },
     [this](const cJSON*& j, CHEdge* edge)
     {
         virtFill(j, edge);
     });
     irGraphReader.fillObjs(
         [this](const cJSON*& j, SVFVar* var)
     {
         virtFill(j, var);
     },
     [this](const cJSON*& j, SVFStmt* stmt)
     {
         virtFill(j, stmt);
     });
  
     return irGraph->next;
  
 #undef READ_CREATE_EDGE_FWD
 #undef READ_CREATE_NODE_FWD
 }

◆ createPAGEdge()

SVFStmt * SVF::SVFIRReader::createPAGEdge ( GEdgeKind kind )

staticprivate

Definition at line 1641 of file SVFFileSystem.cpp.

 {
     switch (kind)
     {
     default:
         ABORT_MSG(kind << " is an impossible SVFStmtKind in create()");
 #define CASE(kind, constructor)                                                \
     case SVFStmt::kind:                                                        \
         return new constructor;
         CASE(Addr, AddrStmt);
         CASE(Copy, CopyStmt);
         CASE(Store, StoreStmt);
         CASE(Load, LoadStmt);
         CASE(Call, CallPE);
         CASE(Ret, RetPE);
         CASE(Gep, GepStmt);
         CASE(Phi, PhiStmt);
         CASE(Select, SelectStmt);
         CASE(Cmp, CmpStmt);
         CASE(BinaryOp, BinaryOPStmt);
         CASE(UnaryOp, UnaryOPStmt);
         CASE(Branch, BranchStmt);
         CASE(ThreadFork, TDForkPE);
         CASE(ThreadJoin, TDJoinPE);
 #undef CASE
     }
 }

◆ createPAGNode()

SVFVar * SVF::SVFIRReader::createPAGNode	(	NodeID	id,
		GNodeK	kind
	)

staticprivate

Definition at line 1619 of file SVFFileSystem.cpp.

 {
     switch (kind)
     {
     default:
         ABORT_MSG(kind << " is an impossible SVFVarKind in create()");
 #define CASE(kind, constructor)                                                \
     case SVFVar::kind:                                                         \
         return new constructor(id);
         CASE(ValNode, ValVar);
         CASE(RetNode, RetPN);
         CASE(ObjNode, ObjVar);
         CASE(VarargNode, VarArgPN);
         CASE(GepValNode, GepValVar);
         CASE(GepObjNode, GepObjVar);
         CASE(FIObjNode, FIObjVar);
         CASE(DummyValNode, DummyValVar);
         CASE(DummyObjNode, DummyObjVar);
 #undef CASE
     }
 }

◆ fill() [1/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		AddrStmt *	stmt
	)

private

Definition at line 2028 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<AssignStmt*>(stmt));
 }

◆ fill() [2/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		AssignStmt *	stmt
	)

private

Definition at line 2023 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFStmt*>(stmt));
 }

◆ fill() [3/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		BinaryOPStmt *	stmt
	)

private

Definition at line 2094 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<MultiOpndStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, opcode);
 }

◆ fill() [4/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		BranchStmt *	stmt
	)

private

Definition at line 2106 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, successors);
     JSON_READ_FIELD_FWD(fieldJson, stmt, cond);
     JSON_READ_FIELD_FWD(fieldJson, stmt, brInst);
 }

◆ fill() [5/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		CallCFGEdge *	edge
	)

private

Definition at line 2245 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGEdge*>(edge));
     JSON_READ_FIELD_FWD(fieldJson, edge, callPEs);
 }

◆ fill() [6/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		CallICFGNode *	node
	)

private

Definition at line 2203 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGNode*>(node));
     JSON_READ_FIELD_FWD(fieldJson, node, ret);
     JSON_READ_FIELD_FWD(fieldJson, node, APNodes);
 }

◆ fill() [7/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		CallPE *	stmt
	)

private

Definition at line 2056 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<AssignStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, call);
     JSON_READ_FIELD_FWD(fieldJson, stmt, entry);
 }

◆ fill() [8/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		CmpStmt *	stmt
	)

private

Definition at line 2088 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<MultiOpndStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, predicate);
 }

◆ fill() [9/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		CopyStmt *	stmt
	)

private

Definition at line 2033 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<AssignStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, copyKind);
 }

◆ fill() [10/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		DummyObjVar *	var
	)

private

Definition at line 1977 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ObjVar*>(var));
 }

◆ fill() [11/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		DummyValVar *	var
	)

private

Definition at line 1972 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ValVar*>(var));
 }

◆ fill() [12/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		FIObjVar *	var
	)

private

Definition at line 1957 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ObjVar*>(var));
 }

◆ fill() [13/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		FunEntryICFGNode *	node
	)

private

Definition at line 2191 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGNode*>(node));
     JSON_READ_FIELD_FWD(fieldJson, node, FPNodes);
 }

◆ fill() [14/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		FunExitICFGNode *	node
	)

private

Definition at line 2197 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGNode*>(node));
     JSON_READ_FIELD_FWD(fieldJson, node, formalRet);
 }

◆ fill() [15/68]

template<typename NodeTy >

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		GenericEdge< NodeTy > *	edge
	)

inlineprivate

Definition at line 1323 of file SVFFileSystem.h.

     {
         // edgeFlag has already been read.
         JSON_READ_FIELD_FWD(fieldJson, edge, src);
         JSON_READ_FIELD_FWD(fieldJson, edge, dst);
     }

◆ fill() [16/68]

template<typename NodeTy , typename EdgeTy >

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		GenericNode< NodeTy, EdgeTy > *	node
	)

inlineprivate

Definition at line 1315 of file SVFFileSystem.h.

     {
         // id and nodeKind have already been read.
         JSON_READ_FIELD_FWD(fieldJson, node, InEdges);
         JSON_READ_FIELD_FWD(fieldJson, node, OutEdges);
     }

◆ fill() [17/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		GepObjVar *	var
	)

private

Definition at line 1950 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ObjVar*>(var));
     JSON_READ_FIELD_FWD(fieldJson, var, apOffset);
     JSON_READ_FIELD_FWD(fieldJson, var, base);
 }

◆ fill() [18/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		GepStmt *	stmt
	)

private

Definition at line 2049 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<AssignStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, ap);
     JSON_READ_FIELD_FWD(fieldJson, stmt, variantField);
 }

◆ fill() [19/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		GepValVar *	var
	)

private

Definition at line 1943 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ValVar*>(var));
     JSON_READ_FIELD_FWD(fieldJson, var, ap);
     JSON_READ_FIELD_FWD(fieldJson, var, gepValType);
 }

◆ fill() [20/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		GlobalICFGNode *	node
	)

private

Definition at line 2175 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGNode*>(node));
 }

◆ fill() [21/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		ICFGEdge *	edge
	)

private

Definition at line 2233 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<GenericICFGEdgeTy*>(edge));
 }

◆ fill() [22/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		ICFGNode *	node
	)

private

Definition at line 2166 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<GenericICFGNodeTy*>(node));
     JSON_READ_FIELD_FWD(fieldJson, node, fun);
     JSON_READ_FIELD_FWD(fieldJson, node, bb);
     // Skip VFGNodes as it is empty
     JSON_READ_FIELD_FWD(fieldJson, node, pagEdges);
 }

◆ fill() [23/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		InterICFGNode *	node
	)

private

Definition at line 2186 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGNode*>(node));
 }

◆ fill() [24/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		IntraCFGEdge *	edge
	)

private

Definition at line 2238 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGEdge*>(edge));
     JSON_READ_FIELD_FWD(fieldJson, edge, conditionVar);
     JSON_READ_FIELD_FWD(fieldJson, edge, branchCondVal);
 }

◆ fill() [25/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		IntraICFGNode *	node
	)

private

Definition at line 2180 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGNode*>(node));
     JSON_READ_FIELD_FWD(fieldJson, node, isRet);
 }

◆ fill() [26/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		LoadStmt *	stmt
	)

private

Definition at line 2044 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<AssignStmt*>(stmt));
 }

◆ fill() [27/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		MemObj *	memObj
	)

private

Definition at line 2124 of file SVFFileSystem.cpp.

 {
     // symId has already been read
     JSON_READ_FIELD_FWD(fieldJson, memObj, typeInfo);
     JSON_READ_FIELD_FWD(fieldJson, memObj, refVal);
 }

◆ fill() [28/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		MultiOpndStmt *	stmt
	)

private

Definition at line 2070 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, opVars);
 }

◆ fill() [29/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		ObjVar *	var
	)

private

Definition at line 1937 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFVar*>(var));
     JSON_READ_FIELD_FWD(fieldJson, var, mem);
 }

◆ fill() [30/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		PhiStmt *	stmt
	)

private

Definition at line 2076 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<MultiOpndStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, opICFGNodes);
 }

◆ fill() [31/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		RetCFGEdge *	edge
	)

private

Definition at line 2251 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGEdge*>(edge));
     JSON_READ_FIELD_FWD(fieldJson, edge, retPE);
 }

◆ fill() [32/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		RetICFGNode *	node
	)

private

Definition at line 2210 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ICFGNode*>(node));
     JSON_READ_FIELD_FWD(fieldJson, node, actualRet);
     JSON_READ_FIELD_FWD(fieldJson, node, callBlockNode);
 }

◆ fill() [33/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		RetPE *	stmt
	)

private

Definition at line 2063 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<AssignStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, call);
     JSON_READ_FIELD_FWD(fieldJson, stmt, exit);
 }

◆ fill() [34/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		RetPN *	var
	)

private

Definition at line 1962 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ValVar*>(var));
 }

◆ fill() [35/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SelectStmt *	stmt
	)

private

Definition at line 2082 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<MultiOpndStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, condition);
 }

◆ fill() [36/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		StInfo *	stInfo
	)

private

Definition at line 2131 of file SVFFileSystem.cpp.

 {
 #define F(field) JSON_READ_FIELD_FWD(fieldJson, stInfo, field)
     // stride has already been read upon construction
     F(numOfFlattenElements);
     F(numOfFlattenFields);
     F(fldIdxVec);
     F(elemIdxVec);
     F(fldIdx2TypeMap);
     F(finfo);
     F(flattenElementTypes);
 #undef F
 }

◆ fill() [37/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		StoreStmt *	stmt
	)

private

Definition at line 2039 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<AssignStmt*>(stmt));
 }

◆ fill() [38/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFArgument *	value
	)

private

Definition at line 2395 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFValue*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, fun);
     JSON_READ_FIELD_FWD(fieldJson, value, argNo);
     JSON_READ_FIELD_FWD(fieldJson, value, uncalled);
 }

◆ fill() [39/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFArrayType *	type
	)

private

Definition at line 2494 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFType*>(type));
     JSON_READ_FIELD_FWD(fieldJson, type, numOfElement);
     JSON_READ_FIELD_FWD(fieldJson, type, typeOfElement);
 }

◆ fill() [40/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFBasicBlock *	value
	)

private

Definition at line 2352 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFValue*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, succBBs);
     JSON_READ_FIELD_FWD(fieldJson, value, predBBs);
     JSON_READ_FIELD_FWD(fieldJson, value, fun);
 }

◆ fill() [41/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFBlackHoleValue *	value
	)

private

Definition at line 2426 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFConstantData*>(value));
 }

◆ fill() [42/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFCallInst *	value
	)

private

Definition at line 2368 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFInstruction*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, args);
     JSON_READ_FIELD_FWD(fieldJson, value, varArg);
     JSON_READ_FIELD_FWD(fieldJson, value, calledVal);
 }

◆ fill() [43/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFConstant *	value
	)

private

Definition at line 2384 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFValue*>(value));
 }

◆ fill() [44/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFConstantData *	value
	)

private

Definition at line 2403 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFConstant*>(value));
 }

◆ fill() [45/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFConstantFP *	value
	)

private

Definition at line 2415 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFConstantData*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, dval);
 }

◆ fill() [46/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFConstantInt *	value
	)

private

Definition at line 2408 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFConstantData*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, zval);
     JSON_READ_FIELD_FWD(fieldJson, value, sval);
 }

◆ fill() [47/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFConstantNullPtr *	value
	)

private

Definition at line 2421 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFConstantData*>(value));
 }

◆ fill() [48/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFFunction *	value
	)

private

Definition at line 2334 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFValue*>(value));
 #define F(f) JSON_READ_FIELD_FWD(fieldJson, value, f)
     F(isDecl);
     F(intrinsic);
     F(addrTaken);
     F(isUncalled);
     F(isNotRet);
     F(varArg);
     F(funcType);
     F(loopAndDom);
     F(realDefFun);
     F(allBBs);
     F(allArgs);
 #undef F
 }

◆ fill() [49/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFFunctionType *	type
	)

private

Definition at line 2482 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFType*>(type));
     JSON_READ_FIELD_FWD(fieldJson, type, retTy);
 }

◆ fill() [50/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFGlobalValue *	value
	)

private

Definition at line 2389 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFConstant*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, realDefGlobal);
 }

◆ fill() [51/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFInstruction *	value
	)

private

Definition at line 2360 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFValue*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, bb);
     JSON_READ_FIELD_FWD(fieldJson, value, terminator);
     JSON_READ_FIELD_FWD(fieldJson, value, ret);
 }

◆ fill() [52/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFIntegerType *	type
	)

private

Definition at line 2476 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFType*>(type));
     JSON_READ_FIELD_FWD(fieldJson, type, signAndWidth);
 }

◆ fill() [53/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFLoop *	loop
	)

private

Definition at line 2257 of file SVFFileSystem.cpp.

 {
 #define F(field) JSON_READ_FIELD_FWD(fieldJson, loop, field)
     F(entryICFGEdges);
     F(backICFGEdges);
     F(inICFGEdges);
     F(outICFGEdges);
     F(icfgNodes);
     F(loopBound);
 #undef F
 }

◆ fill() [54/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFMetadataAsValue *	value
	)

private

Definition at line 2436 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFOtherValue*>(value));
 }

◆ fill() [55/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFOtherType *	type
	)

private

Definition at line 2501 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFType*>(type));
     JSON_READ_FIELD_FWD(fieldJson, type, repr);
 }

◆ fill() [56/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFOtherValue *	value
	)

private

Definition at line 2431 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFValue*>(value));
 }

◆ fill() [57/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFPointerType *	type
	)

private

Definition at line 2471 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFType*>(type));
 }

◆ fill() [58/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFStmt *	stmt
	)

private

Definition at line 2014 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<GenericPAGEdgeTy*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, value);
     JSON_READ_FIELD_FWD(fieldJson, stmt, basicBlock);
     JSON_READ_FIELD_FWD(fieldJson, stmt, icfgNode);
     JSON_READ_FIELD_FWD(fieldJson, stmt, edgeId);
 }

◆ fill() [59/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFStructType *	type
	)

private

Definition at line 2488 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFType*>(type));
     JSON_READ_FIELD_FWD(fieldJson, type, name);
 }

◆ fill() [60/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFType *	type
	)

private

Definition at line 2465 of file SVFFileSystem.cpp.

 {
     // kind has already been read
     JSON_READ_FIELD_FWD(fieldJson, type, typeinfo);
 }

◆ fill() [61/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFValue *	value
	)

private

Definition at line 2326 of file SVFFileSystem.cpp.

 {
     // kind, type, name have already been read.
     JSON_READ_FIELD_FWD(fieldJson, value, ptrInUncalledFun);
     JSON_READ_FIELD_FWD(fieldJson, value, constDataOrAggData);
     JSON_READ_FIELD_FWD(fieldJson, value, sourceLoc);
 }

◆ fill() [62/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFVar *	var
	)

private

Definition at line 1923 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<GenericPAGNodeTy*>(var));
     JSON_READ_FIELD_FWD(fieldJson, var, value);
     JSON_READ_FIELD_FWD(fieldJson, var, InEdgeKindToSetMap);
     JSON_READ_FIELD_FWD(fieldJson, var, OutEdgeKindToSetMap);
     JSON_READ_FIELD_FWD(fieldJson, var, isPtr);
 }

◆ fill() [63/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		SVFVirtualCallInst *	value
	)

private

Definition at line 2376 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFCallInst*>(value));
     JSON_READ_FIELD_FWD(fieldJson, value, vCallVtblPtr);
     JSON_READ_FIELD_FWD(fieldJson, value, virtualFunIdx);
     JSON_READ_FIELD_FWD(fieldJson, value, funNameOfVcall);
 }

◆ fill() [64/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		TDForkPE *	stmt
	)

private

Definition at line 2114 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<CallPE*>(stmt));
 }

◆ fill() [65/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		TDJoinPE *	stmt
	)

private

Definition at line 2119 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<RetPE*>(stmt));
 }

◆ fill() [66/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		UnaryOPStmt *	stmt
	)

private

Definition at line 2100 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFStmt*>(stmt));
     JSON_READ_FIELD_FWD(fieldJson, stmt, opcode);
 }

◆ fill() [67/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		ValVar *	var
	)

private

Definition at line 1932 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<SVFVar*>(var));
 }

◆ fill() [68/68]

void SVF::SVFIRReader::fill	(	const cJSON *&	fieldJson,
		VarArgPN *	var
	)

private

Definition at line 1967 of file SVFFileSystem.cpp.

 {
     fill(fieldJson, static_cast<ValVar*>(var));
 }

◆ read() [1/2]

SVFIR * SVF::SVFIRReader::read ( const cJSON * root )

private

Definition at line 1336 of file SVFFileSystem.cpp.

 {
     const cJSON* svfirField = createObjs(root);
  
     SVFIR* svfIR = SVFIR::getPAG(); // SVFIR constructor sets symInfo
     IRGraph* irGraph = svfIR;
  
     auto svfModule = SVFModule::getSVFModule();
     auto icfg = new ICFG();
     auto chgraph = new CHGraph(svfModule);
     auto symInfo = SymbolTableInfo::SymbolInfo();
     symInfo->mod = svfModule;
  
     svfIR->svfModule = svfModule;
     svfIR->icfg = icfg;
     svfIR->chgraph = chgraph;
  
 #define F(field) JSON_READ_FIELD_FWD(svfirField, svfIR, field)
     readJson(symInfo);
     readJson(irGraph);
     readJson(icfg);
     readJson(chgraph);
     readJson(svfModule);
  
     F(icfgNode2SVFStmtsMap);
     F(icfgNode2PTASVFStmtsMap);
     F(GepValObjMap);
     F(typeLocSetsMap);
     F(GepObjVarMap);
     F(memToFieldsMap);
     F(globSVFStmtSet);
     F(phiNodeMap);
     F(funArgsListMap);
     F(callSiteArgsListMap);
     F(callSiteRetMap);
     F(funRetMap);
     F(indCallSiteToFunPtrMap);
     F(funPtrToCallSitesMap);
     F(candidatePointers);
     F(callSiteSet);
 #undef F
     assert(!NodeIDAllocator::allocator && "NodeIDAllocator should be NULL");
     auto nodeIDAllocator = NodeIDAllocator::get();
     JSON_READ_OBJ_FWD(svfirField, nodeIDAllocator);
  
     return svfIR;
 }

◆ read() [2/2]

SVFIR * SVF::SVFIRReader::read ( const std::string & path )

static

Definition at line 2507 of file SVFFileSystem.cpp.

 {
     struct stat buf;
     int fd = open(path.c_str(), O_RDONLY);
     if (fd == -1)
     {
         std::string info = "open(\"" + path + "\")";
         perror(info.c_str());
         abort();
     }
     if (fstat(fd, &buf) == -1)
     {
         std::string info = "fstate(\"" + path + "\")";
         perror(info.c_str());
         abort();
     }
     auto addr =
         (char*)mmap(nullptr, buf.st_size, PROT_READ, MAP_PRIVATE, fd, 0);
     if (addr == MAP_FAILED)
     {
         std::string info = "mmap(content of \"" + path + "\")";
         perror(info.c_str());
         abort();
     }
  
     auto root = cJSON_ParseWithLength(addr, buf.st_size);
  
     if (munmap(addr, buf.st_size) == -1)
         perror("munmap()");
  
     if (close(fd) < 0)
         perror("close()");
  
     SVFIRReader reader;
     SVFIR* ir = reader.read(root);
  
     cJSON_Delete(root);
     return ir;
 }

◆ readJson() [1/37]

void SVF::SVFIRReader::readJson ( CHGraph * graph )

private

Definition at line 1744 of file SVFFileSystem.cpp.

 {
     chGraphReader.saveToGenericGraph(graph);
     const cJSON* obj = chGraphReader.getFieldJson();
 #define F(field) JSON_READ_FIELD_FWD(obj, graph, field)
     F(classNum);
     F(vfID);
     F(classNameToNodeMap);
     F(classNameToDescendantsMap);
     F(classNameToAncestorsMap);
     F(classNameToInstAndDescsMap);
     F(templateNameToInstancesMap);
     F(callNodeToClassesMap);
     F(virtualFunctionToIDMap);
     F(callNodeToCHAVtblsMap);
     F(callNodeToCHAVFnsMap);
 #undef F
 }

◆ readJson() [2/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		AccessPath &	ap
	)

private

Definition at line 1840 of file SVFFileSystem.cpp.

 {
     ABORT_IFNOT(jsonIsObject(obj), "Expected obj for AccessPath");
     obj = obj->child;
     JSON_READ_FIELD_FWD(obj, &ap, fldIdx);
     JSON_READ_FIELD_FWD(obj, &ap, idxOperandPairs);
     ABORT_IFNOT(!obj, "Extra field " << JSON_KEY(obj) << " in AccessPath");
 }

◆ readJson() [3/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		bool &	flag
	)

static

Definition at line 1512 of file SVFFileSystem.cpp.

 {
     ABORT_IFNOT(jsonIsBool(obj, flag), "Expect bool for " << obj->string);
 }

◆ readJson() [4/37]

template<typename C >

std::enable_if_t<SVFUtil::is_sequence_container_v<C> > SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		C &	container
	)

inlineprivate

Definition at line 1185 of file SVFFileSystem.h.

     {
         using T = typename C::value_type;
         assert(container.empty() && "container should be empty");
         ABORT_IFNOT(jsonIsArray(obj), "vector expects an array");
         jsonForEach(elemJson, obj)
         {
             container.push_back(T{});
             readJson(elemJson, container.back());
         }
     }

◆ readJson() [5/37]

template<typename C >

std::enable_if_t<SVFUtil::is_map_v<C> > SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		C &	map
	)

inlineprivate

Definition at line 1199 of file SVFFileSystem.h.

     {
         assert(map.empty() && "map should be empty");
         ABORT_IFNOT(jsonIsMap(obj), "expects an map (represented by array)");
         jsonForEach(elemJson, obj)
         {
             auto jpair = jsonUnpackPair(elemJson);
             typename C::key_type key{};
             readJson(jpair.first, key);
             auto it = map.emplace(std::move(key), typename C::mapped_type{});
             ABORT_IFNOT(it.second, "Duplicated map key");
             readJson(jpair.second, it.first->second);
         }
     }

◆ readJson() [6/37]

template<typename C >

std::enable_if_t<SVFUtil::is_set_v<C> > SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		C &	set
	)

inlineprivate

Definition at line 1215 of file SVFFileSystem.h.

     {
         using T = typename C::value_type;
         assert(set.empty() && "set should be empty");
         ABORT_IFNOT(jsonIsArray(obj), "expects an array");
         jsonForEach(elemJson, obj)
         {
             T elem{};
             readJson(elemJson, elem);
             auto inserted = set.insert(std::move(elem)).second;
             ABORT_IFNOT(inserted, "Duplicated set element");
         }
     }

◆ readJson() [7/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		CHEdge *&	edge
	)

private

Definition at line 1834 of file SVFFileSystem.cpp.

 {
     assert(!edge && "CHEdge already read?");
     edge = chGraphReader.getEdgePtr(jsonGetNumber(obj));
 }

◆ readJson() [8/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		CHNode *&	node
	)

private

Definition at line 1828 of file SVFFileSystem.cpp.

 {
     assert(!node && "CHNode already read?");
     node = chGraphReader.getNodePtr(jsonGetNumber(obj));
 }

◆ readJson() [9/37]

template<typename T >

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		const T *&	cptr
	)

inlineprivate

Read a const pointer.

Definition at line 1153 of file SVFFileSystem.h.

     {
         assert(!cptr && "const pointer should be NULL");
         T* ptr{};
         readJson(obj, ptr);
         cptr = ptr;
     }

◆ readJson() [10/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		float &	val
	)

static

Definition at line 1532 of file SVFFileSystem.cpp.

 {
     readSmallNumber(obj, val);
 }

◆ readJson() [11/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		ICFGEdge *&	edge
	)

private

Definition at line 1822 of file SVFFileSystem.cpp.

 {
     assert(!edge && "ICFGEdge already read?");
     edge = icfgReader.getEdgePtr(jsonGetNumber(obj));
 }

◆ readJson() [12/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		ICFGNode *&	node
	)

private

Definition at line 1815 of file SVFFileSystem.cpp.

 {
     assert(!node && "ICFGNode already read?");
     NodeID id = jsonGetNumber(obj);
     node = icfgReader.getNodePtr(id);
 }

◆ readJson() [13/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		int &	val
	)

static

Definition at line 1522 of file SVFFileSystem.cpp.

 {
     readSmallNumber(obj, val);
 }

◆ readJson() [14/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		long long &	val
	)

static

Definition at line 1546 of file SVFFileSystem.cpp.

 {
     readBigNumber(obj, val,
                   [](const char* s)
     {
         return std::strtoll(s, nullptr, 10);
     });
 }

◆ readJson() [15/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		MemObj *&	memObj
	)

private

Definition at line 1856 of file SVFFileSystem.cpp.

 {
     assert(!memObj && "MemObj already read?");
     memObj = symTableReader.getMemObjPtr(jsonGetNumber(obj));
 }

◆ readJson() [16/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		NodeIDAllocator *	idAllocator
	)

private

Definition at line 1669 of file SVFFileSystem.cpp.

 {
     assert(idAllocator && "idAllocator should be nonempty");
  
     ABORT_IFNOT(jsonIsObject(obj), "Expect object for " << JSON_KEY(obj));
     obj = obj->child;
  
     JSON_DEF_READ_FWD(obj, int, strategy);
     static_assert(sizeof(idAllocator->strategy) == sizeof(strategy),
                   "idAllocator->strategy should be represented by int");
     idAllocator->strategy = static_cast<NodeIDAllocator::Strategy>(strategy);
     JSON_READ_FIELD_FWD(obj, idAllocator, numObjects);
     JSON_READ_FIELD_FWD(obj, idAllocator, numValues);
     JSON_READ_FIELD_FWD(obj, idAllocator, numSymbols);
     JSON_READ_FIELD_FWD(obj, idAllocator, numNodes);
  
     ABORT_IFNOT(!obj, "Extra field " << JSON_KEY(obj) << " in NodeIDAllocator");
 }

◆ readJson() [17/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		ObjTypeInfo *&	objTypeInfo
	)

private

Definition at line 1862 of file SVFFileSystem.cpp.

 {
     assert(!objTypeInfo && "ObjTypeInfo already read?");
     ABORT_IFNOT(jsonIsObject(obj), "Expected object for objTypeInfo");
     cJSON* field = obj->child;
  
     JSON_DEF_READ_FWD(field, SVFType*, type, {});
     JSON_DEF_READ_FWD(field, u32_t, flags);
     JSON_DEF_READ_FWD(field, u32_t, maxOffsetLimit);
     JSON_DEF_READ_FWD(field, u32_t, elemNum);
  
     ABORT_IFNOT(!field, "Extra field in objTypeInfo: " << JSON_KEY(field));
     objTypeInfo = new ObjTypeInfo(type, maxOffsetLimit);
     objTypeInfo->flags = flags;
     objTypeInfo->elemNum = elemNum;
 }

◆ readJson() [18/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		short &	val
	)

static

Definition at line 1527 of file SVFFileSystem.cpp.

 {
     readSmallNumber(obj, val);
 }

◆ readJson() [19/37]

template<unsigned ElementSize>

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		SparseBitVector< ElementSize > &	bv
	)

inlineprivate

Definition at line 1116 of file SVFFileSystem.h.

     {
         ABORT_IFNOT(jsonIsArray(obj), "SparseBitVector should be an array");
         jsonForEach(nObj, obj)
         {
             unsigned n;
             readJson(nObj, n);
             bv.set(n);
         }
     }

◆ readJson() [20/37]

template<typename T1 , typename T2 >

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		std::pair< T1, T2 > &	pair
	)

inlineprivate

Definition at line 1162 of file SVFFileSystem.h.

     {
         auto jpair = jsonUnpackPair(obj);
         readJson(jpair.first, pair.first);
         readJson(jpair.second, pair.second);
     }

◆ readJson() [21/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		std::string &	str
	)

static

Definition at line 1564 of file SVFFileSystem.cpp.

 {
     ABORT_IFNOT(jsonIsString(obj), "Expect string for " << obj->string);
     str = obj->valuestring;
 }

◆ readJson() [22/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		StInfo *&	stInfo
	)

private

Definition at line 1788 of file SVFFileSystem.cpp.

 {
     assert(!stInfo && "StInfo already read?");
     stInfo = svfModuleReader.getStInfoPtr(jsonGetNumber(obj));
 }

◆ readJson() [23/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		SVFLoop *&	loop
	)

private

Definition at line 1849 of file SVFFileSystem.cpp.

 {
     assert(!loop && "SVFLoop already read?");
     unsigned id = jsonGetNumber(obj);
     loop = icfgReader.getSVFLoopPtr(id);
 }

◆ readJson() [24/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		SVFLoopAndDomInfo *&	ldInfo
	)

private

Definition at line 1879 of file SVFFileSystem.cpp.

 {
     assert(!ldInfo && "SVFLoopAndDomInfo already read?");
     ABORT_IFNOT(jsonIsObject(obj), "Expected object for SVFLoopAndDomInfo");
     cJSON* field = obj->child;
  
     ldInfo = new SVFLoopAndDomInfo();
  
     JSON_READ_FIELD_FWD(field, ldInfo, reachableBBs);
     JSON_READ_FIELD_FWD(field, ldInfo, dtBBsMap);
     JSON_READ_FIELD_FWD(field, ldInfo, pdtBBsMap);
     JSON_READ_FIELD_FWD(field, ldInfo, dfBBsMap);
     JSON_READ_FIELD_FWD(field, ldInfo, bb2LoopMap);
     JSON_READ_FIELD_FWD(field, ldInfo, bb2PdomLevel);
     JSON_READ_FIELD_FWD(field, ldInfo, bb2PIdom);
  
     ABORT_IFNOT(!field,
                 "Extra field in SVFLoopAndDomInfo: " << JSON_KEY(field));
 }

◆ readJson() [25/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		SVFStmt *&	stmt
	)

private

Definition at line 1809 of file SVFFileSystem.cpp.

 {
     assert(!stmt && "SVFStmt already read?");
     stmt = irGraphReader.getEdgePtr(jsonGetNumber(obj));
 }

◆ readJson() [26/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		SVFType *&	type
	)

private

Definition at line 1782 of file SVFFileSystem.cpp.

 {
     assert(!type && "SVFType already read?");
     type = svfModuleReader.getSVFTypePtr(jsonGetNumber(obj));
 }

◆ readJson() [27/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		SVFValue *&	value
	)

private

Definition at line 1794 of file SVFFileSystem.cpp.

 {
     assert(!value && "SVFValue already read?");
     value = svfModuleReader.getSVFValuePtr(jsonGetNumber(obj));
 }

◆ readJson() [28/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		SVFVar *&	var
	)

private

Definition at line 1800 of file SVFFileSystem.cpp.

 {
     assert(!var && "SVFVar already read?");
     if (jsonIsNullId(obj))
         var = nullptr;
     else
         var = irGraphReader.getNodePtr(jsonGetNumber(obj));
 }

◆ readJson() [29/37]

template<typename T >

SVFUtil::void_t<KindBaseT<T> > SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		T *&	ptr
	)

inlineprivate

Read a pointer of some child class of SVFType/SVFValue/SVFVar/SVFStmt/ICFGNode/ICFGEdge/CHNode/CHEdge.

Definition at line 1140 of file SVFFileSystem.h.

     {
         // TODO: Can be optimized?
         KindBaseT<T>* basePtr = ptr;
         readJson(obj, basePtr);
         if (!basePtr)
             return; // ptr is nullptr when read
         ptr = SVFUtil::dyn_cast<T>(basePtr);
         ABORT_IFNOT(ptr, "Cast: " << obj->string << " shouldn't have kind "
                     << KindBaseHelper<T>::getKind(ptr));
     }

◆ readJson() [30/37]

template<typename T , size_t N>

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		T(&)	array[N]
	)

inlineprivate

Definition at line 1170 of file SVFFileSystem.h.

     {
         static_assert(N > 0, "array size should be greater than 0");
         ABORT_IFNOT(jsonIsArray(obj), "array expects an array");
         size_t i = 0;
         jsonForEach(elemJson, obj)
         {
             readJson(elemJson, array[i]);
             if (++i >= N)
                 break;
         }
         ABORT_IFNOT(i == N, "expect array of size " << N);
     }

◆ readJson() [31/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		unsigned &	val
	)

static

Definition at line 1517 of file SVFFileSystem.cpp.

 {
     readSmallNumber(obj, val);
 }

◆ readJson() [32/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		unsigned long &	val
	)

static

Definition at line 1537 of file SVFFileSystem.cpp.

 {
     readBigNumber(obj, val,
                   [](const char* s)
     {
         return std::strtoul(s, nullptr, 10);
     });
 }

◆ readJson() [33/37]

void SVF::SVFIRReader::readJson	(	const cJSON *	obj,
		unsigned long long &	val
	)

static

Definition at line 1555 of file SVFFileSystem.cpp.

 {
     readBigNumber(obj, val,
                   [](const char* s)
     {
         return std::strtoull(s, nullptr, 10);
     });
 }

◆ readJson() [34/37]

void SVF::SVFIRReader::readJson ( ICFG * icfg )

private

Definition at line 1731 of file SVFFileSystem.cpp.

 {
     icfgReader.saveToGenericGraph(icfg);
     const cJSON* obj = icfgReader.getFieldJson();
 #define F(field) JSON_READ_FIELD_FWD(obj, icfg, field)
     F(totalICFGNode);
     F(FunToFunEntryNodeMap);
     F(FunToFunExitNodeMap);
     F(globalBlockNode);
     F(icfgNodeToSVFLoopVec);
 #undef F
 }

◆ readJson() [35/37]

void SVF::SVFIRReader::readJson ( IRGraph * graph )

private

Definition at line 1706 of file SVFFileSystem.cpp.

 {
     assert(SymbolTableInfo::symInfo && "SymbolTableInfo should be nonempty");
     assert(graph->symInfo == SymbolTableInfo::SymbolInfo() && "symInfo differ");
  
     auto& valToEdgeMap = graph->valueToEdgeMap;
     valToEdgeMap.clear();
  
     irGraphReader.saveToGenericGraph(graph);
     const cJSON* obj = irGraphReader.getFieldJson();
 #define F(field) JSON_READ_FIELD_FWD(obj, graph, field)
     // base and symInfo have already been read
     F(KindToSVFStmtSetMap);
     F(KindToPTASVFStmtSetMap);
     F(fromFile);
     F(nodeNumAfterPAGBuild);
     F(totalPTAPAGEdge);
     F(valueToEdgeMap);
 #undef F
  
     auto nullit = valToEdgeMap.find(nullptr);
     ABORT_IFNOT(nullit != valToEdgeMap.end(), "valueToEdgeMap should has key NULL");
     ABORT_IFNOT(nullit->second.empty(), "valueToEdgeMap[NULL] should be empty");
 }

◆ readJson() [36/37]

void SVF::SVFIRReader::readJson ( SVFModule * module )

private

Definition at line 1763 of file SVFFileSystem.cpp.

 {
     const cJSON* obj = svfModuleReader.getFieldJson();
     auto symInfo = SymbolTableInfo::symInfo;
     assert(symInfo && "SymbolTableInfo should be non-NULL");
     svfModuleReader.svfTypePool.saveToSet(symInfo->svfTypes);
     svfModuleReader.stInfoPool.saveToSet(symInfo->stInfos);
  
 #define F(field) JSON_READ_FIELD_FWD(obj, module, field)
     F(pagReadFromTxt);
     F(moduleIdentifier);
     F(FunctionSet);
     F(GlobalSet);
     F(AliasSet);
     F(ConstantSet);
     F(OtherValueSet);
 #undef F
 }

◆ readJson() [37/37]

void SVF::SVFIRReader::readJson ( SymbolTableInfo * symTabInfo )

private

Definition at line 1688 of file SVFFileSystem.cpp.

 {
     const cJSON* obj = symTableReader.getFieldJson();
 #define F(field) JSON_READ_FIELD_FWD(obj, symTabInfo, field)
     // `allMemObj` was consumed during create & fill phase.
     F(valSymMap);
     F(objSymMap);
     F(returnSymMap);
     F(varargSymMap);
     symTableReader.memObjMap.saveToIDToObjMap(symTabInfo->objMap); // objMap
     F(modelConstants);
     F(totalSymNum);
     F(maxStruct);
     F(maxStSize);
 #undef F
     ABORT_IFNOT(!obj, "Extra field " << JSON_KEY(obj) << " in SymbolTableInfo");
 }

◆ setEdgeFlag()

template<typename T >

static void SVF::SVFIRReader::setEdgeFlag	(	GenericEdge< T > *	edge,
		typename GenericEdge< T >::GEdgeFlag	edgeFlag
	)

inlinestatic

Definition at line 1060 of file SVFFileSystem.h.

     {
         edge->edgeFlag = edgeFlag;
     }

◆ virtFill() [1/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		CHEdge *	edge
	)

private

Definition at line 2279 of file SVFFileSystem.cpp.

 {
     assert(edge->getEdgeKind() == 0 && "Unknown CHEdge kind");
     fill(fieldJson, static_cast<GenericCHEdgeTy*>(edge));
     // edgeType is a enum
     JSON_DEF_READ_FWD(fieldJson, unsigned, edgeType);
     if (edgeType == CHEdge::INHERITANCE)
         edge->edgeType = CHEdge::INHERITANCE;
     else if (edgeType == CHEdge::INSTANTCE)
         edge->edgeType = CHEdge::INSTANTCE;
     else
         ABORT_MSG("Unknown CHEdge type " << edgeType);
 }

◆ virtFill() [2/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		CHNode *	node
	)

private

Definition at line 2269 of file SVFFileSystem.cpp.

 {
     assert(node->getNodeKind() == 0 && "Unknown CHNode kind");
     fill(fieldJson, static_cast<GenericCHNodeTy*>(node));
     JSON_READ_FIELD_FWD(fieldJson, node, vtable);
     JSON_READ_FIELD_FWD(fieldJson, node, className);
     JSON_READ_FIELD_FWD(fieldJson, node, flags);
     JSON_READ_FIELD_FWD(fieldJson, node, virtualFunctionVectors);
 }

◆ virtFill() [3/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		ICFGEdge *	node
	)

private

Definition at line 2217 of file SVFFileSystem.cpp.

 {
     auto kind = edge->getEdgeKind();
     switch (kind)
     {
     default:
         ABORT_MSG("Unknown ICFGEdge kind " << kind);
     case ICFGEdge::IntraCF:
         return fill(fieldJson, static_cast<IntraCFGEdge*>(edge));
     case ICFGEdge::CallCF:
         return fill(fieldJson, static_cast<CallCFGEdge*>(edge));
     case ICFGEdge::RetCF:
         return fill(fieldJson, static_cast<RetCFGEdge*>(edge));
     }
 }

◆ virtFill() [4/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		ICFGNode *	node
	)

private

Definition at line 2145 of file SVFFileSystem.cpp.

 {
     switch (node->getNodeKind())
     {
     default:
         ABORT_MSG("Unknown ICFGNode kind " << node->getNodeKind());
  
 #define CASE(NodeKind, NodeType)                                               \
     case ICFGNode::NodeKind:                                                   \
         return fill(fieldJson, static_cast<NodeType*>(node))
  
         CASE(IntraBlock, IntraICFGNode);
         CASE(FunEntryBlock, FunEntryICFGNode);
         CASE(FunExitBlock, FunExitICFGNode);
         CASE(FunCallBlock, CallICFGNode);
         CASE(FunRetBlock, RetICFGNode);
         CASE(GlobalBlock, GlobalICFGNode);
 #undef CASE
     }
 }

◆ virtFill() [5/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		SVFStmt *	stmt
	)

private

Definition at line 1982 of file SVFFileSystem.cpp.

 {
     auto kind = stmt->getEdgeKind();
  
     switch (kind)
     {
     default:
         ABORT_MSG("Unknown SVFStmt kind " << kind);
  
 #define CASE(EdgeKind, EdgeType)                                               \
     case SVFStmt::EdgeKind:                                                    \
         return fill(fieldJson, static_cast<EdgeType*>(stmt))
  
         CASE(Addr, AddrStmt);
         CASE(Copy, CopyStmt);
         CASE(Store, StoreStmt);
         CASE(Load, LoadStmt);
         CASE(Call, CallPE);
         CASE(Ret, RetPE);
         CASE(Gep, GepStmt);
         CASE(Phi, PhiStmt);
         CASE(Select, SelectStmt);
         CASE(Cmp, CmpStmt);
         CASE(BinaryOp, BinaryOPStmt);
         CASE(UnaryOp, UnaryOPStmt);
         CASE(Branch, BranchStmt);
         CASE(ThreadFork, TDForkPE);
         CASE(ThreadJoin, TDJoinPE);
 #undef CASE
     }
 }

◆ virtFill() [6/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		SVFType *	type
	)

private

Definition at line 2441 of file SVFFileSystem.cpp.

 {
     auto kind = type->getKind();
  
     switch (kind)
     {
     default:
         assert(false && "Impossible SVFType kind");
  
 #define CASE(Kind)                                                             \
     case SVFType::Kind:                                                        \
         return fill(fieldJson, SVFUtil::dyn_cast<Kind##pe>(type))
  
         CASE(SVFTy);
         CASE(SVFPointerTy);
         CASE(SVFIntegerTy);
         CASE(SVFFunctionTy);
         CASE(SVFStructTy);
         CASE(SVFArrayTy);
         CASE(SVFOtherTy);
 #undef CASE
     }
 }

◆ virtFill() [7/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		SVFValue *	value
	)

private

Definition at line 2293 of file SVFFileSystem.cpp.

 {
     auto kind = value->getKind();
  
     switch (kind)
     {
     default:
         ABORT_MSG("Impossible SVFValue kind " << kind);
  
 #define CASE(ValueKind, Type)                                                  \
     case SVFValue::ValueKind:                                                  \
         return fill(fieldJson, static_cast<Type*>(value))
  
         CASE(SVFVal, SVFValue);
         CASE(SVFFunc, SVFFunction);
         CASE(SVFBB, SVFBasicBlock);
         CASE(SVFInst, SVFInstruction);
         CASE(SVFCall, SVFCallInst);
         CASE(SVFVCall, SVFVirtualCallInst);
         CASE(SVFGlob, SVFGlobalValue);
         CASE(SVFArg, SVFArgument);
         CASE(SVFConst, SVFConstant);
         CASE(SVFConstData, SVFConstantData);
         CASE(SVFConstInt, SVFConstantInt);
         CASE(SVFConstFP, SVFConstantFP);
         CASE(SVFNullPtr, SVFConstantNullPtr);
         CASE(SVFBlackHole, SVFBlackHoleValue);
         CASE(SVFMetaAsValue, SVFMetadataAsValue);
         CASE(SVFOther, SVFOtherValue);
 #undef CASE
     }
 }

◆ virtFill() [8/8]

void SVF::SVFIRReader::virtFill	(	const cJSON *&	fieldJson,
		SVFVar *	var
	)

private

Definition at line 1899 of file SVFFileSystem.cpp.

 {
     switch (var->getNodeKind())
     {
     default:
         assert(false && "Unknown SVFVar kind");
  
 #define CASE(VarKind, VarType)                                                 \
     case SVFVar::VarKind:                                                      \
         return fill(fieldJson, static_cast<VarType*>(var))
  
         CASE(ValNode, ValVar);
         CASE(ObjNode, ObjVar);
         CASE(RetNode, RetPN);
         CASE(VarargNode, VarArgPN);
         CASE(GepValNode, GepValVar);
         CASE(GepObjNode, GepObjVar);
         CASE(FIObjNode, FIObjVar);
         CASE(DummyValNode, DummyValVar);
         CASE(DummyObjNode, DummyObjVar);
 #undef CASE
     }
 }

Member Data Documentation

◆ chGraphReader

CHGraphReader SVF::SVFIRReader::chGraphReader

private

Definition at line 1038 of file SVFFileSystem.h.

◆ icfgReader

ICFGReader SVF::SVFIRReader::icfgReader

private

Definition at line 1037 of file SVFFileSystem.h.

◆ irGraphReader

IRGraphReader SVF::SVFIRReader::irGraphReader

private

Definition at line 1039 of file SVFFileSystem.h.

◆ svfModuleReader

SVFModuleReader SVF::SVFIRReader::svfModuleReader

private

Definition at line 1035 of file SVFFileSystem.h.

◆ symTableReader

SymbolTableInfoReader SVF::SVFIRReader::symTableReader

private

Definition at line 1036 of file SVFFileSystem.h.

The documentation for this class was generated from the following files:

/home/runner/work/SVF/SVF/svf/include/SVFIR/SVFFileSystem.h
/home/runner/work/SVF/SVF/svf/lib/SVFIR/SVFFileSystem.cpp

Static Public Member Functions

Private Types

Private Member Functions

Static Private Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ GEdgeFlag

◆ GEdgeKind

◆ GNodeK

Member Function Documentation

◆ applyEdgeMask()

◆ createCHEdge()

◆ createCHNode()

◆ createEdgeWithFlag()

◆ createICFGEdge()

◆ createICFGNode()

◆ createObjs()

◆ createPAGEdge()

◆ createPAGNode()

◆ fill() [1/68]

◆ fill() [2/68]

◆ fill() [3/68]

◆ fill() [4/68]

◆ fill() [5/68]

◆ fill() [6/68]

◆ fill() [7/68]

◆ fill() [8/68]

◆ fill() [9/68]

◆ fill() [10/68]

◆ fill() [11/68]

◆ fill() [12/68]

◆ fill() [13/68]

◆ fill() [14/68]

◆ fill() [15/68]

◆ fill() [16/68]

◆ fill() [17/68]

◆ fill() [18/68]

◆ fill() [19/68]

◆ fill() [20/68]

◆ fill() [21/68]

◆ fill() [22/68]

◆ fill() [23/68]

◆ fill() [24/68]

◆ fill() [25/68]

◆ fill() [26/68]

◆ fill() [27/68]

◆ fill() [28/68]

◆ fill() [29/68]

◆ fill() [30/68]

◆ fill() [31/68]

◆ fill() [32/68]

◆ fill() [33/68]

◆ fill() [34/68]

◆ fill() [35/68]

◆ fill() [36/68]

◆ fill() [37/68]

◆ fill() [38/68]

◆ fill() [39/68]

◆ fill() [40/68]

◆ fill() [41/68]

◆ fill() [42/68]

◆ fill() [43/68]

◆ fill() [44/68]

◆ fill() [45/68]

◆ fill() [46/68]

◆ fill() [47/68]

◆ fill() [48/68]

◆ fill() [49/68]

◆ fill() [50/68]

◆ fill() [51/68]

◆ fill() [52/68]

◆ fill() [53/68]

◆ fill() [54/68]

◆ fill() [55/68]

◆ fill() [56/68]

◆ fill() [57/68]

◆ fill() [58/68]

◆ fill() [59/68]

◆ fill() [60/68]