SVF::SVFIRWriter Class Reference

#include <SVFFileSystem.h>

Public Types
using	autoJSON = std::unique_ptr< cJSON, decltype(&cJSON_Delete)>
using	autoCStr = std::unique_ptr< char, decltype(&cJSON_free)>

Public Member Functions
	SVFIRWriter (const SVFIR *svfir)
	Constructor.

Static Public Member Functions
static void	writeJsonToOstream (const SVFIR *svfir, std::ostream &os)
static void	writeJsonToPath (const SVFIR *svfir, const std::string &path)

Private Member Functions
autoJSON	generateJson ()
	Main logic to dump a SVFIR to a JSON object.
autoCStr	generateJsonString ()
const char *	numToStr (size_t n)
cJSON *	toJson (const NodeIDAllocator *nodeIDAllocator)
cJSON *	toJson (const SymbolTableInfo *symTable)
cJSON *	toJson (const SVFModule *module)
cJSON *	toJson (const SVFType *type)
cJSON *	toJson (const SVFValue *value)
cJSON *	toJson (const IRGraph *graph)
cJSON *	toJson (const SVFVar *var)
cJSON *	toJson (const SVFStmt *stmt)
cJSON *	toJson (const ICFG *icfg)
cJSON *	toJson (const ICFGNode *node)
cJSON *	toJson (const ICFGEdge *edge)
cJSON *	toJson (const CommonCHGraph *graph)
cJSON *	toJson (const CHGraph *graph)
cJSON *	toJson (const CHNode *node)
cJSON *	toJson (const CHEdge *edge)
cJSON *	toJson (const AccessPath &ap)
cJSON *	toJson (const SVFLoop *loop)
cJSON *	toJson (const ObjTypeInfo *objTypeInfo)
cJSON *	toJson (const SVFLoopAndDomInfo *ldInfo)
cJSON *	toJson (const StInfo *stInfo)
cJSON *	toJson (unsigned long number)
cJSON *	toJson (long long number)
cJSON *	toJson (unsigned long long number)
template<typename NodeTy , typename EdgeTy >
cJSON *	genericNodeToJson (const GenericNode< NodeTy, EdgeTy > *node)
template<typename NodeTy >
cJSON *	genericEdgeToJson (const GenericEdge< NodeTy > *edge)
template<typename NodeTy , typename EdgeTy >
cJSON *	genericGraphToJson (const GenericGraph< NodeTy, EdgeTy > *graph, const std::vector< const EdgeTy * > &edgePool)
template<typename T , typename U >
cJSON *	toJson (const std::pair< T, U > &pair)
template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v<T>>>
cJSON *	toJson (const T &container)
template<typename T >
bool	jsonAddJsonableToObject (cJSON *obj, const char *name, const T &item)
template<typename T >
bool	jsonAddContentToObject (cJSON *obj, const char *name, const T &item)
cJSON *	virtToJson (const SVFType *type)
	Parameter types of these functions are all pointers. When they are used as arguments of toJson(), they will be dumped as an index. contentToJson() will dump the actual content.
cJSON *	virtToJson (const SVFValue *value)
cJSON *	virtToJson (const SVFVar *var)
cJSON *	virtToJson (const SVFStmt *stmt)
cJSON *	virtToJson (const ICFGNode *node)
cJSON *	virtToJson (const ICFGEdge *edge)
cJSON *	virtToJson (const CHNode *node)
cJSON *	virtToJson (const CHEdge *edge)
cJSON *	contentToJson (const SVFVar *var)
cJSON *	contentToJson (const ValVar *var)
cJSON *	contentToJson (const ObjVar *var)
cJSON *	contentToJson (const GepValVar *var)
cJSON *	contentToJson (const GepObjVar *var)
cJSON *	contentToJson (const BaseObjVar *var)
cJSON *	contentToJson (const RetPN *var)
cJSON *	contentToJson (const VarArgPN *var)
cJSON *	contentToJson (const DummyValVar *var)
cJSON *	contentToJson (const DummyObjVar *var)
cJSON *	contentToJson (const SVFStmt *edge)
cJSON *	contentToJson (const AssignStmt *edge)
cJSON *	contentToJson (const AddrStmt *edge)
cJSON *	contentToJson (const CopyStmt *edge)
cJSON *	contentToJson (const StoreStmt *edge)
cJSON *	contentToJson (const LoadStmt *edge)
cJSON *	contentToJson (const GepStmt *edge)
cJSON *	contentToJson (const CallPE *edge)
cJSON *	contentToJson (const RetPE *edge)
cJSON *	contentToJson (const MultiOpndStmt *edge)
cJSON *	contentToJson (const PhiStmt *edge)
cJSON *	contentToJson (const SelectStmt *edge)
cJSON *	contentToJson (const CmpStmt *edge)
cJSON *	contentToJson (const BinaryOPStmt *edge)
cJSON *	contentToJson (const UnaryOPStmt *edge)
cJSON *	contentToJson (const BranchStmt *edge)
cJSON *	contentToJson (const TDForkPE *edge)
cJSON *	contentToJson (const TDJoinPE *edge)
cJSON *	contentToJson (const ICFGNode *node)
cJSON *	contentToJson (const GlobalICFGNode *node)
cJSON *	contentToJson (const IntraICFGNode *node)
cJSON *	contentToJson (const InterICFGNode *node)
cJSON *	contentToJson (const FunEntryICFGNode *node)
cJSON *	contentToJson (const FunExitICFGNode *node)
cJSON *	contentToJson (const CallICFGNode *node)
cJSON *	contentToJson (const RetICFGNode *node)
cJSON *	contentToJson (const ICFGEdge *edge)
cJSON *	contentToJson (const IntraCFGEdge *edge)
cJSON *	contentToJson (const CallCFGEdge *edge)
cJSON *	contentToJson (const RetCFGEdge *edge)
cJSON *	contentToJson (const CHNode *node)
cJSON *	contentToJson (const CHEdge *edge)
cJSON *	contentToJson (const SVFType *type)
cJSON *	contentToJson (const SVFPointerType *type)
cJSON *	contentToJson (const SVFIntegerType *type)
cJSON *	contentToJson (const SVFFunctionType *type)
cJSON *	contentToJson (const SVFStructType *type)
cJSON *	contentToJson (const SVFArrayType *type)
cJSON *	contentToJson (const SVFOtherType *type)
cJSON *	contentToJson (const SVFValue *value)
cJSON *	contentToJson (const SVFFunction *value)
cJSON *	contentToJson (const SVFBasicBlock *value)
cJSON *	contentToJson (const SVFInstruction *value)
cJSON *	contentToJson (const SVFCallInst *value)
cJSON *	contentToJson (const SVFConstant *value)
cJSON *	contentToJson (const SVFGlobalValue *value)
cJSON *	contentToJson (const SVFArgument *value)
cJSON *	contentToJson (const SVFConstantData *value)
cJSON *	contentToJson (const SVFConstantInt *value)
cJSON *	contentToJson (const SVFConstantFP *value)
cJSON *	contentToJson (const SVFConstantNullPtr *value)
cJSON *	contentToJson (const SVFBlackHoleValue *value)
cJSON *	contentToJson (const SVFOtherValue *value)
cJSON *	contentToJson (const SVFMetadataAsValue *value)
cJSON *	contentToJson (const SVFLoop *loop)
cJSON *	contentToJson (const StInfo *stInfo)

Static Private Member Functions
static cJSON *	toJson (bool flag)
static cJSON *	toJson (unsigned number)
static cJSON *	toJson (int number)
static cJSON *	toJson (float number)
static cJSON *	toJson (const std::string &str)

Private Attributes
const SVFIR *	svfIR
SVFModuleWriter	svfModuleWriter
ICFGWriter	icfgWriter
CHGraphWriter	chgWriter
IRGraphWriter	irGraphWriter
OrderedMap< size_t, std::string >	numToStrMap

Detailed Description

Definition at line 376 of file SVFFileSystem.h.

Member Typedef Documentation

autoCStr

using SVF::SVFIRWriter::autoCStr = std::unique_ptr<char, decltype(&cJSON_free)>

Definition at line 390 of file SVFFileSystem.h.

autoJSON

using SVF::SVFIRWriter::autoJSON = std::unique_ptr<cJSON, decltype(&cJSON_Delete)>

Definition at line 389 of file SVFFileSystem.h.

Constructor & Destructor Documentation

SVFIRWriter()

SVF::SVFIRWriter::SVFIRWriter

(

const SVFIR *

svfir

)

Constructor.

Definition at line 943 of file SVFFileSystem.cpp.

    : svfIR(svfir), svfModuleWriter(svfir->svfModule), icfgWriter(svfir->icfg),
      chgWriter(SVFUtil::dyn_cast<CHGraph>(svfir->chgraph)),
      irGraphWriter(svfir)
{
}

Member Function Documentation

contentToJson() [1/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const AddrStmt *  edge )

private

Definition at line 639 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const AssignStmt*>(edge));
}

contentToJson() [2/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const AssignStmt *  edge )

private

Definition at line 634 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFStmt*>(edge));
}

contentToJson() [3/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const BaseObjVar *  var )

private

Definition at line 313 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const ObjVar*>(var));
}

contentToJson() [4/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const BinaryOPStmt *  edge )

private

Definition at line 713 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const MultiOpndStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, opcode);
    return root;
}

contentToJson() [5/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const BranchStmt *  edge )

private

Definition at line 727 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, successors);
    JSON_WRITE_FIELD(root, edge, cond);
    JSON_WRITE_FIELD(root, edge, brInst);
    return root;
}

contentToJson() [6/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const CallCFGEdge *  edge )

private

Definition at line 409 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGEdge*>(edge));
    JSON_WRITE_FIELD(root, edge, callPEs);
    return root;
}

contentToJson() [7/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const CallICFGNode *  node )

private

Definition at line 380 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGNode*>(node));
    JSON_WRITE_FIELD(root, node, ret);
    JSON_WRITE_FIELD(root, node, APNodes);
    return root;
}

contentToJson() [8/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const CallPE *  edge )

private

Definition at line 669 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const AssignStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, call);
    JSON_WRITE_FIELD(root, edge, entry);
    return root;
}

contentToJson() [9/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const CHEdge *  edge )

private

Definition at line 433 of file SVFFileSystem.cpp.

{
    cJSON* root = genericEdgeToJson(edge);
    JSON_WRITE_FIELD(root, edge, edgeType);
    return root;
}

contentToJson() [10/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const CHNode *  node )

private

Definition at line 423 of file SVFFileSystem.cpp.

{
    cJSON* root = genericNodeToJson(node);
    JSON_WRITE_FIELD(root, node, vtable);
    JSON_WRITE_FIELD(root, node, className);
    JSON_WRITE_FIELD(root, node, flags);
    JSON_WRITE_FIELD(root, node, virtualFunctionVectors);
    return root;
}

contentToJson() [11/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const CmpStmt *  edge )

private

Definition at line 706 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const MultiOpndStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, predicate);
    return root;
}

contentToJson() [12/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const CopyStmt *  edge )

private

Definition at line 644 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const AssignStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, copyKind);
    return root;
}

contentToJson() [13/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const DummyObjVar *  var )

private

Definition at line 333 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const ObjVar*>(var));
}

contentToJson() [14/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const DummyValVar *  var )

private

Definition at line 328 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const ValVar*>(var));
}

contentToJson() [15/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const FunEntryICFGNode *  node )

private

Definition at line 366 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGNode*>(node));
    JSON_WRITE_FIELD(root, node, FPNodes);
    return root;
}

contentToJson() [16/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const FunExitICFGNode *  node )

private

Definition at line 373 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGNode*>(node));
    JSON_WRITE_FIELD(root, node, formalRet);
    return root;
}

contentToJson() [17/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const GepObjVar *  var )

private

Definition at line 305 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ObjVar*>(var));
    JSON_WRITE_FIELD(root, var, apOffset);
    JSON_WRITE_FIELD(root, var, base);
    return root;
}

contentToJson() [18/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const GepStmt *  edge )

private

Definition at line 661 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const AssignStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, ap);
    JSON_WRITE_FIELD(root, edge, variantField);
    return root;
}

contentToJson() [19/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const GepValVar *  var )

private

Definition at line 297 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ValVar*>(var));
    JSON_WRITE_FIELD(root, var, ap);
    JSON_WRITE_FIELD(root, var, gepValType);
    return root;
}

contentToJson() [20/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const GlobalICFGNode *  node )

private

Definition at line 349 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const ICFGNode*>(node));
}

contentToJson() [21/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const ICFGEdge *  edge )

private

Definition at line 396 of file SVFFileSystem.cpp.

{
    return genericEdgeToJson(edge);
}

contentToJson() [22/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const ICFGNode *  node )

private

Definition at line 338 of file SVFFileSystem.cpp.

{
    cJSON* root = genericNodeToJson(node);
    JSON_WRITE_FIELD(root, node, fun);
    JSON_WRITE_FIELD(root, node, bb);
    // TODO: Ensure this?
    assert(node->VFGNodes.empty() && "VFGNodes list not empty?");
    JSON_WRITE_FIELD(root, node, pagEdges);
    return root;
}

contentToJson() [23/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const InterICFGNode *  node )

private

Definition at line 361 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const ICFGNode*>(node));
}

contentToJson() [24/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const IntraCFGEdge *  edge )

private

Definition at line 401 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGEdge*>(edge));
    JSON_WRITE_FIELD(root, edge, conditionVar);
    JSON_WRITE_FIELD(root, edge, branchCondVal);
    return root;
}

contentToJson() [25/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const IntraICFGNode *  node )

private

Definition at line 354 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGNode*>(node));
    JSON_WRITE_FIELD(root, node, isRet);
    return root;
}

contentToJson() [26/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const LoadStmt *  edge )

private

Definition at line 656 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const AssignStmt*>(edge));
}

contentToJson() [27/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const MultiOpndStmt *  edge )

private

Definition at line 685 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, opVars);
    return root;
}

contentToJson() [28/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const ObjVar *  var )

private

Definition at line 291 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFVar*>(var));
    return root;
}

contentToJson() [29/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const PhiStmt *  edge )

private

Definition at line 692 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const MultiOpndStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, opICFGNodes);
    return root;
}

contentToJson() [30/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const RetCFGEdge *  edge )

private

Definition at line 416 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGEdge*>(edge));
    JSON_WRITE_FIELD(root, edge, retPE);
    return root;
}

contentToJson() [31/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const RetICFGNode *  node )

private

Definition at line 388 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const ICFGNode*>(node));
    JSON_WRITE_FIELD(root, node, actualRet);
    JSON_WRITE_FIELD(root, node, callBlockNode);
    return root;
}

contentToJson() [32/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const RetPE *  edge )

private

Definition at line 677 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const AssignStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, call);
    JSON_WRITE_FIELD(root, edge, exit);
    return root;
}

contentToJson() [33/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const RetPN *  var )

private

Definition at line 318 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const ValVar*>(var));
}

contentToJson() [34/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SelectStmt *  edge )

private

Definition at line 699 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const MultiOpndStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, condition);
    return root;
}

contentToJson() [35/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const StInfo *  stInfo )

private

Definition at line 1136 of file SVFFileSystem.cpp.

{
    cJSON* root = jsonCreateObject();
#define F(field) JSON_WRITE_FIELD(root, stInfo, field)
    F(stride);
    F(numOfFlattenElements);
    F(numOfFlattenFields);
    F(fldIdxVec);
    F(elemIdxVec);
    F(fldIdx2TypeMap);
    F(finfo);
    F(flattenElementTypes);
#undef F
    return root;
}

contentToJson() [36/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const StoreStmt *  edge )

private

Definition at line 651 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const AssignStmt*>(edge));
}

contentToJson() [37/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFArgument *  value )

private

Definition at line 561 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFValue*>(value));
    JSON_WRITE_FIELD(root, value, fun);
    JSON_WRITE_FIELD(root, value, argNo);
    JSON_WRITE_FIELD(root, value, uncalled);
    return root;
}

contentToJson() [38/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFArrayType *  type )

private

Definition at line 476 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFType*>(type));
    JSON_WRITE_FIELD(root, type, numOfElement);
    JSON_WRITE_FIELD(root, type, typeOfElement);
    return root;
}

contentToJson() [39/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFBasicBlock *  value )

private

Definition at line 522 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFValue*>(value));
    JSON_WRITE_FIELD(root, value, succBBs);
    JSON_WRITE_FIELD(root, value, predBBs);
    JSON_WRITE_FIELD(root, value, fun);
    return root;
}

contentToJson() [40/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFBlackHoleValue *  value )

private

Definition at line 595 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFConstantData*>(value));
}

contentToJson() [41/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFCallInst *  value )

private

Definition at line 540 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFInstruction*>(value));
    JSON_WRITE_FIELD(root, value, args);
    JSON_WRITE_FIELD(root, value, varArg);
    JSON_WRITE_FIELD(root, value, calledVal);
    return root;
}

contentToJson() [42/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFConstant *  value )

private

Definition at line 549 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFValue*>(value));
}

contentToJson() [43/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFConstantData *  value )

private

Definition at line 570 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFConstant*>(value));
}

contentToJson() [44/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFConstantFP *  value )

private

Definition at line 583 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFConstantData*>(value));
    JSON_WRITE_FIELD(root, value, dval);
    return root;
}

contentToJson() [45/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFConstantInt *  value )

private

Definition at line 575 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFConstantData*>(value));
    JSON_WRITE_FIELD(root, value, zval);
    JSON_WRITE_FIELD(root, value, sval);
    return root;
}

contentToJson() [46/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFConstantNullPtr *  value )

private

Definition at line 590 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFConstantData*>(value));
}

contentToJson() [47/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFFunction *  value )

private

Definition at line 503 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFValue*>(value));
#define F(f) JSON_WRITE_FIELD(root, 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
    return root;
}

contentToJson() [48/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFFunctionType *  type )

private

Definition at line 462 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFType*>(type));
    JSON_WRITE_FIELD(root, type, retTy);
    return root;
}

contentToJson() [49/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFGlobalValue *  value )

private

Definition at line 554 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFConstant*>(value));
    JSON_WRITE_FIELD(root, value, realDefGlobal);
    return root;
}

contentToJson() [50/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFInstruction *  value )

private

Definition at line 531 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFValue*>(value));
    JSON_WRITE_FIELD(root, value, bb);
    JSON_WRITE_FIELD(root, value, terminator);
    JSON_WRITE_FIELD(root, value, ret);
    return root;
}

contentToJson() [51/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFIntegerType *  type )

private

Definition at line 455 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFType*>(type));
    JSON_WRITE_FIELD(root, type, signAndWidth);
    return root;
}

contentToJson() [52/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFLoop *  loop )

private

Definition at line 620 of file SVFFileSystem.cpp.

{
    cJSON* root = jsonCreateObject();
#define F(field) JSON_WRITE_FIELD(root, loop, field)
    F(entryICFGEdges);
    F(backICFGEdges);
    F(inICFGEdges);
    F(outICFGEdges);
    F(icfgNodes);
    F(loopBound);
#undef F
    return root;
}

contentToJson() [53/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFMetadataAsValue *  value )

private

Definition at line 605 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFOtherValue*>(value));
}

contentToJson() [54/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFOtherType *  type )

private

Definition at line 484 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFType*>(type));
    JSON_WRITE_FIELD(root, type, repr);
    return root;
}

contentToJson() [55/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFOtherValue *  value )

private

Definition at line 600 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFValue*>(value));
}

contentToJson() [56/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFPointerType *  type )

private

Definition at line 449 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFType*>(type));
    return root;
}

contentToJson() [57/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFStmt *  edge )

private

Definition at line 610 of file SVFFileSystem.cpp.

{
    cJSON* root = genericEdgeToJson(edge);
    JSON_WRITE_FIELD(root, edge, value);
    JSON_WRITE_FIELD(root, edge, basicBlock);
    JSON_WRITE_FIELD(root, edge, icfgNode);
    JSON_WRITE_FIELD(root, edge, edgeId);
    return root;
}

contentToJson() [58/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFStructType *  type )

private

Definition at line 469 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFType*>(type));
    JSON_WRITE_FIELD(root, type, name);
    return root;
}

contentToJson() [59/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFType *  type )

private

Definition at line 440 of file SVFFileSystem.cpp.

{
    cJSON* root = jsonCreateObject();
    JSON_WRITE_FIELD(root, type, kind);
    JSON_WRITE_FIELD(root, type, isSingleValTy);
    JSON_WRITE_FIELD(root, type, typeinfo);
    return root;
}

contentToJson() [60/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFValue *  value )

private

Definition at line 491 of file SVFFileSystem.cpp.

{
    cJSON* root = jsonCreateObject();
    JSON_WRITE_FIELD(root, value, kind);
    JSON_WRITE_FIELD(root, value, type);
    JSON_WRITE_FIELD(root, value, name);
    JSON_WRITE_FIELD(root, value, ptrInUncalledFun);
    JSON_WRITE_FIELD(root, value, constDataOrAggData);
    JSON_WRITE_FIELD(root, value, sourceLoc);
    return root;
}

contentToJson() [61/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const SVFVar *  var )

private

Definition at line 276 of file SVFFileSystem.cpp.

{
    cJSON* root = genericNodeToJson(var);
    JSON_WRITE_FIELD(root, var, value);
    JSON_WRITE_FIELD(root, var, InEdgeKindToSetMap);
    JSON_WRITE_FIELD(root, var, OutEdgeKindToSetMap);
    JSON_WRITE_FIELD(root, var, isPtr);
    return root;
}

contentToJson() [62/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const TDForkPE *  edge )

private

Definition at line 736 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const CallPE*>(edge));
}

contentToJson() [63/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const TDJoinPE *  edge )

private

Definition at line 741 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const RetPE*>(edge));
}

contentToJson() [64/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const UnaryOPStmt *  edge )

private

Definition at line 720 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFStmt*>(edge));
    JSON_WRITE_FIELD(root, edge, opcode);
    return root;
}

contentToJson() [65/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const ValVar *  var )

private

Definition at line 286 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const SVFVar*>(var));
}

contentToJson() [66/66]

cJSON * SVF::SVFIRWriter::contentToJson ( const VarArgPN *  var )

private

Definition at line 323 of file SVFFileSystem.cpp.

{
    return contentToJson(static_cast<const ValVar*>(var));
}

generateJson()

SVFIRWriter::autoJSON SVF::SVFIRWriter::generateJson ( )

private

Main logic to dump a SVFIR to a JSON object.

Definition at line 989 of file SVFFileSystem.cpp.

{
    const IRGraph* const irGraph = svfIR;
    NodeIDAllocator* nodeIDAllocator = NodeIDAllocator::allocator;
    assert(nodeIDAllocator && "NodeIDAllocator is not initialized?");
 
    cJSON* root = jsonCreateObject();
#define F(field) JSON_WRITE_FIELD(root, svfIR, field)
    F(svfModule);
    F(symInfo);
    F(icfg);
    F(chgraph);
    jsonAddJsonableToObject(root, FIELD_NAME_ITEM(irGraph));
    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);
    jsonAddJsonableToObject(root, FIELD_NAME_ITEM(nodeIDAllocator));
#undef F
 
    return {root, cJSON_Delete};
}

generateJsonString()

SVFIRWriter::autoCStr SVF::SVFIRWriter::generateJsonString ( )

private

Definition at line 981 of file SVFFileSystem.cpp.

{
    autoJSON object = generateJson();
    char* str = humanReadableOption() ? cJSON_Print(object.get())
                : cJSON_PrintUnformatted(object.get());
    return {str, cJSON_free};
}

genericEdgeToJson()

template<typename NodeTy >

cJSON * SVF::SVFIRWriter::genericEdgeToJson ( const GenericEdge< NodeTy > *  edge )

inlineprivate

Definition at line 543 of file SVFFileSystem.h.

    {
        cJSON* root = jsonCreateObject();
        JSON_WRITE_FIELD(root, edge, edgeFlag);
        JSON_WRITE_FIELD(root, edge, src);
        JSON_WRITE_FIELD(root, edge, dst);
        return root;
    }

genericGraphToJson()

template<typename NodeTy , typename EdgeTy >

cJSON * SVF::SVFIRWriter::genericGraphToJson ( const GenericGraph< NodeTy, EdgeTy > *  graph, const std::vector< const EdgeTy * > &  edgePool  )

inlineprivate

Definition at line 553 of file SVFFileSystem.h.

    {
        cJSON* root = jsonCreateObject();
 
        cJSON* allNode = jsonCreateArray();
        for (const auto& pair : graph->IDToNodeMap)
        {
            NodeTy* node = pair.second;
            cJSON* jsonNode = virtToJson(node);
            jsonAddItemToArray(allNode, jsonNode);
        }
 
        cJSON* allEdge = jsonCreateArray();
        for (const EdgeTy* edge : edgePool)
        {
            cJSON* edgeJson = virtToJson(edge);
            jsonAddItemToArray(allEdge, edgeJson);
        }
 
        JSON_WRITE_FIELD(root, graph, nodeNum);
        jsonAddItemToObject(root, FIELD_NAME_ITEM(allNode));
        JSON_WRITE_FIELD(root, graph, edgeNum);
        jsonAddItemToObject(root, FIELD_NAME_ITEM(allEdge));
 
        return root;
    }

genericNodeToJson()

template<typename NodeTy , typename EdgeTy >

cJSON * SVF::SVFIRWriter::genericNodeToJson ( const GenericNode< NodeTy, EdgeTy > *  node )

inlineprivate

Definition at line 532 of file SVFFileSystem.h.

    {
        cJSON* root = jsonCreateObject();
        JSON_WRITE_FIELD(root, node, id);
        JSON_WRITE_FIELD(root, node, nodeKind);
        JSON_WRITE_FIELD(root, node, InEdges);
        JSON_WRITE_FIELD(root, node, OutEdges);
        return root;
    }

jsonAddContentToObject()

template<typename T >

bool SVF::SVFIRWriter::jsonAddContentToObject ( cJSON *  obj, const char *  name, const T &  item  )

inlineprivate

Definition at line 636 of file SVFFileSystem.h.

    {
        cJSON* itemObj = contentToJson(item);
        return jsonAddItemToObject(obj, name, itemObj);
    }

jsonAddJsonableToObject()

template<typename T >

bool SVF::SVFIRWriter::jsonAddJsonableToObject ( cJSON *  obj, const char *  name, const T &  item  )

inlineprivate

Definition at line 629 of file SVFFileSystem.h.

    {
        cJSON* itemObj = toJson(item);
        return jsonAddItemToObject(obj, name, itemObj);
    }

numToStr()

const char * SVF::SVFIRWriter::numToStr ( size_t  n )

private

Definition at line 971 of file SVFFileSystem.cpp.

{
    auto it = numToStrMap.find(n);
    if (it != numToStrMap.end() && !(numToStrMap.key_comp()(n, it->first)))
    {
        return it->second.c_str();
    }
    return numToStrMap.emplace_hint(it, n, std::to_string(n))->second.c_str();
}

toJson() [1/30]

cJSON * SVF::SVFIRWriter::toJson ( bool  flag )

staticprivate

Definition at line 59 of file SVFFileSystem.cpp.

{
    return jsonCreateBool(flag);
}

toJson() [2/30]

cJSON * SVF::SVFIRWriter::toJson ( const AccessPath &  ap )

private

Definition at line 1184 of file SVFFileSystem.cpp.

{
    cJSON* root = jsonCreateObject();
    JSON_WRITE_FIELD(root, &ap, fldIdx);
    JSON_WRITE_FIELD(root, &ap, idxOperandPairs);
    return root;
}

toJson() [3/30]

cJSON * SVF::SVFIRWriter::toJson ( const CHEdge *  edge )

private

Definition at line 1126 of file SVFFileSystem.cpp.

{
    return jsonCreateIndex(chgWriter.getEdgeID(edge));
}

toJson() [4/30]

cJSON * SVF::SVFIRWriter::toJson ( const CHGraph *  graph )

private

Definition at line 1100 of file SVFFileSystem.cpp.

{
    cJSON* root = genericGraphToJson(graph, chgWriter.edgePool.getPool());
#define F(field) JSON_WRITE_FIELD(root, graph, field)
    // TODO: Ensure svfMod is the same as the SVFIR's?
    F(classNum);
    F(vfID);
    // F(buildingCHGTime); No need
    F(classNameToNodeMap);
    F(classNameToDescendantsMap);
    F(classNameToAncestorsMap);
    F(classNameToInstAndDescsMap);
    F(templateNameToInstancesMap);
    F(callNodeToClassesMap);
    F(virtualFunctionToIDMap);
    F(callNodeToCHAVtblsMap);
    F(callNodeToCHAVFnsMap);
#undef F
    return root;
}

toJson() [5/30]

cJSON * SVF::SVFIRWriter::toJson ( const CHNode *  node )

private

Definition at line 1121 of file SVFFileSystem.cpp.

{
    return jsonCreateIndex(node->getId());
}

toJson() [6/30]

cJSON * SVF::SVFIRWriter::toJson ( const CommonCHGraph *  graph )

private

Definition at line 1093 of file SVFFileSystem.cpp.

{
    auto chg = SVFUtil::dyn_cast<CHGraph>(graph);
    assert(chg && "Unsupported CHGraph type!");
    return toJson(chg);
}

toJson() [7/30]

cJSON * SVF::SVFIRWriter::toJson ( const ICFG *  icfg )

private

Definition at line 1060 of file SVFFileSystem.cpp.

{
    cJSON* allSvfLoop = jsonCreateArray(); // all indices seen in constructor
    for (const SVFLoop* svfLoop : icfgWriter.svfLoopPool)
    {
        cJSON* svfLoopObj = contentToJson(svfLoop);
        jsonAddItemToArray(allSvfLoop, svfLoopObj);
    }
 
#define F(field) JSON_WRITE_FIELD(root, icfg, field)
    cJSON* root = genericGraphToJson(icfg, icfgWriter.edgePool.getPool());
    jsonAddItemToObject(root, FIELD_NAME_ITEM(allSvfLoop)); // Meta field
    F(totalICFGNode);
    F(FunToFunEntryNodeMap);
    F(FunToFunExitNodeMap);
    F(globalBlockNode);
    F(icfgNodeToSVFLoopVec);
#undef F
    return root;
}

toJson() [8/30]

cJSON * SVF::SVFIRWriter::toJson ( const ICFGEdge *  edge )

private

Definition at line 1087 of file SVFFileSystem.cpp.

{
    assert(edge && "ICFGNode is null!");
    return jsonCreateIndex(icfgWriter.getEdgeID(edge));
}

toJson() [9/30]

cJSON * SVF::SVFIRWriter::toJson ( const ICFGNode *  node )

private

Definition at line 1081 of file SVFFileSystem.cpp.

{
    assert(node && "ICFGNode is null!");
    return jsonCreateIndex(node->getId());
}

toJson() [10/30]

cJSON * SVF::SVFIRWriter::toJson ( const IRGraph *  graph )

private

Definition at line 1034 of file SVFFileSystem.cpp.

{
    ENSURE_NOT_VISITED(graph);
 
    cJSON* root = genericGraphToJson(graph, irGraphWriter.edgePool.getPool());
#define F(field) JSON_WRITE_FIELD(root, graph, field)
    F(KindToSVFStmtSetMap);
    F(KindToPTASVFStmtSetMap);
    F(fromFile);
    F(nodeNumAfterPAGBuild);
    F(totalPTAPAGEdge);
    F(valueToEdgeMap);
#undef F
    return root;
}

toJson() [11/30]

cJSON * SVF::SVFIRWriter::toJson ( const NodeIDAllocator *  nodeIDAllocator )

private

Definition at line 1192 of file SVFFileSystem.cpp.

{
    ENSURE_NOT_VISITED(nodeIDAllocator);
 
    cJSON* root = jsonCreateObject();
    JSON_WRITE_FIELD(root, nodeIDAllocator, strategy);
    JSON_WRITE_FIELD(root, nodeIDAllocator, numObjects);
    JSON_WRITE_FIELD(root, nodeIDAllocator, numValues);
    JSON_WRITE_FIELD(root, nodeIDAllocator, numSymbols);
    JSON_WRITE_FIELD(root, nodeIDAllocator, numNodes);
    return root;
}

toJson() [12/30]

cJSON * SVF::SVFIRWriter::toJson ( const ObjTypeInfo *  objTypeInfo )

private

Definition at line 1152 of file SVFFileSystem.cpp.

{
    ENSURE_NOT_VISITED(objTypeInfo);
 
    cJSON* root = jsonCreateObject();
    JSON_WRITE_FIELD(root, objTypeInfo, type);
    JSON_WRITE_FIELD(root, objTypeInfo, flags);
    JSON_WRITE_FIELD(root, objTypeInfo, maxOffsetLimit);
    JSON_WRITE_FIELD(root, objTypeInfo, elemNum);
    return root;
}

toJson() [13/30]

template<typename T , typename U >

cJSON * SVF::SVFIRWriter::toJson ( const std::pair< T, U > &  pair )

inlineprivate

The following 2 functions are intended to convert SparseBitVectors to JSON. But they're buggy. Commenting them out would enable the toJson(T) where is_iterable_v<T> is true. But that implementation is less space-efficient if the bitvector contains many elements. It is observed that upon construction, SVF IR bitvectors contain at most 1 element. In that case, we can just use the toJson(T) for iterable T without much space overhead.

template <unsigned ElementSize> cJSON* toJson(const SparseBitVectorElement<ElementSize>& element) { cJSON* array = jsonCreateArray(); for (const auto v : element.Bits) { jsonAddItemToArray(array, toJson(v)); } return array; }

template <unsigned ElementSize> cJSON* toJson(const SparseBitVector<ElementSize>& bv) { return toJson(bv.Elements); }

Definition at line 607 of file SVFFileSystem.h.

    {
        cJSON* obj = jsonCreateArray();
        jsonAddItemToArray(obj, toJson(pair.first));
        jsonAddItemToArray(obj, toJson(pair.second));
        return obj;
    }

toJson() [14/30]

cJSON * SVF::SVFIRWriter::toJson ( const std::string &  str )

staticprivate

Definition at line 76 of file SVFFileSystem.cpp.

{
    return jsonCreateString(str.c_str());
}

toJson() [15/30]

cJSON * SVF::SVFIRWriter::toJson ( const StInfo *  stInfo )

private

Definition at line 1179 of file SVFFileSystem.cpp.

{
    return jsonCreateIndex(svfModuleWriter.getStInfoID(stInfo));
}

toJson() [16/30]

cJSON * SVF::SVFIRWriter::toJson ( const SVFLoop *  loop )

private

Definition at line 1131 of file SVFFileSystem.cpp.

{
    return jsonCreateIndex(icfgWriter.getSvfLoopID(loop));
}

toJson() [17/30]

cJSON * SVF::SVFIRWriter::toJson ( const SVFLoopAndDomInfo *  ldInfo )

private

Definition at line 1164 of file SVFFileSystem.cpp.

{
    ENSURE_NOT_VISITED(ldInfo);
 
    cJSON* root = jsonCreateObject();
    JSON_WRITE_FIELD(root, ldInfo, reachableBBs);
    JSON_WRITE_FIELD(root, ldInfo, dtBBsMap);
    JSON_WRITE_FIELD(root, ldInfo, pdtBBsMap);
    JSON_WRITE_FIELD(root, ldInfo, dfBBsMap);
    JSON_WRITE_FIELD(root, ldInfo, bb2LoopMap);
    JSON_WRITE_FIELD(root, ldInfo, bb2PdomLevel);
    JSON_WRITE_FIELD(root, ldInfo, bb2PIdom);
    return root;
}

toJson() [18/30]

cJSON * SVF::SVFIRWriter::toJson ( const SVFModule *  module )

private

Definition at line 1233 of file SVFFileSystem.cpp.

{
    cJSON* root = jsonCreateObject();
    cJSON* allSVFType = jsonCreateArray();
    cJSON* allStInfo = jsonCreateArray();
    cJSON* allSVFValue = jsonCreateArray();
 
    for (const SVFType* svfType : svfModuleWriter.svfTypePool)
    {
        cJSON* svfTypeObj = virtToJson(svfType);
        jsonAddItemToArray(allSVFType, svfTypeObj);
    }
 
    for (const StInfo* stInfo : svfModuleWriter.stInfoPool)
    {
        cJSON* stInfoObj = contentToJson(stInfo);
        jsonAddItemToArray(allStInfo, stInfoObj);
    }
 
#define F(field) JSON_WRITE_FIELD(root, module, field)
    jsonAddItemToObject(root, FIELD_NAME_ITEM(allSVFType));  // Meta field
    jsonAddItemToObject(root, FIELD_NAME_ITEM(allStInfo));   // Meta field
    jsonAddItemToObject(root, FIELD_NAME_ITEM(allSVFValue)); // Meta field
    F(pagReadFromTxt);
    F(moduleIdentifier);
 
    F(FunctionSet);
    F(GlobalSet);
    F(AliasSet);
    F(ConstantSet);
    F(OtherValueSet);
#undef F
 
    for (size_t i = 1; i <= svfModuleWriter.sizeSVFValuePool(); ++i)
    {
        cJSON* value = virtToJson(svfModuleWriter.getSVFValuePtr(i));
        jsonAddItemToArray(allSVFValue, value);
    }
 
    return root;
}

toJson() [19/30]

cJSON * SVF::SVFIRWriter::toJson ( const SVFStmt *  stmt )

private

Definition at line 1055 of file SVFFileSystem.cpp.

{
    return jsonCreateIndex(irGraphWriter.getEdgeID(stmt));
}

toJson() [20/30]

cJSON * SVF::SVFIRWriter::toJson ( const SVFType *  type )

private

Definition at line 1024 of file SVFFileSystem.cpp.

{
    return jsonCreateIndex(svfModuleWriter.getSVFTypeID(type));
}

toJson() [21/30]

cJSON * SVF::SVFIRWriter::toJson ( const SVFValue *  value )

private

Definition at line 1029 of file SVFFileSystem.cpp.

{
    return jsonCreateIndex(svfModuleWriter.getSVFValueID(value));
}

toJson() [22/30]

cJSON * SVF::SVFIRWriter::toJson ( const SVFVar *  var )

private

Definition at line 1050 of file SVFFileSystem.cpp.

{
    return var ? jsonCreateIndex(var->getId()) : jsonCreateNullId();
}

toJson() [23/30]

cJSON * SVF::SVFIRWriter::toJson ( const SymbolTableInfo *  symTable )

private

Definition at line 1205 of file SVFFileSystem.cpp.

{
    ENSURE_NOT_VISITED(symTable);
 
    cJSON* root = jsonCreateObject();
    cJSON* allMemObj = jsonCreateArray();
 
#define F(field) JSON_WRITE_FIELD(root, symTable, field)
    jsonAddItemToObject(root, FIELD_NAME_ITEM(allMemObj)); // Actual field
 
    F(valSymMap);
    F(objSymMap);
    F(returnSymMap);
    F(varargSymMap);
    // Field objMap can be represented by allMemObj
    // Field mod can be represented by svfIR->svfModule. Delete it?
    assert(symTable->mod == svfIR->svfModule && "SVFModule mismatch!");
    F(modelConstants);
    F(totalSymNum);
    F(maxStruct);
    F(maxStSize);
    // Field svfTypes can be represented by svfModuleWriter.svfTypePool
    // Field stInfos can be represented by svfModuleWriter.stInfoPool
#undef F
 
    return root;
}

toJson() [24/30]

template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v<T>>>

cJSON * SVF::SVFIRWriter::toJson ( const T &  container )

inlineprivate

Definition at line 617 of file SVFFileSystem.h.

    {
        cJSON* array = jsonCreateArray();
        for (const auto& item : container)
        {
            cJSON* itemObj = toJson(item);
            jsonAddItemToArray(array, itemObj);
        }
        return array;
    }

toJson() [25/30]

cJSON * SVF::SVFIRWriter::toJson ( float  number )

staticprivate

Definition at line 81 of file SVFFileSystem.cpp.

{
    return jsonCreateNumber(number);
}

toJson() [26/30]

cJSON * SVF::SVFIRWriter::toJson ( int  number )

staticprivate

Definition at line 70 of file SVFFileSystem.cpp.

{
    // OK, double precision enough
    return jsonCreateNumber(number);
}

toJson() [27/30]

cJSON * SVF::SVFIRWriter::toJson ( long long  number )

private

Definition at line 92 of file SVFFileSystem.cpp.

{
    return toJson(static_cast<unsigned long long>(number));
}

toJson() [28/30]

cJSON * SVF::SVFIRWriter::toJson ( unsigned long long  number )

private

Definition at line 97 of file SVFFileSystem.cpp.

{
    return jsonCreateString(numToStr(number));
}

toJson() [29/30]

cJSON * SVF::SVFIRWriter::toJson ( unsigned long  number )

private

Definition at line 86 of file SVFFileSystem.cpp.

{
    // unsigned long is subset of unsigned long long
    return toJson(static_cast<unsigned long long>(number));
}

toJson() [30/30]

cJSON * SVF::SVFIRWriter::toJson ( unsigned  number )

staticprivate

Definition at line 64 of file SVFFileSystem.cpp.

{
    // OK, double precision enough
    return jsonCreateNumber(number);
}

virtToJson() [1/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const CHEdge *  edge )

private

Definition at line 271 of file SVFFileSystem.cpp.

{
    return contentToJson(edge);
}

virtToJson() [2/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const CHNode *  node )

private

Definition at line 266 of file SVFFileSystem.cpp.

{
    return contentToJson(node);
}

virtToJson() [3/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const ICFGEdge *  edge )

private

Definition at line 251 of file SVFFileSystem.cpp.

{
    switch (edge->getEdgeKind())
    {
    default:
        assert(false && "Unknown ICFGEdge kind");
    case ICFGEdge::IntraCF:
        return contentToJson(static_cast<const IntraCFGEdge*>(edge));
    case ICFGEdge::CallCF:
        return contentToJson(static_cast<const CallCFGEdge*>(edge));
    case ICFGEdge::RetCF:
        return contentToJson(static_cast<const RetCFGEdge*>(edge));
    }
}

virtToJson() [4/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const ICFGNode *  node )

private

Definition at line 230 of file SVFFileSystem.cpp.

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

virtToJson() [5/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const SVFStmt *  stmt )

private

Definition at line 200 of file SVFFileSystem.cpp.

{
    switch (stmt->getEdgeKind())
    {
    default:
        assert(false && "Unknown SVFStmt kind");
 
#define CASE(EdgeKind, EdgeType)                                               \
    case SVFStmt::EdgeKind:                                                    \
        return contentToJson(static_cast<const 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
    }
}

virtToJson() [6/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const SVFType *  type )

private

Parameter types of these functions are all pointers. When they are used as arguments of toJson(), they will be dumped as an index. contentToJson() will dump the actual content.

Definition at line 102 of file SVFFileSystem.cpp.

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

virtToJson() [7/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const SVFValue *  value )

private

Definition at line 126 of file SVFFileSystem.cpp.

{
    auto kind = value->getKind();
 
    switch (kind)
    {
    default:
        assert(false && "Impossible SVFValue kind");
 
#define CASE(ValueKind, type)                                                  \
    case SVFValue::ValueKind:                                                  \
        return contentToJson(static_cast<const 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
    }
}

virtToJson() [8/8]

cJSON * SVF::SVFIRWriter::virtToJson ( const SVFVar *  var )

private

Definition at line 158 of file SVFFileSystem.cpp.

{
    switch (var->getNodeKind())
    {
    default:
        assert(false && "Unknown SVFVar kind");
 
#define CASE(VarKind, VarType)                                                 \
    case SVFVar::VarKind:                                                      \
        return contentToJson(static_cast<const 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);
        CASE(FunObjNode, FunObjVar);
        CASE(ArgNode, ArgValVar);
        CASE(FunValNode, FunValVar);
        CASE(HeapObjNode, HeapObjVar);
        CASE(StackObjNode, StackObjVar);
        CASE(ConstantDataValNode, ConstantDataValVar);
        CASE(ConstantAggValNode, ConstantAggValVar);
        CASE(GlobalValNode, GlobalValVar);
        CASE(BlackHoleNode, BlackHoleVar);
        CASE(ConstantFPValNode, ConstantFPValVar);
        CASE(ConstantIntValNode, ConstantIntValVar);
        CASE(ConstantNullptrValNode, ConstantNullPtrValVar);
        CASE(ConstantDataObjNode, ConstantDataObjVar);
        CASE(ConstantAggObjNode, ConstantAggObjVar);
        CASE(GlobalObjNode, GlobalObjVar);
        CASE(ConstantFPObjNode, ConstantFPObjVar);
        CASE(ConstantIntObjNode, ConstantIntObjVar);
        CASE(ConstantNullptrObjNode, ConstantNullPtrObjVar);
#undef CASE
    }
}

writeJsonToOstream()

void SVF::SVFIRWriter::writeJsonToOstream ( const SVFIR *  svfir, std::ostream &  os  )

static

Definition at line 950 of file SVFFileSystem.cpp.

{
    SVFIRWriter writer(svfir);
    os << writer.generateJsonString().get() << '\n';
}

writeJsonToPath()

void SVF::SVFIRWriter::writeJsonToPath ( const SVFIR *  svfir, const std::string &  path  )

static

Definition at line 956 of file SVFFileSystem.cpp.

{
    std::ofstream jsonFile(path);
    if (jsonFile.is_open())
    {
        writeJsonToOstream(svfir, jsonFile);
        jsonFile.close();
    }
    else
    {
        SVFUtil::errs() << "Failed to open file '" << path
                        << "' to write SVFIR's JSON\n";
    }
}

Member Data Documentation

chgWriter

CHGraphWriter SVF::SVFIRWriter::chgWriter

private

Definition at line 383 of file SVFFileSystem.h.

icfgWriter

ICFGWriter SVF::SVFIRWriter::icfgWriter

private

Definition at line 382 of file SVFFileSystem.h.

irGraphWriter

IRGraphWriter SVF::SVFIRWriter::irGraphWriter

private

Definition at line 384 of file SVFFileSystem.h.

numToStrMap

OrderedMap<size_t, std::string> SVF::SVFIRWriter::numToStrMap

private

Definition at line 386 of file SVFFileSystem.h.

svfIR

const SVFIR* SVF::SVFIRWriter::svfIR

private

Definition at line 379 of file SVFFileSystem.h.

svfModuleWriter

SVFModuleWriter SVF::SVFIRWriter::svfModuleWriter

private

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