SVF::SVFIRReader Class Reference

#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.
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, 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, 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 1030 of file SVFFileSystem.h.

Member Typedef Documentation

GEdgeFlag

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

private

Definition at line 1066 of file SVFFileSystem.h.

GEdgeKind

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

private

Definition at line 1067 of file SVFFileSystem.h.

GNodeK

using SVF::SVFIRReader::GNodeK = s32_t

private

Definition at line 1065 of file SVFFileSystem.h.

Member Function Documentation

applyEdgeMask()

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

inlinestatic

Definition at line 1053 of file SVFFileSystem.h.

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

createCHEdge()

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

staticprivate

Definition at line 1605 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 1599 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 1076 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 1581 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 1562 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 1376 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 1633 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 1611 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/67]

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

private

Definition at line 2020 of file SVFFileSystem.cpp.

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

fill() [2/67]

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

private

Definition at line 2015 of file SVFFileSystem.cpp.

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

fill() [3/67]

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

private

Definition at line 1949 of file SVFFileSystem.cpp.

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

fill() [4/67]

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

private

Definition at line 2086 of file SVFFileSystem.cpp.

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

fill() [5/67]

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

private

Definition at line 2098 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/67]

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

private

Definition at line 2237 of file SVFFileSystem.cpp.

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

fill() [7/67]

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

private

Definition at line 2195 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/67]

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

private

Definition at line 2048 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/67]

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

private

Definition at line 2080 of file SVFFileSystem.cpp.

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

fill() [10/67]

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

private

Definition at line 2025 of file SVFFileSystem.cpp.

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

fill() [11/67]

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

private

Definition at line 1969 of file SVFFileSystem.cpp.

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

fill() [12/67]

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

private

Definition at line 1964 of file SVFFileSystem.cpp.

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

fill() [13/67]

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

private

Definition at line 2183 of file SVFFileSystem.cpp.

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

fill() [14/67]

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

private

Definition at line 2189 of file SVFFileSystem.cpp.

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

fill() [15/67]

template<typename NodeTy >

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

inlineprivate

Definition at line 1320 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/67]

template<typename NodeTy , typename EdgeTy >

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

inlineprivate

Definition at line 1312 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/67]

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

private

Definition at line 1942 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/67]

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

private

Definition at line 2041 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/67]

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

private

Definition at line 1935 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/67]

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

private

Definition at line 2167 of file SVFFileSystem.cpp.

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

fill() [21/67]

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

private

Definition at line 2225 of file SVFFileSystem.cpp.

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

fill() [22/67]

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

private

Definition at line 2158 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/67]

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

private

Definition at line 2178 of file SVFFileSystem.cpp.

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

fill() [24/67]

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

private

Definition at line 2230 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/67]

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

private

Definition at line 2172 of file SVFFileSystem.cpp.

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

fill() [26/67]

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

private

Definition at line 2036 of file SVFFileSystem.cpp.

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

fill() [27/67]

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

private

Definition at line 2116 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/67]

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

private

Definition at line 2062 of file SVFFileSystem.cpp.

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

fill() [29/67]

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

private

Definition at line 1929 of file SVFFileSystem.cpp.

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

fill() [30/67]

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

private

Definition at line 2068 of file SVFFileSystem.cpp.

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

fill() [31/67]

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

private

Definition at line 2243 of file SVFFileSystem.cpp.

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

fill() [32/67]

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

private

Definition at line 2202 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/67]

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

private

Definition at line 2055 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/67]

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

private

Definition at line 1954 of file SVFFileSystem.cpp.

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

fill() [35/67]

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

private

Definition at line 2074 of file SVFFileSystem.cpp.

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

fill() [36/67]

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

private

Definition at line 2123 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/67]

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

private

Definition at line 2031 of file SVFFileSystem.cpp.

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

fill() [38/67]

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

private

Definition at line 2378 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/67]

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

private

Definition at line 2477 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/67]

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

private

Definition at line 2343 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/67]

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

private

Definition at line 2409 of file SVFFileSystem.cpp.

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

fill() [42/67]

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

private

Definition at line 2359 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/67]

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

private

Definition at line 2367 of file SVFFileSystem.cpp.

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

fill() [44/67]

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

private

Definition at line 2386 of file SVFFileSystem.cpp.

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

fill() [45/67]

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

private

Definition at line 2398 of file SVFFileSystem.cpp.

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

fill() [46/67]

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

private

Definition at line 2391 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/67]

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

private

Definition at line 2404 of file SVFFileSystem.cpp.

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

fill() [48/67]

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

private

Definition at line 2325 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/67]

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

private

Definition at line 2465 of file SVFFileSystem.cpp.

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

fill() [50/67]

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

private

Definition at line 2372 of file SVFFileSystem.cpp.

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

fill() [51/67]

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

private

Definition at line 2351 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/67]

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

private

Definition at line 2459 of file SVFFileSystem.cpp.

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

fill() [53/67]

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

private

Definition at line 2249 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/67]

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

private

Definition at line 2419 of file SVFFileSystem.cpp.

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

fill() [55/67]

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

private

Definition at line 2484 of file SVFFileSystem.cpp.

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

fill() [56/67]

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

private

Definition at line 2414 of file SVFFileSystem.cpp.

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

fill() [57/67]

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

private

Definition at line 2454 of file SVFFileSystem.cpp.

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

fill() [58/67]

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

private

Definition at line 2006 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/67]

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

private

Definition at line 2471 of file SVFFileSystem.cpp.

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

fill() [60/67]

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

private

Definition at line 2448 of file SVFFileSystem.cpp.

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

fill() [61/67]

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

private

Definition at line 2317 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/67]

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

private

Definition at line 1915 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/67]

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

private

Definition at line 2106 of file SVFFileSystem.cpp.

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

fill() [64/67]

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

private

Definition at line 2111 of file SVFFileSystem.cpp.

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

fill() [65/67]

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

private

Definition at line 2092 of file SVFFileSystem.cpp.

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

fill() [66/67]

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

private

Definition at line 1924 of file SVFFileSystem.cpp.

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

fill() [67/67]

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

private

Definition at line 1959 of file SVFFileSystem.cpp.

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

read() [1/2]

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

private

Definition at line 1328 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 2490 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 1736 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 1832 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 1504 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 1183 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 1197 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 1213 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 1826 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 1820 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 1151 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 1524 of file SVFFileSystem.cpp.

{
    readSmallNumber(obj, val);
}

readJson() [11/37]

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

private

Definition at line 1814 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 1807 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 1514 of file SVFFileSystem.cpp.

{
    readSmallNumber(obj, val);
}

readJson() [14/37]

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

static

Definition at line 1538 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 1848 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 1661 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 1854 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 1519 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 1114 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 1160 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 1556 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 1780 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 1841 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 1871 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 1801 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 1774 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 1786 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 1792 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 1138 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 1168 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 1509 of file SVFFileSystem.cpp.

{
    readSmallNumber(obj, val);
}

readJson() [32/37]

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

static

Definition at line 1529 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 1547 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 1723 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 1698 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 1755 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 1680 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 1058 of file SVFFileSystem.h.

    {
        edge->edgeFlag = edgeFlag;
    }

virtFill() [1/8]

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

private

Definition at line 2271 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 2261 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 2209 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 2137 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 1974 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 2424 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 2285 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 1891 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 1036 of file SVFFileSystem.h.

icfgReader

ICFGReader SVF::SVFIRReader::icfgReader

private

Definition at line 1035 of file SVFFileSystem.h.

irGraphReader

IRGraphReader SVF::SVFIRReader::irGraphReader

private

Definition at line 1037 of file SVFFileSystem.h.

svfModuleReader

SVFModuleReader SVF::SVFIRReader::svfModuleReader

private

Definition at line 1033 of file SVFFileSystem.h.

symTableReader

SymbolTableInfoReader SVF::SVFIRReader::symTableReader

private

Definition at line 1034 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