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

Member Typedef Documentation

autoCStr

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

Definition at line 392 of file SVFFileSystem.h.

autoJSON

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

Definition at line 391 of file SVFFileSystem.h.

Constructor & Destructor Documentation

SVFIRWriter()

SVF::SVFIRWriter::SVFIRWriter

(

const SVFIR *

svfir

)

Constructor.

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

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

private

Definition at line 672 of file SVFFileSystem.cpp.

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

contentToJson() [2/67]

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

private

Definition at line 667 of file SVFFileSystem.cpp.

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

contentToJson() [3/67]

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

private

Definition at line 346 of file SVFFileSystem.cpp.

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

contentToJson() [4/67]

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

private

Definition at line 746 of file SVFFileSystem.cpp.

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

contentToJson() [5/67]

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

private

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

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

private

Definition at line 442 of file SVFFileSystem.cpp.

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

contentToJson() [7/67]

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

private

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

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

private

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

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

private

Definition at line 466 of file SVFFileSystem.cpp.

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

contentToJson() [10/67]

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

private

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

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

private

Definition at line 739 of file SVFFileSystem.cpp.

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

contentToJson() [12/67]

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

private

Definition at line 677 of file SVFFileSystem.cpp.

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

contentToJson() [13/67]

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

private

Definition at line 366 of file SVFFileSystem.cpp.

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

contentToJson() [14/67]

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

private

Definition at line 361 of file SVFFileSystem.cpp.

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

contentToJson() [15/67]

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

private

Definition at line 399 of file SVFFileSystem.cpp.

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

contentToJson() [16/67]

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

private

Definition at line 406 of file SVFFileSystem.cpp.

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

contentToJson() [17/67]

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

private

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

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

private

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

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

private

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

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

private

Definition at line 382 of file SVFFileSystem.cpp.

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

contentToJson() [21/67]

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

private

Definition at line 429 of file SVFFileSystem.cpp.

{
    return genericEdgeToJson(edge);
}

contentToJson() [22/67]

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

private

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

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

private

Definition at line 394 of file SVFFileSystem.cpp.

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

contentToJson() [24/67]

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

private

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

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

private

Definition at line 387 of file SVFFileSystem.cpp.

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

contentToJson() [26/67]

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

private

Definition at line 689 of file SVFFileSystem.cpp.

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

contentToJson() [27/67]

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

private

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

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

private

Definition at line 718 of file SVFFileSystem.cpp.

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

contentToJson() [29/67]

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

private

Definition at line 323 of file SVFFileSystem.cpp.

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

contentToJson() [30/67]

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

private

Definition at line 725 of file SVFFileSystem.cpp.

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

contentToJson() [31/67]

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

private

Definition at line 449 of file SVFFileSystem.cpp.

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

contentToJson() [32/67]

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

private

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

cJSON * SVF::SVFIRWriter::contentToJson ( const RetPE *  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, exit);
    return root;
}

contentToJson() [34/67]

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

private

Definition at line 351 of file SVFFileSystem.cpp.

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

contentToJson() [35/67]

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

private

Definition at line 732 of file SVFFileSystem.cpp.

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

contentToJson() [36/67]

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

private

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

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

private

Definition at line 684 of file SVFFileSystem.cpp.

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

contentToJson() [38/67]

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

private

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

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

private

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

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

private

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

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

private

Definition at line 628 of file SVFFileSystem.cpp.

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

contentToJson() [42/67]

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

private

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

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

private

Definition at line 582 of file SVFFileSystem.cpp.

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

contentToJson() [44/67]

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

private

Definition at line 603 of file SVFFileSystem.cpp.

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

contentToJson() [45/67]

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

private

Definition at line 616 of file SVFFileSystem.cpp.

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

contentToJson() [46/67]

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

private

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

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

private

Definition at line 623 of file SVFFileSystem.cpp.

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

contentToJson() [48/67]

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

private

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

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

private

Definition at line 495 of file SVFFileSystem.cpp.

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

contentToJson() [50/67]

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

private

Definition at line 587 of file SVFFileSystem.cpp.

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

contentToJson() [51/67]

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

private

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

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

private

Definition at line 488 of file SVFFileSystem.cpp.

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

contentToJson() [53/67]

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

private

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

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

private

Definition at line 638 of file SVFFileSystem.cpp.

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

contentToJson() [55/67]

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

private

Definition at line 517 of file SVFFileSystem.cpp.

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

contentToJson() [56/67]

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

private

Definition at line 633 of file SVFFileSystem.cpp.

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

contentToJson() [57/67]

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

private

Definition at line 482 of file SVFFileSystem.cpp.

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

contentToJson() [58/67]

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

private

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

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

private

Definition at line 502 of file SVFFileSystem.cpp.

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

contentToJson() [60/67]

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

private

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

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

private

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

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

private

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

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

private

Definition at line 769 of file SVFFileSystem.cpp.

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

contentToJson() [64/67]

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

private

Definition at line 774 of file SVFFileSystem.cpp.

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

contentToJson() [65/67]

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

private

Definition at line 753 of file SVFFileSystem.cpp.

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

contentToJson() [66/67]

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

private

Definition at line 318 of file SVFFileSystem.cpp.

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

contentToJson() [67/67]

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

private

Definition at line 356 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 1022 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 1014 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 547 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 557 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 536 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 640 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 633 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 1004 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 105 of file SVFFileSystem.cpp.

{
    return jsonCreateBool(flag);
}

toJson() [2/31]

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

private

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

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

toJson() [4/31]

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

private

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

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

toJson() [6/31]

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

private

Definition at line 1126 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 1093 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 1120 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 1114 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 1067 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 1206 of file SVFFileSystem.cpp.

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

toJson() [12/31]

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

private

Definition at line 1239 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 1194 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 611 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 122 of file SVFFileSystem.cpp.

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

toJson() [16/31]

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

private

Definition at line 1226 of file SVFFileSystem.cpp.

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

toJson() [17/31]

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

private

Definition at line 1164 of file SVFFileSystem.cpp.

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

toJson() [18/31]

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

private

Definition at line 1211 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 1286 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 1088 of file SVFFileSystem.cpp.

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

toJson() [21/31]

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

private

Definition at line 1057 of file SVFFileSystem.cpp.

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

toJson() [22/31]

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

private

Definition at line 1062 of file SVFFileSystem.cpp.

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

toJson() [23/31]

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

private

Definition at line 1083 of file SVFFileSystem.cpp.

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

toJson() [24/31]

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

private

Definition at line 1252 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 621 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 127 of file SVFFileSystem.cpp.

{
    return jsonCreateNumber(number);
}

toJson() [27/31]

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

staticprivate

Definition at line 116 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 138 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 143 of file SVFFileSystem.cpp.

{
    return jsonCreateString(numToStr(number));
}

toJson() [30/31]

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

private

Definition at line 132 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 110 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 303 of file SVFFileSystem.cpp.

{
    return contentToJson(edge);
}

virtToJson() [2/8]

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

private

Definition at line 298 of file SVFFileSystem.cpp.

{
    return contentToJson(node);
}

virtToJson() [3/8]

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

private

Definition at line 283 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 262 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 232 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 148 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 172 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 204 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(FunValNode, FunValVar);
        CASE(HeapObjNode, HeapObjVar);
        CASE(StackObjNode, StackObjVar);
#undef CASE
    }
}

writeJsonToOstream()

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

static

Definition at line 983 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 989 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 385 of file SVFFileSystem.h.

icfgWriter

ICFGWriter SVF::SVFIRWriter::icfgWriter

private

Definition at line 384 of file SVFFileSystem.h.

irGraphWriter

IRGraphWriter SVF::SVFIRWriter::irGraphWriter

private

Definition at line 386 of file SVFFileSystem.h.

numToStrMap

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

private

Definition at line 388 of file SVFFileSystem.h.

svfIR

const SVFIR* SVF::SVFIRWriter::svfIR

private

Definition at line 381 of file SVFFileSystem.h.

svfModuleWriter

SVFModuleWriter SVF::SVFIRWriter::svfModuleWriter

private

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