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. More...

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. More...
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 MemObj *memObj)
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. More...
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 FIObjVar *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 SVFVirtualCallInst *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 MemObj *memObj)
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 379 of file SVFFileSystem.h.

Member Typedef Documentation

autoCStr

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

Definition at line 393 of file SVFFileSystem.h.

autoJSON

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

Definition at line 392 of file SVFFileSystem.h.

Constructor & Destructor Documentation

SVFIRWriter()

SVF::SVFIRWriter::SVFIRWriter

(

const SVFIR *

svfir

)

Constructor.

Definition at line 984 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/68]

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

private

Definition at line 680 of file SVFFileSystem.cpp.

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

contentToJson() [2/68]

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

private

Definition at line 675 of file SVFFileSystem.cpp.

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

contentToJson() [3/68]

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

private

Definition at line 754 of file SVFFileSystem.cpp.

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

contentToJson() [4/68]

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

private

Definition at line 768 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() [5/68]

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

private

Definition at line 441 of file SVFFileSystem.cpp.

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

contentToJson() [6/68]

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

private

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

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

private

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

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

private

Definition at line 465 of file SVFFileSystem.cpp.

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

contentToJson() [9/68]

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

private

Definition at line 455 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() [10/68]

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

private

Definition at line 747 of file SVFFileSystem.cpp.

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

contentToJson() [11/68]

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

private

Definition at line 685 of file SVFFileSystem.cpp.

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

contentToJson() [12/68]

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

private

Definition at line 365 of file SVFFileSystem.cpp.

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

contentToJson() [13/68]

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

private

Definition at line 360 of file SVFFileSystem.cpp.

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

contentToJson() [14/68]

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

private

Definition at line 345 of file SVFFileSystem.cpp.

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

contentToJson() [15/68]

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

private

Definition at line 398 of file SVFFileSystem.cpp.

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

contentToJson() [16/68]

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

private

Definition at line 405 of file SVFFileSystem.cpp.

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

contentToJson() [17/68]

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

private

Definition at line 337 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/68]

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

private

Definition at line 702 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/68]

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

private

Definition at line 329 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/68]

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

private

Definition at line 381 of file SVFFileSystem.cpp.

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

contentToJson() [21/68]

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

private

Definition at line 428 of file SVFFileSystem.cpp.

{
    return genericEdgeToJson(edge);
}

contentToJson() [22/68]

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

private

Definition at line 370 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/68]

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

private

Definition at line 393 of file SVFFileSystem.cpp.

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

contentToJson() [24/68]

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

private

Definition at line 433 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/68]

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

private

Definition at line 386 of file SVFFileSystem.cpp.

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

contentToJson() [26/68]

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

private

Definition at line 697 of file SVFFileSystem.cpp.

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

contentToJson() [27/68]

cJSON * SVF::SVFIRWriter::contentToJson ( const MemObj *  memObj )

private

Definition at line 1177 of file SVFFileSystem.cpp.

{
    cJSON* root = jsonCreateObject();
    JSON_WRITE_FIELD(root, memObj, symId);
    JSON_WRITE_FIELD(root, memObj, typeInfo);
    JSON_WRITE_FIELD(root, memObj, refVal);
    return root;
}

contentToJson() [28/68]

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

private

Definition at line 726 of file SVFFileSystem.cpp.

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

contentToJson() [29/68]

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

private

Definition at line 322 of file SVFFileSystem.cpp.

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

contentToJson() [30/68]

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

private

Definition at line 733 of file SVFFileSystem.cpp.

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

contentToJson() [31/68]

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

private

Definition at line 448 of file SVFFileSystem.cpp.

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

contentToJson() [32/68]

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

private

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

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

private

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

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

private

Definition at line 350 of file SVFFileSystem.cpp.

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

contentToJson() [35/68]

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

private

Definition at line 740 of file SVFFileSystem.cpp.

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

contentToJson() [36/68]

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

private

Definition at line 1186 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() [37/68]

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

private

Definition at line 692 of file SVFFileSystem.cpp.

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

contentToJson() [38/68]

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

private

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

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

private

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

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

private

Definition at line 554 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() [41/68]

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

private

Definition at line 636 of file SVFFileSystem.cpp.

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

contentToJson() [42/68]

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

private

Definition at line 572 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() [43/68]

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

private

Definition at line 590 of file SVFFileSystem.cpp.

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

contentToJson() [44/68]

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

private

Definition at line 611 of file SVFFileSystem.cpp.

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

contentToJson() [45/68]

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

private

Definition at line 624 of file SVFFileSystem.cpp.

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

contentToJson() [46/68]

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

private

Definition at line 616 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() [47/68]

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

private

Definition at line 631 of file SVFFileSystem.cpp.

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

contentToJson() [48/68]

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

private

Definition at line 535 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() [49/68]

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

private

Definition at line 494 of file SVFFileSystem.cpp.

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

contentToJson() [50/68]

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

private

Definition at line 595 of file SVFFileSystem.cpp.

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

contentToJson() [51/68]

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

private

Definition at line 563 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() [52/68]

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

private

Definition at line 487 of file SVFFileSystem.cpp.

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

contentToJson() [53/68]

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

private

Definition at line 661 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() [54/68]

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

private

Definition at line 646 of file SVFFileSystem.cpp.

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

contentToJson() [55/68]

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

private

Definition at line 516 of file SVFFileSystem.cpp.

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

contentToJson() [56/68]

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

private

Definition at line 641 of file SVFFileSystem.cpp.

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

contentToJson() [57/68]

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

private

Definition at line 481 of file SVFFileSystem.cpp.

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

contentToJson() [58/68]

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

private

Definition at line 651 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() [59/68]

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

private

Definition at line 501 of file SVFFileSystem.cpp.

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

contentToJson() [60/68]

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

private

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

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

private

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

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

private

Definition at line 307 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() [63/68]

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

private

Definition at line 581 of file SVFFileSystem.cpp.

{
    cJSON* root = contentToJson(static_cast<const SVFCallInst*>(value));
    JSON_WRITE_FIELD(root, value, vCallVtblPtr);
    JSON_WRITE_FIELD(root, value, virtualFunIdx);
    JSON_WRITE_FIELD(root, value, funNameOfVcall);
    return root;
}

contentToJson() [64/68]

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

private

Definition at line 777 of file SVFFileSystem.cpp.

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

contentToJson() [65/68]

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

private

Definition at line 782 of file SVFFileSystem.cpp.

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

contentToJson() [66/68]

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

private

Definition at line 761 of file SVFFileSystem.cpp.

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

contentToJson() [67/68]

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

private

Definition at line 317 of file SVFFileSystem.cpp.

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

contentToJson() [68/68]

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

private

Definition at line 355 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 1030 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 1022 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 549 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 559 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 538 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 642 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 635 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 1012 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/31]

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

staticprivate

Definition at line 107 of file SVFFileSystem.cpp.

{
    return jsonCreateBool(flag);
}

toJson() [2/31]

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

private

Definition at line 1239 of file SVFFileSystem.cpp.

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

toJson() [3/31]

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

private

Definition at line 1167 of file SVFFileSystem.cpp.

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

toJson() [4/31]

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

private

Definition at line 1141 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/31]

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

private

Definition at line 1162 of file SVFFileSystem.cpp.

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

toJson() [6/31]

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

private

Definition at line 1134 of file SVFFileSystem.cpp.

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

toJson() [7/31]

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

private

Definition at line 1101 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/31]

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

private

Definition at line 1128 of file SVFFileSystem.cpp.

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

toJson() [9/31]

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

private

Definition at line 1122 of file SVFFileSystem.cpp.

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

toJson() [10/31]

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

private

Definition at line 1075 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/31]

cJSON * SVF::SVFIRWriter::toJson ( const MemObj *  memObj )

private

Definition at line 1214 of file SVFFileSystem.cpp.

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

toJson() [12/31]

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

private

Definition at line 1247 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() [13/31]

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

private

Definition at line 1202 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() [14/31]

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 613 of file SVFFileSystem.h.

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

toJson() [15/31]

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

staticprivate

Definition at line 124 of file SVFFileSystem.cpp.

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

toJson() [16/31]

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

private

Definition at line 1234 of file SVFFileSystem.cpp.

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

toJson() [17/31]

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

private

Definition at line 1172 of file SVFFileSystem.cpp.

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

toJson() [18/31]

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

private

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

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

private

Definition at line 1294 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() [20/31]

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

private

Definition at line 1096 of file SVFFileSystem.cpp.

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

toJson() [21/31]

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

private

Definition at line 1065 of file SVFFileSystem.cpp.

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

toJson() [22/31]

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

private

Definition at line 1070 of file SVFFileSystem.cpp.

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

toJson() [23/31]

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

private

Definition at line 1091 of file SVFFileSystem.cpp.

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

toJson() [24/31]

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

private

Definition at line 1260 of file SVFFileSystem.cpp.

{
    ENSURE_NOT_VISITED(symTable);
 
    cJSON* root = jsonCreateObject();
    cJSON* allMemObj = jsonCreateArray();
    for (const auto& pair : symTable->objMap)
    {
        const MemObj* memObj = pair.second;
        cJSON* memObjJson = contentToJson(memObj);
        jsonAddItemToArray(allMemObj, memObjJson);
    }
 
#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() [25/31]

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

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

inlineprivate

Definition at line 623 of file SVFFileSystem.h.

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

toJson() [26/31]

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

staticprivate

Definition at line 129 of file SVFFileSystem.cpp.

{
    return jsonCreateNumber(number);
}

toJson() [27/31]

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

staticprivate

Definition at line 118 of file SVFFileSystem.cpp.

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

toJson() [28/31]

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

private

Definition at line 140 of file SVFFileSystem.cpp.

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

toJson() [29/31]

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

private

Definition at line 145 of file SVFFileSystem.cpp.

{
    return jsonCreateString(numToStr(number));
}

toJson() [30/31]

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

private

Definition at line 134 of file SVFFileSystem.cpp.

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

toJson() [31/31]

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

staticprivate

Definition at line 112 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 302 of file SVFFileSystem.cpp.

{
    return contentToJson(edge);
}

virtToJson() [2/8]

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

private

Definition at line 297 of file SVFFileSystem.cpp.

{
    return contentToJson(node);
}

virtToJson() [3/8]

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

private

Definition at line 282 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 261 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 231 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 150 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 174 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(SVFVCall, SVFVirtualCallInst);
        CASE(SVFGlob, SVFGlobalValue);
        CASE(SVFArg, SVFArgument);
        CASE(SVFConst, SVFConstant);
        CASE(SVFConstData, SVFConstantData);
        CASE(SVFConstInt, SVFConstantInt);
        CASE(SVFConstFP, SVFConstantFP);
        CASE(SVFNullPtr, SVFConstantNullPtr);
        CASE(SVFBlackHole, SVFBlackHoleValue);
        CASE(SVFMetaAsValue, SVFMetadataAsValue);
        CASE(SVFOther, SVFOtherValue);
#undef CASE
    }
}

virtToJson() [8/8]

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

private

Definition at line 207 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(FIObjNode, FIObjVar);
        CASE(DummyValNode, DummyValVar);
        CASE(DummyObjNode, DummyObjVar);
#undef CASE
    }
}

writeJsonToOstream()

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

static

Definition at line 991 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 997 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 386 of file SVFFileSystem.h.

icfgWriter

ICFGWriter SVF::SVFIRWriter::icfgWriter

private

Definition at line 385 of file SVFFileSystem.h.

irGraphWriter

IRGraphWriter SVF::SVFIRWriter::irGraphWriter

private

Definition at line 387 of file SVFFileSystem.h.

numToStrMap

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

private

Definition at line 389 of file SVFFileSystem.h.

svfIR

const SVFIR* SVF::SVFIRWriter::svfIR

private

Definition at line 382 of file SVFFileSystem.h.

svfModuleWriter

SVFModuleWriter SVF::SVFIRWriter::svfModuleWriter

private

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