svf-tools 1.0.897 → 1.0.899
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/AbstractExecution_8cpp.html +1 -1
- package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1638 -1659
- package/SVF-doxygen/html/AbstractExecution_8h_source.html +49 -49
- package/SVF-doxygen/html/AbstractPointsToDS_8h_source.html +1 -1
- package/SVF-doxygen/html/AccessPath_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AccessPath_8h_source.html +2 -2
- package/SVF-doxygen/html/AddressValue_8h_source.html +1 -1
- package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
- package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +3 -3
- package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +3 -3
- package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +5 -5
- package/SVF-doxygen/html/Andersen_8h_source.html +3 -3
- package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +4 -4
- package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +400 -380
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +29 -28
- package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/CDG_8h_source.html +2 -2
- package/SVF-doxygen/html/CFGNormalizer_8cpp_source.html +3 -3
- package/SVF-doxygen/html/CFGNormalizer_8h_source.html +3 -3
- package/SVF-doxygen/html/CFGrammar_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CFGrammar_8h_source.html +3 -3
- package/SVF-doxygen/html/CFLAlias_8h_source.html +2 -2
- package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLGraphBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/CFLSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CHG_8h_source.html +2 -2
- package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CSC_8h_source.html +3 -3
- package/SVF-doxygen/html/ConditionalPT_8h_source.html +3 -3
- package/SVF-doxygen/html/ConsExeState_8cpp_source.html +6 -6
- package/SVF-doxygen/html/ConsExeState_8h_source.html +6 -6
- package/SVF-doxygen/html/ConsGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/ConsG_8cpp_source.html +14 -14
- package/SVF-doxygen/html/ConsG_8h_source.html +4 -4
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/CoreBitVector_8h_source.html +1 -1
- package/SVF-doxygen/html/CppUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CppUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
- package/SVF-doxygen/html/DCHG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
- package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAClient_8h_source.html +3 -3
- package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +2 -2
- package/SVF-doxygen/html/DPItem_8h_source.html +2 -2
- package/SVF-doxygen/html/ExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ExeState_8h_source.html +1 -1
- package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FSMPTA_8h_source.html +2 -2
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +6 -6
- package/SVF-doxygen/html/FlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/GeneralType_8h.html +8 -0
- package/SVF-doxygen/html/GeneralType_8h_source.html +110 -102
- package/SVF-doxygen/html/GenericGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/GrammarBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ICFGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFGEdge_8h_source.html +3 -3
- package/SVF-doxygen/html/ICFGNode_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +2 -2
- package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/ICFG_8h_source.html +2 -2
- package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
- package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +2 -2
- package/SVF-doxygen/html/IntervalExeState_8h_source.html +4 -4
- package/SVF-doxygen/html/IntervalValue_8h_source.html +863 -802
- package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +335 -316
- package/SVF-doxygen/html/LLVMModule_8h_source.html +11 -11
- package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LockAnalysis_8h_source.html +3 -3
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LockResultValidator_8h_source.html +2 -2
- package/SVF-doxygen/html/MHP_8cpp_source.html +3 -3
- package/SVF-doxygen/html/MHP_8h_source.html +3 -3
- package/SVF-doxygen/html/MSSAMuChi_8h_source.html +4 -4
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +5 -5
- package/SVF-doxygen/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/MTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTA_8h_source.html +1 -1
- package/SVF-doxygen/html/MemPartition_8h_source.html +2 -2
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +4 -4
- package/SVF-doxygen/html/MemRegion_8h_source.html +5 -5
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/MemSSA_8h_source.html +5 -5
- package/SVF-doxygen/html/MutablePointsToDS_8h_source.html +1 -1
- package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/NodeIDAllocator_8h_source.html +2 -2
- package/SVF-doxygen/html/NumericLiteral_8h_source.html +465 -424
- package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
- package/SVF-doxygen/html/ObjTypeInference_8h_source.html +2 -2
- package/SVF-doxygen/html/Options_8cpp_source.html +10 -1
- package/SVF-doxygen/html/Options_8h_source.html +8 -4
- package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +195 -137
- package/SVF-doxygen/html/PAGBuilderFromFile_8h_source.html +3 -3
- package/SVF-doxygen/html/PCG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PCG_8h_source.html +1 -1
- package/SVF-doxygen/html/PTACallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PTACallGraph_8h_source.html +4 -4
- package/SVF-doxygen/html/PTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PersistentPointsToCache_8h_source.html +2 -2
- package/SVF-doxygen/html/PersistentPointsToDS_8h_source.html +2 -2
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
- package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +3 -3
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysis_8h_source.html +5 -5
- package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
- package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
- package/SVF-doxygen/html/ProgSlice_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ProgSlice_8h_source.html +2 -2
- package/SVF-doxygen/html/RelExeState_8cpp_source.html +5 -5
- package/SVF-doxygen/html/RelExeState_8h_source.html +6 -6
- package/SVF-doxygen/html/RelationSolver_8cpp.html +2 -0
- package/SVF-doxygen/html/RelationSolver_8cpp_source.html +386 -378
- package/SVF-doxygen/html/RelationSolver_8h_source.html +11 -11
- package/SVF-doxygen/html/SCC_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFBugReport_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +1937 -1934
- package/SVF-doxygen/html/SVFFileSystem_8h.html +1 -1
- package/SVF-doxygen/html/SVFFileSystem_8h_source.html +59 -59
- package/SVF-doxygen/html/SVFGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFGNode_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFG_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +60 -60
- package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +9 -9
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1101 -886
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +173 -154
- package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +35 -35
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +17 -17
- package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +172 -121
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +5 -5
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +24 -22
- package/SVF-doxygen/html/SVFIR_8h_source.html +55 -53
- package/SVF-doxygen/html/SVFLoop_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFStat_8h_source.html +1 -1
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +20 -20
- package/SVF-doxygen/html/SVFStatements_8h_source.html +979 -955
- package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFType_8h_source.html +4 -4
- package/SVF-doxygen/html/SVFUtil_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
- package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
- package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +10 -10
- package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +8 -8
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/SingleAbsValue_8h_source.html +6 -6
- package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
- package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
- package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
- package/SVF-doxygen/html/SymState_8h_source.html +2 -2
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +4 -4
- package/SVF-doxygen/html/TCT_8cpp_source.html +3 -3
- package/SVF-doxygen/html/TCT_8h_source.html +4 -4
- package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ThreadAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +3 -3
- package/SVF-doxygen/html/VFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/VFGNode_8h_source.html +12 -12
- package/SVF-doxygen/html/VFG_8cpp_source.html +18 -18
- package/SVF-doxygen/html/VFG_8h_source.html +17 -17
- package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +4 -4
- package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
- package/SVF-doxygen/html/WPAFSSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/WPASolver_8h_source.html +2 -2
- package/SVF-doxygen/html/WTO_8h_source.html +2 -2
- package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
- package/SVF-doxygen/html/Z3Expr_8cpp_source.html +5 -5
- package/SVF-doxygen/html/Z3Expr_8h_source.html +303 -294
- package/SVF-doxygen/html/ae_8cpp_source.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1AEStat.html +119 -119
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1517 -1538
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
- package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +77 -72
- package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +450 -294
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
- package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFGNormalizer.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CSC.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
- package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +13 -13
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1CopyStmt-members.html +48 -33
- package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +206 -65
- package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1DDAPass.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ExeState.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GenericGraphReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +56 -56
- package/SVF-doxygen/html/classSVF_1_1GrammarBase.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFGWriter.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +40 -35
- package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +512 -307
- package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +331 -312
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +19 -19
- package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MHP.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
- package/SVF-doxygen/html/classSVF_1_1MutableDFPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +50 -43
- package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +574 -343
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1Options-members.html +129 -128
- package/SVF-doxygen/html/classSVF_1_1Options.html +26 -0
- package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +204 -135
- package/SVF-doxygen/html/classSVF_1_1PCG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1POCRSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PTACallGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PTAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentDFPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentDiffPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentPTData.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PersistentPointsToCache.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointsTo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ReaderPtrPool.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1RelExeState.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +362 -358
- package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +32 -25
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +51 -51
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +49 -40
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1346 -909
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder-members.html +62 -61
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +211 -131
- package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1122 -1121
- package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +429 -427
- package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFModuleReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFModuleWriter.html +23 -23
- package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +14 -14
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
- package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +96 -91
- package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +19 -5
- package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1StInfo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +17 -17
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
- package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
- package/SVF-doxygen/html/classSVF_1_1VFG.html +17 -17
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1WPAFSSolver.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1WPAMinimumSolver.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1WPASCCSolver.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1WPASolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Z3Expr-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +227 -221
- package/SVF-doxygen/html/classSymblicAbstractionTest.html +6 -6
- package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
- package/SVF-doxygen/html/functions_a.html +11 -8
- package/SVF-doxygen/html/functions_b.html +8 -5
- package/SVF-doxygen/html/functions_c.html +23 -14
- package/SVF-doxygen/html/functions_e.html +1 -1
- package/SVF-doxygen/html/functions_enum.html +3 -0
- package/SVF-doxygen/html/functions_eval_b.html +3 -0
- package/SVF-doxygen/html/functions_eval_c.html +3 -0
- package/SVF-doxygen/html/functions_eval_f.html +9 -0
- package/SVF-doxygen/html/functions_eval_i.html +3 -0
- package/SVF-doxygen/html/functions_eval_p.html +3 -0
- package/SVF-doxygen/html/functions_eval_s.html +6 -0
- package/SVF-doxygen/html/functions_eval_t.html +3 -0
- package/SVF-doxygen/html/functions_eval_u.html +3 -0
- package/SVF-doxygen/html/functions_eval_z.html +79 -0
- package/SVF-doxygen/html/functions_f.html +21 -12
- package/SVF-doxygen/html/functions_func.html +2 -2
- package/SVF-doxygen/html/functions_func_b.html +3 -3
- package/SVF-doxygen/html/functions_func_g.html +47 -12
- package/SVF-doxygen/html/functions_func_i.html +19 -9
- package/SVF-doxygen/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/functions_func_z.html +1 -1
- package/SVF-doxygen/html/functions_g.html +54 -19
- package/SVF-doxygen/html/functions_i.html +18 -5
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_o.html +15 -15
- package/SVF-doxygen/html/functions_p.html +28 -29
- package/SVF-doxygen/html/functions_r.html +1 -1
- package/SVF-doxygen/html/functions_s.html +24 -16
- package/SVF-doxygen/html/functions_t.html +7 -4
- package/SVF-doxygen/html/functions_u.html +6 -3
- package/SVF-doxygen/html/functions_v.html +4 -6
- package/SVF-doxygen/html/functions_vars_a.html +3 -0
- package/SVF-doxygen/html/functions_vars_c.html +3 -0
- package/SVF-doxygen/html/functions_w.html +13 -7
- package/SVF-doxygen/html/functions_z.html +4 -1
- package/SVF-doxygen/html/menudata.js +2 -1
- package/SVF-doxygen/html/namespaceSVF.html +689 -617
- package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +1 -1
- package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +1 -1
- package/SVF-doxygen/html/namespacemembers_s.html +6 -0
- package/SVF-doxygen/html/namespacemembers_type_s.html +6 -0
- package/SVF-doxygen/html/namespacemembers_type_u.html +6 -0
- package/SVF-doxygen/html/namespacemembers_u.html +6 -0
- package/SVF-doxygen/html/search/all_1.js +135 -134
- package/SVF-doxygen/html/search/all_10.js +326 -325
- package/SVF-doxygen/html/search/all_11.js +226 -226
- package/SVF-doxygen/html/search/all_12.js +574 -570
- package/SVF-doxygen/html/search/all_13.js +208 -207
- package/SVF-doxygen/html/search/all_14.js +73 -70
- package/SVF-doxygen/html/search/all_15.js +176 -176
- package/SVF-doxygen/html/search/all_16.js +77 -77
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +27 -26
- package/SVF-doxygen/html/search/all_1a.js +179 -179
- package/SVF-doxygen/html/search/all_2.js +182 -181
- package/SVF-doxygen/html/search/all_3.js +642 -640
- package/SVF-doxygen/html/search/all_4.js +236 -236
- package/SVF-doxygen/html/search/all_5.js +126 -126
- package/SVF-doxygen/html/search/all_6.js +235 -232
- package/SVF-doxygen/html/search/all_7.js +1056 -1047
- package/SVF-doxygen/html/search/all_8.js +215 -215
- package/SVF-doxygen/html/search/all_9.js +632 -629
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +115 -115
- package/SVF-doxygen/html/search/all_d.js +204 -204
- package/SVF-doxygen/html/search/all_e.js +209 -209
- package/SVF-doxygen/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/search/classes_0.js +28 -28
- package/SVF-doxygen/html/search/classes_1.js +11 -11
- package/SVF-doxygen/html/search/classes_10.js +74 -74
- package/SVF-doxygen/html/search/classes_11.js +14 -14
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +19 -19
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +73 -73
- package/SVF-doxygen/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/search/classes_4.js +8 -8
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/search/classes_7.js +38 -38
- package/SVF-doxygen/html/search/classes_8.js +59 -59
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +3 -3
- package/SVF-doxygen/html/search/defines_10.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +4 -4
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +8 -8
- package/SVF-doxygen/html/search/defines_f.js +4 -4
- package/SVF-doxygen/html/search/enums_0.js +4 -4
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +9 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_1.js +16 -15
- package/SVF-doxygen/html/search/enumvalues_10.js +36 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +5 -4
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +4 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +37 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +50 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +24 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +19 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +49 -47
- package/SVF-doxygen/html/search/files_0.js +16 -16
- package/SVF-doxygen/html/search/files_1.js +9 -9
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +53 -53
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +10 -10
- package/SVF-doxygen/html/search/files_7.js +17 -17
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +4 -4
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +368 -368
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +140 -140
- package/SVF-doxygen/html/search/functions_12.js +299 -299
- package/SVF-doxygen/html/search/functions_13.js +73 -73
- package/SVF-doxygen/html/search/functions_14.js +41 -41
- package/SVF-doxygen/html/search/functions_15.js +72 -72
- package/SVF-doxygen/html/search/functions_16.js +38 -38
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +179 -179
- package/SVF-doxygen/html/search/functions_2.js +94 -94
- package/SVF-doxygen/html/search/functions_3.js +261 -261
- package/SVF-doxygen/html/search/functions_4.js +85 -85
- package/SVF-doxygen/html/search/functions_5.js +57 -57
- package/SVF-doxygen/html/search/functions_6.js +65 -65
- package/SVF-doxygen/html/search/functions_7.js +872 -863
- package/SVF-doxygen/html/search/functions_8.js +162 -162
- package/SVF-doxygen/html/search/functions_9.js +440 -438
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +25 -25
- package/SVF-doxygen/html/search/functions_d.js +82 -82
- package/SVF-doxygen/html/search/functions_e.js +36 -36
- package/SVF-doxygen/html/search/functions_f.js +58 -58
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +4 -4
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +5 -5
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +27 -27
- package/SVF-doxygen/html/search/typedefs_10.js +65 -63
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +13 -11
- package/SVF-doxygen/html/search/typedefs_13.js +40 -40
- package/SVF-doxygen/html/search/typedefs_14.js +11 -11
- package/SVF-doxygen/html/search/typedefs_2.js +125 -125
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +42 -42
- package/SVF-doxygen/html/search/typedefs_6.js +54 -54
- package/SVF-doxygen/html/search/typedefs_7.js +47 -47
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +177 -177
- package/SVF-doxygen/html/search/variables_1.js +77 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +11 -11
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +17 -17
- package/SVF-doxygen/html/search/variables_2.js +40 -40
- package/SVF-doxygen/html/search/variables_3.js +143 -142
- package/SVF-doxygen/html/search/variables_4.js +51 -51
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +8 -8
- package/SVF-doxygen/html/search/variables_9.js +79 -79
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +57 -57
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +31 -31
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1Hash.html +6 -6
- package/SVF-doxygen/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +12 -12
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +6 -6
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +6 -6
- package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp.html +21 -21
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +21 -21
- package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
- package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
- package/package.json +1 -1
- package/svf/include/AE/Core/BoundedZ3Expr.h +33 -20
- package/svf/include/AE/Core/IntervalValue.h +57 -5
- package/svf/include/AE/Core/NumericLiteral.h +31 -1
- package/svf/include/AE/Core/RelationSolver.h +1 -1
- package/svf/include/AE/Svfexe/SVFIR2ItvExeState.h +10 -0
- package/svf/include/SVFIR/SVFIR.h +2 -1
- package/svf/include/SVFIR/SVFStatements.h +12 -2
- package/svf/include/Util/GeneralType.h +4 -0
- package/svf/include/Util/Options.h +3 -0
- package/svf/include/Util/Z3Expr.h +9 -2
- package/svf/lib/AE/Core/RelationSolver.cpp +11 -6
- package/svf/lib/AE/Svfexe/AbstractExecution.cpp +13 -34
- package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +6 -6
- package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +217 -23
- package/svf/lib/SVFIR/PAGBuilderFromFile.cpp +62 -3
- package/svf/lib/SVFIR/SVFFileSystem.cpp +4 -1
- package/svf/lib/SVFIR/SVFIR.cpp +3 -3
- package/svf/lib/Util/Options.cpp +8 -0
- package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +39 -3
- package/svf-llvm/lib/LLVMModule.cpp +21 -2
- package/svf-llvm/lib/SVFIRBuilder.cpp +7 -7
- package/svf-llvm/lib/SVFIRExtAPI.cpp +3 -3
|
@@ -418,12 +418,12 @@ Private Attributes</h2></td></tr>
|
|
|
418
418
|
|
|
419
419
|
<p>Constructor. </p>
|
|
420
420
|
|
|
421
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
422
|
-
<div class="fragment"><div class="line"><a name="
|
|
423
|
-
<div class="line"><a name="
|
|
424
|
-
<div class="line"><a name="
|
|
425
|
-
<div class="line"><a name="
|
|
426
|
-
<div class="line"><a name="
|
|
421
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00992">992</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
422
|
+
<div class="fragment"><div class="line"><a name="l00993"></a><span class="lineno"> 993</span>  : <a class="code" href="classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8">svfIR</a>(svfir), <a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>(svfir->svfModule), <a class="code" href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">icfgWriter</a>(svfir->icfg),</div>
|
|
423
|
+
<div class="line"><a name="l00994"></a><span class="lineno"> 994</span>  <a class="code" href="classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7">chgWriter</a>(SVFUtil::dyn_cast<CHGraph>(svfir->chgraph)),</div>
|
|
424
|
+
<div class="line"><a name="l00995"></a><span class="lineno"> 995</span>  <a class="code" href="classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424">irGraphWriter</a>(svfir)</div>
|
|
425
|
+
<div class="line"><a name="l00996"></a><span class="lineno"> 996</span> {</div>
|
|
426
|
+
<div class="line"><a name="l00997"></a><span class="lineno"> 997</span> }</div>
|
|
427
427
|
</div><!-- fragment -->
|
|
428
428
|
</div>
|
|
429
429
|
</div>
|
|
@@ -514,12 +514,12 @@ Private Attributes</h2></td></tr>
|
|
|
514
514
|
</table>
|
|
515
515
|
</div><div class="memdoc">
|
|
516
516
|
|
|
517
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
518
|
-
<div class="fragment"><div class="line"><a name="
|
|
519
|
-
<div class="line"><a name="
|
|
520
|
-
<div class="line"><a name="
|
|
521
|
-
<div class="line"><a name="
|
|
522
|
-
<div class="line"><a name="
|
|
517
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00762">762</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
518
|
+
<div class="fragment"><div class="line"><a name="l00763"></a><span class="lineno"> 763</span> {</div>
|
|
519
|
+
<div class="line"><a name="l00764"></a><span class="lineno"> 764</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>MultiOpndStmt*<span class="keyword">></span>(edge));</div>
|
|
520
|
+
<div class="line"><a name="l00765"></a><span class="lineno"> 765</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, opcode);</div>
|
|
521
|
+
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  <span class="keywordflow">return</span> root;</div>
|
|
522
|
+
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span> }</div>
|
|
523
523
|
</div><!-- fragment -->
|
|
524
524
|
</div>
|
|
525
525
|
</div>
|
|
@@ -547,14 +547,14 @@ Private Attributes</h2></td></tr>
|
|
|
547
547
|
</table>
|
|
548
548
|
</div><div class="memdoc">
|
|
549
549
|
|
|
550
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
551
|
-
<div class="fragment"><div class="line"><a name="
|
|
552
|
-
<div class="line"><a name="
|
|
553
|
-
<div class="line"><a name="
|
|
554
|
-
<div class="line"><a name="
|
|
555
|
-
<div class="line"><a name="
|
|
556
|
-
<div class="line"><a name="
|
|
557
|
-
<div class="line"><a name="
|
|
550
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00776">776</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
551
|
+
<div class="fragment"><div class="line"><a name="l00777"></a><span class="lineno"> 777</span> {</div>
|
|
552
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>SVFStmt*<span class="keyword">></span>(edge));</div>
|
|
553
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, successors);</div>
|
|
554
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, cond);</div>
|
|
555
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, brInst);</div>
|
|
556
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <span class="keywordflow">return</span> root;</div>
|
|
557
|
+
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span> }</div>
|
|
558
558
|
</div><!-- fragment -->
|
|
559
559
|
</div>
|
|
560
560
|
</div>
|
|
@@ -651,13 +651,13 @@ Private Attributes</h2></td></tr>
|
|
|
651
651
|
</table>
|
|
652
652
|
</div><div class="memdoc">
|
|
653
653
|
|
|
654
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
655
|
-
<div class="fragment"><div class="line"><a name="
|
|
656
|
-
<div class="line"><a name="
|
|
657
|
-
<div class="line"><a name="
|
|
658
|
-
<div class="line"><a name="
|
|
659
|
-
<div class="line"><a name="
|
|
660
|
-
<div class="line"><a name="
|
|
654
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00718">718</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
655
|
+
<div class="fragment"><div class="line"><a name="l00719"></a><span class="lineno"> 719</span> {</div>
|
|
656
|
+
<div class="line"><a name="l00720"></a><span class="lineno"> 720</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>AssignStmt*<span class="keyword">></span>(edge));</div>
|
|
657
|
+
<div class="line"><a name="l00721"></a><span class="lineno"> 721</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, call);</div>
|
|
658
|
+
<div class="line"><a name="l00722"></a><span class="lineno"> 722</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, entry);</div>
|
|
659
|
+
<div class="line"><a name="l00723"></a><span class="lineno"> 723</span>  <span class="keywordflow">return</span> root;</div>
|
|
660
|
+
<div class="line"><a name="l00724"></a><span class="lineno"> 724</span> }</div>
|
|
661
661
|
</div><!-- fragment -->
|
|
662
662
|
</div>
|
|
663
663
|
</div>
|
|
@@ -754,12 +754,12 @@ Private Attributes</h2></td></tr>
|
|
|
754
754
|
</table>
|
|
755
755
|
</div><div class="memdoc">
|
|
756
756
|
|
|
757
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
758
|
-
<div class="fragment"><div class="line"><a name="
|
|
759
|
-
<div class="line"><a name="
|
|
760
|
-
<div class="line"><a name="
|
|
761
|
-
<div class="line"><a name="
|
|
762
|
-
<div class="line"><a name="
|
|
757
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00755">755</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
758
|
+
<div class="fragment"><div class="line"><a name="l00756"></a><span class="lineno"> 756</span> {</div>
|
|
759
|
+
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>MultiOpndStmt*<span class="keyword">></span>(edge));</div>
|
|
760
|
+
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, predicate);</div>
|
|
761
|
+
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  <span class="keywordflow">return</span> root;</div>
|
|
762
|
+
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span> }</div>
|
|
763
763
|
</div><!-- fragment -->
|
|
764
764
|
</div>
|
|
765
765
|
</div>
|
|
@@ -789,8 +789,10 @@ Private Attributes</h2></td></tr>
|
|
|
789
789
|
|
|
790
790
|
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00693">693</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
791
791
|
<div class="fragment"><div class="line"><a name="l00694"></a><span class="lineno"> 694</span> {</div>
|
|
792
|
-
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  <
|
|
793
|
-
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span> 
|
|
792
|
+
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>AssignStmt*<span class="keyword">></span>(edge));</div>
|
|
793
|
+
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, copyKind);</div>
|
|
794
|
+
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span>  <span class="keywordflow">return</span> root;</div>
|
|
795
|
+
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span> }</div>
|
|
794
796
|
</div><!-- fragment -->
|
|
795
797
|
</div>
|
|
796
798
|
</div>
|
|
@@ -1011,13 +1013,13 @@ Private Attributes</h2></td></tr>
|
|
|
1011
1013
|
</table>
|
|
1012
1014
|
</div><div class="memdoc">
|
|
1013
1015
|
|
|
1014
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1015
|
-
<div class="fragment"><div class="line"><a name="
|
|
1016
|
-
<div class="line"><a name="
|
|
1017
|
-
<div class="line"><a name="
|
|
1018
|
-
<div class="line"><a name="
|
|
1019
|
-
<div class="line"><a name="
|
|
1020
|
-
<div class="line"><a name="
|
|
1016
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00710">710</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1017
|
+
<div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno"> 711</span> {</div>
|
|
1018
|
+
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>AssignStmt*<span class="keyword">></span>(edge));</div>
|
|
1019
|
+
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, ap);</div>
|
|
1020
|
+
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, variantField);</div>
|
|
1021
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  <span class="keywordflow">return</span> root;</div>
|
|
1022
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span> }</div>
|
|
1021
1023
|
</div><!-- fragment -->
|
|
1022
1024
|
</div>
|
|
1023
1025
|
</div>
|
|
@@ -1276,10 +1278,10 @@ Private Attributes</h2></td></tr>
|
|
|
1276
1278
|
</table>
|
|
1277
1279
|
</div><div class="memdoc">
|
|
1278
1280
|
|
|
1279
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1280
|
-
<div class="fragment"><div class="line"><a name="
|
|
1281
|
-
<div class="line"><a name="
|
|
1282
|
-
<div class="line"><a name="
|
|
1281
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00705">705</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1282
|
+
<div class="fragment"><div class="line"><a name="l00706"></a><span class="lineno"> 706</span> {</div>
|
|
1283
|
+
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>AssignStmt*<span class="keyword">></span>(edge));</div>
|
|
1284
|
+
<div class="line"><a name="l00708"></a><span class="lineno"> 708</span> }</div>
|
|
1283
1285
|
</div><!-- fragment -->
|
|
1284
1286
|
</div>
|
|
1285
1287
|
</div>
|
|
@@ -1307,14 +1309,14 @@ Private Attributes</h2></td></tr>
|
|
|
1307
1309
|
</table>
|
|
1308
1310
|
</div><div class="memdoc">
|
|
1309
1311
|
|
|
1310
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1311
|
-
<div class="fragment"><div class="line"><a name="
|
|
1312
|
-
<div class="line"><a name="
|
|
1313
|
-
<div class="line"><a name="
|
|
1314
|
-
<div class="line"><a name="
|
|
1315
|
-
<div class="line"><a name="
|
|
1316
|
-
<div class="line"><a name="
|
|
1317
|
-
<div class="line"><a name="
|
|
1312
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01193">1193</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1313
|
+
<div class="fragment"><div class="line"><a name="l01194"></a><span class="lineno"> 1194</span> {</div>
|
|
1314
|
+
<div class="line"><a name="l01195"></a><span class="lineno"> 1195</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
1315
|
+
<div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, memObj, symId);</div>
|
|
1316
|
+
<div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, memObj, typeInfo);</div>
|
|
1317
|
+
<div class="line"><a name="l01198"></a><span class="lineno"> 1198</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, memObj, refVal);</div>
|
|
1318
|
+
<div class="line"><a name="l01199"></a><span class="lineno"> 1199</span>  <span class="keywordflow">return</span> root;</div>
|
|
1319
|
+
<div class="line"><a name="l01200"></a><span class="lineno"> 1200</span> }</div>
|
|
1318
1320
|
</div><!-- fragment -->
|
|
1319
1321
|
</div>
|
|
1320
1322
|
</div>
|
|
@@ -1342,12 +1344,12 @@ Private Attributes</h2></td></tr>
|
|
|
1342
1344
|
</table>
|
|
1343
1345
|
</div><div class="memdoc">
|
|
1344
1346
|
|
|
1345
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1346
|
-
<div class="fragment"><div class="line"><a name="
|
|
1347
|
-
<div class="line"><a name="
|
|
1348
|
-
<div class="line"><a name="
|
|
1349
|
-
<div class="line"><a name="
|
|
1350
|
-
<div class="line"><a name="
|
|
1347
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00734">734</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1348
|
+
<div class="fragment"><div class="line"><a name="l00735"></a><span class="lineno"> 735</span> {</div>
|
|
1349
|
+
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>SVFStmt*<span class="keyword">></span>(edge));</div>
|
|
1350
|
+
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, opVars);</div>
|
|
1351
|
+
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  <span class="keywordflow">return</span> root;</div>
|
|
1352
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span> }</div>
|
|
1351
1353
|
</div><!-- fragment -->
|
|
1352
1354
|
</div>
|
|
1353
1355
|
</div>
|
|
@@ -1408,12 +1410,12 @@ Private Attributes</h2></td></tr>
|
|
|
1408
1410
|
</table>
|
|
1409
1411
|
</div><div class="memdoc">
|
|
1410
1412
|
|
|
1411
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1412
|
-
<div class="fragment"><div class="line"><a name="
|
|
1413
|
-
<div class="line"><a name="
|
|
1414
|
-
<div class="line"><a name="
|
|
1415
|
-
<div class="line"><a name="
|
|
1416
|
-
<div class="line"><a name="
|
|
1413
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00741">741</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1414
|
+
<div class="fragment"><div class="line"><a name="l00742"></a><span class="lineno"> 742</span> {</div>
|
|
1415
|
+
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>MultiOpndStmt*<span class="keyword">></span>(edge));</div>
|
|
1416
|
+
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, opICFGNodes);</div>
|
|
1417
|
+
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span>  <span class="keywordflow">return</span> root;</div>
|
|
1418
|
+
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span> }</div>
|
|
1417
1419
|
</div><!-- fragment -->
|
|
1418
1420
|
</div>
|
|
1419
1421
|
</div>
|
|
@@ -1510,13 +1512,13 @@ Private Attributes</h2></td></tr>
|
|
|
1510
1512
|
</table>
|
|
1511
1513
|
</div><div class="memdoc">
|
|
1512
1514
|
|
|
1513
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1514
|
-
<div class="fragment"><div class="line"><a name="
|
|
1515
|
-
<div class="line"><a name="
|
|
1516
|
-
<div class="line"><a name="
|
|
1517
|
-
<div class="line"><a name="
|
|
1518
|
-
<div class="line"><a name="
|
|
1519
|
-
<div class="line"><a name="
|
|
1515
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00726">726</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1516
|
+
<div class="fragment"><div class="line"><a name="l00727"></a><span class="lineno"> 727</span> {</div>
|
|
1517
|
+
<div class="line"><a name="l00728"></a><span class="lineno"> 728</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>AssignStmt*<span class="keyword">></span>(edge));</div>
|
|
1518
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, call);</div>
|
|
1519
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, exit);</div>
|
|
1520
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  <span class="keywordflow">return</span> root;</div>
|
|
1521
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span> }</div>
|
|
1520
1522
|
</div><!-- fragment -->
|
|
1521
1523
|
</div>
|
|
1522
1524
|
</div>
|
|
@@ -1575,12 +1577,12 @@ Private Attributes</h2></td></tr>
|
|
|
1575
1577
|
</table>
|
|
1576
1578
|
</div><div class="memdoc">
|
|
1577
1579
|
|
|
1578
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1579
|
-
<div class="fragment"><div class="line"><a name="
|
|
1580
|
-
<div class="line"><a name="
|
|
1581
|
-
<div class="line"><a name="
|
|
1582
|
-
<div class="line"><a name="
|
|
1583
|
-
<div class="line"><a name="
|
|
1580
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00748">748</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1581
|
+
<div class="fragment"><div class="line"><a name="l00749"></a><span class="lineno"> 749</span> {</div>
|
|
1582
|
+
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>MultiOpndStmt*<span class="keyword">></span>(edge));</div>
|
|
1583
|
+
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, condition);</div>
|
|
1584
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <span class="keywordflow">return</span> root;</div>
|
|
1585
|
+
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span> }</div>
|
|
1584
1586
|
</div><!-- fragment -->
|
|
1585
1587
|
</div>
|
|
1586
1588
|
</div>
|
|
@@ -1608,21 +1610,21 @@ Private Attributes</h2></td></tr>
|
|
|
1608
1610
|
</table>
|
|
1609
1611
|
</div><div class="memdoc">
|
|
1610
1612
|
|
|
1611
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1612
|
-
<div class="fragment"><div class="line"><a name="
|
|
1613
|
-
<div class="line"><a name="
|
|
1614
|
-
<div class="line"><a name="
|
|
1615
|
-
<div class="line"><a name="
|
|
1616
|
-
<div class="line"><a name="
|
|
1617
|
-
<div class="line"><a name="
|
|
1618
|
-
<div class="line"><a name="
|
|
1619
|
-
<div class="line"><a name="
|
|
1620
|
-
<div class="line"><a name="
|
|
1621
|
-
<div class="line"><a name="
|
|
1622
|
-
<div class="line"><a name="
|
|
1623
|
-
<div class="line"><a name="
|
|
1624
|
-
<div class="line"><a name="
|
|
1625
|
-
<div class="line"><a name="
|
|
1613
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01202">1202</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1614
|
+
<div class="fragment"><div class="line"><a name="l01203"></a><span class="lineno"> 1203</span> {</div>
|
|
1615
|
+
<div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
1616
|
+
<div class="line"><a name="l01205"></a><span class="lineno"> 1205</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, stInfo, field)</span></div>
|
|
1617
|
+
<div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(stride);</div>
|
|
1618
|
+
<div class="line"><a name="l01207"></a><span class="lineno"> 1207</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(numOfFlattenElements);</div>
|
|
1619
|
+
<div class="line"><a name="l01208"></a><span class="lineno"> 1208</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(numOfFlattenFields);</div>
|
|
1620
|
+
<div class="line"><a name="l01209"></a><span class="lineno"> 1209</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(fldIdxVec);</div>
|
|
1621
|
+
<div class="line"><a name="l01210"></a><span class="lineno"> 1210</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(elemIdxVec);</div>
|
|
1622
|
+
<div class="line"><a name="l01211"></a><span class="lineno"> 1211</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(fldIdx2TypeMap);</div>
|
|
1623
|
+
<div class="line"><a name="l01212"></a><span class="lineno"> 1212</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(finfo);</div>
|
|
1624
|
+
<div class="line"><a name="l01213"></a><span class="lineno"> 1213</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(flattenElementTypes);</div>
|
|
1625
|
+
<div class="line"><a name="l01214"></a><span class="lineno"> 1214</span> <span class="preprocessor">#undef F</span></div>
|
|
1626
|
+
<div class="line"><a name="l01215"></a><span class="lineno"> 1215</span>  <span class="keywordflow">return</span> root;</div>
|
|
1627
|
+
<div class="line"><a name="l01216"></a><span class="lineno"> 1216</span> }</div>
|
|
1626
1628
|
</div><!-- fragment -->
|
|
1627
1629
|
</div>
|
|
1628
1630
|
</div>
|
|
@@ -1650,10 +1652,10 @@ Private Attributes</h2></td></tr>
|
|
|
1650
1652
|
</table>
|
|
1651
1653
|
</div><div class="memdoc">
|
|
1652
1654
|
|
|
1653
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
1654
|
-
<div class="fragment"><div class="line"><a name="
|
|
1655
|
-
<div class="line"><a name="
|
|
1656
|
-
<div class="line"><a name="
|
|
1655
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00700">700</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
1656
|
+
<div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno"> 701</span> {</div>
|
|
1657
|
+
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>AssignStmt*<span class="keyword">></span>(edge));</div>
|
|
1658
|
+
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span> }</div>
|
|
1657
1659
|
</div><!-- fragment -->
|
|
1658
1660
|
</div>
|
|
1659
1661
|
</div>
|
|
@@ -2574,10 +2576,10 @@ Private Attributes</h2></td></tr>
|
|
|
2574
2576
|
</table>
|
|
2575
2577
|
</div><div class="memdoc">
|
|
2576
2578
|
|
|
2577
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
2578
|
-
<div class="fragment"><div class="line"><a name="
|
|
2579
|
-
<div class="line"><a name="
|
|
2580
|
-
<div class="line"><a name="
|
|
2579
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00785">785</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
2580
|
+
<div class="fragment"><div class="line"><a name="l00786"></a><span class="lineno"> 786</span> {</div>
|
|
2581
|
+
<div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>CallPE*<span class="keyword">></span>(edge));</div>
|
|
2582
|
+
<div class="line"><a name="l00788"></a><span class="lineno"> 788</span> }</div>
|
|
2581
2583
|
</div><!-- fragment -->
|
|
2582
2584
|
</div>
|
|
2583
2585
|
</div>
|
|
@@ -2605,10 +2607,10 @@ Private Attributes</h2></td></tr>
|
|
|
2605
2607
|
</table>
|
|
2606
2608
|
</div><div class="memdoc">
|
|
2607
2609
|
|
|
2608
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
2609
|
-
<div class="fragment"><div class="line"><a name="
|
|
2610
|
-
<div class="line"><a name="
|
|
2611
|
-
<div class="line"><a name="
|
|
2610
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00790">790</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
2611
|
+
<div class="fragment"><div class="line"><a name="l00791"></a><span class="lineno"> 791</span> {</div>
|
|
2612
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>RetPE*<span class="keyword">></span>(edge));</div>
|
|
2613
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span> }</div>
|
|
2612
2614
|
</div><!-- fragment -->
|
|
2613
2615
|
</div>
|
|
2614
2616
|
</div>
|
|
@@ -2636,12 +2638,12 @@ Private Attributes</h2></td></tr>
|
|
|
2636
2638
|
</table>
|
|
2637
2639
|
</div><div class="memdoc">
|
|
2638
2640
|
|
|
2639
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
2640
|
-
<div class="fragment"><div class="line"><a name="
|
|
2641
|
-
<div class="line"><a name="
|
|
2642
|
-
<div class="line"><a name="
|
|
2643
|
-
<div class="line"><a name="
|
|
2644
|
-
<div class="line"><a name="
|
|
2641
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00769">769</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
2642
|
+
<div class="fragment"><div class="line"><a name="l00770"></a><span class="lineno"> 770</span> {</div>
|
|
2643
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(<span class="keyword">static_cast<</span><span class="keyword">const </span>SVFStmt*<span class="keyword">></span>(edge));</div>
|
|
2644
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, edge, opcode);</div>
|
|
2645
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span>  <span class="keywordflow">return</span> root;</div>
|
|
2646
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span> }</div>
|
|
2645
2647
|
</div><!-- fragment -->
|
|
2646
2648
|
</div>
|
|
2647
2649
|
</div>
|
|
@@ -2732,40 +2734,40 @@ Private Attributes</h2></td></tr>
|
|
|
2732
2734
|
|
|
2733
2735
|
<p>Main logic to dump a <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> to a JSON object. </p>
|
|
2734
2736
|
|
|
2735
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
2736
|
-
<div class="fragment"><div class="line"><a name="
|
|
2737
|
-
<div class="line"><a name="
|
|
2738
|
-
<div class="line"><a name="
|
|
2739
|
-
<div class="line"><a name="
|
|
2740
|
-
<div class="line"><a name="
|
|
2741
|
-
<div class="line"><a name="
|
|
2742
|
-
<div class="line"><a name="
|
|
2743
|
-
<div class="line"><a name="
|
|
2744
|
-
<div class="line"><a name="
|
|
2745
|
-
<div class="line"><a name="
|
|
2746
|
-
<div class="line"><a name="
|
|
2747
|
-
<div class="line"><a name="
|
|
2748
|
-
<div class="line"><a name="
|
|
2749
|
-
<div class="line"><a name="
|
|
2750
|
-
<div class="line"><a name="
|
|
2751
|
-
<div class="line"><a name="
|
|
2752
|
-
<div class="line"><a name="
|
|
2753
|
-
<div class="line"><a name="
|
|
2754
|
-
<div class="line"><a name="
|
|
2755
|
-
<div class="line"><a name="
|
|
2756
|
-
<div class="line"><a name="
|
|
2757
|
-
<div class="line"><a name="
|
|
2758
|
-
<div class="line"><a name="
|
|
2759
|
-
<div class="line"><a name="
|
|
2760
|
-
<div class="line"><a name="
|
|
2761
|
-
<div class="line"><a name="
|
|
2762
|
-
<div class="line"><a name="
|
|
2763
|
-
<div class="line"><a name="
|
|
2764
|
-
<div class="line"><a name="
|
|
2765
|
-
<div class="line"><a name="
|
|
2766
|
-
<div class="line"><a name="
|
|
2767
|
-
<div class="line"><a name="
|
|
2768
|
-
<div class="line"><a name="
|
|
2737
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01038">1038</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
2738
|
+
<div class="fragment"><div class="line"><a name="l01039"></a><span class="lineno"> 1039</span> {</div>
|
|
2739
|
+
<div class="line"><a name="l01040"></a><span class="lineno"> 1040</span>  <span class="keyword">const</span> IRGraph* <span class="keyword">const</span> irGraph = <a class="code" href="classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8">svfIR</a>;</div>
|
|
2740
|
+
<div class="line"><a name="l01041"></a><span class="lineno"> 1041</span>  NodeIDAllocator* nodeIDAllocator = <a class="code" href="classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64">NodeIDAllocator::allocator</a>;</div>
|
|
2741
|
+
<div class="line"><a name="l01042"></a><span class="lineno"> 1042</span>  assert(nodeIDAllocator && <span class="stringliteral">"NodeIDAllocator is not initialized?"</span>);</div>
|
|
2742
|
+
<div class="line"><a name="l01043"></a><span class="lineno"> 1043</span>  </div>
|
|
2743
|
+
<div class="line"><a name="l01044"></a><span class="lineno"> 1044</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
2744
|
+
<div class="line"><a name="l01045"></a><span class="lineno"> 1045</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, svfIR, field)</span></div>
|
|
2745
|
+
<div class="line"><a name="l01046"></a><span class="lineno"> 1046</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(svfModule);</div>
|
|
2746
|
+
<div class="line"><a name="l01047"></a><span class="lineno"> 1047</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(symInfo);</div>
|
|
2747
|
+
<div class="line"><a name="l01048"></a><span class="lineno"> 1048</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(icfg);</div>
|
|
2748
|
+
<div class="line"><a name="l01049"></a><span class="lineno"> 1049</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(chgraph);</div>
|
|
2749
|
+
<div class="line"><a name="l01050"></a><span class="lineno"> 1050</span>  <a class="code" href="classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176">jsonAddJsonableToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(irGraph));</div>
|
|
2750
|
+
<div class="line"><a name="l01051"></a><span class="lineno"> 1051</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(icfgNode2SVFStmtsMap);</div>
|
|
2751
|
+
<div class="line"><a name="l01052"></a><span class="lineno"> 1052</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(icfgNode2PTASVFStmtsMap);</div>
|
|
2752
|
+
<div class="line"><a name="l01053"></a><span class="lineno"> 1053</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(GepValObjMap);</div>
|
|
2753
|
+
<div class="line"><a name="l01054"></a><span class="lineno"> 1054</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(typeLocSetsMap);</div>
|
|
2754
|
+
<div class="line"><a name="l01055"></a><span class="lineno"> 1055</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(GepObjVarMap);</div>
|
|
2755
|
+
<div class="line"><a name="l01056"></a><span class="lineno"> 1056</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(memToFieldsMap);</div>
|
|
2756
|
+
<div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(globSVFStmtSet);</div>
|
|
2757
|
+
<div class="line"><a name="l01058"></a><span class="lineno"> 1058</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(phiNodeMap);</div>
|
|
2758
|
+
<div class="line"><a name="l01059"></a><span class="lineno"> 1059</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(funArgsListMap);</div>
|
|
2759
|
+
<div class="line"><a name="l01060"></a><span class="lineno"> 1060</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(callSiteArgsListMap);</div>
|
|
2760
|
+
<div class="line"><a name="l01061"></a><span class="lineno"> 1061</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(callSiteRetMap);</div>
|
|
2761
|
+
<div class="line"><a name="l01062"></a><span class="lineno"> 1062</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(funRetMap);</div>
|
|
2762
|
+
<div class="line"><a name="l01063"></a><span class="lineno"> 1063</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(indCallSiteToFunPtrMap);</div>
|
|
2763
|
+
<div class="line"><a name="l01064"></a><span class="lineno"> 1064</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(funPtrToCallSitesMap);</div>
|
|
2764
|
+
<div class="line"><a name="l01065"></a><span class="lineno"> 1065</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(candidatePointers);</div>
|
|
2765
|
+
<div class="line"><a name="l01066"></a><span class="lineno"> 1066</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(callSiteSet);</div>
|
|
2766
|
+
<div class="line"><a name="l01067"></a><span class="lineno"> 1067</span>  <a class="code" href="classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176">jsonAddJsonableToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(nodeIDAllocator));</div>
|
|
2767
|
+
<div class="line"><a name="l01068"></a><span class="lineno"> 1068</span> <span class="preprocessor">#undef F</span></div>
|
|
2768
|
+
<div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>  </div>
|
|
2769
|
+
<div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>  <span class="keywordflow">return</span> {root, <a class="code" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a>};</div>
|
|
2770
|
+
<div class="line"><a name="l01071"></a><span class="lineno"> 1071</span> }</div>
|
|
2769
2771
|
</div><!-- fragment -->
|
|
2770
2772
|
</div>
|
|
2771
2773
|
</div>
|
|
@@ -2792,13 +2794,13 @@ Private Attributes</h2></td></tr>
|
|
|
2792
2794
|
</table>
|
|
2793
2795
|
</div><div class="memdoc">
|
|
2794
2796
|
|
|
2795
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
2796
|
-
<div class="fragment"><div class="line"><a name="
|
|
2797
|
-
<div class="line"><a name="
|
|
2798
|
-
<div class="line"><a name="
|
|
2799
|
-
<div class="line"><a name="
|
|
2800
|
-
<div class="line"><a name="
|
|
2801
|
-
<div class="line"><a name="
|
|
2797
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01030">1030</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
2798
|
+
<div class="fragment"><div class="line"><a name="l01031"></a><span class="lineno"> 1031</span> {</div>
|
|
2799
|
+
<div class="line"><a name="l01032"></a><span class="lineno"> 1032</span>  <a class="code" href="classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f">autoJSON</a> <span class="keywordtype">object</span> = <a class="code" href="classSVF_1_1SVFIRWriter.html#a875f285e8429e7f5ee5fc5f28d44df12">generateJson</a>();</div>
|
|
2800
|
+
<div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>  <span class="keywordtype">char</span>* str = <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() ? cJSON_Print(<span class="keywordtype">object</span>.get())</div>
|
|
2801
|
+
<div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>  : cJSON_PrintUnformatted(object.get());</div>
|
|
2802
|
+
<div class="line"><a name="l01035"></a><span class="lineno"> 1035</span>  <span class="keywordflow">return</span> {str, cJSON_free};</div>
|
|
2803
|
+
<div class="line"><a name="l01036"></a><span class="lineno"> 1036</span> }</div>
|
|
2802
2804
|
</div><!-- fragment -->
|
|
2803
2805
|
</div>
|
|
2804
2806
|
</div>
|
|
@@ -3066,15 +3068,15 @@ template<typename T > </div>
|
|
|
3066
3068
|
</table>
|
|
3067
3069
|
</div><div class="memdoc">
|
|
3068
3070
|
|
|
3069
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3070
|
-
<div class="fragment"><div class="line"><a name="
|
|
3071
|
-
<div class="line"><a name="
|
|
3072
|
-
<div class="line"><a name="
|
|
3073
|
-
<div class="line"><a name="
|
|
3074
|
-
<div class="line"><a name="
|
|
3075
|
-
<div class="line"><a name="
|
|
3076
|
-
<div class="line"><a name="
|
|
3077
|
-
<div class="line"><a name="
|
|
3071
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01020">1020</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3072
|
+
<div class="fragment"><div class="line"><a name="l01021"></a><span class="lineno"> 1021</span> {</div>
|
|
3073
|
+
<div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>  <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4">numToStrMap</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
|
|
3074
|
+
<div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>  <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4">numToStrMap</a>.end() && !(<a class="code" href="classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4">numToStrMap</a>.key_comp()(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, it->first)))</div>
|
|
3075
|
+
<div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>  {</div>
|
|
3076
|
+
<div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>  <span class="keywordflow">return</span> it->second.c_str();</div>
|
|
3077
|
+
<div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>  }</div>
|
|
3078
|
+
<div class="line"><a name="l01027"></a><span class="lineno"> 1027</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4">numToStrMap</a>.emplace_hint(it, <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, std::to_string(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>))->second.c_str();</div>
|
|
3079
|
+
<div class="line"><a name="l01028"></a><span class="lineno"> 1028</span> }</div>
|
|
3078
3080
|
</div><!-- fragment -->
|
|
3079
3081
|
</div>
|
|
3080
3082
|
</div>
|
|
@@ -3133,13 +3135,13 @@ template<typename T > </div>
|
|
|
3133
3135
|
</table>
|
|
3134
3136
|
</div><div class="memdoc">
|
|
3135
3137
|
|
|
3136
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3137
|
-
<div class="fragment"><div class="line"><a name="
|
|
3138
|
-
<div class="line"><a name="
|
|
3139
|
-
<div class="line"><a name="
|
|
3140
|
-
<div class="line"><a name="
|
|
3141
|
-
<div class="line"><a name="
|
|
3142
|
-
<div class="line"><a name="
|
|
3138
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01255">1255</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3139
|
+
<div class="fragment"><div class="line"><a name="l01256"></a><span class="lineno"> 1256</span> {</div>
|
|
3140
|
+
<div class="line"><a name="l01257"></a><span class="lineno"> 1257</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3141
|
+
<div class="line"><a name="l01258"></a><span class="lineno"> 1258</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, &ap, fldIdx);</div>
|
|
3142
|
+
<div class="line"><a name="l01259"></a><span class="lineno"> 1259</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, &ap, idxOperandPairs);</div>
|
|
3143
|
+
<div class="line"><a name="l01260"></a><span class="lineno"> 1260</span>  <span class="keywordflow">return</span> root;</div>
|
|
3144
|
+
<div class="line"><a name="l01261"></a><span class="lineno"> 1261</span> }</div>
|
|
3143
3145
|
</div><!-- fragment -->
|
|
3144
3146
|
</div>
|
|
3145
3147
|
</div>
|
|
@@ -3167,10 +3169,10 @@ template<typename T > </div>
|
|
|
3167
3169
|
</table>
|
|
3168
3170
|
</div><div class="memdoc">
|
|
3169
3171
|
|
|
3170
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3171
|
-
<div class="fragment"><div class="line"><a name="
|
|
3172
|
-
<div class="line"><a name="
|
|
3173
|
-
<div class="line"><a name="
|
|
3172
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01183">1183</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3173
|
+
<div class="fragment"><div class="line"><a name="l01184"></a><span class="lineno"> 1184</span> {</div>
|
|
3174
|
+
<div class="line"><a name="l01185"></a><span class="lineno"> 1185</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6">toJson</a>(cs.getInstruction());</div>
|
|
3175
|
+
<div class="line"><a name="l01186"></a><span class="lineno"> 1186</span> }</div>
|
|
3174
3176
|
</div><!-- fragment -->
|
|
3175
3177
|
</div>
|
|
3176
3178
|
</div>
|
|
@@ -3198,10 +3200,10 @@ template<typename T > </div>
|
|
|
3198
3200
|
</table>
|
|
3199
3201
|
</div><div class="memdoc">
|
|
3200
3202
|
|
|
3201
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3202
|
-
<div class="fragment"><div class="line"><a name="
|
|
3203
|
-
<div class="line"><a name="
|
|
3204
|
-
<div class="line"><a name="
|
|
3203
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01178">1178</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3204
|
+
<div class="fragment"><div class="line"><a name="l01179"></a><span class="lineno"> 1179</span> {</div>
|
|
3205
|
+
<div class="line"><a name="l01180"></a><span class="lineno"> 1180</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7">chgWriter</a>.<a class="code" href="classSVF_1_1GenericGraphWriter.html#a949ead8b0a9e2d345475977239ca6f3d">getEdgeID</a>(edge));</div>
|
|
3206
|
+
<div class="line"><a name="l01181"></a><span class="lineno"> 1181</span> }</div>
|
|
3205
3207
|
</div><!-- fragment -->
|
|
3206
3208
|
</div>
|
|
3207
3209
|
</div>
|
|
@@ -3229,26 +3231,26 @@ template<typename T > </div>
|
|
|
3229
3231
|
</table>
|
|
3230
3232
|
</div><div class="memdoc">
|
|
3231
3233
|
|
|
3232
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3233
|
-
<div class="fragment"><div class="line"><a name="
|
|
3234
|
-
<div class="line"><a name="
|
|
3235
|
-
<div class="line"><a name="
|
|
3236
|
-
<div class="line"><a name="
|
|
3237
|
-
<div class="line"><a name="
|
|
3238
|
-
<div class="line"><a name="
|
|
3239
|
-
<div class="line"><a name="
|
|
3240
|
-
<div class="line"><a name="
|
|
3241
|
-
<div class="line"><a name="
|
|
3242
|
-
<div class="line"><a name="
|
|
3243
|
-
<div class="line"><a name="
|
|
3244
|
-
<div class="line"><a name="
|
|
3245
|
-
<div class="line"><a name="
|
|
3246
|
-
<div class="line"><a name="
|
|
3247
|
-
<div class="line"><a name="
|
|
3248
|
-
<div class="line"><a name="
|
|
3249
|
-
<div class="line"><a name="
|
|
3250
|
-
<div class="line"><a name="
|
|
3251
|
-
<div class="line"><a name="
|
|
3234
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01152">1152</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3235
|
+
<div class="fragment"><div class="line"><a name="l01153"></a><span class="lineno"> 1153</span> {</div>
|
|
3236
|
+
<div class="line"><a name="l01154"></a><span class="lineno"> 1154</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#a9810ce9b0ce6c4f8f710e81ec8d08ec3">genericGraphToJson</a>(graph, <a class="code" href="classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7">chgWriter</a>.<a class="code" href="classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789">edgePool</a>.<a class="code" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">getPool</a>());</div>
|
|
3237
|
+
<div class="line"><a name="l01155"></a><span class="lineno"> 1155</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, graph, field)</span></div>
|
|
3238
|
+
<div class="line"><a name="l01156"></a><span class="lineno"> 1156</span>  <span class="comment">// TODO: Ensure svfMod is the same as the SVFIR's?</span></div>
|
|
3239
|
+
<div class="line"><a name="l01157"></a><span class="lineno"> 1157</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(classNum);</div>
|
|
3240
|
+
<div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(vfID);</div>
|
|
3241
|
+
<div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>  <span class="comment">// F(buildingCHGTime); No need</span></div>
|
|
3242
|
+
<div class="line"><a name="l01160"></a><span class="lineno"> 1160</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(classNameToNodeMap);</div>
|
|
3243
|
+
<div class="line"><a name="l01161"></a><span class="lineno"> 1161</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(classNameToDescendantsMap);</div>
|
|
3244
|
+
<div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(classNameToAncestorsMap);</div>
|
|
3245
|
+
<div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(classNameToInstAndDescsMap);</div>
|
|
3246
|
+
<div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(templateNameToInstancesMap);</div>
|
|
3247
|
+
<div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(csToClassesMap);</div>
|
|
3248
|
+
<div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(virtualFunctionToIDMap);</div>
|
|
3249
|
+
<div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(csToCHAVtblsMap);</div>
|
|
3250
|
+
<div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(csToCHAVFnsMap);</div>
|
|
3251
|
+
<div class="line"><a name="l01169"></a><span class="lineno"> 1169</span> <span class="preprocessor">#undef F</span></div>
|
|
3252
|
+
<div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>  <span class="keywordflow">return</span> root;</div>
|
|
3253
|
+
<div class="line"><a name="l01171"></a><span class="lineno"> 1171</span> }</div>
|
|
3252
3254
|
</div><!-- fragment -->
|
|
3253
3255
|
</div>
|
|
3254
3256
|
</div>
|
|
@@ -3276,10 +3278,10 @@ template<typename T > </div>
|
|
|
3276
3278
|
</table>
|
|
3277
3279
|
</div><div class="memdoc">
|
|
3278
3280
|
|
|
3279
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3280
|
-
<div class="fragment"><div class="line"><a name="
|
|
3281
|
-
<div class="line"><a name="
|
|
3282
|
-
<div class="line"><a name="
|
|
3281
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01173">1173</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3282
|
+
<div class="fragment"><div class="line"><a name="l01174"></a><span class="lineno"> 1174</span> {</div>
|
|
3283
|
+
<div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(node->getId());</div>
|
|
3284
|
+
<div class="line"><a name="l01176"></a><span class="lineno"> 1176</span> }</div>
|
|
3283
3285
|
</div><!-- fragment -->
|
|
3284
3286
|
</div>
|
|
3285
3287
|
</div>
|
|
@@ -3307,12 +3309,12 @@ template<typename T > </div>
|
|
|
3307
3309
|
</table>
|
|
3308
3310
|
</div><div class="memdoc">
|
|
3309
3311
|
|
|
3310
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3311
|
-
<div class="fragment"><div class="line"><a name="
|
|
3312
|
-
<div class="line"><a name="
|
|
3313
|
-
<div class="line"><a name="
|
|
3314
|
-
<div class="line"><a name="
|
|
3315
|
-
<div class="line"><a name="
|
|
3312
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01145">1145</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3313
|
+
<div class="fragment"><div class="line"><a name="l01146"></a><span class="lineno"> 1146</span> {</div>
|
|
3314
|
+
<div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>  <span class="keyword">auto</span> chg = SVFUtil::dyn_cast<CHGraph>(graph);</div>
|
|
3315
|
+
<div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>  assert(chg && <span class="stringliteral">"Unsupported CHGraph type!"</span>);</div>
|
|
3316
|
+
<div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6">toJson</a>(chg);</div>
|
|
3317
|
+
<div class="line"><a name="l01150"></a><span class="lineno"> 1150</span> }</div>
|
|
3316
3318
|
</div><!-- fragment -->
|
|
3317
3319
|
</div>
|
|
3318
3320
|
</div>
|
|
@@ -3340,29 +3342,29 @@ template<typename T > </div>
|
|
|
3340
3342
|
</table>
|
|
3341
3343
|
</div><div class="memdoc">
|
|
3342
3344
|
|
|
3343
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3344
|
-
<div class="fragment"><div class="line"><a name="
|
|
3345
|
-
<div class="line"><a name="
|
|
3346
|
-
<div class="line"><a name="
|
|
3347
|
-
<div class="line"><a name="
|
|
3348
|
-
<div class="line"><a name="
|
|
3349
|
-
<div class="line"><a name="
|
|
3350
|
-
<div class="line"><a name="
|
|
3351
|
-
<div class="line"><a name="
|
|
3352
|
-
<div class="line"><a name="
|
|
3353
|
-
<div class="line"><a name="
|
|
3354
|
-
<div class="line"><a name="
|
|
3355
|
-
<div class="line"><a name="
|
|
3356
|
-
<div class="line"><a name="
|
|
3357
|
-
<div class="line"><a name="
|
|
3358
|
-
<div class="line"><a name="
|
|
3359
|
-
<div class="line"><a name="
|
|
3360
|
-
<div class="line"><a name="
|
|
3361
|
-
<div class="line"><a name="
|
|
3362
|
-
<div class="line"><a name="
|
|
3363
|
-
<div class="line"><a name="
|
|
3364
|
-
<div class="line"><a name="
|
|
3365
|
-
<div class="line"><a name="
|
|
3345
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01109">1109</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3346
|
+
<div class="fragment"><div class="line"><a name="l01110"></a><span class="lineno"> 1110</span> {</div>
|
|
3347
|
+
<div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>  <a class="code" href="structcJSON.html">cJSON</a>* allSvfLoop = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>(); <span class="comment">// all indices seen in constructor</span></div>
|
|
3348
|
+
<div class="line"><a name="l01112"></a><span class="lineno"> 1112</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> SVFLoop* svfLoop : <a class="code" href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">icfgWriter</a>.<a class="code" href="classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9">svfLoopPool</a>)</div>
|
|
3349
|
+
<div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>  {</div>
|
|
3350
|
+
<div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>  <a class="code" href="structcJSON.html">cJSON</a>* svfLoopObj = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(svfLoop);</div>
|
|
3351
|
+
<div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allSvfLoop, svfLoopObj);</div>
|
|
3352
|
+
<div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>  }</div>
|
|
3353
|
+
<div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>  </div>
|
|
3354
|
+
<div class="line"><a name="l01118"></a><span class="lineno"> 1118</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, icfg, field)</span></div>
|
|
3355
|
+
<div class="line"><a name="l01119"></a><span class="lineno"> 1119</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#a9810ce9b0ce6c4f8f710e81ec8d08ec3">genericGraphToJson</a>(icfg, <a class="code" href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">icfgWriter</a>.<a class="code" href="classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789">edgePool</a>.<a class="code" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">getPool</a>());</div>
|
|
3356
|
+
<div class="line"><a name="l01120"></a><span class="lineno"> 1120</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allSvfLoop)); <span class="comment">// Meta field</span></div>
|
|
3357
|
+
<div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(totalICFGNode);</div>
|
|
3358
|
+
<div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(FunToFunEntryNodeMap);</div>
|
|
3359
|
+
<div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(FunToFunExitNodeMap);</div>
|
|
3360
|
+
<div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(CSToCallNodeMap);</div>
|
|
3361
|
+
<div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(CSToRetNodeMap);</div>
|
|
3362
|
+
<div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(InstToBlockNodeMap);</div>
|
|
3363
|
+
<div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(globalBlockNode);</div>
|
|
3364
|
+
<div class="line"><a name="l01128"></a><span class="lineno"> 1128</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(icfgNodeToSVFLoopVec);</div>
|
|
3365
|
+
<div class="line"><a name="l01129"></a><span class="lineno"> 1129</span> <span class="preprocessor">#undef F</span></div>
|
|
3366
|
+
<div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>  <span class="keywordflow">return</span> root;</div>
|
|
3367
|
+
<div class="line"><a name="l01131"></a><span class="lineno"> 1131</span> }</div>
|
|
3366
3368
|
</div><!-- fragment -->
|
|
3367
3369
|
</div>
|
|
3368
3370
|
</div>
|
|
@@ -3390,11 +3392,11 @@ template<typename T > </div>
|
|
|
3390
3392
|
</table>
|
|
3391
3393
|
</div><div class="memdoc">
|
|
3392
3394
|
|
|
3393
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3394
|
-
<div class="fragment"><div class="line"><a name="
|
|
3395
|
-
<div class="line"><a name="
|
|
3396
|
-
<div class="line"><a name="
|
|
3397
|
-
<div class="line"><a name="
|
|
3395
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01139">1139</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3396
|
+
<div class="fragment"><div class="line"><a name="l01140"></a><span class="lineno"> 1140</span> {</div>
|
|
3397
|
+
<div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>  assert(edge && <span class="stringliteral">"ICFGNode is null!"</span>);</div>
|
|
3398
|
+
<div class="line"><a name="l01142"></a><span class="lineno"> 1142</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">icfgWriter</a>.<a class="code" href="classSVF_1_1GenericGraphWriter.html#a949ead8b0a9e2d345475977239ca6f3d">getEdgeID</a>(edge));</div>
|
|
3399
|
+
<div class="line"><a name="l01143"></a><span class="lineno"> 1143</span> }</div>
|
|
3398
3400
|
</div><!-- fragment -->
|
|
3399
3401
|
</div>
|
|
3400
3402
|
</div>
|
|
@@ -3422,11 +3424,11 @@ template<typename T > </div>
|
|
|
3422
3424
|
</table>
|
|
3423
3425
|
</div><div class="memdoc">
|
|
3424
3426
|
|
|
3425
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3426
|
-
<div class="fragment"><div class="line"><a name="
|
|
3427
|
-
<div class="line"><a name="
|
|
3428
|
-
<div class="line"><a name="
|
|
3429
|
-
<div class="line"><a name="
|
|
3427
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01133">1133</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3428
|
+
<div class="fragment"><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span> {</div>
|
|
3429
|
+
<div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>  assert(node && <span class="stringliteral">"ICFGNode is null!"</span>);</div>
|
|
3430
|
+
<div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(node->getId());</div>
|
|
3431
|
+
<div class="line"><a name="l01137"></a><span class="lineno"> 1137</span> }</div>
|
|
3430
3432
|
</div><!-- fragment -->
|
|
3431
3433
|
</div>
|
|
3432
3434
|
</div>
|
|
@@ -3454,21 +3456,21 @@ template<typename T > </div>
|
|
|
3454
3456
|
</table>
|
|
3455
3457
|
</div><div class="memdoc">
|
|
3456
3458
|
|
|
3457
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3458
|
-
<div class="fragment"><div class="line"><a name="
|
|
3459
|
-
<div class="line"><a name="
|
|
3460
|
-
<div class="line"><a name="
|
|
3461
|
-
<div class="line"><a name="
|
|
3462
|
-
<div class="line"><a name="
|
|
3463
|
-
<div class="line"><a name="
|
|
3464
|
-
<div class="line"><a name="
|
|
3465
|
-
<div class="line"><a name="
|
|
3466
|
-
<div class="line"><a name="
|
|
3467
|
-
<div class="line"><a name="
|
|
3468
|
-
<div class="line"><a name="
|
|
3469
|
-
<div class="line"><a name="
|
|
3470
|
-
<div class="line"><a name="
|
|
3471
|
-
<div class="line"><a name="
|
|
3459
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01083">1083</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3460
|
+
<div class="fragment"><div class="line"><a name="l01084"></a><span class="lineno"> 1084</span> {</div>
|
|
3461
|
+
<div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>  <a class="code" href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a>(graph);</div>
|
|
3462
|
+
<div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>  </div>
|
|
3463
|
+
<div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="classSVF_1_1SVFIRWriter.html#a9810ce9b0ce6c4f8f710e81ec8d08ec3">genericGraphToJson</a>(graph, <a class="code" href="classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424">irGraphWriter</a>.<a class="code" href="classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789">edgePool</a>.<a class="code" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">getPool</a>());</div>
|
|
3464
|
+
<div class="line"><a name="l01088"></a><span class="lineno"> 1088</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, graph, field)</span></div>
|
|
3465
|
+
<div class="line"><a name="l01089"></a><span class="lineno"> 1089</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(KindToSVFStmtSetMap);</div>
|
|
3466
|
+
<div class="line"><a name="l01090"></a><span class="lineno"> 1090</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(KindToPTASVFStmtSetMap);</div>
|
|
3467
|
+
<div class="line"><a name="l01091"></a><span class="lineno"> 1091</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(fromFile);</div>
|
|
3468
|
+
<div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(nodeNumAfterPAGBuild);</div>
|
|
3469
|
+
<div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(totalPTAPAGEdge);</div>
|
|
3470
|
+
<div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(valueToEdgeMap);</div>
|
|
3471
|
+
<div class="line"><a name="l01095"></a><span class="lineno"> 1095</span> <span class="preprocessor">#undef F</span></div>
|
|
3472
|
+
<div class="line"><a name="l01096"></a><span class="lineno"> 1096</span>  <span class="keywordflow">return</span> root;</div>
|
|
3473
|
+
<div class="line"><a name="l01097"></a><span class="lineno"> 1097</span> }</div>
|
|
3472
3474
|
</div><!-- fragment -->
|
|
3473
3475
|
</div>
|
|
3474
3476
|
</div>
|
|
@@ -3496,10 +3498,10 @@ template<typename T > </div>
|
|
|
3496
3498
|
</table>
|
|
3497
3499
|
</div><div class="memdoc">
|
|
3498
3500
|
|
|
3499
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3500
|
-
<div class="fragment"><div class="line"><a name="
|
|
3501
|
-
<div class="line"><a name="
|
|
3502
|
-
<div class="line"><a name="
|
|
3501
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01230">1230</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3502
|
+
<div class="fragment"><div class="line"><a name="l01231"></a><span class="lineno"> 1231</span> {</div>
|
|
3503
|
+
<div class="line"><a name="l01232"></a><span class="lineno"> 1232</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(memObj->getId());</div>
|
|
3504
|
+
<div class="line"><a name="l01233"></a><span class="lineno"> 1233</span> }</div>
|
|
3503
3505
|
</div><!-- fragment -->
|
|
3504
3506
|
</div>
|
|
3505
3507
|
</div>
|
|
@@ -3527,18 +3529,18 @@ template<typename T > </div>
|
|
|
3527
3529
|
</table>
|
|
3528
3530
|
</div><div class="memdoc">
|
|
3529
3531
|
|
|
3530
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3531
|
-
<div class="fragment"><div class="line"><a name="
|
|
3532
|
-
<div class="line"><a name="
|
|
3533
|
-
<div class="line"><a name="
|
|
3534
|
-
<div class="line"><a name="
|
|
3535
|
-
<div class="line"><a name="
|
|
3536
|
-
<div class="line"><a name="
|
|
3537
|
-
<div class="line"><a name="
|
|
3538
|
-
<div class="line"><a name="
|
|
3539
|
-
<div class="line"><a name="
|
|
3540
|
-
<div class="line"><a name="
|
|
3541
|
-
<div class="line"><a name="
|
|
3532
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01263">1263</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3533
|
+
<div class="fragment"><div class="line"><a name="l01264"></a><span class="lineno"> 1264</span> {</div>
|
|
3534
|
+
<div class="line"><a name="l01265"></a><span class="lineno"> 1265</span>  <a class="code" href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a>(nodeIDAllocator);</div>
|
|
3535
|
+
<div class="line"><a name="l01266"></a><span class="lineno"> 1266</span>  </div>
|
|
3536
|
+
<div class="line"><a name="l01267"></a><span class="lineno"> 1267</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3537
|
+
<div class="line"><a name="l01268"></a><span class="lineno"> 1268</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, strategy);</div>
|
|
3538
|
+
<div class="line"><a name="l01269"></a><span class="lineno"> 1269</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numObjects);</div>
|
|
3539
|
+
<div class="line"><a name="l01270"></a><span class="lineno"> 1270</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numValues);</div>
|
|
3540
|
+
<div class="line"><a name="l01271"></a><span class="lineno"> 1271</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numSymbols);</div>
|
|
3541
|
+
<div class="line"><a name="l01272"></a><span class="lineno"> 1272</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numNodes);</div>
|
|
3542
|
+
<div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>  <span class="keywordflow">return</span> root;</div>
|
|
3543
|
+
<div class="line"><a name="l01274"></a><span class="lineno"> 1274</span> }</div>
|
|
3542
3544
|
</div><!-- fragment -->
|
|
3543
3545
|
</div>
|
|
3544
3546
|
</div>
|
|
@@ -3566,17 +3568,17 @@ template<typename T > </div>
|
|
|
3566
3568
|
</table>
|
|
3567
3569
|
</div><div class="memdoc">
|
|
3568
3570
|
|
|
3569
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3570
|
-
<div class="fragment"><div class="line"><a name="
|
|
3571
|
-
<div class="line"><a name="
|
|
3572
|
-
<div class="line"><a name="
|
|
3573
|
-
<div class="line"><a name="
|
|
3574
|
-
<div class="line"><a name="
|
|
3575
|
-
<div class="line"><a name="
|
|
3576
|
-
<div class="line"><a name="
|
|
3577
|
-
<div class="line"><a name="
|
|
3578
|
-
<div class="line"><a name="
|
|
3579
|
-
<div class="line"><a name="
|
|
3571
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01218">1218</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3572
|
+
<div class="fragment"><div class="line"><a name="l01219"></a><span class="lineno"> 1219</span> {</div>
|
|
3573
|
+
<div class="line"><a name="l01220"></a><span class="lineno"> 1220</span>  <a class="code" href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a>(objTypeInfo);</div>
|
|
3574
|
+
<div class="line"><a name="l01221"></a><span class="lineno"> 1221</span>  </div>
|
|
3575
|
+
<div class="line"><a name="l01222"></a><span class="lineno"> 1222</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3576
|
+
<div class="line"><a name="l01223"></a><span class="lineno"> 1223</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, objTypeInfo, <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>);</div>
|
|
3577
|
+
<div class="line"><a name="l01224"></a><span class="lineno"> 1224</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, objTypeInfo, flags);</div>
|
|
3578
|
+
<div class="line"><a name="l01225"></a><span class="lineno"> 1225</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, objTypeInfo, maxOffsetLimit);</div>
|
|
3579
|
+
<div class="line"><a name="l01226"></a><span class="lineno"> 1226</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, objTypeInfo, elemNum);</div>
|
|
3580
|
+
<div class="line"><a name="l01227"></a><span class="lineno"> 1227</span>  <span class="keywordflow">return</span> root;</div>
|
|
3581
|
+
<div class="line"><a name="l01228"></a><span class="lineno"> 1228</span> }</div>
|
|
3580
3582
|
</div><!-- fragment -->
|
|
3581
3583
|
</div>
|
|
3582
3584
|
</div>
|
|
@@ -3674,10 +3676,10 @@ template<typename T , typename U > </div>
|
|
|
3674
3676
|
</table>
|
|
3675
3677
|
</div><div class="memdoc">
|
|
3676
3678
|
|
|
3677
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3678
|
-
<div class="fragment"><div class="line"><a name="
|
|
3679
|
-
<div class="line"><a name="
|
|
3680
|
-
<div class="line"><a name="
|
|
3679
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01250">1250</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3680
|
+
<div class="fragment"><div class="line"><a name="l01251"></a><span class="lineno"> 1251</span> {</div>
|
|
3681
|
+
<div class="line"><a name="l01252"></a><span class="lineno"> 1252</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">getStInfoID</a>(stInfo));</div>
|
|
3682
|
+
<div class="line"><a name="l01253"></a><span class="lineno"> 1253</span> }</div>
|
|
3681
3683
|
</div><!-- fragment -->
|
|
3682
3684
|
</div>
|
|
3683
3685
|
</div>
|
|
@@ -3705,10 +3707,10 @@ template<typename T , typename U > </div>
|
|
|
3705
3707
|
</table>
|
|
3706
3708
|
</div><div class="memdoc">
|
|
3707
3709
|
|
|
3708
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3709
|
-
<div class="fragment"><div class="line"><a name="
|
|
3710
|
-
<div class="line"><a name="
|
|
3711
|
-
<div class="line"><a name="
|
|
3710
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01188">1188</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3711
|
+
<div class="fragment"><div class="line"><a name="l01189"></a><span class="lineno"> 1189</span> {</div>
|
|
3712
|
+
<div class="line"><a name="l01190"></a><span class="lineno"> 1190</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">icfgWriter</a>.<a class="code" href="classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940">getSvfLoopID</a>(loop));</div>
|
|
3713
|
+
<div class="line"><a name="l01191"></a><span class="lineno"> 1191</span> }</div>
|
|
3712
3714
|
</div><!-- fragment -->
|
|
3713
3715
|
</div>
|
|
3714
3716
|
</div>
|
|
@@ -3736,20 +3738,20 @@ template<typename T , typename U > </div>
|
|
|
3736
3738
|
</table>
|
|
3737
3739
|
</div><div class="memdoc">
|
|
3738
3740
|
|
|
3739
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3740
|
-
<div class="fragment"><div class="line"><a name="
|
|
3741
|
-
<div class="line"><a name="
|
|
3742
|
-
<div class="line"><a name="
|
|
3743
|
-
<div class="line"><a name="
|
|
3744
|
-
<div class="line"><a name="
|
|
3745
|
-
<div class="line"><a name="
|
|
3746
|
-
<div class="line"><a name="
|
|
3747
|
-
<div class="line"><a name="
|
|
3748
|
-
<div class="line"><a name="
|
|
3749
|
-
<div class="line"><a name="
|
|
3750
|
-
<div class="line"><a name="
|
|
3751
|
-
<div class="line"><a name="
|
|
3752
|
-
<div class="line"><a name="
|
|
3741
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01235">1235</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3742
|
+
<div class="fragment"><div class="line"><a name="l01236"></a><span class="lineno"> 1236</span> {</div>
|
|
3743
|
+
<div class="line"><a name="l01237"></a><span class="lineno"> 1237</span>  <a class="code" href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a>(ldInfo);</div>
|
|
3744
|
+
<div class="line"><a name="l01238"></a><span class="lineno"> 1238</span>  </div>
|
|
3745
|
+
<div class="line"><a name="l01239"></a><span class="lineno"> 1239</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3746
|
+
<div class="line"><a name="l01240"></a><span class="lineno"> 1240</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, reachableBBs);</div>
|
|
3747
|
+
<div class="line"><a name="l01241"></a><span class="lineno"> 1241</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, dtBBsMap);</div>
|
|
3748
|
+
<div class="line"><a name="l01242"></a><span class="lineno"> 1242</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, pdtBBsMap);</div>
|
|
3749
|
+
<div class="line"><a name="l01243"></a><span class="lineno"> 1243</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, dfBBsMap);</div>
|
|
3750
|
+
<div class="line"><a name="l01244"></a><span class="lineno"> 1244</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, bb2LoopMap);</div>
|
|
3751
|
+
<div class="line"><a name="l01245"></a><span class="lineno"> 1245</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, bb2PdomLevel);</div>
|
|
3752
|
+
<div class="line"><a name="l01246"></a><span class="lineno"> 1246</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, bb2PIdom);</div>
|
|
3753
|
+
<div class="line"><a name="l01247"></a><span class="lineno"> 1247</span>  <span class="keywordflow">return</span> root;</div>
|
|
3754
|
+
<div class="line"><a name="l01248"></a><span class="lineno"> 1248</span> }</div>
|
|
3753
3755
|
</div><!-- fragment -->
|
|
3754
3756
|
</div>
|
|
3755
3757
|
</div>
|
|
@@ -3777,47 +3779,47 @@ template<typename T , typename U > </div>
|
|
|
3777
3779
|
</table>
|
|
3778
3780
|
</div><div class="memdoc">
|
|
3779
3781
|
|
|
3780
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3781
|
-
<div class="fragment"><div class="line"><a name="
|
|
3782
|
-
<div class="line"><a name="
|
|
3783
|
-
<div class="line"><a name="
|
|
3784
|
-
<div class="line"><a name="
|
|
3785
|
-
<div class="line"><a name="
|
|
3786
|
-
<div class="line"><a name="
|
|
3787
|
-
<div class="line"><a name="
|
|
3788
|
-
<div class="line"><a name="
|
|
3789
|
-
<div class="line"><a name="
|
|
3790
|
-
<div class="line"><a name="
|
|
3791
|
-
<div class="line"><a name="
|
|
3792
|
-
<div class="line"><a name="
|
|
3793
|
-
<div class="line"><a name="
|
|
3794
|
-
<div class="line"><a name="
|
|
3795
|
-
<div class="line"><a name="
|
|
3796
|
-
<div class="line"><a name="
|
|
3797
|
-
<div class="line"><a name="
|
|
3798
|
-
<div class="line"><a name="
|
|
3799
|
-
<div class="line"><a name="
|
|
3800
|
-
<div class="line"><a name="
|
|
3801
|
-
<div class="line"><a name="
|
|
3802
|
-
<div class="line"><a name="
|
|
3803
|
-
<div class="line"><a name="
|
|
3804
|
-
<div class="line"><a name="
|
|
3805
|
-
<div class="line"><a name="
|
|
3806
|
-
<div class="line"><a name="
|
|
3807
|
-
<div class="line"><a name="
|
|
3808
|
-
<div class="line"><a name="
|
|
3809
|
-
<div class="line"><a name="
|
|
3810
|
-
<div class="line"><a name="
|
|
3811
|
-
<div class="line"><a name="
|
|
3812
|
-
<div class="line"><a name="
|
|
3813
|
-
<div class="line"><a name="
|
|
3814
|
-
<div class="line"><a name="
|
|
3815
|
-
<div class="line"><a name="
|
|
3816
|
-
<div class="line"><a name="
|
|
3817
|
-
<div class="line"><a name="
|
|
3818
|
-
<div class="line"><a name="
|
|
3819
|
-
<div class="line"><a name="
|
|
3820
|
-
<div class="line"><a name="
|
|
3782
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01310">1310</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3783
|
+
<div class="fragment"><div class="line"><a name="l01311"></a><span class="lineno"> 1311</span> {</div>
|
|
3784
|
+
<div class="line"><a name="l01312"></a><span class="lineno"> 1312</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3785
|
+
<div class="line"><a name="l01313"></a><span class="lineno"> 1313</span>  <a class="code" href="structcJSON.html">cJSON</a>* allSVFType = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3786
|
+
<div class="line"><a name="l01314"></a><span class="lineno"> 1314</span>  <a class="code" href="structcJSON.html">cJSON</a>* allStInfo = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3787
|
+
<div class="line"><a name="l01315"></a><span class="lineno"> 1315</span>  <a class="code" href="structcJSON.html">cJSON</a>* allSVFValue = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3788
|
+
<div class="line"><a name="l01316"></a><span class="lineno"> 1316</span>  </div>
|
|
3789
|
+
<div class="line"><a name="l01317"></a><span class="lineno"> 1317</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> SVFType* svfType : <a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d">svfTypePool</a>)</div>
|
|
3790
|
+
<div class="line"><a name="l01318"></a><span class="lineno"> 1318</span>  {</div>
|
|
3791
|
+
<div class="line"><a name="l01319"></a><span class="lineno"> 1319</span>  <a class="code" href="structcJSON.html">cJSON</a>* svfTypeObj = <a class="code" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">virtToJson</a>(svfType);</div>
|
|
3792
|
+
<div class="line"><a name="l01320"></a><span class="lineno"> 1320</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allSVFType, svfTypeObj);</div>
|
|
3793
|
+
<div class="line"><a name="l01321"></a><span class="lineno"> 1321</span>  }</div>
|
|
3794
|
+
<div class="line"><a name="l01322"></a><span class="lineno"> 1322</span>  </div>
|
|
3795
|
+
<div class="line"><a name="l01323"></a><span class="lineno"> 1323</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> StInfo* stInfo : <a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3">stInfoPool</a>)</div>
|
|
3796
|
+
<div class="line"><a name="l01324"></a><span class="lineno"> 1324</span>  {</div>
|
|
3797
|
+
<div class="line"><a name="l01325"></a><span class="lineno"> 1325</span>  <a class="code" href="structcJSON.html">cJSON</a>* stInfoObj = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(stInfo);</div>
|
|
3798
|
+
<div class="line"><a name="l01326"></a><span class="lineno"> 1326</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allStInfo, stInfoObj);</div>
|
|
3799
|
+
<div class="line"><a name="l01327"></a><span class="lineno"> 1327</span>  }</div>
|
|
3800
|
+
<div class="line"><a name="l01328"></a><span class="lineno"> 1328</span>  </div>
|
|
3801
|
+
<div class="line"><a name="l01329"></a><span class="lineno"> 1329</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, module, field)</span></div>
|
|
3802
|
+
<div class="line"><a name="l01330"></a><span class="lineno"> 1330</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allSVFType)); <span class="comment">// Meta field</span></div>
|
|
3803
|
+
<div class="line"><a name="l01331"></a><span class="lineno"> 1331</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allStInfo)); <span class="comment">// Meta field</span></div>
|
|
3804
|
+
<div class="line"><a name="l01332"></a><span class="lineno"> 1332</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allSVFValue)); <span class="comment">// Meta field</span></div>
|
|
3805
|
+
<div class="line"><a name="l01333"></a><span class="lineno"> 1333</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(pagReadFromTxt);</div>
|
|
3806
|
+
<div class="line"><a name="l01334"></a><span class="lineno"> 1334</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(moduleIdentifier);</div>
|
|
3807
|
+
<div class="line"><a name="l01335"></a><span class="lineno"> 1335</span>  </div>
|
|
3808
|
+
<div class="line"><a name="l01336"></a><span class="lineno"> 1336</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(FunctionSet);</div>
|
|
3809
|
+
<div class="line"><a name="l01337"></a><span class="lineno"> 1337</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(GlobalSet);</div>
|
|
3810
|
+
<div class="line"><a name="l01338"></a><span class="lineno"> 1338</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(AliasSet);</div>
|
|
3811
|
+
<div class="line"><a name="l01339"></a><span class="lineno"> 1339</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(ConstantSet);</div>
|
|
3812
|
+
<div class="line"><a name="l01340"></a><span class="lineno"> 1340</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(OtherValueSet);</div>
|
|
3813
|
+
<div class="line"><a name="l01341"></a><span class="lineno"> 1341</span> <span class="preprocessor">#undef F</span></div>
|
|
3814
|
+
<div class="line"><a name="l01342"></a><span class="lineno"> 1342</span>  </div>
|
|
3815
|
+
<div class="line"><a name="l01343"></a><span class="lineno"> 1343</span>  <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> i = 1; i <= <a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6">sizeSVFValuePool</a>(); ++i)</div>
|
|
3816
|
+
<div class="line"><a name="l01344"></a><span class="lineno"> 1344</span>  {</div>
|
|
3817
|
+
<div class="line"><a name="l01345"></a><span class="lineno"> 1345</span>  <a class="code" href="structcJSON.html">cJSON</a>* value = <a class="code" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">virtToJson</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">getSVFValuePtr</a>(i));</div>
|
|
3818
|
+
<div class="line"><a name="l01346"></a><span class="lineno"> 1346</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allSVFValue, value);</div>
|
|
3819
|
+
<div class="line"><a name="l01347"></a><span class="lineno"> 1347</span>  }</div>
|
|
3820
|
+
<div class="line"><a name="l01348"></a><span class="lineno"> 1348</span>  </div>
|
|
3821
|
+
<div class="line"><a name="l01349"></a><span class="lineno"> 1349</span>  <span class="keywordflow">return</span> root;</div>
|
|
3822
|
+
<div class="line"><a name="l01350"></a><span class="lineno"> 1350</span> }</div>
|
|
3821
3823
|
</div><!-- fragment -->
|
|
3822
3824
|
</div>
|
|
3823
3825
|
</div>
|
|
@@ -3845,10 +3847,10 @@ template<typename T , typename U > </div>
|
|
|
3845
3847
|
</table>
|
|
3846
3848
|
</div><div class="memdoc">
|
|
3847
3849
|
|
|
3848
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3849
|
-
<div class="fragment"><div class="line"><a name="
|
|
3850
|
-
<div class="line"><a name="
|
|
3851
|
-
<div class="line"><a name="
|
|
3850
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01104">1104</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3851
|
+
<div class="fragment"><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span> {</div>
|
|
3852
|
+
<div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424">irGraphWriter</a>.<a class="code" href="classSVF_1_1GenericGraphWriter.html#a949ead8b0a9e2d345475977239ca6f3d">getEdgeID</a>(stmt));</div>
|
|
3853
|
+
<div class="line"><a name="l01107"></a><span class="lineno"> 1107</span> }</div>
|
|
3852
3854
|
</div><!-- fragment -->
|
|
3853
3855
|
</div>
|
|
3854
3856
|
</div>
|
|
@@ -3876,10 +3878,10 @@ template<typename T , typename U > </div>
|
|
|
3876
3878
|
</table>
|
|
3877
3879
|
</div><div class="memdoc">
|
|
3878
3880
|
|
|
3879
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3880
|
-
<div class="fragment"><div class="line"><a name="
|
|
3881
|
-
<div class="line"><a name="
|
|
3882
|
-
<div class="line"><a name="
|
|
3881
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01073">1073</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3882
|
+
<div class="fragment"><div class="line"><a name="l01074"></a><span class="lineno"> 1074</span> {</div>
|
|
3883
|
+
<div class="line"><a name="l01075"></a><span class="lineno"> 1075</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">getSVFTypeID</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>));</div>
|
|
3884
|
+
<div class="line"><a name="l01076"></a><span class="lineno"> 1076</span> }</div>
|
|
3883
3885
|
</div><!-- fragment -->
|
|
3884
3886
|
</div>
|
|
3885
3887
|
</div>
|
|
@@ -3907,10 +3909,10 @@ template<typename T , typename U > </div>
|
|
|
3907
3909
|
</table>
|
|
3908
3910
|
</div><div class="memdoc">
|
|
3909
3911
|
|
|
3910
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3911
|
-
<div class="fragment"><div class="line"><a name="
|
|
3912
|
-
<div class="line"><a name="
|
|
3913
|
-
<div class="line"><a name="
|
|
3912
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01078">1078</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3913
|
+
<div class="fragment"><div class="line"><a name="l01079"></a><span class="lineno"> 1079</span> {</div>
|
|
3914
|
+
<div class="line"><a name="l01080"></a><span class="lineno"> 1080</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#a0598a4c2af139b600a44360849933c38">getSVFValueID</a>(value));</div>
|
|
3915
|
+
<div class="line"><a name="l01081"></a><span class="lineno"> 1081</span> }</div>
|
|
3914
3916
|
</div><!-- fragment -->
|
|
3915
3917
|
</div>
|
|
3916
3918
|
</div>
|
|
@@ -3938,10 +3940,10 @@ template<typename T , typename U > </div>
|
|
|
3938
3940
|
</table>
|
|
3939
3941
|
</div><div class="memdoc">
|
|
3940
3942
|
|
|
3941
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3942
|
-
<div class="fragment"><div class="line"><a name="
|
|
3943
|
-
<div class="line"><a name="
|
|
3944
|
-
<div class="line"><a name="
|
|
3943
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01099">1099</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3944
|
+
<div class="fragment"><div class="line"><a name="l01100"></a><span class="lineno"> 1100</span> {</div>
|
|
3945
|
+
<div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>  <span class="keywordflow">return</span> var ? <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(var->getId()) : <a class="code" href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">jsonCreateNullId</a>();</div>
|
|
3946
|
+
<div class="line"><a name="l01102"></a><span class="lineno"> 1102</span> }</div>
|
|
3945
3947
|
</div><!-- fragment -->
|
|
3946
3948
|
</div>
|
|
3947
3949
|
</div>
|
|
@@ -3969,39 +3971,39 @@ template<typename T , typename U > </div>
|
|
|
3969
3971
|
</table>
|
|
3970
3972
|
</div><div class="memdoc">
|
|
3971
3973
|
|
|
3972
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3973
|
-
<div class="fragment"><div class="line"><a name="
|
|
3974
|
-
<div class="line"><a name="
|
|
3975
|
-
<div class="line"><a name="
|
|
3976
|
-
<div class="line"><a name="
|
|
3977
|
-
<div class="line"><a name="
|
|
3978
|
-
<div class="line"><a name="
|
|
3979
|
-
<div class="line"><a name="
|
|
3980
|
-
<div class="line"><a name="
|
|
3981
|
-
<div class="line"><a name="
|
|
3982
|
-
<div class="line"><a name="
|
|
3983
|
-
<div class="line"><a name="
|
|
3984
|
-
<div class="line"><a name="
|
|
3985
|
-
<div class="line"><a name="
|
|
3986
|
-
<div class="line"><a name="
|
|
3987
|
-
<div class="line"><a name="
|
|
3988
|
-
<div class="line"><a name="
|
|
3989
|
-
<div class="line"><a name="
|
|
3990
|
-
<div class="line"><a name="
|
|
3991
|
-
<div class="line"><a name="
|
|
3992
|
-
<div class="line"><a name="
|
|
3993
|
-
<div class="line"><a name="
|
|
3994
|
-
<div class="line"><a name="
|
|
3995
|
-
<div class="line"><a name="
|
|
3996
|
-
<div class="line"><a name="
|
|
3997
|
-
<div class="line"><a name="
|
|
3998
|
-
<div class="line"><a name="
|
|
3999
|
-
<div class="line"><a name="
|
|
4000
|
-
<div class="line"><a name="
|
|
4001
|
-
<div class="line"><a name="
|
|
4002
|
-
<div class="line"><a name="
|
|
4003
|
-
<div class="line"><a name="
|
|
4004
|
-
<div class="line"><a name="
|
|
3974
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01276">1276</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3975
|
+
<div class="fragment"><div class="line"><a name="l01277"></a><span class="lineno"> 1277</span> {</div>
|
|
3976
|
+
<div class="line"><a name="l01278"></a><span class="lineno"> 1278</span>  <a class="code" href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a>(symTable);</div>
|
|
3977
|
+
<div class="line"><a name="l01279"></a><span class="lineno"> 1279</span>  </div>
|
|
3978
|
+
<div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3979
|
+
<div class="line"><a name="l01281"></a><span class="lineno"> 1281</span>  <a class="code" href="structcJSON.html">cJSON</a>* allMemObj = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3980
|
+
<div class="line"><a name="l01282"></a><span class="lineno"> 1282</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>& pair : symTable->objMap)</div>
|
|
3981
|
+
<div class="line"><a name="l01283"></a><span class="lineno"> 1283</span>  {</div>
|
|
3982
|
+
<div class="line"><a name="l01284"></a><span class="lineno"> 1284</span>  <span class="keyword">const</span> MemObj* memObj = pair.second;</div>
|
|
3983
|
+
<div class="line"><a name="l01285"></a><span class="lineno"> 1285</span>  <a class="code" href="structcJSON.html">cJSON</a>* memObjJson = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(memObj);</div>
|
|
3984
|
+
<div class="line"><a name="l01286"></a><span class="lineno"> 1286</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allMemObj, memObjJson);</div>
|
|
3985
|
+
<div class="line"><a name="l01287"></a><span class="lineno"> 1287</span>  }</div>
|
|
3986
|
+
<div class="line"><a name="l01288"></a><span class="lineno"> 1288</span>  </div>
|
|
3987
|
+
<div class="line"><a name="l01289"></a><span class="lineno"> 1289</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, symTable, field)</span></div>
|
|
3988
|
+
<div class="line"><a name="l01290"></a><span class="lineno"> 1290</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allMemObj)); <span class="comment">// Actual field</span></div>
|
|
3989
|
+
<div class="line"><a name="l01291"></a><span class="lineno"> 1291</span>  </div>
|
|
3990
|
+
<div class="line"><a name="l01292"></a><span class="lineno"> 1292</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(valSymMap);</div>
|
|
3991
|
+
<div class="line"><a name="l01293"></a><span class="lineno"> 1293</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(objSymMap);</div>
|
|
3992
|
+
<div class="line"><a name="l01294"></a><span class="lineno"> 1294</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(returnSymMap);</div>
|
|
3993
|
+
<div class="line"><a name="l01295"></a><span class="lineno"> 1295</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(varargSymMap);</div>
|
|
3994
|
+
<div class="line"><a name="l01296"></a><span class="lineno"> 1296</span>  <span class="comment">// Field objMap can be represented by allMemObj</span></div>
|
|
3995
|
+
<div class="line"><a name="l01297"></a><span class="lineno"> 1297</span>  <span class="comment">// Field mod can be represented by svfIR->svfModule. Delete it?</span></div>
|
|
3996
|
+
<div class="line"><a name="l01298"></a><span class="lineno"> 1298</span>  assert(symTable->mod == <a class="code" href="classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8">svfIR</a>-><a class="code" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">svfModule</a> && <span class="stringliteral">"SVFModule mismatch!"</span>);</div>
|
|
3997
|
+
<div class="line"><a name="l01299"></a><span class="lineno"> 1299</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(modelConstants);</div>
|
|
3998
|
+
<div class="line"><a name="l01300"></a><span class="lineno"> 1300</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(totalSymNum);</div>
|
|
3999
|
+
<div class="line"><a name="l01301"></a><span class="lineno"> 1301</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(maxStruct);</div>
|
|
4000
|
+
<div class="line"><a name="l01302"></a><span class="lineno"> 1302</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(maxStSize);</div>
|
|
4001
|
+
<div class="line"><a name="l01303"></a><span class="lineno"> 1303</span>  <span class="comment">// Field svfTypes can be represented by svfModuleWriter.svfTypePool</span></div>
|
|
4002
|
+
<div class="line"><a name="l01304"></a><span class="lineno"> 1304</span>  <span class="comment">// Field stInfos can be represented by svfModuleWriter.stInfoPool</span></div>
|
|
4003
|
+
<div class="line"><a name="l01305"></a><span class="lineno"> 1305</span> <span class="preprocessor">#undef F</span></div>
|
|
4004
|
+
<div class="line"><a name="l01306"></a><span class="lineno"> 1306</span>  </div>
|
|
4005
|
+
<div class="line"><a name="l01307"></a><span class="lineno"> 1307</span>  <span class="keywordflow">return</span> root;</div>
|
|
4006
|
+
<div class="line"><a name="l01308"></a><span class="lineno"> 1308</span> }</div>
|
|
4005
4007
|
</div><!-- fragment -->
|
|
4006
4008
|
</div>
|
|
4007
4009
|
</div>
|
|
@@ -4634,11 +4636,11 @@ template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v&
|
|
|
4634
4636
|
</table>
|
|
4635
4637
|
</div><div class="memdoc">
|
|
4636
4638
|
|
|
4637
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
4638
|
-
<div class="fragment"><div class="line"><a name="
|
|
4639
|
-
<div class="line"><a name="
|
|
4640
|
-
<div class="line"><a name="
|
|
4641
|
-
<div class="line"><a name="
|
|
4639
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00999">999</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
4640
|
+
<div class="fragment"><div class="line"><a name="l01000"></a><span class="lineno"> 1000</span> {</div>
|
|
4641
|
+
<div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>  <a class="code" href="classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34">SVFIRWriter</a> writer(svfir);</div>
|
|
4642
|
+
<div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>  os << writer.generateJsonString().get() << <span class="charliteral">'\n'</span>;</div>
|
|
4643
|
+
<div class="line"><a name="l01003"></a><span class="lineno"> 1003</span> }</div>
|
|
4642
4644
|
</div><!-- fragment -->
|
|
4643
4645
|
</div>
|
|
4644
4646
|
</div>
|
|
@@ -4676,20 +4678,20 @@ template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v&
|
|
|
4676
4678
|
</table>
|
|
4677
4679
|
</div><div class="memdoc">
|
|
4678
4680
|
|
|
4679
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
4680
|
-
<div class="fragment"><div class="line"><a name="
|
|
4681
|
-
<div class="line"><a name="
|
|
4682
|
-
<div class="line"><a name="
|
|
4683
|
-
<div class="line"><a name="
|
|
4684
|
-
<div class="line"><a name="
|
|
4685
|
-
<div class="line"><a name="
|
|
4686
|
-
<div class="line"><a name="
|
|
4687
|
-
<div class="line"><a name="
|
|
4688
|
-
<div class="line"><a name="
|
|
4689
|
-
<div class="line"><a name="
|
|
4690
|
-
<div class="line"><a name="
|
|
4691
|
-
<div class="line"><a name="
|
|
4692
|
-
<div class="line"><a name="
|
|
4681
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01005">1005</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
4682
|
+
<div class="fragment"><div class="line"><a name="l01006"></a><span class="lineno"> 1006</span> {</div>
|
|
4683
|
+
<div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>  std::ofstream jsonFile(path);</div>
|
|
4684
|
+
<div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>  <span class="keywordflow">if</span> (jsonFile.is_open())</div>
|
|
4685
|
+
<div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>  {</div>
|
|
4686
|
+
<div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>  <a class="code" href="classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f">writeJsonToOstream</a>(svfir, jsonFile);</div>
|
|
4687
|
+
<div class="line"><a name="l01011"></a><span class="lineno"> 1011</span>  jsonFile.close();</div>
|
|
4688
|
+
<div class="line"><a name="l01012"></a><span class="lineno"> 1012</span>  }</div>
|
|
4689
|
+
<div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>  <span class="keywordflow">else</span></div>
|
|
4690
|
+
<div class="line"><a name="l01014"></a><span class="lineno"> 1014</span>  {</div>
|
|
4691
|
+
<div class="line"><a name="l01015"></a><span class="lineno"> 1015</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << <span class="stringliteral">"Failed to open file '"</span> << path</div>
|
|
4692
|
+
<div class="line"><a name="l01016"></a><span class="lineno"> 1016</span>  << <span class="stringliteral">"' to write SVFIR's JSON\n"</span>;</div>
|
|
4693
|
+
<div class="line"><a name="l01017"></a><span class="lineno"> 1017</span>  }</div>
|
|
4694
|
+
<div class="line"><a name="l01018"></a><span class="lineno"> 1018</span> }</div>
|
|
4693
4695
|
</div><!-- fragment -->
|
|
4694
4696
|
</div>
|
|
4695
4697
|
</div>
|
|
@@ -4849,7 +4851,7 @@ template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v&
|
|
|
4849
4851
|
<div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_a949ead8b0a9e2d345475977239ca6f3d"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#a949ead8b0a9e2d345475977239ca6f3d">SVF::GenericGraphWriter::getEdgeID</a></div><div class="ttdeci">size_t getEdgeID(const EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00318">SVFFileSystem.h:318</a></div></div>
|
|
4850
4852
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ab03e007e2417f90f8030d1f5923087d8"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">SVF::SVFModuleWriter::getSVFTypeID</a></div><div class="ttdeci">size_t getSVFTypeID(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00365">SVFFileSystem.h:365</a></div></div>
|
|
4851
4853
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a0598a4c2af139b600a44360849933c38"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a0598a4c2af139b600a44360849933c38">SVF::SVFModuleWriter::getSVFValueID</a></div><div class="ttdeci">size_t getSVFValueID(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00357">SVFFileSystem.h:357</a></div></div>
|
|
4852
|
-
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a93d2ddd2ef2821540a2ba824ccb775a6"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6">SVF::SVFIRWriter::toJson</a></div><div class="ttdeci">cJSON * toJson(const NodeIDAllocator *nodeIDAllocator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4854
|
+
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a93d2ddd2ef2821540a2ba824ccb775a6"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6">SVF::SVFIRWriter::toJson</a></div><div class="ttdeci">cJSON * toJson(const NodeIDAllocator *nodeIDAllocator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01263">SVFFileSystem.cpp:1263</a></div></div>
|
|
4853
4855
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_af6ed00dc51796c4162157ac174fc2a1a"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#af6ed00dc51796c4162157ac174fc2a1a">SVF::SVFIRWriter::genericEdgeToJson</a></div><div class="ttdeci">cJSON * genericEdgeToJson(const GenericEdge< NodeTy > *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00550">SVFFileSystem.h:550</a></div></div>
|
|
4854
4856
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aa7c88a48d18d052895733771f2ad9e2d"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">SVF::SVFIRWriter::contentToJson</a></div><div class="ttdeci">cJSON * contentToJson(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00307">SVFFileSystem.cpp:307</a></div></div>
|
|
4855
4857
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aba5c3c3b62687a28301e9c65555e57f9"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">SVF::SVFIRWriter::icfgWriter</a></div><div class="ttdeci">ICFGWriter icfgWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00385">SVFFileSystem.h:385</a></div></div>
|
|
@@ -4858,13 +4860,13 @@ template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v&
|
|
|
4858
4860
|
<div class="ttc" id="acJSON_8cpp_html_afde5c619f31577b3d821b56b23953c85"><div class="ttname"><a href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a></div><div class="ttdeci">cJSON_Delete(null)</div></div>
|
|
4859
4861
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a63bdba43ccb01eef8ceb8a9c8dbe5c7f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f">SVF::SVFIRWriter::autoJSON</a></div><div class="ttdeci">std::unique_ptr< cJSON, decltype(&cJSON_Delete)> autoJSON</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00392">SVFFileSystem.h:392</a></div></div>
|
|
4860
4862
|
<div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
|
|
4861
|
-
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a10ce46b10bad5f0f3dbcff5bf5818626"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter::numToStr</a></div><div class="ttdeci">const char * numToStr(size_t n)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4863
|
+
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a10ce46b10bad5f0f3dbcff5bf5818626"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter::numToStr</a></div><div class="ttdeci">const char * numToStr(size_t n)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01020">SVFFileSystem.cpp:1020</a></div></div>
|
|
4862
4864
|
<div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
|
|
4863
4865
|
<div class="ttc" id="aSVFFileSystem_8h_html_a85509bfc2827ebab8ec96c890a283979"><div class="ttname"><a href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a></div><div class="ttdeci">#define ENSURE_NOT_VISITED(graph)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00048">SVFFileSystem.h:48</a></div></div>
|
|
4864
|
-
<div class="ttc" id="anamespaceSVF_html_afbeab0bb58006021ef620f3fbdc44d14"><div class="ttname"><a href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">SVF::jsonCreateArray</a></div><div class="ttdeci">cJSON * jsonCreateArray()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4866
|
+
<div class="ttc" id="anamespaceSVF_html_afbeab0bb58006021ef620f3fbdc44d14"><div class="ttname"><a href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">SVF::jsonCreateArray</a></div><div class="ttdeci">cJSON * jsonCreateArray()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00902">SVFFileSystem.cpp:902</a></div></div>
|
|
4865
4867
|
<div class="ttc" id="aclassSVF_1_1ICFGWriter_html_a7c041629b3863525ded06ffe7d971940"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#a7c041629b3863525ded06ffe7d971940">SVF::ICFGWriter::getSvfLoopID</a></div><div class="ttdeci">size_t getSvfLoopID(const SVFLoop *loop)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00336">SVFFileSystem.h:336</a></div></div>
|
|
4866
4868
|
<div class="ttc" id="aSVFFileSystem_8cpp_html_aee01a3d251dee6a05d621f5265d92e84"><div class="ttname"><a href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a></div><div class="ttdeci">static const Option< bool > humanReadableOption("human-readable", "Whether to output human-readable JSON", true)</div></div>
|
|
4867
|
-
<div class="ttc" id="anamespaceSVF_html_aeffd25b0e0644429f1d1c05b7491bc35"><div class="ttname"><a href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">SVF::jsonCreateIndex</a></div><div class="ttdeci">cJSON * jsonCreateIndex(size_t index)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4869
|
+
<div class="ttc" id="anamespaceSVF_html_aeffd25b0e0644429f1d1c05b7491bc35"><div class="ttname"><a href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">SVF::jsonCreateIndex</a></div><div class="ttdeci">cJSON * jsonCreateIndex(size_t index)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00918">SVFFileSystem.cpp:918</a></div></div>
|
|
4868
4870
|
<div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
|
|
4869
4871
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a285cf97ecb4fd1cdbc19e67779ef84ee"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">SVF::SVFModuleWriter::getSVFValuePtr</a></div><div class="ttdeci">const SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00361">SVFFileSystem.h:361</a></div></div>
|
|
4870
4872
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9fd47674ea5736f069d994e59c24e858"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">SVF::SVFIRWriter::svfModuleWriter</a></div><div class="ttdeci">SVFModuleWriter svfModuleWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00384">SVFFileSystem.h:384</a></div></div>
|
|
@@ -4873,34 +4875,34 @@ template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v&
|
|
|
4873
4875
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a7f9d7bb88e4f98f71f542d01107878e4"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4">SVF::SVFIRWriter::numToStrMap</a></div><div class="ttdeci">OrderedMap< size_t, std::string > numToStrMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00389">SVFFileSystem.h:389</a></div></div>
|
|
4874
4876
|
<div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
|
|
4875
4877
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aab50fec943a00c96155d395d514febe7"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7">SVF::SVFIRWriter::chgWriter</a></div><div class="ttdeci">CHGraphWriter chgWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00386">SVFFileSystem.h:386</a></div></div>
|
|
4876
|
-
<div class="ttc" id="anamespaceSVF_html_a6ccb0162ab03a48af19fb84ca0d1c555"><div class="ttname"><a href="namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555">SVF::jsonCreateBool</a></div><div class="ttdeci">cJSON * jsonCreateBool(bool flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4878
|
+
<div class="ttc" id="anamespaceSVF_html_a6ccb0162ab03a48af19fb84ca0d1c555"><div class="ttname"><a href="namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555">SVF::jsonCreateBool</a></div><div class="ttdeci">cJSON * jsonCreateBool(bool flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00926">SVFFileSystem.cpp:926</a></div></div>
|
|
4877
4879
|
<div class="ttc" id="aSVFFileSystem_8cpp_html_a419967124e957d001909ef99082ebdad"><div class="ttname"><a href="SVFFileSystem_8cpp.html#a419967124e957d001909ef99082ebdad">CASE</a></div><div class="ttdeci">#define CASE(Kind)</div></div>
|
|
4878
4880
|
<div class="ttc" id="aSVFFileSystem_8h_html_a1010789a76d87c974d168b0cb9c8ce8b"><div class="ttname"><a href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a></div><div class="ttdeci">#define FIELD_NAME_ITEM(field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00061">SVFFileSystem.h:61</a></div></div>
|
|
4879
4881
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_a8bfa675eed3c60a21134faa8e0b9e6b9"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR::svfModule</a></div><div class="ttdeci">SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00097">SVFIR.h:97</a></div></div>
|
|
4880
4882
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aef21822272ff9a57cdeb4a8b7a326047"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">SVF::SVFIRWriter::virtToJson</a></div><div class="ttdeci">cJSON * virtToJson(const SVFType *type)</div><div class="ttdoc">Parameter types of these functions are all pointers. When they are used as arguments of toJson(),...</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00150">SVFFileSystem.cpp:150</a></div></div>
|
|
4881
4883
|
<div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_aaa8ecb5b12d426a8d33cd51819ab2789"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789">SVF::GenericGraphWriter::edgePool</a></div><div class="ttdeci">WriterPtrPool< EdgeType > edgePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00299">SVFFileSystem.h:299</a></div></div>
|
|
4882
|
-
<div class="ttc" id="anamespaceSVF_html_a227df58e5596fd7d0bea2aff76f9966e"><div class="ttname"><a href="namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e">SVF::jsonCreateNumber</a></div><div class="ttdeci">cJSON * jsonCreateNumber(double num)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4884
|
+
<div class="ttc" id="anamespaceSVF_html_a227df58e5596fd7d0bea2aff76f9966e"><div class="ttname"><a href="namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e">SVF::jsonCreateNumber</a></div><div class="ttdeci">cJSON * jsonCreateNumber(double num)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00932">SVFFileSystem.cpp:932</a></div></div>
|
|
4883
4885
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a6492c9b80d1cc03732297c38f8a41408"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a6492c9b80d1cc03732297c38f8a41408">SVF::SVFIRWriter::genericNodeToJson</a></div><div class="ttdeci">cJSON * genericNodeToJson(const GenericNode< NodeTy, EdgeTy > *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00539">SVFFileSystem.h:539</a></div></div>
|
|
4884
|
-
<div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4886
|
+
<div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00952">SVFFileSystem.cpp:952</a></div></div>
|
|
4885
4887
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_acffe2e3f6d2275e06da728233a974ec3"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3">SVF::SVFModuleWriter::stInfoPool</a></div><div class="ttdeci">WriterPtrPool< StInfo > stInfoPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00351">SVFFileSystem.h:351</a></div></div>
|
|
4886
|
-
<div class="ttc" id="anamespaceSVF_html_acb363e9a719b61fb006cb8980653abb4"><div class="ttname"><a href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">SVF::jsonCreateObject</a></div><div class="ttdeci">cJSON * jsonCreateObject()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4887
|
-
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9994b9a6ddf4c852570bee918cb9de34"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34">SVF::SVFIRWriter::SVFIRWriter</a></div><div class="ttdeci">SVFIRWriter(const SVFIR *svfir)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4888
|
-
<div class="ttc" id="anamespaceSVF_html_ad0cc661dce7398ffe4f6a4785dd002d3"><div class="ttname"><a href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">SVF::jsonAddItemToObject</a></div><div class="ttdeci">bool jsonAddItemToObject(cJSON *obj, const char *name, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4888
|
+
<div class="ttc" id="anamespaceSVF_html_acb363e9a719b61fb006cb8980653abb4"><div class="ttname"><a href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">SVF::jsonCreateObject</a></div><div class="ttdeci">cJSON * jsonCreateObject()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00897">SVFFileSystem.cpp:897</a></div></div>
|
|
4889
|
+
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9994b9a6ddf4c852570bee918cb9de34"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34">SVF::SVFIRWriter::SVFIRWriter</a></div><div class="ttdeci">SVFIRWriter(const SVFIR *svfir)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00992">SVFFileSystem.cpp:992</a></div></div>
|
|
4890
|
+
<div class="ttc" id="anamespaceSVF_html_ad0cc661dce7398ffe4f6a4785dd002d3"><div class="ttname"><a href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">SVF::jsonAddItemToObject</a></div><div class="ttdeci">bool jsonAddItemToObject(cJSON *obj, const char *name, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00946">SVFFileSystem.cpp:946</a></div></div>
|
|
4889
4891
|
<div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
4890
4892
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a0e12ffecb37a42d766522dc65da481e6"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6">SVF::SVFModuleWriter::sizeSVFValuePool</a></div><div class="ttdeci">size_t sizeSVFValuePool() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00373">SVFFileSystem.h:373</a></div></div>
|
|
4891
4893
|
<div class="ttc" id="aSVFFileSystem_8h_html_a90d3d01ab67b64e88f6548ed3e172f8c"><div class="ttname"><a href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a></div><div class="ttdeci">#define JSON_WRITE_FIELD(root, objptr, field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00067">SVFFileSystem.h:67</a></div></div>
|
|
4892
4894
|
<div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
|
|
4893
4895
|
<div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge::CallCF</a></div><div class="ttdeci">@ CallCF</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00056">ICFGEdge.h:56</a></div></div>
|
|
4894
|
-
<div class="ttc" id="anamespaceSVF_html_adf8e2485f7cc090ef75c20fff6cf19aa"><div class="ttname"><a href="namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa">SVF::jsonCreateString</a></div><div class="ttdeci">cJSON * jsonCreateString(const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4896
|
+
<div class="ttc" id="anamespaceSVF_html_adf8e2485f7cc090ef75c20fff6cf19aa"><div class="ttname"><a href="namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa">SVF::jsonCreateString</a></div><div class="ttdeci">cJSON * jsonCreateString(const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00913">SVFFileSystem.cpp:913</a></div></div>
|
|
4895
4897
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_aad7c19516219f22ea0496e8f042b1b56"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">SVF::SVFModuleWriter::getStInfoID</a></div><div class="ttdeci">size_t getStInfoID(const StInfo *stInfo)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00369">SVFFileSystem.h:369</a></div></div>
|
|
4896
|
-
<div class="ttc" id="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4898
|
+
<div class="ttc" id="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00891">SVFFileSystem.cpp:891</a></div></div>
|
|
4897
4899
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a599d699f1a1dcb576d33cb40142c6db8"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8">SVF::SVFIRWriter::svfIR</a></div><div class="ttdeci">const SVFIR * svfIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00382">SVFFileSystem.h:382</a></div></div>
|
|
4898
4900
|
<div class="ttc" id="aclassSVF_1_1NodeIDAllocator_html_a67e85749e539ea34146b197668a4ea64"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64">SVF::NodeIDAllocator::allocator</a></div><div class="ttdeci">static NodeIDAllocator * allocator</div><div class="ttdoc">Single allocator.</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00112">NodeIDAllocator.h:112</a></div></div>
|
|
4899
4901
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a997a5339fcb177556819b2e27b17b424"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a997a5339fcb177556819b2e27b17b424">SVF::SVFIRWriter::irGraphWriter</a></div><div class="ttdeci">IRGraphWriter irGraphWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00387">SVFFileSystem.h:387</a></div></div>
|
|
4900
|
-
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a12d70e815fa53a4121d375ac26f2c30f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f">SVF::SVFIRWriter::writeJsonToOstream</a></div><div class="ttdeci">static void writeJsonToOstream(const SVFIR *svfir, std::ostream &os)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4902
|
+
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a12d70e815fa53a4121d375ac26f2c30f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f">SVF::SVFIRWriter::writeJsonToOstream</a></div><div class="ttdeci">static void writeJsonToOstream(const SVFIR *svfir, std::ostream &os)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00999">SVFFileSystem.cpp:999</a></div></div>
|
|
4901
4903
|
<div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdeci">@ IntraCF</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00055">ICFGEdge.h:55</a></div></div>
|
|
4902
4904
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab65033f068bfbeb0a1c52dcec3beb6bc"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil::errs</a></div><div class="ttdeci">std::ostream & errs()</div><div class="ttdoc">Overwrite llvm::errs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00056">SVFUtil.h:56</a></div></div>
|
|
4903
|
-
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a875f285e8429e7f5ee5fc5f28d44df12"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a875f285e8429e7f5ee5fc5f28d44df12">SVF::SVFIRWriter::generateJson</a></div><div class="ttdeci">autoJSON generateJson()</div><div class="ttdoc">Main logic to dump a SVFIR to a JSON object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4905
|
+
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a875f285e8429e7f5ee5fc5f28d44df12"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a875f285e8429e7f5ee5fc5f28d44df12">SVF::SVFIRWriter::generateJson</a></div><div class="ttdeci">autoJSON generateJson()</div><div class="ttdoc">Main logic to dump a SVFIR to a JSON object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01038">SVFFileSystem.cpp:1038</a></div></div>
|
|
4904
4906
|
<!-- start footer part -->
|
|
4905
4907
|
<hr class="footer"/><address class="footer"><small>
|
|
4906
4908
|
Generated by  <a href="http://www.doxygen.org/index.html">
|