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
|
@@ -79,82 +79,87 @@ $(function() {
|
|
|
79
79
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a093d3d2b95f0de658472a20384c36248">BoundedZ3Expr</a>(const z3::expr &e)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
80
|
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac25e1b9231a66c94967bebb908a45680">BoundedZ3Expr</a>(s32_t i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
81
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a8995acaa4d5c1f43c526f938eb2c26bb">BoundedZ3Expr</a>(s64_t i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
84
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
86
|
-
<tr><td class="entry"><a class="el" href="
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
96
|
-
<tr><td class="entry"><a class="el" href="
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a1a40023fb0648399943689ee553f4c66">BoundedZ3Expr</a>(double i)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa">BoundedZ3Expr</a>(const BoundedZ3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a1e666f5db9f47cf09fc22de840a405e3">BoundedZ3Expr</a>(BoundedZ3Expr &&z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">bv2int</a>(const BoundedZ3Expr &e, bool isSigned)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a15706e4f0708a2de70118c2df8c869c7">bvLen</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#af02935097a8db09812781ac8c42d93e5">ctx</a></td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a56ba65487cc91248259e29d3ebb5bdb0">dumpStr</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">e</a></td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d">eq</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a387fffd47cff74341e7c8d7f6f09a13e">equal</a>(const BoundedZ3Expr &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#acce45e2300e0c1871efec36e727ed77d">geq</a>(const BoundedZ3Expr &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">get_numeral_int</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06">get_numeral_int64</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393">get_sort</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">getExpr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a7cf1481ad29951ca46c1d4418f28c91e">getExprSize</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#af541505af93ccebf57543793658cf495">getFalseCond</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a38f6609bbf9faf010ee5b3c317db5506">getIntNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
99
101
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">getNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
|
-
<tr><td class="entry"><a class="el" href="
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
102
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
103
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
104
|
-
<tr><td class="entry"><a class="el" href="
|
|
105
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
106
|
-
<tr><td class="entry"><a class="el" href="
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa9305d8e1b9ba3201522704f39295d90">getRealNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681">getSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
104
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#aaa0c9122f34208235a2d830432665752">getTrueCond</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
105
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">hash</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
106
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca">id</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
107
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a">int2bv</a>(u32_t n, const BoundedZ3Expr &e)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
108
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900">is_bool</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
109
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#aaea0231e6991c9463efab58fa802e342">is_infinite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a58d8ae08daa2fca500f71dee768f8306">is_int</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
107
111
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac">is_minus_infinite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
108
112
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">is_numeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
109
113
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c">is_plus_infinite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
112
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
114
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
115
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
116
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
117
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
118
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
119
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
120
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
121
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
122
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
123
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
124
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
126
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
127
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
128
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
129
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
130
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
131
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
132
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
133
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
134
|
-
<tr><td class="entry"><a class="el" href="
|
|
135
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
136
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
137
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
138
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
139
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
140
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
141
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
142
|
-
<tr><td class="entry"><a class="el" href="
|
|
143
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
144
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
145
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
146
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
147
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
148
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#
|
|
149
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
150
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
151
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
152
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
153
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
154
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
155
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
156
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
157
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a20cc4c32610c776082cb7910488f4c42">is_real</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">is_true</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">is_zero</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">isZero</a>(const BoundedZ3Expr &expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
118
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1">ite</a>(const BoundedZ3Expr &cond, const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
119
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5">leq</a>(const BoundedZ3Expr &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117">lshr</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
121
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b">minus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
122
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a9a545e516e6dee37310ad02481a84356">NEG</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
123
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc">nullExpr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
124
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b8aac161a98a48003abb778414bd293">operator!</a>(const BoundedZ3Expr &lhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
125
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a578526517c1c2e642e1e8e16959006ff">operator!=</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
126
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece">operator%</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
127
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c">operator&</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
128
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a4a36f2c5a084341a176cb81b2dec8280">operator&&</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
129
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a35c2b00e17dc8cf8d2f0371bf4b54f4c">operator*</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
130
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#af55de92eb3ca95f812bc3964622319aa">operator+</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15">operator-</a>(const BoundedZ3Expr &lhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
132
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ae2483e95fe2534f694d3ddaead0cd9c4">operator-</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
133
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702">operator/</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
134
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#aaf3f27863e2d7776798776e64d72af39">operator<</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
135
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538">operator<<</a>(std::ostream &out, const BoundedZ3Expr &expr)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
136
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467">operator<=</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
137
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">operator=</a>(const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
138
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#aba3ebfe976cdad3c61ea0b646176b7ab">operator=</a>(BoundedZ3Expr &&rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
139
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr::operator=</a>(const Z3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
140
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d">operator==</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
141
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9">operator></a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
142
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366">operator>=</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
143
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071">operator^</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
144
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c">operator|</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
145
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a660b38aa9458137fad4dde4224f6ab63">operator||</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
146
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">OR</a>(const Z3Expr &lhs, const Z3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
147
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a9ab647fded972e0d0ed346bc94d0a73c">plus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
148
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a9da409a05cfd85d966d887b33dd1cc94">releaseContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
149
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a9cf1997ee2d22542f7288506ed0f4733">releaseSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
150
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178">set_minus_infinite</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
151
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9">set_plus_infinite</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
152
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a416f47980daf109467f3b2dddd50e047">shl</a>(const BoundedZ3Expr &lhs, const BoundedZ3Expr &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
153
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297">simplify</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
154
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e">solver</a></td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
155
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">to_string</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
156
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290">Z3Expr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
157
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8">Z3Expr</a>(const z3::expr &_e)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
158
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a8a6922b80af6a71d3b94fdd7c31e130b">Z3Expr</a>(int i)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
159
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a004ca551a4c40e295bcab56374a45947">Z3Expr</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
160
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb">Z3Expr</a>(float f)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
161
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc">Z3Expr</a>(double f)</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
162
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html#ab7310d0e1e92a0150fde7c7aae961f9d">~Z3Expr</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
158
163
|
</table></div><!-- contents -->
|
|
159
164
|
<!-- start footer part -->
|
|
160
165
|
<hr class="footer"/><address class="footer"><small>
|