svf-tools 1.0.758 → 1.0.760
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/CMakeLists.txt +7 -0
- package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/AddressValue_8h_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +11 -8
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +17 -17
- package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CommandLine_8h_source.html +2 -1
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsExeState_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CxtStmt_8h_source.html +2 -2
- package/SVF-doxygen/html/html/DCHG_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/DCHG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ExeState_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp.html +0 -196
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +121 -786
- package/SVF-doxygen/html/html/ExtAPI_8h.html +2 -67
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +69 -654
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +1 -1
- package/SVF-doxygen/html/html/IntervalValue_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8cpp.html +3 -4
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1408 -1289
- package/SVF-doxygen/html/html/LLVMModule_8h.html +1 -0
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +418 -400
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +744 -616
- package/SVF-doxygen/html/html/LLVMUtil_8h.html +9 -1
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +485 -472
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +2 -2
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/MHP_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +4 -4
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +13 -13
- package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +20 -20
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
- package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
- package/SVF-doxygen/html/html/RelExeState_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +362 -365
- package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +24 -24
- package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +2087 -2084
- package/SVF-doxygen/html/html/SVFFileSystem_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +60 -60
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +454 -527
- package/SVF-doxygen/html/html/SVFIRBuilder_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +211 -233
- package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp.html +2 -0
- package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +286 -682
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/SVFModule_8h.html +0 -1
- package/SVF-doxygen/html/html/SVFModule_8h_source.html +258 -260
- package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFType_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -6
- package/SVF-doxygen/html/html/SVFUtil_8h.html +4 -9
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +392 -405
- package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +11 -10
- package/SVF-doxygen/html/html/SVFValue_8h_source.html +1038 -1030
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +28 -28
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
- package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
- package/SVF-doxygen/html/html/annotated.html +1 -4
- package/SVF-doxygen/html/html/cJSON_8cpp.html +2 -1
- package/SVF-doxygen/html/html/cJSON_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/classOption.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddressValue.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +50 -50
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +8 -77
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +130 -1337
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +9 -13
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraphReader.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +11 -8
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ICFGWriter.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +42 -40
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1583 -1452
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +34 -34
- package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ReaderPtrPool.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RelExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +73 -73
- package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +50 -50
- package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +87 -87
- package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +67 -67
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +15 -13
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +222 -153
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +34 -34
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +64 -73
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +905 -1767
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1126 -1124
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRWriter.html +547 -546
- package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +53 -53
- package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +173 -173
- package/SVF-doxygen/html/html/classSVF_1_1SVFModuleReader.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFModuleWriter.html +23 -23
- package/SVF-doxygen/html/html/classSVF_1_1SVFOtherType.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFStructType.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
- package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +13 -13
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SymState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +1 -1
- package/SVF-doxygen/html/html/classes.html +335 -338
- package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/dir_3bbf4ce25bc1411b817b5643b794c8fb.html +2 -0
- package/SVF-doxygen/html/html/extapi_8c.html +1950 -0
- package/SVF-doxygen/html/html/extapi_8c_source.html +1488 -0
- package/SVF-doxygen/html/html/files.html +29 -28
- package/SVF-doxygen/html/html/functions_a.html +17 -27
- package/SVF-doxygen/html/html/functions_b.html +9 -12
- package/SVF-doxygen/html/html/functions_c.html +26 -70
- package/SVF-doxygen/html/html/functions_d.html +3 -7
- package/SVF-doxygen/html/html/functions_e.html +4 -121
- package/SVF-doxygen/html/html/functions_enum.html +0 -6
- package/SVF-doxygen/html/html/functions_eval.html +0 -1
- package/SVF-doxygen/html/html/functions_eval_c.html +1 -15
- package/SVF-doxygen/html/html/functions_eval_e.html +0 -96
- package/SVF-doxygen/html/html/functions_eval_g.html +1 -2
- package/SVF-doxygen/html/html/functions_eval_l.html +0 -1
- package/SVF-doxygen/html/html/functions_eval_m.html +0 -6
- package/SVF-doxygen/html/html/functions_eval_o.html +0 -3
- package/SVF-doxygen/html/html/functions_eval_r.html +0 -6
- package/SVF-doxygen/html/html/functions_eval_s.html +0 -1
- package/SVF-doxygen/html/html/functions_f.html +16 -19
- package/SVF-doxygen/html/html/functions_func.html +6 -18
- package/SVF-doxygen/html/html/functions_func_e.html +1 -13
- package/SVF-doxygen/html/html/functions_func_g.html +24 -91
- package/SVF-doxygen/html/html/functions_func_h.html +9 -12
- package/SVF-doxygen/html/html/functions_func_i.html +16 -28
- package/SVF-doxygen/html/html/functions_func_n.html +0 -3
- package/SVF-doxygen/html/html/functions_func_p.html +3 -12
- package/SVF-doxygen/html/html/functions_func_s.html +20 -83
- package/SVF-doxygen/html/html/functions_g.html +32 -100
- package/SVF-doxygen/html/html/functions_h.html +6 -9
- package/SVF-doxygen/html/html/functions_i.html +16 -28
- package/SVF-doxygen/html/html/functions_l.html +0 -1
- package/SVF-doxygen/html/html/functions_m.html +1 -7
- package/SVF-doxygen/html/html/functions_n.html +4 -7
- package/SVF-doxygen/html/html/functions_o.html +31 -44
- package/SVF-doxygen/html/html/functions_p.html +18 -29
- package/SVF-doxygen/html/html/functions_r.html +9 -16
- package/SVF-doxygen/html/html/functions_s.html +16 -84
- package/SVF-doxygen/html/html/functions_t.html +4 -10
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_a.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_b.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_c.html +1 -23
- package/SVF-doxygen/html/html/functions_vars_d.html +1 -5
- package/SVF-doxygen/html/html/functions_vars_e.html +2 -8
- package/SVF-doxygen/html/html/functions_vars_f.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_o.html +0 -9
- package/SVF-doxygen/html/html/functions_vars_r.html +1 -2
- package/SVF-doxygen/html/html/functions_vars_s.html +1 -5
- package/SVF-doxygen/html/html/functions_vars_t.html +0 -6
- package/SVF-doxygen/html/html/globals.html +22 -4
- package/SVF-doxygen/html/html/globals_a.html +3 -0
- package/SVF-doxygen/html/html/globals_b.html +3 -0
- package/SVF-doxygen/html/html/globals_defs.html +3 -9
- package/SVF-doxygen/html/html/globals_e.html +0 -3
- package/SVF-doxygen/html/html/globals_f.html +11 -2
- package/SVF-doxygen/html/html/globals_func.html +159 -15
- package/SVF-doxygen/html/html/globals_g.html +13 -4
- package/SVF-doxygen/html/html/globals_i.html +41 -2
- package/SVF-doxygen/html/html/globals_j.html +3 -6
- package/SVF-doxygen/html/html/globals_l.html +3 -0
- package/SVF-doxygen/html/html/globals_m.html +8 -2
- package/SVF-doxygen/html/html/globals_n.html +2 -1
- package/SVF-doxygen/html/html/globals_p.html +1 -4
- package/SVF-doxygen/html/html/globals_r.html +12 -6
- package/SVF-doxygen/html/html/globals_s.html +33 -0
- package/SVF-doxygen/html/html/globals_t.html +3 -0
- package/SVF-doxygen/html/html/hierarchy.html +526 -529
- package/SVF-doxygen/html/html/iterator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/iterator__range_8h_source.html +1 -1
- package/SVF-doxygen/html/html/llvm2svf_8cpp.html +1 -1
- package/SVF-doxygen/html/html/llvm2svf_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/menudata.js +3 -0
- package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +152 -151
- package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1003 -776
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +298 -368
- package/SVF-doxygen/html/html/namespacemembers_func_g.html +11 -5
- package/SVF-doxygen/html/html/namespacemembers_func_i.html +11 -14
- package/SVF-doxygen/html/html/namespacemembers_func_r.html +6 -0
- package/SVF-doxygen/html/html/namespacemembers_g.html +11 -5
- package/SVF-doxygen/html/html/namespacemembers_i.html +8 -11
- package/SVF-doxygen/html/html/namespacemembers_r.html +6 -0
- package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_0.js +153 -147
- package/SVF-doxygen/html/html/search/all_1.js +476 -478
- package/SVF-doxygen/html/html/search/all_10.js +323 -327
- package/SVF-doxygen/html/html/search/all_11.js +212 -209
- package/SVF-doxygen/html/html/search/all_12.js +536 -547
- package/SVF-doxygen/html/html/search/all_13.js +188 -189
- package/SVF-doxygen/html/html/search/all_14.js +66 -66
- package/SVF-doxygen/html/html/search/all_15.js +170 -170
- package/SVF-doxygen/html/html/search/all_16.js +60 -60
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/html/search/all_19.js +10 -10
- package/SVF-doxygen/html/html/search/all_1a.js +169 -169
- package/SVF-doxygen/html/html/search/all_2.js +159 -159
- package/SVF-doxygen/html/html/search/all_3.js +597 -608
- package/SVF-doxygen/html/html/search/all_4.js +226 -227
- package/SVF-doxygen/html/html/search/all_5.js +116 -156
- package/SVF-doxygen/html/html/search/all_6.js +225 -223
- package/SVF-doxygen/html/html/search/all_7.js +996 -1012
- package/SVF-doxygen/html/html/search/all_8.js +191 -192
- package/SVF-doxygen/html/html/search/all_9.js +605 -597
- package/SVF-doxygen/html/html/search/all_a.js +46 -47
- package/SVF-doxygen/html/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/html/search/all_c.js +114 -113
- package/SVF-doxygen/html/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/html/search/all_e.js +205 -206
- package/SVF-doxygen/html/html/search/all_f.js +116 -122
- package/SVF-doxygen/html/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/html/search/classes_2.js +76 -76
- package/SVF-doxygen/html/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/html/search/classes_4.js +8 -10
- package/SVF-doxygen/html/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/html/search/classes_d.js +18 -19
- package/SVF-doxygen/html/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/html/search/defines_4.js +2 -3
- package/SVF-doxygen/html/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/html/search/defines_8.js +11 -13
- package/SVF-doxygen/html/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/html/search/defines_c.js +3 -2
- package/SVF-doxygen/html/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/html/search/defines_e.js +6 -6
- package/SVF-doxygen/html/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/html/search/enums_4.js +3 -4
- package/SVF-doxygen/html/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/html/search/enums_a.js +1 -2
- package/SVF-doxygen/html/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -40
- package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -34
- package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
- package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -17
- package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -6
- package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -11
- package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/html/search/files_2.js +49 -49
- package/SVF-doxygen/html/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/html/search/files_4.js +5 -4
- package/SVF-doxygen/html/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/html/search/functions_0.js +6 -351
- package/SVF-doxygen/html/html/search/functions_1.js +348 -81
- package/SVF-doxygen/html/html/search/functions_10.js +139 -122
- package/SVF-doxygen/html/html/search/functions_11.js +126 -283
- package/SVF-doxygen/html/html/search/functions_12.js +273 -55
- package/SVF-doxygen/html/html/search/functions_13.js +56 -38
- package/SVF-doxygen/html/html/search/functions_14.js +38 -71
- package/SVF-doxygen/html/html/search/functions_15.js +71 -29
- package/SVF-doxygen/html/html/search/functions_16.js +29 -2
- package/SVF-doxygen/html/html/search/functions_17.js +2 -169
- package/SVF-doxygen/html/html/search/functions_18.html +30 -0
- package/SVF-doxygen/html/html/search/functions_18.js +172 -0
- package/SVF-doxygen/html/html/search/functions_2.js +82 -251
- package/SVF-doxygen/html/html/search/functions_3.js +251 -71
- package/SVF-doxygen/html/html/search/functions_4.js +71 -55
- package/SVF-doxygen/html/html/search/functions_5.js +51 -55
- package/SVF-doxygen/html/html/search/functions_6.js +58 -832
- package/SVF-doxygen/html/html/search/functions_7.js +816 -144
- package/SVF-doxygen/html/html/search/functions_8.js +143 -417
- package/SVF-doxygen/html/html/search/functions_9.js +425 -29
- package/SVF-doxygen/html/html/search/functions_a.js +30 -2
- package/SVF-doxygen/html/html/search/functions_b.js +2 -23
- package/SVF-doxygen/html/html/search/functions_c.js +24 -75
- package/SVF-doxygen/html/html/search/functions_d.js +77 -35
- package/SVF-doxygen/html/html/search/functions_e.js +34 -56
- package/SVF-doxygen/html/html/search/functions_f.js +56 -143
- package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/html/search/related_1.js +1 -1
- package/SVF-doxygen/html/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/html/search/related_d.js +11 -11
- package/SVF-doxygen/html/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/html/search/searchdata.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
- package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
- package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
- package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
- package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
- package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
- package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
- package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/html/search/variables_0.js +147 -147
- package/SVF-doxygen/html/html/search/variables_1.js +75 -74
- package/SVF-doxygen/html/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/html/search/variables_12.js +92 -93
- package/SVF-doxygen/html/html/search/variables_13.js +75 -77
- package/SVF-doxygen/html/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/html/search/variables_2.js +34 -35
- package/SVF-doxygen/html/html/search/variables_3.js +141 -148
- package/SVF-doxygen/html/html/search/variables_4.js +55 -56
- package/SVF-doxygen/html/html/search/variables_5.js +38 -40
- package/SVF-doxygen/html/html/search/variables_6.js +66 -67
- package/SVF-doxygen/html/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/html/search/variables_9.js +77 -77
- package/SVF-doxygen/html/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/html/search/variables_f.js +30 -33
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1make__void.html +2 -2
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +3 -3
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +9 -9
- package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +9 -9
- package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
- package/build.sh +1 -1
- package/package.json +1 -1
- package/svf/include/SVFIR/SVFModule.h +0 -1
- package/svf/include/SVFIR/SVFValue.h +7 -1
- package/svf/include/Util/ExtAPI.h +11 -457
- package/svf/include/Util/SVFUtil.h +7 -22
- package/svf/lib/SVFIR/SVFFileSystem.cpp +3 -1
- package/svf/lib/SVFIR/SVFValue.cpp +2 -2
- package/svf/lib/Util/ExtAPI.cpp +36 -595
- package/svf/lib/Util/Options.cpp +1 -1
- package/svf/lib/Util/SVFBugReport.cpp +0 -2
- package/svf-llvm/include/SVF-LLVM/LLVMModule.h +17 -0
- package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +14 -1
- package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +5 -14
- package/svf-llvm/lib/LLVMModule.cpp +157 -43
- package/svf-llvm/lib/LLVMUtil.cpp +121 -0
- package/svf-llvm/lib/SVFIRBuilder.cpp +7 -76
- package/svf-llvm/lib/SVFIRExtAPI.cpp +161 -536
- package/svf-llvm/lib/extapi.c +1348 -0
- package/svf/include/Util/ExtAPI.json +0 -5853
|
@@ -76,6 +76,9 @@ $(function() {
|
|
|
76
76
|
<li>fc_isnan()
|
|
77
77
|
: <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
|
|
78
78
|
</li>
|
|
79
|
+
<li>fgets()
|
|
80
|
+
: <a class="el" href="extapi_8c.html#a55c10fd7c7152a709388daa21827771c">extapi.c</a>
|
|
81
|
+
</li>
|
|
79
82
|
<li>FIELD_NAME_ITEM
|
|
80
83
|
: <a class="el" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">SVFFileSystem.h</a>
|
|
81
84
|
</li>
|
|
@@ -86,8 +89,8 @@ $(function() {
|
|
|
86
89
|
: <a class="el" href="AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411">AddressValue.h</a>
|
|
87
90
|
</li>
|
|
88
91
|
<li>fmt
|
|
89
|
-
: <a class="el" href="
|
|
90
|
-
, <a class="el" href="
|
|
92
|
+
: <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
|
|
93
|
+
, <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
|
|
91
94
|
</li>
|
|
92
95
|
<li>for()
|
|
93
96
|
: <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
|
|
@@ -96,6 +99,12 @@ $(function() {
|
|
|
96
99
|
: <a class="el" href="cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.cpp</a>
|
|
97
100
|
, <a class="el" href="cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.h</a>
|
|
98
101
|
</li>
|
|
102
|
+
<li>freopen()
|
|
103
|
+
: <a class="el" href="extapi_8c.html#acda43fbb34d834cbd461d206b6df17fe">extapi.c</a>
|
|
104
|
+
</li>
|
|
105
|
+
<li>freopen64()
|
|
106
|
+
: <a class="el" href="extapi_8c.html#af03756fc9a14bdfa7e473514b8be069a">extapi.c</a>
|
|
107
|
+
</li>
|
|
99
108
|
</ul>
|
|
100
109
|
</div><!-- contents -->
|
|
101
110
|
<!-- start footer part -->
|
|
@@ -63,6 +63,28 @@ $(function() {
|
|
|
63
63
|
<div class="contents">
|
|
64
64
|
 
|
|
65
65
|
|
|
66
|
+
<h3><a id="index__5F"></a>- _ -</h3><ul>
|
|
67
|
+
<li>__attribute__()
|
|
68
|
+
: <a class="el" href="extapi_8c.html#a605c932bc9e318024b90b57f957d603a">extapi.c</a>
|
|
69
|
+
</li>
|
|
70
|
+
<li>__dynamic_cast()
|
|
71
|
+
: <a class="el" href="extapi_8c.html#a92b16d30ba9908c9b2218dad2f2247b3">extapi.c</a>
|
|
72
|
+
</li>
|
|
73
|
+
<li>__rawmemchr()
|
|
74
|
+
: <a class="el" href="extapi_8c.html#a1eb5371072d8bf51775205ee35058949">extapi.c</a>
|
|
75
|
+
</li>
|
|
76
|
+
<li>_ZNSsC1EPKcRKSaIcE()
|
|
77
|
+
: <a class="el" href="extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e">extapi.c</a>
|
|
78
|
+
</li>
|
|
79
|
+
<li>_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_()
|
|
80
|
+
: <a class="el" href="extapi_8c.html#a6b628494b34855b545b4d1837ddf5048">extapi.c</a>
|
|
81
|
+
</li>
|
|
82
|
+
<li>_ZNSt8__detail15_List_node_base7_M_hookEPS0_()
|
|
83
|
+
: <a class="el" href="extapi_8c.html#a8722c08a7fc65863c500bd0f71307382">extapi.c</a>
|
|
84
|
+
</li>
|
|
85
|
+
</ul>
|
|
86
|
+
|
|
87
|
+
|
|
66
88
|
<h3><a id="index_a"></a>- a -</h3><ul>
|
|
67
89
|
<li>add_item_to_array()
|
|
68
90
|
: <a class="el" href="cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1">cJSON.cpp</a>
|
|
@@ -73,10 +95,16 @@ $(function() {
|
|
|
73
95
|
<li>aliasQuery()
|
|
74
96
|
: <a class="el" href="svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f">svf-ex.cpp</a>
|
|
75
97
|
</li>
|
|
98
|
+
<li>asctime_r()
|
|
99
|
+
: <a class="el" href="extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70">extapi.c</a>
|
|
100
|
+
</li>
|
|
76
101
|
</ul>
|
|
77
102
|
|
|
78
103
|
|
|
79
104
|
<h3><a id="index_b"></a>- b -</h3><ul>
|
|
105
|
+
<li>bsearch()
|
|
106
|
+
: <a class="el" href="extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522">extapi.c</a>
|
|
107
|
+
</li>
|
|
80
108
|
<li>buffer_skip_whitespace()
|
|
81
109
|
: <a class="el" href="cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc">cJSON.cpp</a>
|
|
82
110
|
</li>
|
|
@@ -106,8 +134,8 @@ $(function() {
|
|
|
106
134
|
: <a class="el" href="cJSON_8cpp.html#abeffdb0695e8c30e4612c8f917bfd9e1">cJSON.cpp</a>
|
|
107
135
|
</li>
|
|
108
136
|
<li>CJSON_PUBLIC()
|
|
109
|
-
: <a class="el" href="cJSON_8h.html#
|
|
110
|
-
, <a class="el" href="cJSON_8cpp.html#
|
|
137
|
+
: <a class="el" href="cJSON_8h.html#acc0bf2ad0de27db33e6471754c8f3ace">cJSON.h</a>
|
|
138
|
+
, <a class="el" href="cJSON_8cpp.html#a92b8d4d07c18d85e65c80af773a575ef">cJSON.cpp</a>
|
|
111
139
|
</li>
|
|
112
140
|
<li>cJSON_strdup()
|
|
113
141
|
: <a class="el" href="cJSON_8cpp.html#a5da7bd9b4622e97e7e19c36017410252">cJSON.cpp</a>
|
|
@@ -126,8 +154,8 @@ $(function() {
|
|
|
126
154
|
, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
|
|
127
155
|
</li>
|
|
128
156
|
<li>cutree_k()
|
|
129
|
-
: <a class="el" href="
|
|
130
|
-
, <a class="el" href="
|
|
157
|
+
: <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
|
|
158
|
+
, <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
|
|
131
159
|
</li>
|
|
132
160
|
</ul>
|
|
133
161
|
|
|
@@ -146,9 +174,18 @@ $(function() {
|
|
|
146
174
|
<li>fc_isnan()
|
|
147
175
|
: <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
|
|
148
176
|
</li>
|
|
177
|
+
<li>fgets()
|
|
178
|
+
: <a class="el" href="extapi_8c.html#a55c10fd7c7152a709388daa21827771c">extapi.c</a>
|
|
179
|
+
</li>
|
|
149
180
|
<li>for()
|
|
150
181
|
: <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
|
|
151
182
|
</li>
|
|
183
|
+
<li>freopen()
|
|
184
|
+
: <a class="el" href="extapi_8c.html#acda43fbb34d834cbd461d206b6df17fe">extapi.c</a>
|
|
185
|
+
</li>
|
|
186
|
+
<li>freopen64()
|
|
187
|
+
: <a class="el" href="extapi_8c.html#af03756fc9a14bdfa7e473514b8be069a">extapi.c</a>
|
|
188
|
+
</li>
|
|
152
189
|
</ul>
|
|
153
190
|
|
|
154
191
|
|
|
@@ -165,11 +202,20 @@ $(function() {
|
|
|
165
202
|
<li>getBeforeParenthesis()
|
|
166
203
|
: <a class="el" href="CppUtil_8cpp.html#a2bff9158f699b6fd11c8e116b91e4809">CppUtil.cpp</a>
|
|
167
204
|
</li>
|
|
168
|
-
<li>
|
|
169
|
-
: <a class="el" href="
|
|
205
|
+
<li>getmntent_r()
|
|
206
|
+
: <a class="el" href="extapi_8c.html#a0467c34eaa7dd0434c17762177dd08bf">extapi.c</a>
|
|
207
|
+
</li>
|
|
208
|
+
<li>getpwnam_r()
|
|
209
|
+
: <a class="el" href="extapi_8c.html#a9d2e8fbff1b6a171809af5ff4d9faf93">extapi.c</a>
|
|
170
210
|
</li>
|
|
171
|
-
<li>
|
|
172
|
-
: <a class="el" href="
|
|
211
|
+
<li>getpwuid_r()
|
|
212
|
+
: <a class="el" href="extapi_8c.html#a8d45eda5c086f3f4bf394644c3af43b7">extapi.c</a>
|
|
213
|
+
</li>
|
|
214
|
+
<li>gmtime_r()
|
|
215
|
+
: <a class="el" href="extapi_8c.html#a78301bb1e43ee4dda8a7cfd04d99f9e5">extapi.c</a>
|
|
216
|
+
</li>
|
|
217
|
+
<li>gzgets()
|
|
218
|
+
: <a class="el" href="extapi_8c.html#ac84ce7ca37e7c4e94aec43868a755cac">extapi.c</a>
|
|
173
219
|
</li>
|
|
174
220
|
</ul>
|
|
175
221
|
|
|
@@ -194,16 +240,69 @@ $(function() {
|
|
|
194
240
|
<h3><a id="index_i"></a>- i -</h3><ul>
|
|
195
241
|
<li>if()
|
|
196
242
|
: <a class="el" href="CFL_2CMakeLists_8txt.html#af5e474e40792dbf4280f768705232f6c">CMakeLists.txt</a>
|
|
197
|
-
, <a class="el" href="cJSON_8cpp.html#
|
|
243
|
+
, <a class="el" href="cJSON_8cpp.html#a7c636ab338e0e044d3b117c4c17cd660">cJSON.cpp</a>
|
|
198
244
|
, <a class="el" href="SABER_2CMakeLists_8txt.html#a05913f7dca12c1fa26f8d42d76f793e7">CMakeLists.txt</a>
|
|
199
|
-
, <a class="el" href="cJSON_8cpp.html#
|
|
245
|
+
, <a class="el" href="cJSON_8cpp.html#a69f85127495f4f14fe9d9d3ed1153c0f">cJSON.cpp</a>
|
|
200
246
|
</li>
|
|
201
247
|
<li>indent()
|
|
202
248
|
: <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
|
|
203
249
|
</li>
|
|
250
|
+
<li>inet_ntop()
|
|
251
|
+
: <a class="el" href="extapi_8c.html#a815550360dffb66bbe62df2586b5bceb">extapi.c</a>
|
|
252
|
+
</li>
|
|
253
|
+
<li>isalnum()
|
|
254
|
+
: <a class="el" href="extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af">extapi.c</a>
|
|
255
|
+
</li>
|
|
256
|
+
<li>isalpha()
|
|
257
|
+
: <a class="el" href="extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb">extapi.c</a>
|
|
258
|
+
</li>
|
|
259
|
+
<li>isblank()
|
|
260
|
+
: <a class="el" href="extapi_8c.html#aaecd098576b00440124c44580144e8d5">extapi.c</a>
|
|
261
|
+
</li>
|
|
262
|
+
<li>iscntrl()
|
|
263
|
+
: <a class="el" href="extapi_8c.html#a0008a4e8e7889734dc1d83297de07158">extapi.c</a>
|
|
264
|
+
</li>
|
|
265
|
+
<li>isdigit()
|
|
266
|
+
: <a class="el" href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">extapi.c</a>
|
|
267
|
+
</li>
|
|
268
|
+
<li>isgraph()
|
|
269
|
+
: <a class="el" href="extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561">extapi.c</a>
|
|
270
|
+
</li>
|
|
271
|
+
<li>islower()
|
|
272
|
+
: <a class="el" href="extapi_8c.html#aa22ae60881e18aa1b9ec1d94210307ed">extapi.c</a>
|
|
273
|
+
</li>
|
|
204
274
|
<li>isOperOverload()
|
|
205
275
|
: <a class="el" href="CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba">CppUtil.cpp</a>
|
|
206
276
|
</li>
|
|
277
|
+
<li>isprint()
|
|
278
|
+
: <a class="el" href="extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4">extapi.c</a>
|
|
279
|
+
</li>
|
|
280
|
+
<li>ispunct()
|
|
281
|
+
: <a class="el" href="extapi_8c.html#a9d60842d6ae065229ba810e6b01110da">extapi.c</a>
|
|
282
|
+
</li>
|
|
283
|
+
<li>isspace()
|
|
284
|
+
: <a class="el" href="extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5">extapi.c</a>
|
|
285
|
+
</li>
|
|
286
|
+
<li>isupper()
|
|
287
|
+
: <a class="el" href="extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77">extapi.c</a>
|
|
288
|
+
</li>
|
|
289
|
+
<li>isxdigit()
|
|
290
|
+
: <a class="el" href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">extapi.c</a>
|
|
291
|
+
</li>
|
|
292
|
+
</ul>
|
|
293
|
+
|
|
294
|
+
|
|
295
|
+
<h3><a id="index_j"></a>- j -</h3><ul>
|
|
296
|
+
<li>jpeg_std_error()
|
|
297
|
+
: <a class="el" href="extapi_8c.html#ae94edd22063e2b842d914b31af96b741">extapi.c</a>
|
|
298
|
+
</li>
|
|
299
|
+
</ul>
|
|
300
|
+
|
|
301
|
+
|
|
302
|
+
<h3><a id="index_l"></a>- l -</h3><ul>
|
|
303
|
+
<li>localtime_r()
|
|
304
|
+
: <a class="el" href="extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a">extapi.c</a>
|
|
305
|
+
</li>
|
|
207
306
|
</ul>
|
|
208
307
|
|
|
209
308
|
|
|
@@ -211,15 +310,21 @@ $(function() {
|
|
|
211
310
|
<li>main()
|
|
212
311
|
: <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
|
|
213
312
|
, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
|
|
313
|
+
, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
|
|
214
314
|
, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
|
|
315
|
+
, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
|
|
215
316
|
, <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
|
|
216
|
-
, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
|
|
217
317
|
, <a class="el" href="llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">llvm2svf.cpp</a>
|
|
218
|
-
|
|
318
|
+
</li>
|
|
319
|
+
<li>memchr()
|
|
320
|
+
: <a class="el" href="extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5">extapi.c</a>
|
|
219
321
|
</li>
|
|
220
322
|
<li>minify_string()
|
|
221
323
|
: <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
|
|
222
324
|
</li>
|
|
325
|
+
<li>mremap()
|
|
326
|
+
: <a class="el" href="extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642">extapi.c</a>
|
|
327
|
+
</li>
|
|
223
328
|
</ul>
|
|
224
329
|
|
|
225
330
|
|
|
@@ -242,9 +347,6 @@ $(function() {
|
|
|
242
347
|
<li>parse_value()
|
|
243
348
|
: <a class="el" href="cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f">cJSON.cpp</a>
|
|
244
349
|
</li>
|
|
245
|
-
<li>parseJson()
|
|
246
|
-
: <a class="el" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">ExtAPI.cpp</a>
|
|
247
|
-
</li>
|
|
248
350
|
<li>print()
|
|
249
351
|
: <a class="el" href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">cJSON.cpp</a>
|
|
250
352
|
</li>
|
|
@@ -273,6 +375,12 @@ $(function() {
|
|
|
273
375
|
|
|
274
376
|
|
|
275
377
|
<h3><a id="index_r"></a>- r -</h3><ul>
|
|
378
|
+
<li>readdir_r()
|
|
379
|
+
: <a class="el" href="extapi_8c.html#a3ccb1f4f10729777321e33899242f721">extapi.c</a>
|
|
380
|
+
</li>
|
|
381
|
+
<li>realpath()
|
|
382
|
+
: <a class="el" href="extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e">extapi.c</a>
|
|
383
|
+
</li>
|
|
276
384
|
<li>replace_item_in_object()
|
|
277
385
|
: <a class="el" href="cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2">cJSON.cpp</a>
|
|
278
386
|
</li>
|
|
@@ -301,6 +409,39 @@ $(function() {
|
|
|
301
409
|
<li>STATISTIC()
|
|
302
410
|
: <a class="el" href="BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a">BreakConstantExpr.cpp</a>
|
|
303
411
|
</li>
|
|
412
|
+
<li>strchr()
|
|
413
|
+
: <a class="el" href="extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a">extapi.c</a>
|
|
414
|
+
</li>
|
|
415
|
+
<li>strerror_r()
|
|
416
|
+
: <a class="el" href="extapi_8c.html#a5db20599ab5cff2baa37f783221b3606">extapi.c</a>
|
|
417
|
+
</li>
|
|
418
|
+
<li>strpbrk()
|
|
419
|
+
: <a class="el" href="extapi_8c.html#a577b071bee67af4464665a1dc4f024e2">extapi.c</a>
|
|
420
|
+
</li>
|
|
421
|
+
<li>strptime()
|
|
422
|
+
: <a class="el" href="extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b">extapi.c</a>
|
|
423
|
+
</li>
|
|
424
|
+
<li>strrchr()
|
|
425
|
+
: <a class="el" href="extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85">extapi.c</a>
|
|
426
|
+
</li>
|
|
427
|
+
<li>strstr()
|
|
428
|
+
: <a class="el" href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">extapi.c</a>
|
|
429
|
+
</li>
|
|
430
|
+
<li>strtod()
|
|
431
|
+
: <a class="el" href="extapi_8c.html#ab017280f95ea769b9422688105f02653">extapi.c</a>
|
|
432
|
+
</li>
|
|
433
|
+
<li>strtof()
|
|
434
|
+
: <a class="el" href="extapi_8c.html#a2370632318c3797a314f8eb62d37947c">extapi.c</a>
|
|
435
|
+
</li>
|
|
436
|
+
<li>strtol()
|
|
437
|
+
: <a class="el" href="extapi_8c.html#a2ce966cd04da3c32320f54c332569e03">extapi.c</a>
|
|
438
|
+
</li>
|
|
439
|
+
<li>strtold()
|
|
440
|
+
: <a class="el" href="extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7">extapi.c</a>
|
|
441
|
+
</li>
|
|
442
|
+
<li>strtoul()
|
|
443
|
+
: <a class="el" href="extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222">extapi.c</a>
|
|
444
|
+
</li>
|
|
304
445
|
<li>suffix_object()
|
|
305
446
|
: <a class="el" href="cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace">cJSON.cpp</a>
|
|
306
447
|
</li>
|
|
@@ -308,6 +449,9 @@ $(function() {
|
|
|
308
449
|
|
|
309
450
|
|
|
310
451
|
<h3><a id="index_t"></a>- t -</h3><ul>
|
|
452
|
+
<li>tmpnam_r()
|
|
453
|
+
: <a class="el" href="extapi_8c.html#a0d302127bd577711c2af50614667171e">extapi.c</a>
|
|
454
|
+
</li>
|
|
311
455
|
<li>traverseOnICFG()
|
|
312
456
|
: <a class="el" href="svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e">svf-ex.cpp</a>
|
|
313
457
|
</li>
|
|
@@ -92,11 +92,14 @@ $(function() {
|
|
|
92
92
|
<li>getBeforeParenthesis()
|
|
93
93
|
: <a class="el" href="CppUtil_8cpp.html#a2bff9158f699b6fd11c8e116b91e4809">CppUtil.cpp</a>
|
|
94
94
|
</li>
|
|
95
|
-
<li>
|
|
96
|
-
: <a class="el" href="
|
|
95
|
+
<li>getmntent_r()
|
|
96
|
+
: <a class="el" href="extapi_8c.html#a0467c34eaa7dd0434c17762177dd08bf">extapi.c</a>
|
|
97
97
|
</li>
|
|
98
|
-
<li>
|
|
99
|
-
: <a class="el" href="
|
|
98
|
+
<li>getpwnam_r()
|
|
99
|
+
: <a class="el" href="extapi_8c.html#a9d2e8fbff1b6a171809af5ff4d9faf93">extapi.c</a>
|
|
100
|
+
</li>
|
|
101
|
+
<li>getpwuid_r()
|
|
102
|
+
: <a class="el" href="extapi_8c.html#a8d45eda5c086f3f4bf394644c3af43b7">extapi.c</a>
|
|
100
103
|
</li>
|
|
101
104
|
<li>global_error
|
|
102
105
|
: <a class="el" href="cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846">cJSON.cpp</a>
|
|
@@ -104,6 +107,12 @@ $(function() {
|
|
|
104
107
|
<li>global_hooks
|
|
105
108
|
: <a class="el" href="cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf">cJSON.cpp</a>
|
|
106
109
|
</li>
|
|
110
|
+
<li>gmtime_r()
|
|
111
|
+
: <a class="el" href="extapi_8c.html#a78301bb1e43ee4dda8a7cfd04d99f9e5">extapi.c</a>
|
|
112
|
+
</li>
|
|
113
|
+
<li>gzgets()
|
|
114
|
+
: <a class="el" href="extapi_8c.html#ac84ce7ca37e7c4e94aec43868a755cac">extapi.c</a>
|
|
115
|
+
</li>
|
|
107
116
|
</ul>
|
|
108
117
|
</div><!-- contents -->
|
|
109
118
|
<!-- start footer part -->
|
|
@@ -76,8 +76,11 @@ $(function() {
|
|
|
76
76
|
: <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
|
|
77
77
|
</li>
|
|
78
78
|
<li>index
|
|
79
|
-
: <a class="el" href="
|
|
80
|
-
, <a class="el" href="
|
|
79
|
+
: <a class="el" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.h</a>
|
|
80
|
+
, <a class="el" href="cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.cpp</a>
|
|
81
|
+
</li>
|
|
82
|
+
<li>inet_ntop()
|
|
83
|
+
: <a class="el" href="extapi_8c.html#a815550360dffb66bbe62df2586b5bceb">extapi.c</a>
|
|
81
84
|
</li>
|
|
82
85
|
<li>internal_free
|
|
83
86
|
: <a class="el" href="cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839">cJSON.cpp</a>
|
|
@@ -91,15 +94,51 @@ $(function() {
|
|
|
91
94
|
<li>internal_realloc
|
|
92
95
|
: <a class="el" href="cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5">cJSON.cpp</a>
|
|
93
96
|
</li>
|
|
97
|
+
<li>isalnum()
|
|
98
|
+
: <a class="el" href="extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af">extapi.c</a>
|
|
99
|
+
</li>
|
|
100
|
+
<li>isalpha()
|
|
101
|
+
: <a class="el" href="extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb">extapi.c</a>
|
|
102
|
+
</li>
|
|
103
|
+
<li>isblank()
|
|
104
|
+
: <a class="el" href="extapi_8c.html#aaecd098576b00440124c44580144e8d5">extapi.c</a>
|
|
105
|
+
</li>
|
|
106
|
+
<li>iscntrl()
|
|
107
|
+
: <a class="el" href="extapi_8c.html#a0008a4e8e7889734dc1d83297de07158">extapi.c</a>
|
|
108
|
+
</li>
|
|
109
|
+
<li>isdigit()
|
|
110
|
+
: <a class="el" href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">extapi.c</a>
|
|
111
|
+
</li>
|
|
112
|
+
<li>isgraph()
|
|
113
|
+
: <a class="el" href="extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561">extapi.c</a>
|
|
114
|
+
</li>
|
|
94
115
|
<li>isinf
|
|
95
116
|
: <a class="el" href="cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df">cJSON.cpp</a>
|
|
96
117
|
</li>
|
|
118
|
+
<li>islower()
|
|
119
|
+
: <a class="el" href="extapi_8c.html#aa22ae60881e18aa1b9ec1d94210307ed">extapi.c</a>
|
|
120
|
+
</li>
|
|
97
121
|
<li>isnan
|
|
98
122
|
: <a class="el" href="cJSON_8cpp.html#a11b2d271b8abcb53159ffb82dc29547a">cJSON.cpp</a>
|
|
99
123
|
</li>
|
|
100
124
|
<li>isOperOverload()
|
|
101
125
|
: <a class="el" href="CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba">CppUtil.cpp</a>
|
|
102
126
|
</li>
|
|
127
|
+
<li>isprint()
|
|
128
|
+
: <a class="el" href="extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4">extapi.c</a>
|
|
129
|
+
</li>
|
|
130
|
+
<li>ispunct()
|
|
131
|
+
: <a class="el" href="extapi_8c.html#a9d60842d6ae065229ba810e6b01110da">extapi.c</a>
|
|
132
|
+
</li>
|
|
133
|
+
<li>isspace()
|
|
134
|
+
: <a class="el" href="extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5">extapi.c</a>
|
|
135
|
+
</li>
|
|
136
|
+
<li>isupper()
|
|
137
|
+
: <a class="el" href="extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77">extapi.c</a>
|
|
138
|
+
</li>
|
|
139
|
+
<li>isxdigit()
|
|
140
|
+
: <a class="el" href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">extapi.c</a>
|
|
141
|
+
</li>
|
|
103
142
|
<li>item
|
|
104
143
|
: <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
|
|
105
144
|
, <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
|
|
@@ -64,6 +64,9 @@ $(function() {
|
|
|
64
64
|
<div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
|
|
65
65
|
|
|
66
66
|
<h3><a id="index_j"></a>- j -</h3><ul>
|
|
67
|
+
<li>jpeg_std_error()
|
|
68
|
+
: <a class="el" href="extapi_8c.html#ae94edd22063e2b842d914b31af96b741">extapi.c</a>
|
|
69
|
+
</li>
|
|
67
70
|
<li>json
|
|
68
71
|
: <a class="el" href="cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37">cJSON.cpp</a>
|
|
69
72
|
</li>
|
|
@@ -79,12 +82,6 @@ $(function() {
|
|
|
79
82
|
<li>JSON_KEY
|
|
80
83
|
: <a class="el" href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">SVFFileSystem.h</a>
|
|
81
84
|
</li>
|
|
82
|
-
<li>JSON_OPT_FUNCTIONTYPE
|
|
83
|
-
: <a class="el" href="ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e">ExtAPI.h</a>
|
|
84
|
-
</li>
|
|
85
|
-
<li>JSON_OPT_OVERWRITE
|
|
86
|
-
: <a class="el" href="ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874">ExtAPI.h</a>
|
|
87
|
-
</li>
|
|
88
85
|
<li>JSON_READ_FIELD_FWD
|
|
89
86
|
: <a class="el" href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">SVFFileSystem.h</a>
|
|
90
87
|
</li>
|
|
@@ -77,6 +77,9 @@ $(function() {
|
|
|
77
77
|
<li>LLVM_NODISCARD
|
|
78
78
|
: <a class="el" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">Casting.h</a>
|
|
79
79
|
</li>
|
|
80
|
+
<li>localtime_r()
|
|
81
|
+
: <a class="el" href="extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a">extapi.c</a>
|
|
82
|
+
</li>
|
|
80
83
|
</ul>
|
|
81
84
|
</div><!-- contents -->
|
|
82
85
|
<!-- start footer part -->
|
|
@@ -68,17 +68,23 @@ $(function() {
|
|
|
68
68
|
: <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
|
|
69
69
|
, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
|
|
70
70
|
, <a class="el" href="llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">llvm2svf.cpp</a>
|
|
71
|
-
, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
|
|
72
|
-
, <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
|
|
73
71
|
, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
|
|
74
72
|
, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
|
|
73
|
+
, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
|
|
74
|
+
, <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
|
|
75
75
|
</li>
|
|
76
76
|
<li>MaxBvLen
|
|
77
77
|
: <a class="el" href="BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7">BoundedZ3Expr.h</a>
|
|
78
78
|
</li>
|
|
79
|
+
<li>memchr()
|
|
80
|
+
: <a class="el" href="extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5">extapi.c</a>
|
|
81
|
+
</li>
|
|
79
82
|
<li>minify_string()
|
|
80
83
|
: <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
|
|
81
84
|
</li>
|
|
85
|
+
<li>mremap()
|
|
86
|
+
: <a class="el" href="extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642">extapi.c</a>
|
|
87
|
+
</li>
|
|
82
88
|
</ul>
|
|
83
89
|
</div><!-- contents -->
|
|
84
90
|
<!-- start footer part -->
|
|
@@ -91,7 +91,8 @@ $(function() {
|
|
|
91
91
|
: <a class="el" href="cJSON_8cpp.html#a2212121102d55231315839f800aa1350">cJSON.cpp</a>
|
|
92
92
|
</li>
|
|
93
93
|
<li>NULL
|
|
94
|
-
: <a class="el" href="
|
|
94
|
+
: <a class="el" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">extapi.c</a>
|
|
95
|
+
, <a class="el" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">cJSON.cpp</a>
|
|
95
96
|
</li>
|
|
96
97
|
<li>number
|
|
97
98
|
: <a class="el" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">cJSON.h</a>
|
|
@@ -85,9 +85,6 @@ $(function() {
|
|
|
85
85
|
<li>parse_value()
|
|
86
86
|
: <a class="el" href="cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f">cJSON.cpp</a>
|
|
87
87
|
</li>
|
|
88
|
-
<li>parseJson()
|
|
89
|
-
: <a class="el" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">ExtAPI.cpp</a>
|
|
90
|
-
</li>
|
|
91
88
|
<li>position
|
|
92
89
|
: <a class="el" href="cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a">cJSON.cpp</a>
|
|
93
90
|
</li>
|
|
@@ -117,7 +114,7 @@ $(function() {
|
|
|
117
114
|
: <a class="el" href="cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb">cJSON.cpp</a>
|
|
118
115
|
</li>
|
|
119
116
|
<li>print_value()
|
|
120
|
-
: <a class="el" href="cJSON_8cpp.html#
|
|
117
|
+
: <a class="el" href="cJSON_8cpp.html#a0cbec0eca3676bc4510138c52e734813">cJSON.cpp</a>
|
|
121
118
|
</li>
|
|
122
119
|
<li>printPts()
|
|
123
120
|
: <a class="el" href="svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829">svf-ex.cpp</a>
|
|
@@ -74,9 +74,15 @@ $(function() {
|
|
|
74
74
|
<li>READ_CREATE_NODE_FWD
|
|
75
75
|
: <a class="el" href="SVFFileSystem_8cpp.html#ad9bbbc9c38a358d29b606dcf38c851ad">SVFFileSystem.cpp</a>
|
|
76
76
|
</li>
|
|
77
|
+
<li>readdir_r()
|
|
78
|
+
: <a class="el" href="extapi_8c.html#a3ccb1f4f10729777321e33899242f721">extapi.c</a>
|
|
79
|
+
</li>
|
|
80
|
+
<li>realpath()
|
|
81
|
+
: <a class="el" href="extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e">extapi.c</a>
|
|
82
|
+
</li>
|
|
77
83
|
<li>recurse
|
|
78
|
-
: <a class="el" href="
|
|
79
|
-
, <a class="el" href="
|
|
84
|
+
: <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
|
|
85
|
+
, <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
|
|
80
86
|
</li>
|
|
81
87
|
<li>REGPT
|
|
82
88
|
: <a class="el" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">dda.cpp</a>
|
|
@@ -92,15 +98,15 @@ $(function() {
|
|
|
92
98
|
, <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
|
|
93
99
|
</li>
|
|
94
100
|
<li>require_null_terminated
|
|
95
|
-
: <a class="el" href="
|
|
96
|
-
, <a class="el" href="
|
|
101
|
+
: <a class="el" href="cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.h</a>
|
|
102
|
+
, <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
|
|
97
103
|
</li>
|
|
98
104
|
<li>return()
|
|
99
105
|
: <a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">cJSON.cpp</a>
|
|
100
106
|
</li>
|
|
101
107
|
<li>return_parse_end
|
|
102
|
-
: <a class="el" href="
|
|
103
|
-
, <a class="el" href="
|
|
108
|
+
: <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
|
|
109
|
+
, <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
|
|
104
110
|
</li>
|
|
105
111
|
<li>RFINEPT
|
|
106
112
|
: <a class="el" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">dda.cpp</a>
|
|
@@ -85,10 +85,43 @@ $(function() {
|
|
|
85
85
|
<li>storebar
|
|
86
86
|
: <a class="el" href="PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c">PAGGrammar.txt</a>
|
|
87
87
|
</li>
|
|
88
|
+
<li>strchr()
|
|
89
|
+
: <a class="el" href="extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a">extapi.c</a>
|
|
90
|
+
</li>
|
|
91
|
+
<li>strerror_r()
|
|
92
|
+
: <a class="el" href="extapi_8c.html#a5db20599ab5cff2baa37f783221b3606">extapi.c</a>
|
|
93
|
+
</li>
|
|
88
94
|
<li>string
|
|
89
95
|
: <a class="el" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">cJSON.h</a>
|
|
90
96
|
, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">cJSON.cpp</a>
|
|
91
97
|
</li>
|
|
98
|
+
<li>strpbrk()
|
|
99
|
+
: <a class="el" href="extapi_8c.html#a577b071bee67af4464665a1dc4f024e2">extapi.c</a>
|
|
100
|
+
</li>
|
|
101
|
+
<li>strptime()
|
|
102
|
+
: <a class="el" href="extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b">extapi.c</a>
|
|
103
|
+
</li>
|
|
104
|
+
<li>strrchr()
|
|
105
|
+
: <a class="el" href="extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85">extapi.c</a>
|
|
106
|
+
</li>
|
|
107
|
+
<li>strstr()
|
|
108
|
+
: <a class="el" href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">extapi.c</a>
|
|
109
|
+
</li>
|
|
110
|
+
<li>strtod()
|
|
111
|
+
: <a class="el" href="extapi_8c.html#ab017280f95ea769b9422688105f02653">extapi.c</a>
|
|
112
|
+
</li>
|
|
113
|
+
<li>strtof()
|
|
114
|
+
: <a class="el" href="extapi_8c.html#a2370632318c3797a314f8eb62d37947c">extapi.c</a>
|
|
115
|
+
</li>
|
|
116
|
+
<li>strtol()
|
|
117
|
+
: <a class="el" href="extapi_8c.html#a2ce966cd04da3c32320f54c332569e03">extapi.c</a>
|
|
118
|
+
</li>
|
|
119
|
+
<li>strtold()
|
|
120
|
+
: <a class="el" href="extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7">extapi.c</a>
|
|
121
|
+
</li>
|
|
122
|
+
<li>strtoul()
|
|
123
|
+
: <a class="el" href="extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222">extapi.c</a>
|
|
124
|
+
</li>
|
|
92
125
|
<li>structName
|
|
93
126
|
: <a class="el" href="LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">LLVMUtil.cpp</a>
|
|
94
127
|
</li>
|
|
@@ -70,6 +70,9 @@ $(function() {
|
|
|
70
70
|
<li>TIMEINTERVAL
|
|
71
71
|
: <a class="el" href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">SVFType.h</a>
|
|
72
72
|
</li>
|
|
73
|
+
<li>tmpnam_r()
|
|
74
|
+
: <a class="el" href="extapi_8c.html#a0d302127bd577711c2af50614667171e">extapi.c</a>
|
|
75
|
+
</li>
|
|
73
76
|
<li>traverseOnICFG()
|
|
74
77
|
: <a class="el" href="svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e">svf-ex.cpp</a>
|
|
75
78
|
</li>
|