#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, 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.

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

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, BaseObjVar 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, 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, 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 1020 of file SVFFileSystem.h.

Member Typedef Documentation

◆ GEdgeFlag

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

private

Definition at line 1056 of file SVFFileSystem.h.

◆ GEdgeKind

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

private

Definition at line 1057 of file SVFFileSystem.h.

◆ GNodeK

using SVF::SVFIRReader::GNodeK = s32_t

private

Definition at line 1055 of file SVFFileSystem.h.

Member Function Documentation

◆ applyEdgeMask()

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

inlinestatic

Definition at line 1043 of file SVFFileSystem.h.

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

◆ createCHEdge()

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

staticprivate

Definition at line 1429 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 1423 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 1066 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 1405 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 1386 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 1323 of file SVFFileSystem.cpp.

{
    return nullptr;
}

◆ createPAGEdge()

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

staticprivate

Definition at line 1457 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 1435 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(BaseObjNode, BaseObjVar);
        CASE(DummyValNode, DummyValVar);
        CASE(DummyObjNode, DummyObjVar);
#undef CASE
    }
}

◆ fill() [1/66]

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

private

Definition at line 1837 of file SVFFileSystem.cpp.

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

◆ fill() [2/66]

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

private

Definition at line 1832 of file SVFFileSystem.cpp.

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

◆ fill() [3/66]

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

private

Definition at line 1766 of file SVFFileSystem.cpp.

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

◆ fill() [4/66]

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

private

Definition at line 1903 of file SVFFileSystem.cpp.

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

◆ fill() [5/66]

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

private

Definition at line 1915 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() [6/66]

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

private

Definition at line 2047 of file SVFFileSystem.cpp.

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

◆ fill() [7/66]

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

private

Definition at line 2005 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() [8/66]

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

private

Definition at line 1865 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() [9/66]

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

private

Definition at line 1897 of file SVFFileSystem.cpp.

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

◆ fill() [10/66]

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

private

Definition at line 1842 of file SVFFileSystem.cpp.

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

◆ fill() [11/66]

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

private

Definition at line 1786 of file SVFFileSystem.cpp.

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

◆ fill() [12/66]

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

private

Definition at line 1781 of file SVFFileSystem.cpp.

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

◆ fill() [13/66]

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

private

Definition at line 1993 of file SVFFileSystem.cpp.

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

◆ fill() [14/66]

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

private

Definition at line 1999 of file SVFFileSystem.cpp.

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

◆ fill() [15/66]

template<typename NodeTy >

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

inlineprivate

Definition at line 1308 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/66]

template<typename NodeTy , typename EdgeTy >

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

inlineprivate

Definition at line 1300 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/66]

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

private

Definition at line 1759 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/66]

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

private

Definition at line 1858 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/66]

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

private

Definition at line 1752 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/66]

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

private

Definition at line 1977 of file SVFFileSystem.cpp.

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

◆ fill() [21/66]

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

private

Definition at line 2035 of file SVFFileSystem.cpp.

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

◆ fill() [22/66]

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

private

Definition at line 1968 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/66]

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

private

Definition at line 1988 of file SVFFileSystem.cpp.

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

◆ fill() [24/66]

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

private

Definition at line 2040 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/66]

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

private

Definition at line 1982 of file SVFFileSystem.cpp.

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

◆ fill() [26/66]

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

private

Definition at line 1853 of file SVFFileSystem.cpp.

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

◆ fill() [27/66]

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

private

Definition at line 1879 of file SVFFileSystem.cpp.

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

◆ fill() [28/66]

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

private

Definition at line 1747 of file SVFFileSystem.cpp.

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

◆ fill() [29/66]

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

private

Definition at line 1885 of file SVFFileSystem.cpp.

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

◆ fill() [30/66]

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

private

Definition at line 2053 of file SVFFileSystem.cpp.

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

◆ fill() [31/66]

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

private

Definition at line 2012 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() [32/66]

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

private

Definition at line 1872 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() [33/66]

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

private

Definition at line 1771 of file SVFFileSystem.cpp.

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

◆ fill() [34/66]

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

private

Definition at line 1891 of file SVFFileSystem.cpp.

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

◆ fill() [35/66]

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

private

Definition at line 1933 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() [36/66]

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

private

Definition at line 1848 of file SVFFileSystem.cpp.

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

◆ fill() [37/66]

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

private

Definition at line 2188 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() [38/66]

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

private

Definition at line 2287 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() [39/66]

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

private

Definition at line 2153 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() [40/66]

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

private

Definition at line 2219 of file SVFFileSystem.cpp.

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

◆ fill() [41/66]

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

private

Definition at line 2169 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() [42/66]

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

private

Definition at line 2177 of file SVFFileSystem.cpp.

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

◆ fill() [43/66]

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

private

Definition at line 2196 of file SVFFileSystem.cpp.

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

◆ fill() [44/66]

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

private

Definition at line 2208 of file SVFFileSystem.cpp.

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

◆ fill() [45/66]

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

private

Definition at line 2201 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() [46/66]

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

private

Definition at line 2214 of file SVFFileSystem.cpp.

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

◆ fill() [47/66]

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

private

Definition at line 2135 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() [48/66]

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

private

Definition at line 2275 of file SVFFileSystem.cpp.

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

◆ fill() [49/66]

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

private

Definition at line 2182 of file SVFFileSystem.cpp.

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

◆ fill() [50/66]

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

private

Definition at line 2161 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() [51/66]

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

private

Definition at line 2269 of file SVFFileSystem.cpp.

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

◆ fill() [52/66]

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

private

Definition at line 2059 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() [53/66]

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

private

Definition at line 2229 of file SVFFileSystem.cpp.

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

◆ fill() [54/66]

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

private

Definition at line 2294 of file SVFFileSystem.cpp.

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

◆ fill() [55/66]

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

private

Definition at line 2224 of file SVFFileSystem.cpp.

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

◆ fill() [56/66]

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

private

Definition at line 2264 of file SVFFileSystem.cpp.

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

◆ fill() [57/66]

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

private

Definition at line 1823 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() [58/66]

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

private

Definition at line 2281 of file SVFFileSystem.cpp.

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

◆ fill() [59/66]

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

private

Definition at line 2258 of file SVFFileSystem.cpp.

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

◆ fill() [60/66]

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

private

Definition at line 2127 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() [61/66]

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

private

Definition at line 1733 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() [62/66]

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

private

Definition at line 1923 of file SVFFileSystem.cpp.

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

◆ fill() [63/66]

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

private

Definition at line 1928 of file SVFFileSystem.cpp.

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

◆ fill() [64/66]

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

private

Definition at line 1909 of file SVFFileSystem.cpp.

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

◆ fill() [65/66]

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

private

Definition at line 1742 of file SVFFileSystem.cpp.

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

◆ fill() [66/66]

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

private

Definition at line 1776 of file SVFFileSystem.cpp.

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

◆ read() [1/2]

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

private

Definition at line 1275 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 2300 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/36]

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

private

Definition at line 1559 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/36]

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

private

Definition at line 1655 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/36]

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

static

Definition at line 1328 of file SVFFileSystem.cpp.

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

◆ readJson() [4/36]

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 1172 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/36]

template<typename C >

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

inlineprivate

Definition at line 1186 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/36]

template<typename C >

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

inlineprivate

Definition at line 1202 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/36]

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

private

Definition at line 1649 of file SVFFileSystem.cpp.

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

◆ readJson() [8/36]

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

private

Definition at line 1643 of file SVFFileSystem.cpp.

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

◆ readJson() [9/36]

template<typename T >

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

inlineprivate

Read a const pointer.

Definition at line 1140 of file SVFFileSystem.h.

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

◆ readJson() [10/36]

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

static

Definition at line 1348 of file SVFFileSystem.cpp.

{
    readSmallNumber(obj, val);
}

◆ readJson() [11/36]

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

private

Definition at line 1637 of file SVFFileSystem.cpp.

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

◆ readJson() [12/36]

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

private

Definition at line 1630 of file SVFFileSystem.cpp.

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

◆ readJson() [13/36]

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

static

Definition at line 1338 of file SVFFileSystem.cpp.

{
    readSmallNumber(obj, val);
}

◆ readJson() [14/36]

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

static

Definition at line 1362 of file SVFFileSystem.cpp.

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

◆ readJson() [15/36]

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

private

Definition at line 1485 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() [16/36]

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

private

Definition at line 1672 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() [17/36]

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

static

Definition at line 1343 of file SVFFileSystem.cpp.

{
    readSmallNumber(obj, val);
}

◆ readJson() [18/36]

template<unsigned ElementSize>

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

inlineprivate

Definition at line 1103 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() [19/36]

template<typename T1 , typename T2 >

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

inlineprivate

Definition at line 1149 of file SVFFileSystem.h.

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

◆ readJson() [20/36]

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

static

Definition at line 1380 of file SVFFileSystem.cpp.

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

◆ readJson() [21/36]

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

private

Definition at line 1603 of file SVFFileSystem.cpp.

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

◆ readJson() [22/36]

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

private

Definition at line 1664 of file SVFFileSystem.cpp.

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

◆ readJson() [23/36]

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

private

Definition at line 1689 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() [24/36]

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

private

Definition at line 1624 of file SVFFileSystem.cpp.

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

◆ readJson() [25/36]

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

private

Definition at line 1597 of file SVFFileSystem.cpp.

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

◆ readJson() [26/36]

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

private

Definition at line 1609 of file SVFFileSystem.cpp.

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

◆ readJson() [27/36]

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

private

Definition at line 1615 of file SVFFileSystem.cpp.

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

◆ readJson() [28/36]

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 1127 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() [29/36]

template<typename T , size_t N>

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

inlineprivate

Definition at line 1157 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() [30/36]

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

static

Definition at line 1333 of file SVFFileSystem.cpp.

{
    readSmallNumber(obj, val);
}

◆ readJson() [31/36]

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

static

Definition at line 1353 of file SVFFileSystem.cpp.

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

◆ readJson() [32/36]

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

static

Definition at line 1371 of file SVFFileSystem.cpp.

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

◆ readJson() [33/36]

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

private

Definition at line 1546 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() [34/36]

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

private

Definition at line 1521 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() [35/36]

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

private

Definition at line 1578 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() [36/36]

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

private

Definition at line 1504 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);
    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 1048 of file SVFFileSystem.h.

    {
        edge->edgeFlag = edgeFlag;
    }

◆ virtFill() [1/8]

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

private

Definition at line 2081 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 2071 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 2019 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 1947 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 1791 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 2234 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 2095 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(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 1709 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(BaseObjNode, BaseObjVar);
        CASE(DummyValNode, DummyValVar);
        CASE(DummyObjNode, DummyObjVar);
#undef CASE
    }
}

Member Data Documentation

◆ chGraphReader

CHGraphReader SVF::SVFIRReader::chGraphReader

private

Definition at line 1026 of file SVFFileSystem.h.

◆ icfgReader

ICFGReader SVF::SVFIRReader::icfgReader

private

Definition at line 1025 of file SVFFileSystem.h.

◆ irGraphReader

IRGraphReader SVF::SVFIRReader::irGraphReader

private

Definition at line 1027 of file SVFFileSystem.h.

◆ svfModuleReader

SVFModuleReader SVF::SVFIRReader::svfModuleReader

private

Definition at line 1023 of file SVFFileSystem.h.

◆ symTableReader

SymbolTableInfoReader SVF::SVFIRReader::symTableReader

private

Definition at line 1024 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/66]

◆ fill() [2/66]

◆ fill() [3/66]

◆ fill() [4/66]

◆ fill() [5/66]

◆ fill() [6/66]

◆ fill() [7/66]

◆ fill() [8/66]

◆ fill() [9/66]

◆ fill() [10/66]

◆ fill() [11/66]

◆ fill() [12/66]

◆ fill() [13/66]

◆ fill() [14/66]

◆ fill() [15/66]

◆ fill() [16/66]

◆ fill() [17/66]

◆ fill() [18/66]

◆ fill() [19/66]

◆ fill() [20/66]

◆ fill() [21/66]

◆ fill() [22/66]

◆ fill() [23/66]

◆ fill() [24/66]

◆ fill() [25/66]

◆ fill() [26/66]

◆ fill() [27/66]

◆ fill() [28/66]

◆ fill() [29/66]

◆ fill() [30/66]

◆ fill() [31/66]

◆ fill() [32/66]

◆ fill() [33/66]

◆ fill() [34/66]

◆ fill() [35/66]

◆ fill() [36/66]

◆ fill() [37/66]

◆ fill() [38/66]

◆ fill() [39/66]

◆ fill() [40/66]

◆ fill() [41/66]

◆ fill() [42/66]

◆ fill() [43/66]

◆ fill() [44/66]

◆ fill() [45/66]

◆ fill() [46/66]

◆ fill() [47/66]

◆ fill() [48/66]

◆ fill() [49/66]

◆ fill() [50/66]

◆ fill() [51/66]

◆ fill() [52/66]

◆ fill() [53/66]

◆ fill() [54/66]

◆ fill() [55/66]

◆ fill() [56/66]

◆ fill() [57/66]

◆ fill() [58/66]

◆ fill() [59/66]

◆ fill() [60/66]