svf-tools 1.0.837 → 1.0.839
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/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/Andersen_8cpp_source.html +20 -16
- package/SVF-doxygen/html/Andersen_8h_source.html +2 -2
- package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLAlias_8cpp_source.html +2 -2
- package/SVF-doxygen/html/CFLBase_8cpp_source.html +4 -4
- package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/CFLSVFGBuilder_8cpp.html +86 -0
- package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +195 -0
- package/SVF-doxygen/html/CFLSVFGBuilder_8h.html +98 -0
- package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +148 -0
- package/SVF-doxygen/html/CFLVF_8cpp_source.html +4 -4
- package/SVF-doxygen/html/CFLVF_8h.html +1 -1
- package/SVF-doxygen/html/CFLVF_8h_source.html +5 -5
- package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ConsG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/DCHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAPass_8cpp_source.html +9 -9
- package/SVF-doxygen/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/DDAVFSolver_8h_source.html +1 -1
- package/SVF-doxygen/html/DoubleFreeChecker_8cpp_source.html +5 -5
- package/SVF-doxygen/html/DoubleFreeChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/ExtAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/FSMPTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/FileChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/FileChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/LeakChecker_8cpp_source.html +3 -3
- package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
- package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/MemSSA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/Options_8cpp_source.html +825 -892
- package/SVF-doxygen/html/Options_8h_source.html +275 -297
- package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +12 -12
- package/SVF-doxygen/html/ProgSlice_8cpp_source.html +170 -136
- package/SVF-doxygen/html/ProgSlice_8h_source.html +314 -298
- package/SVF-doxygen/html/SVFGBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +4 -4
- package/SVF-doxygen/html/SVFGOPT_8h_source.html +5 -5
- package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFG_8cpp_source.html +32 -32
- package/SVF-doxygen/html/SVFG_8h_source.html +446 -444
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +246 -235
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp.html +1 -0
- package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +272 -266
- package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +75 -62
- package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +261 -260
- package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +18 -18
- package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +3 -3
- package/SVF-doxygen/html/TCT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +4 -4
- package/SVF-doxygen/html/WPAPass_8cpp_source.html +5 -5
- package/SVF-doxygen/html/Z3Expr_8cpp_source.html +1 -1
- package/SVF-doxygen/html/annotated.html +377 -376
- package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +18 -14
- package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1CFLBase.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1CFLGraphBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder-members.html +121 -0
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +473 -0
- package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CFLVF.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAPass.html +9 -9
- package/SVF-doxygen/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FileChecker.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1MemSSA.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1ObjTypeInfo.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1Options-members.html +64 -73
- package/SVF-doxygen/html/classSVF_1_1Options.html +128 -362
- package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +12 -12
- package/SVF-doxygen/html/classSVF_1_1ProgSlice-members.html +25 -22
- package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +493 -366
- package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFG-members.html +182 -181
- package/SVF-doxygen/html/classSVF_1_1SVFG.html +326 -300
- package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.html +6 -5
- package/SVF-doxygen/html/classSVF_1_1SVFGBuilder.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +7 -7
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator-members.html +22 -19
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +239 -160
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder-members.html +11 -9
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +348 -286
- package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.png +0 -0
- package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +263 -261
- package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +3 -3
- package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VFG.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1WPAPass.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +1 -1
- package/SVF-doxygen/html/classes.html +95 -94
- package/SVF-doxygen/html/dir_1b8e404556d3e8597ae60437f0a084bf.html +2 -0
- package/SVF-doxygen/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html +2 -0
- package/SVF-doxygen/html/files.html +6 -4
- package/SVF-doxygen/html/functions_b.html +7 -6
- package/SVF-doxygen/html/functions_c.html +38 -29
- package/SVF-doxygen/html/functions_d.html +0 -15
- package/SVF-doxygen/html/functions_f.html +9 -9
- package/SVF-doxygen/html/functions_func_b.html +3 -2
- package/SVF-doxygen/html/functions_func_c.html +29 -23
- package/SVF-doxygen/html/functions_func_g.html +14 -10
- package/SVF-doxygen/html/functions_func_r.html +6 -5
- package/SVF-doxygen/html/functions_func_s.html +20 -17
- package/SVF-doxygen/html/functions_func_~.html +3 -0
- package/SVF-doxygen/html/functions_g.html +10 -6
- package/SVF-doxygen/html/functions_m.html +4 -7
- package/SVF-doxygen/html/functions_n.html +6 -5
- package/SVF-doxygen/html/functions_p.html +15 -14
- package/SVF-doxygen/html/functions_r.html +10 -6
- package/SVF-doxygen/html/functions_rela_c.html +3 -0
- package/SVF-doxygen/html/functions_s.html +24 -21
- package/SVF-doxygen/html/functions_t.html +5 -11
- package/SVF-doxygen/html/functions_type_n.html +2 -1
- package/SVF-doxygen/html/functions_type_s.html +6 -1
- package/SVF-doxygen/html/functions_type_w.html +1 -0
- package/SVF-doxygen/html/functions_v.html +4 -6
- package/SVF-doxygen/html/functions_vars_d.html +0 -15
- package/SVF-doxygen/html/functions_vars_m.html +1 -4
- package/SVF-doxygen/html/functions_vars_p.html +3 -0
- package/SVF-doxygen/html/functions_vars_r.html +3 -0
- package/SVF-doxygen/html/functions_vars_s.html +2 -7
- package/SVF-doxygen/html/functions_vars_t.html +0 -6
- package/SVF-doxygen/html/functions_w.html +3 -2
- package/SVF-doxygen/html/functions_~.html +3 -0
- package/SVF-doxygen/html/hierarchy.html +2 -1
- package/SVF-doxygen/html/namespaceSVF.html +2 -0
- package/SVF-doxygen/html/search/all_10.js +207 -206
- package/SVF-doxygen/html/search/all_11.js +115 -114
- package/SVF-doxygen/html/search/all_12.js +335 -335
- package/SVF-doxygen/html/search/all_13.js +190 -192
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -167
- package/SVF-doxygen/html/search/all_16.js +63 -63
- 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 +11 -11
- package/SVF-doxygen/html/search/all_1a.js +26 -25
- package/SVF-doxygen/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/search/all_3.js +466 -462
- package/SVF-doxygen/html/search/all_4.js +230 -235
- package/SVF-doxygen/html/search/all_5.js +119 -119
- package/SVF-doxygen/html/search/all_6.js +226 -226
- package/SVF-doxygen/html/search/all_7.js +804 -803
- package/SVF-doxygen/html/search/all_9.js +3 -3
- package/SVF-doxygen/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/search/all_d.js +184 -185
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +116 -116
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- 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 +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +37 -36
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +34 -34
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- 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 +18 -18
- 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 +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 +2 -2
- 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 +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- 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 +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- 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 +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- 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 +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -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 +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- 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 +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- 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 +57 -55
- 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 +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- 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 +2 -2
- 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 +362 -362
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +139 -139
- package/SVF-doxygen/html/search/functions_12.js +289 -288
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +173 -172
- package/SVF-doxygen/html/search/functions_2.js +89 -89
- package/SVF-doxygen/html/search/functions_3.js +260 -258
- package/SVF-doxygen/html/search/functions_4.js +78 -78
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +60 -60
- package/SVF-doxygen/html/search/functions_7.js +856 -855
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +424 -424
- 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 +79 -79
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- 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 +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +3 -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 +4 -4
- 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_10.js +17 -16
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -33
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_c.js +1 -1
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +98 -97
- package/SVF-doxygen/html/search/variables_11.js +45 -44
- package/SVF-doxygen/html/search/variables_12.js +90 -92
- package/SVF-doxygen/html/search/variables_13.js +4 -6
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +50 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- 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 +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- 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 +55 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +30 -30
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +1 -1
- package/package.json +1 -1
- package/svf/include/CFL/CFLSVFGBuilder.h +58 -0
- package/svf/include/CFL/CFLVF.h +2 -2
- package/svf/include/Graphs/SVFG.h +1 -0
- package/svf/include/SABER/ProgSlice.h +11 -0
- package/svf/include/SABER/SaberCondAllocator.h +8 -0
- package/svf/include/SABER/SaberSVFGBuilder.h +12 -2
- package/svf/include/Util/Options.h +1 -14
- package/svf/lib/CFL/CFLSVFGBuilder.cpp +100 -0
- package/svf/lib/SABER/ProgSlice.cpp +48 -1
- package/svf/lib/SABER/SaberSVFGBuilder.cpp +5 -0
- package/svf/lib/SABER/SrcSnkDDA.cpp +1 -0
- package/svf/lib/Util/Options.cpp +6 -64
- package/svf/lib/WPA/Andersen.cpp +5 -2
|
@@ -126,345 +126,323 @@ $(function() {
|
|
|
126
126
|
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <span class="comment">// ContextDDA.cpp</span></div>
|
|
127
127
|
<div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b"> 81</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">CxtBudget</a>;</div>
|
|
128
128
|
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  </div>
|
|
129
|
-
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="comment">//
|
|
130
|
-
<div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
131
|
-
<div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
132
|
-
<div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
133
|
-
<div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
134
|
-
<div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
135
|
-
<div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
136
|
-
<div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
137
|
-
<div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
138
|
-
<div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
139
|
-
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  </div>
|
|
140
|
-
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span> 
|
|
141
|
-
<div class="line"><a name="l00095"></a><span class="lineno"
|
|
142
|
-
<div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
143
|
-
<div class="line"><a name="l00097"></a><span class="lineno"
|
|
144
|
-
<div class="line"><a name="l00098"></a><span class="lineno"
|
|
145
|
-
<div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
146
|
-
<div class="line"><a name="l00100"></a><span class="lineno"
|
|
147
|
-
<div class="line"><a name="l00101"></a><span class="lineno"
|
|
148
|
-
<div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
149
|
-
<div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
150
|
-
<div class="line"><a name="l00104"></a><span class="lineno"
|
|
151
|
-
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  </div>
|
|
152
|
-
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  <span class="
|
|
153
|
-
<div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
154
|
-
<div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  </div>
|
|
155
|
-
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span> 
|
|
156
|
-
<div class="line"><a name="l00110"></a><span class="lineno"
|
|
157
|
-
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  </div>
|
|
158
|
-
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span> 
|
|
159
|
-
<div class="line"><a name="l00113"></a><span class="lineno"
|
|
160
|
-
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
161
|
-
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  </div>
|
|
162
|
-
<div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="
|
|
163
|
-
<div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
164
|
-
<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
165
|
-
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
166
|
-
<div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  </div>
|
|
167
|
-
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  <span class="
|
|
168
|
-
<div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
169
|
-
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  </div>
|
|
170
|
-
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  <span class="
|
|
171
|
-
<div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
172
|
-
<div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  </div>
|
|
173
|
-
<div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <span class="
|
|
174
|
-
<div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
175
|
-
<div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
176
|
-
<div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
177
|
-
<div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
178
|
-
<div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
179
|
-
<div class="line"><a name="l00133"></a><span class="lineno"
|
|
180
|
-
<div class="line"><a name="l00134"></a><span class="lineno"
|
|
181
|
-
<div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
182
|
-
<div class="line"><a name="l00136"></a><span class="lineno"
|
|
183
|
-
<div class="line"><a name="l00137"></a><span class="lineno"
|
|
184
|
-
<div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
185
|
-
<div class="line"><a name="l00139"></a><span class="lineno"
|
|
186
|
-
<div class="line"><a name="l00140"></a><span class="lineno"
|
|
187
|
-
<div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
188
|
-
<div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
189
|
-
<div class="line"><a name="l00143"></a><span class="lineno"
|
|
190
|
-
<div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
191
|
-
<div class="line"><a name="l00145"></a><span class="lineno"
|
|
192
|
-
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  </div>
|
|
193
|
-
<div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="
|
|
194
|
-
<div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
129
|
+
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  <span class="comment">// DDAPass.cpp</span></div>
|
|
130
|
+
<div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53"> 84</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">MaxPathLen</a>;</div>
|
|
131
|
+
<div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71"> 85</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">MaxContextLen</a>;</div>
|
|
132
|
+
<div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919"> 86</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">MaxStepInWrapper</a>;</div>
|
|
133
|
+
<div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b"> 87</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">UserInputQuery</a>;</div>
|
|
134
|
+
<div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b"> 88</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">InsenRecur</a>;</div>
|
|
135
|
+
<div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0"> 89</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">InsenCycle</a>;</div>
|
|
136
|
+
<div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b"> 90</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">PrintCPts</a>;</div>
|
|
137
|
+
<div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014"> 91</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">PrintQueryPts</a>;</div>
|
|
138
|
+
<div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9"> 92</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">WPANum</a>;</div>
|
|
139
|
+
<div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580"> 93</a></span>  <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<PointerAnalysis::PTATY></a> <a class="code" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">DDASelected</a>;</div>
|
|
140
|
+
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  </div>
|
|
141
|
+
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="comment">// FlowDDA.cpp</span></div>
|
|
142
|
+
<div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4"> 96</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">FlowBudget</a>;</div>
|
|
143
|
+
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  </div>
|
|
144
|
+
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div>
|
|
145
|
+
<div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101"> 99</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">OCGDotGraph</a>;</div>
|
|
146
|
+
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  </div>
|
|
147
|
+
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div>
|
|
148
|
+
<div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63"> 102</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">HandBlackHole</a>;</div>
|
|
149
|
+
<div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea"> 103</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">FirstFieldEqBase</a>;</div>
|
|
150
|
+
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  </div>
|
|
151
|
+
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div>
|
|
152
|
+
<div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302"> 106</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">ContextInsensitive</a>;</div>
|
|
153
|
+
<div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37"> 107</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">KeepAOFI</a>;</div>
|
|
154
|
+
<div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc"> 108</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SelfCycle</a>;</div>
|
|
155
|
+
<div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  </div>
|
|
156
|
+
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div>
|
|
157
|
+
<div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51"> 111</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">DumpVFG</a>;</div>
|
|
158
|
+
<div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  </div>
|
|
159
|
+
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div>
|
|
160
|
+
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd"> 114</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">TypePrint</a>;</div>
|
|
161
|
+
<div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563"> 115</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">FuncPointerPrint</a>;</div>
|
|
162
|
+
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337"> 116</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">PTSPrint</a>;</div>
|
|
163
|
+
<div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00"> 117</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">PTSAllPrint</a>;</div>
|
|
164
|
+
<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655"> 118</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655">PrintFieldWithBasePrefix</a>;</div>
|
|
165
|
+
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4"> 119</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">PStat</a>;</div>
|
|
166
|
+
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2"> 120</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">StatBudget</a>;</div>
|
|
167
|
+
<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8"> 121</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">PAGDotGraph</a>;</div>
|
|
168
|
+
<div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353"> 122</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">ShowSVFIRValue</a>;</div>
|
|
169
|
+
<div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a"> 123</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">DumpICFG</a>;</div>
|
|
170
|
+
<div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4"> 124</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4">DumpJson</a>;</div>
|
|
171
|
+
<div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8"> 125</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">ReadJson</a>;</div>
|
|
172
|
+
<div class="line"><a name="l00126"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567"> 126</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">CallGraphDotGraph</a>;</div>
|
|
173
|
+
<div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e"> 127</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">PAGPrint</a>;</div>
|
|
174
|
+
<div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef"> 128</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">IndirectCallLimit</a>;</div>
|
|
175
|
+
<div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021"> 129</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">UsePreCompFieldSensitive</a>;</div>
|
|
176
|
+
<div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73"> 130</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">EnableAliasCheck</a>;</div>
|
|
177
|
+
<div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d"> 131</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">EnableThreadCallGraph</a>;</div>
|
|
178
|
+
<div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127"> 132</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">ConnectVCallOnCHA</a>;</div>
|
|
179
|
+
<div class="line"><a name="l00133"></a><span class="lineno"> 133</span>  </div>
|
|
180
|
+
<div class="line"><a name="l00134"></a><span class="lineno"> 134</span>  <span class="comment">// PointerAnalysisImpl.cpp</span></div>
|
|
181
|
+
<div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90"> 135</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">INCDFPTData</a>;</div>
|
|
182
|
+
<div class="line"><a name="l00136"></a><span class="lineno"> 136</span>  </div>
|
|
183
|
+
<div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <span class="comment">// Memory region (MemRegion.cpp)</span></div>
|
|
184
|
+
<div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7"> 138</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">IgnoreDeadFun</a>;</div>
|
|
185
|
+
<div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  </div>
|
|
186
|
+
<div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div>
|
|
187
|
+
<div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa"> 141</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">DumpMSSA</a>;</div>
|
|
188
|
+
<div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f"> 142</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">MSSAFun</a>;</div>
|
|
189
|
+
<div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  <span class="comment">// static const llvm::cl::opt<string> MSSAFun;</span></div>
|
|
190
|
+
<div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e"> 144</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOptionMap.html">OptionMap<MemSSA::MemPartition></a> <a class="code" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">MemPar</a>;</div>
|
|
191
|
+
<div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  </div>
|
|
192
|
+
<div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div>
|
|
193
|
+
<div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0"> 147</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVFGWithIndirectCall</a>;</div>
|
|
194
|
+
<div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af"> 148</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">OPTSVFG</a>;</div>
|
|
195
195
|
<div class="line"><a name="l00149"></a><span class="lineno"> 149</span>  </div>
|
|
196
|
-
<div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <span class="
|
|
197
|
-
<div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
196
|
+
<div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47"> 150</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">WriteSVFG</a>;</div>
|
|
197
|
+
<div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4"> 151</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">ReadSVFG</a>;</div>
|
|
198
198
|
<div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  </div>
|
|
199
|
-
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="comment">//
|
|
200
|
-
<div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
201
|
-
<div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
202
|
-
<div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <span class="
|
|
203
|
-
<div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
199
|
+
<div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="comment">// FSMPTA.cpp</span></div>
|
|
200
|
+
<div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746"> 154</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">UsePCG</a>;</div>
|
|
201
|
+
<div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb"> 155</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">IntraLock</a>;</div>
|
|
202
|
+
<div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916"> 156</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">ReadPrecisionTDEdge</a>;</div>
|
|
203
|
+
<div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56"> 157</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">AddModelFlag</a>;</div>
|
|
204
204
|
<div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  </div>
|
|
205
|
-
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  <span class="comment">//
|
|
206
|
-
<div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
207
|
-
<div class="line"><a name="l00161"></a><span class="lineno"
|
|
208
|
-
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  </div>
|
|
209
|
-
<div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
210
|
-
<div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
205
|
+
<div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  <span class="comment">// LockAnalysis.cpp</span></div>
|
|
206
|
+
<div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844"> 160</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">PrintLockSpan</a>;</div>
|
|
207
|
+
<div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  </div>
|
|
208
|
+
<div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="comment">// MHP.cpp</span></div>
|
|
209
|
+
<div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba"> 163</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">PrintInterLev</a>;</div>
|
|
210
|
+
<div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666"> 164</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">DoLockAnalysis</a>;</div>
|
|
211
211
|
<div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  </div>
|
|
212
|
-
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <span class="comment">//
|
|
213
|
-
<div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
214
|
-
<div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
215
|
-
<div class="line"><a name="l00169"></a><span class="lineno"
|
|
216
|
-
<div class="line"><a name="l00170"></a><span class="lineno"
|
|
217
|
-
<div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  </div>
|
|
218
|
-
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span> 
|
|
219
|
-
<div class="line"><a name="l00173"></a><span class="lineno"
|
|
220
|
-
<div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  </div>
|
|
221
|
-
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span> 
|
|
222
|
-
<div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
223
|
-
<div class="line"><a name="l00177"></a><span class="lineno"
|
|
224
|
-
<div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  </div>
|
|
225
|
-
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span> 
|
|
226
|
-
<div class="line"><a name="l00180"></a><span class="lineno"
|
|
227
|
-
<div class="line"><a name="l00181"></a><span class="lineno"
|
|
212
|
+
<div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <span class="comment">// MTA.cpp</span></div>
|
|
213
|
+
<div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930"> 167</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">AndersenAnno</a>;</div>
|
|
214
|
+
<div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336"> 168</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">FSAnno</a>;</div>
|
|
215
|
+
<div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  </div>
|
|
216
|
+
<div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="comment">// MTAAnnotator.cpp</span></div>
|
|
217
|
+
<div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7"> 171</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">AnnoFlag</a>;</div>
|
|
218
|
+
<div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  </div>
|
|
219
|
+
<div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  <span class="comment">// MTAResultValidator.cpp</span></div>
|
|
220
|
+
<div class="line"><a name="l00174"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1"> 174</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">PrintValidRes</a>;</div>
|
|
221
|
+
<div class="line"><a name="l00175"></a><span class="lineno"> 175</span>  </div>
|
|
222
|
+
<div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec"> 176</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">LockValid</a>;</div>
|
|
223
|
+
<div class="line"><a name="l00177"></a><span class="lineno"> 177</span>  <span class="comment">//MTAStat.cpp</span></div>
|
|
224
|
+
<div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70"> 178</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">AllPairMHP</a>;</div>
|
|
225
|
+
<div class="line"><a name="l00179"></a><span class="lineno"> 179</span>  </div>
|
|
226
|
+
<div class="line"><a name="l00180"></a><span class="lineno"> 180</span>  <span class="comment">// PCG.cpp</span></div>
|
|
227
|
+
<div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <span class="comment">//const Option<bool> TDPrint</span></div>
|
|
228
228
|
<div class="line"><a name="l00182"></a><span class="lineno"> 182</span>  </div>
|
|
229
|
-
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <span class="comment">//
|
|
230
|
-
<div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
229
|
+
<div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  <span class="comment">// TCT.cpp</span></div>
|
|
230
|
+
<div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce"> 184</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">TCTDotGraph</a>;</div>
|
|
231
231
|
<div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  </div>
|
|
232
|
-
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <span class="comment">//
|
|
233
|
-
<div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
232
|
+
<div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  <span class="comment">// LeakChecker.cpp</span></div>
|
|
233
|
+
<div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1"> 187</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">ValidateTests</a>;</div>
|
|
234
234
|
<div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  </div>
|
|
235
|
-
<div class="line"><a name="l00189"></a><span class="lineno"
|
|
236
|
-
<div class="line"><a name="l00190"></a><span class="lineno"> 190</span>  <span class="
|
|
237
|
-
<div class="line"><a name="l00191"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
235
|
+
<div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <span class="comment">// Source-sink analyzer (SrcSnkDDA.cpp)</span></div>
|
|
236
|
+
<div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db"> 190</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">DumpSlice</a>;</div>
|
|
237
|
+
<div class="line"><a name="l00191"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5"> 191</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">CxtLimit</a>;</div>
|
|
238
238
|
<div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  </div>
|
|
239
|
-
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="comment">//
|
|
240
|
-
<div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="
|
|
239
|
+
<div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="comment">// CHG.cpp</span></div>
|
|
240
|
+
<div class="line"><a name="l00194"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270"> 194</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">DumpCHA</a>;</div>
|
|
241
241
|
<div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  </div>
|
|
242
|
-
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <span class="comment">//
|
|
243
|
-
<div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
242
|
+
<div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <span class="comment">// DCHG.cpp</span></div>
|
|
243
|
+
<div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182"> 197</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">PrintDCHG</a>;</div>
|
|
244
244
|
<div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  </div>
|
|
245
|
-
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <span class="comment">//
|
|
246
|
-
<div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
247
|
-
<div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  </div>
|
|
248
|
-
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span> 
|
|
249
|
-
<div class="line"><a name="l00203"></a><span class="lineno"
|
|
250
|
-
<div class="line"><a name="l00204"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
251
|
-
<div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  </div>
|
|
252
|
-
<div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  <span class="
|
|
253
|
-
<div class="line"><a name="l00207"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
254
|
-
<div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  </div>
|
|
255
|
-
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span> 
|
|
256
|
-
<div class="line"><a name="l00210"></a><span class="lineno"
|
|
257
|
-
<div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  </div>
|
|
258
|
-
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span> 
|
|
259
|
-
<div class="line"><a name="l00213"></a><span class="lineno"
|
|
260
|
-
<div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
245
|
+
<div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <span class="comment">// LLVMModule.cpp</span></div>
|
|
246
|
+
<div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e"> 200</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">Graphtxt</a>;</div>
|
|
247
|
+
<div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d"> 201</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVFMain</a>;</div>
|
|
248
|
+
<div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  </div>
|
|
249
|
+
<div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  <span class="comment">// SymbolTableInfo.cpp</span></div>
|
|
250
|
+
<div class="line"><a name="l00204"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050"> 204</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">LocMemModel</a>;</div>
|
|
251
|
+
<div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5"> 205</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">ModelConsts</a>;</div>
|
|
252
|
+
<div class="line"><a name="l00206"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c"> 206</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">ModelArrays</a>;</div>
|
|
253
|
+
<div class="line"><a name="l00207"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee"> 207</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee">CyclicFldIdx</a>;</div>
|
|
254
|
+
<div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3"> 208</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SymTabPrint</a>;</div>
|
|
255
|
+
<div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  </div>
|
|
256
|
+
<div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <span class="comment">// Conditions.cpp</span></div>
|
|
257
|
+
<div class="line"><a name="l00211"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc"> 211</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">MaxZ3Size</a>;</div>
|
|
258
|
+
<div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  </div>
|
|
259
|
+
<div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  <span class="comment">// BoundedZ3Expr.cpp</span></div>
|
|
260
|
+
<div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f"> 214</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f">MaxBVLen</a>;</div>
|
|
261
261
|
<div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  </div>
|
|
262
|
-
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="comment">//
|
|
263
|
-
<div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
264
|
-
<div class="line"><a name="l00218"></a><span class="lineno"
|
|
265
|
-
<div class="line"><a name="l00219"></a><span class="lineno"
|
|
266
|
-
<div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
267
|
-
<div class="line"><a name="l00221"></a><span class="lineno"
|
|
268
|
-
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  </div>
|
|
269
|
-
<div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  <span class="
|
|
270
|
-
<div class="line"><a name="l00224"></a><span class="lineno"
|
|
271
|
-
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  </div>
|
|
272
|
-
<div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="
|
|
273
|
-
<div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
274
|
-
<div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  </div>
|
|
275
|
-
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="comment">//
|
|
276
|
-
<div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
277
|
-
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span> 
|
|
278
|
-
<div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  <span class="
|
|
279
|
-
<div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
280
|
-
<div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  </div>
|
|
281
|
-
<div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="
|
|
282
|
-
<div class="line"><a name="l00236"></a><span class="lineno"
|
|
283
|
-
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  </div>
|
|
284
|
-
<div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  <span class="
|
|
285
|
-
<div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
286
|
-
<div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
287
|
-
<div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
288
|
-
<div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  <span class="
|
|
289
|
-
<div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
290
|
-
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span> 
|
|
291
|
-
<div class="line"><a name="l00245"></a><span class="lineno"
|
|
292
|
-
<div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
293
|
-
<div class="line"><a name="l00247"></a><span class="lineno"
|
|
294
|
-
<div class="line"><a name="l00248"></a><span class="lineno"
|
|
295
|
-
<div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  </div>
|
|
296
|
-
<div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <span class="
|
|
297
|
-
<div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
298
|
-
<div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
299
|
-
<div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
300
|
-
<div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
301
|
-
<div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
302
|
-
<div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#
|
|
303
|
-
<div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  </div>
|
|
304
|
-
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span> 
|
|
305
|
-
<div class="line"><a name="l00259"></a><span class="lineno"
|
|
306
|
-
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  </div>
|
|
307
|
-
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <span class="
|
|
308
|
-
<div class="line"><a name="l00262"></a><span class="lineno"
|
|
309
|
-
<div class="line"><a name="l00263"></a><span class="lineno"
|
|
310
|
-
<div class="line"><a name="l00264"></a><span class="lineno"
|
|
311
|
-
<div class="line"><a name="l00265"></a><span class="lineno"
|
|
312
|
-
<div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26"> 266</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">PEGTransfer</a>;</div>
|
|
313
|
-
<div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516"> 267</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">CFLSVFG</a>;</div>
|
|
314
|
-
<div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c"> 268</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">POCRAlias</a>;</div>
|
|
315
|
-
<div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e"> 269</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">POCRHybrid</a>;</div>
|
|
316
|
-
<div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994"> 270</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">Customized</a>;</div>
|
|
317
|
-
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  </div>
|
|
318
|
-
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="comment">// Loop Analysis</span></div>
|
|
319
|
-
<div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c"> 273</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">LoopAnalysis</a>;</div>
|
|
320
|
-
<div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e"> 274</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">LoopBound</a>;</div>
|
|
321
|
-
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span> };</div>
|
|
322
|
-
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span> } <span class="comment">// namespace SVF</span></div>
|
|
323
|
-
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  </div>
|
|
324
|
-
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div>
|
|
262
|
+
<div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="comment">// SaberCondAllocator.cpp</span></div>
|
|
263
|
+
<div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9"> 217</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">PrintPathCond</a>;</div>
|
|
264
|
+
<div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  </div>
|
|
265
|
+
<div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="comment">// SaberSVFGBuilder.cpp</span></div>
|
|
266
|
+
<div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76"> 220</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76">CollectExtRetGlobals</a>;</div>
|
|
267
|
+
<div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  </div>
|
|
268
|
+
<div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <span class="comment">// SVFUtil.cpp</span></div>
|
|
269
|
+
<div class="line"><a name="l00223"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28"> 223</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">DisableWarn</a>;</div>
|
|
270
|
+
<div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  </div>
|
|
271
|
+
<div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  <span class="comment">// Andersen.cpp</span></div>
|
|
272
|
+
<div class="line"><a name="l00226"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95"> 226</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95">ConsCGDotGraph</a>;</div>
|
|
273
|
+
<div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c"> 227</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">BriefConsCGDotGraph</a>;</div>
|
|
274
|
+
<div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83"> 228</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">PrintCGGraph</a>;</div>
|
|
275
|
+
<div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="comment">// static const Option<string> WriteAnder;</span></div>
|
|
276
|
+
<div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9"> 230</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">WriteAnder</a>;</div>
|
|
277
|
+
<div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="comment">// static const Option<string> ReadAnder;</span></div>
|
|
278
|
+
<div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475"> 232</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">ReadAnder</a>;</div>
|
|
279
|
+
<div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce"> 233</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">DiffPts</a>;</div>
|
|
280
|
+
<div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202"> 234</a></span>  <span class="keyword">static</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">DetectPWC</a>;</div>
|
|
281
|
+
<div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140"> 235</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">VtableInSVFIR</a>;</div>
|
|
282
|
+
<div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  </div>
|
|
283
|
+
<div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  <span class="comment">// WPAPass.cpp</span></div>
|
|
284
|
+
<div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a"> 238</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">ExtAPIPath</a>;</div>
|
|
285
|
+
<div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f"> 239</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">AnderSVFG</a>;</div>
|
|
286
|
+
<div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b"> 240</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SABERFULLSVFG</a>;</div>
|
|
287
|
+
<div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671"> 241</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">PrintAliases</a>;</div>
|
|
288
|
+
<div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd"> 242</a></span>  <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<PointerAnalysis::PTATY></a> <a class="code" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">PASelected</a>;</div>
|
|
289
|
+
<div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a"> 243</a></span>  <span class="keyword">static</span> <a class="code" href="classOptionMultiple.html">OptionMultiple<WPAPass::AliasCheckRule></a> <a class="code" href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">AliasRule</a>;</div>
|
|
290
|
+
<div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  </div>
|
|
291
|
+
<div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  <span class="comment">// DOTGraphTraits</span></div>
|
|
292
|
+
<div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3"> 246</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">ShowHiddenNode</a>;</div>
|
|
293
|
+
<div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  </div>
|
|
294
|
+
<div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="comment">// CFL option</span></div>
|
|
295
|
+
<div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f"> 249</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">GrammarFilename</a>;</div>
|
|
296
|
+
<div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac"> 250</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<std::string></a> <a class="code" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">CFLGraph</a>;</div>
|
|
297
|
+
<div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f"> 251</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">PrintCFL</a>;</div>
|
|
298
|
+
<div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031"> 252</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">FlexSymMap</a>;</div>
|
|
299
|
+
<div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26"> 253</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">PEGTransfer</a>;</div>
|
|
300
|
+
<div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516"> 254</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">CFLSVFG</a>;</div>
|
|
301
|
+
<div class="line"><a name="l00255"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c"> 255</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">POCRAlias</a>;</div>
|
|
302
|
+
<div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e"> 256</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">POCRHybrid</a>;</div>
|
|
303
|
+
<div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994"> 257</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">Customized</a>;</div>
|
|
304
|
+
<div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  </div>
|
|
305
|
+
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <span class="comment">// Loop Analysis</span></div>
|
|
306
|
+
<div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c"> 260</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<bool></a> <a class="code" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">LoopAnalysis</a>;</div>
|
|
307
|
+
<div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e"> 261</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option<u32_t></a> <a class="code" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">LoopBound</a>;</div>
|
|
308
|
+
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span> };</div>
|
|
309
|
+
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span> } <span class="comment">// namespace SVF</span></div>
|
|
310
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  </div>
|
|
311
|
+
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div>
|
|
325
312
|
</div><!-- fragment --></div><!-- contents -->
|
|
326
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option< u32_t > MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
327
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option< bool > OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
328
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a8e22c3bca5ee0e4e7d90e857a5ea8031"><div class="ttname"><a href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const Option< bool > FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
329
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aabeb232a46547fd35ddc96244fdaf1b9"><div class="ttname"><a href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">SVF::Options::WriteAnder</a></div><div class="ttdeci">static const Option< std::string > WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
330
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a83103f0d5f166e0bb062aa7d7b393ddd"><div class="ttname"><a href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options::TypePrint</a></div><div class="ttdeci">static const Option< bool > TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
331
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a3f5235cbdaab1bf53b9144d335c9c3d4"><div class="ttname"><a href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4">SVF::Options::DumpJson</a></div><div class="ttdeci">static const Option< std::string > DumpJson</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
332
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_abe3087eb48a10bb600d1fd24308c019b"><div class="ttname"><a href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">SVF::Options::PrintCPts</a></div><div class="ttdeci">static const Option< bool > PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
333
|
-
<div class="ttc" id="
|
|
334
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a12e88ce4ba3d39017203ec4cd3ccccea"><div class="ttname"><a href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const Option< bool > FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00114">Options.h:114</a></div></div>
|
|
313
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option< u32_t > MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
|
|
314
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option< bool > OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00148">Options.h:148</a></div></div>
|
|
315
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a8e22c3bca5ee0e4e7d90e857a5ea8031"><div class="ttname"><a href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">SVF::Options::FlexSymMap</a></div><div class="ttdeci">static const Option< bool > FlexSymMap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</a></div></div>
|
|
316
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aabeb232a46547fd35ddc96244fdaf1b9"><div class="ttname"><a href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">SVF::Options::WriteAnder</a></div><div class="ttdeci">static const Option< std::string > WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00230">Options.h:230</a></div></div>
|
|
317
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a83103f0d5f166e0bb062aa7d7b393ddd"><div class="ttname"><a href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options::TypePrint</a></div><div class="ttdeci">static const Option< bool > TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00114">Options.h:114</a></div></div>
|
|
318
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a3f5235cbdaab1bf53b9144d335c9c3d4"><div class="ttname"><a href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4">SVF::Options::DumpJson</a></div><div class="ttdeci">static const Option< std::string > DumpJson</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00124">Options.h:124</a></div></div>
|
|
319
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_abe3087eb48a10bb600d1fd24308c019b"><div class="ttname"><a href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">SVF::Options::PrintCPts</a></div><div class="ttdeci">static const Option< bool > PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
|
|
320
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a12e88ce4ba3d39017203ec4cd3ccccea"><div class="ttname"><a href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const Option< bool > FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00103">Options.h:103</a></div></div>
|
|
335
321
|
<div class="ttc" id="aclassSVF_1_1Options_html_a08c25694f8f9e31eb8b116ad58c1c078"><div class="ttname"><a href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">SVF::Options::Options</a></div><div class="ttdeci">Options(void)=delete</div></div>
|
|
336
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a0c5d08f13bd41095afb3b60c7ffad0e0"><div class="ttname"><a href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">SVF::Options::InsenCycle</a></div><div class="ttdeci">static const Option< bool > InsenCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
337
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a944aee270c78d42c998691da283165f1"><div class="ttname"><a href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const Option< bool > PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
338
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aa8818e8138233838af224d4214de9e8f"><div class="ttname"><a href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">SVF::Options::MSSAFun</a></div><div class="ttdeci">static const Option< std::string > MSSAFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
339
|
-
<div class="ttc" id="
|
|
340
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a93970b0b5e0a6148a86ab192a812f34b"><div class="ttname"><a href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options::SABERFULLSVFG</a></div><div class="ttdeci">static const Option< bool > SABERFULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00253">Options.h:253</a></div></div>
|
|
322
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a0c5d08f13bd41095afb3b60c7ffad0e0"><div class="ttname"><a href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">SVF::Options::InsenCycle</a></div><div class="ttdeci">static const Option< bool > InsenCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00089">Options.h:89</a></div></div>
|
|
323
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a944aee270c78d42c998691da283165f1"><div class="ttname"><a href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const Option< bool > PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00174">Options.h:174</a></div></div>
|
|
324
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aa8818e8138233838af224d4214de9e8f"><div class="ttname"><a href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">SVF::Options::MSSAFun</a></div><div class="ttdeci">static const Option< std::string > MSSAFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00142">Options.h:142</a></div></div>
|
|
325
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a93970b0b5e0a6148a86ab192a812f34b"><div class="ttname"><a href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options::SABERFULLSVFG</a></div><div class="ttdeci">static const Option< bool > SABERFULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00240">Options.h:240</a></div></div>
|
|
341
326
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
342
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a9711cdc976786b3949ac6b26f95b59b0"><div class="ttname"><a href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">SVF::Options::MallocOnly</a></div><div class="ttdeci">static const Option< bool > MallocOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
|
|
343
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a296e4a2187d14828cb0baf859f48d716"><div class="ttname"><a href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">SVF::Options::DumpUninitPtr</a></div><div class="ttdeci">static const Option< bool > DumpUninitPtr</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00087">Options.h:87</a></div></div>
|
|
344
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a6d45d7ba6852a986b53b31f60f967b01"><div class="ttname"><a href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">SVF::Options::DumpSUPts</a></div><div class="ttdeci">static const Option< bool > DumpSUPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00088">Options.h:88</a></div></div>
|
|
345
327
|
<div class="ttc" id="aclassSVF_1_1Options_html_a0123986b466dae50b2f12c71295c54f9"><div class="ttname"><a href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options::PlainMappingFs</a></div><div class="ttdeci">static const Option< bool > PlainMappingFs</div><div class="ttdoc">Use an explicitly plain mapping with flow-sensitive (not null).</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00047">Options.h:47</a></div></div>
|
|
346
328
|
<div class="ttc" id="aclassSVF_1_1Options_html_a595a98babd7d51af6dacd935bd27d1f0"><div class="ttname"><a href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">SVF::Options::PtType</a></div><div class="ttdeci">static const OptionMap< PointsTo::Type > PtType</div><div class="ttdoc">Type of points-to set to use for all analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00050">Options.h:50</a></div></div>
|
|
347
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a15a9c1086e1bbd6a76d56ad1bdd6b994"><div class="ttname"><a href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">SVF::Options::Customized</a></div><div class="ttdeci">static const Option< bool > Customized</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
329
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a15a9c1086e1bbd6a76d56ad1bdd6b994"><div class="ttname"><a href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">SVF::Options::Customized</a></div><div class="ttdeci">static const Option< bool > Customized</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00257">Options.h:257</a></div></div>
|
|
348
330
|
<div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
|
|
349
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a2960fcb679f8dfee7d8822fcf9609f4a"><div class="ttname"><a href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options::AliasRule</a></div><div class="ttdeci">static OptionMultiple< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
350
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_abfd13c7d998333290b39354178739f2c"><div class="ttname"><a href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const Option< bool > LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
351
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aab0131558d9da9b0fe888387217ba919"><div class="ttname"><a href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">SVF::Options::MaxStepInWrapper</a></div><div class="ttdeci">static const Option< u32_t > MaxStepInWrapper</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
352
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aa127a32b03e381343c624e53adc4ef2e"><div class="ttname"><a href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">SVF::Options::MemPar</a></div><div class="ttdeci">static const OptionMap< MemSSA::MemPartition > MemPar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
353
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option< bool > DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
331
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a2960fcb679f8dfee7d8822fcf9609f4a"><div class="ttname"><a href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options::AliasRule</a></div><div class="ttdeci">static OptionMultiple< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00243">Options.h:243</a></div></div>
|
|
332
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_abfd13c7d998333290b39354178739f2c"><div class="ttname"><a href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const Option< bool > LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00260">Options.h:260</a></div></div>
|
|
333
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aab0131558d9da9b0fe888387217ba919"><div class="ttname"><a href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">SVF::Options::MaxStepInWrapper</a></div><div class="ttdeci">static const Option< u32_t > MaxStepInWrapper</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00086">Options.h:86</a></div></div>
|
|
334
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aa127a32b03e381343c624e53adc4ef2e"><div class="ttname"><a href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">SVF::Options::MemPar</a></div><div class="ttdeci">static const OptionMap< MemSSA::MemPartition > MemPar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00144">Options.h:144</a></div></div>
|
|
335
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option< bool > DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00111">Options.h:111</a></div></div>
|
|
354
336
|
<div class="ttc" id="aclassSVF_1_1Options_html_a853caba808dc7d17cba4ad4214b56b6f"><div class="ttname"><a href="classSVF_1_1Options.html#a853caba808dc7d17cba4ad4214b56b6f">SVF::Options::ClusterFs</a></div><div class="ttdeci">static const Option< bool > ClusterFs</div><div class="ttdoc">Whether to cluster FS or VFS with the auxiliary Andersen's.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00044">Options.h:44</a></div></div>
|
|
355
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a81dbd12b5141c4a2758d6f2d3321f1ac"><div class="ttname"><a href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const Option< std::string > CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
356
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a742a42d855c5b96fb7c70a2d0ab64021"><div class="ttname"><a href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">SVF::Options::UsePreCompFieldSensitive</a></div><div class="ttdeci">static const Option< bool > UsePreCompFieldSensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
337
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a81dbd12b5141c4a2758d6f2d3321f1ac"><div class="ttname"><a href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const Option< std::string > CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00250">Options.h:250</a></div></div>
|
|
338
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a742a42d855c5b96fb7c70a2d0ab64021"><div class="ttname"><a href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">SVF::Options::UsePreCompFieldSensitive</a></div><div class="ttdeci">static const Option< bool > UsePreCompFieldSensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00129">Options.h:129</a></div></div>
|
|
357
339
|
<div class="ttc" id="aPTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</a></div></div>
|
|
358
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option< bool > ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
359
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a34e1093189fc8c150a9f2961557aa844"><div class="ttname"><a href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const Option< bool > PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
340
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option< bool > ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
|
|
341
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a34e1093189fc8c150a9f2961557aa844"><div class="ttname"><a href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const Option< bool > PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00160">Options.h:160</a></div></div>
|
|
360
342
|
<div class="ttc" id="aclassSVF_1_1Options_html"><div class="ttname"><a href="classSVF_1_1Options.html">SVF::Options</a></div><div class="ttdoc">Carries around command line options.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00019">Options.h:19</a></div></div>
|
|
361
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option< bool > DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
343
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option< bool > DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00123">Options.h:123</a></div></div>
|
|
362
344
|
<div class="ttc" id="aclassSVF_1_1Options_html_a6ebad0decdd6e93c661b72d80f5dbcef"><div class="ttname"><a href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options::FsTimeLimit</a></div><div class="ttdeci">static const Option< u32_t > FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00072">Options.h:72</a></div></div>
|
|
363
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a782d52d7e8d423c2bef27b34d518ffd9"><div class="ttname"><a href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options::WPANum</a></div><div class="ttdeci">static const Option< bool > WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
364
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a52c06ea1c5dd347079f192f0cba3dcd3"><div class="ttname"><a href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const Option< bool > SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
345
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a782d52d7e8d423c2bef27b34d518ffd9"><div class="ttname"><a href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options::WPANum</a></div><div class="ttdeci">static const Option< bool > WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00092">Options.h:92</a></div></div>
|
|
346
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a52c06ea1c5dd347079f192f0cba3dcd3"><div class="ttname"><a href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options::SymTabPrint</a></div><div class="ttdeci">static const Option< bool > SymTabPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00208">Options.h:208</a></div></div>
|
|
365
347
|
<div class="ttc" id="aCommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
|
|
366
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a1c6e39ebc266c754de4d78a31cc021ba"><div class="ttname"><a href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options::PrintInterLev</a></div><div class="ttdeci">static const Option< bool > PrintInterLev</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
367
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a034a83cdac580c1f8b10805e29ca50e4"><div class="ttname"><a href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">SVF::Options::ReadSVFG</a></div><div class="ttdeci">static const Option< std::string > ReadSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
368
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a3b6146824333f0da957d37b199978916"><div class="ttname"><a href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">SVF::Options::ReadPrecisionTDEdge</a></div><div class="ttdeci">static const Option< bool > ReadPrecisionTDEdge</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
369
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a6c0afceb5db81504930dc6f673bc41ec"><div class="ttname"><a href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">SVF::Options::LockValid</a></div><div class="ttdeci">static const Option< bool > LockValid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
348
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a1c6e39ebc266c754de4d78a31cc021ba"><div class="ttname"><a href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options::PrintInterLev</a></div><div class="ttdeci">static const Option< bool > PrintInterLev</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00163">Options.h:163</a></div></div>
|
|
349
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a034a83cdac580c1f8b10805e29ca50e4"><div class="ttname"><a href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">SVF::Options::ReadSVFG</a></div><div class="ttdeci">static const Option< std::string > ReadSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00151">Options.h:151</a></div></div>
|
|
350
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a3b6146824333f0da957d37b199978916"><div class="ttname"><a href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">SVF::Options::ReadPrecisionTDEdge</a></div><div class="ttdeci">static const Option< bool > ReadPrecisionTDEdge</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00156">Options.h:156</a></div></div>
|
|
351
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a6c0afceb5db81504930dc6f673bc41ec"><div class="ttname"><a href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">SVF::Options::LockValid</a></div><div class="ttdeci">static const Option< bool > LockValid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00176">Options.h:176</a></div></div>
|
|
370
352
|
<div class="ttc" id="aclassOptionMultiple_html"><div class="ttname"><a href="classOptionMultiple.html">OptionMultiple< PointerAnalysis::PTATY ></a></div></div>
|
|
371
353
|
<div class="ttc" id="afastcluster_8h_html"><div class="ttname"><a href="fastcluster_8h.html">fastcluster.h</a></div></div>
|
|
372
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ad2f3ffd1b8d579ebe4c19a015cd599e2"><div class="ttname"><a href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">SVF::Options::StatBudget</a></div><div class="ttdeci">static const Option< u32_t > StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
373
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ad6c9b07d4dc8af20fbe2b93711cc2101"><div class="ttname"><a href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">SVF::Options::OCGDotGraph</a></div><div class="ttdeci">static const Option< bool > OCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
374
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aa5bae1db07c401517c1c0f8fd9f2deef"><div class="ttname"><a href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">SVF::Options::IndirectCallLimit</a></div><div class="ttdeci">static const Option< u32_t > IndirectCallLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
375
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option< u32_t > LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
376
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aaa7ca76c841dd19d67796d09c94a9746"><div class="ttname"><a href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">SVF::Options::UsePCG</a></div><div class="ttdeci">static const Option< bool > UsePCG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
377
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a1daf36a755523519187c3a8e9a19b58d"><div class="ttname"><a href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">SVF::Options::EnableThreadCallGraph</a></div><div class="ttdeci">static const Option< bool > EnableThreadCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
378
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a51b28b2e973911fb8e2c23c6127e9a63"><div class="ttname"><a href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static Option< bool > HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
379
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_afa6c98d477db41a457ac83cfbfd4a580"><div class="ttname"><a href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">SVF::Options::DDASelected</a></div><div class="ttdeci">static OptionMultiple< PointerAnalysis::PTATY > DDASelected</div><div class="ttdoc">register this into alias analysis group</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
380
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a737f3501a93f954790fe93d36c43fb00"><div class="ttname"><a href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options::PTSAllPrint</a></div><div class="ttdeci">static const Option< bool > PTSAllPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
381
|
-
<div class="ttc" id="
|
|
382
|
-
<div class="ttc" id="
|
|
383
|
-
<div class="ttc" id="
|
|
384
|
-
<div class="ttc" id="
|
|
385
|
-
<div class="ttc" id="
|
|
386
|
-
<div class="ttc" id="
|
|
387
|
-
<div class="ttc" id="
|
|
388
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a3a718b0a27c2d13878c0718af97ad73d"><div class="ttname"><a href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVF::Options::SVFMain</a></div><div class="ttdeci">static const Option< bool > SVFMain</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00214">Options.h:214</a></div></div>
|
|
354
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ad2f3ffd1b8d579ebe4c19a015cd599e2"><div class="ttname"><a href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">SVF::Options::StatBudget</a></div><div class="ttdeci">static const Option< u32_t > StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00120">Options.h:120</a></div></div>
|
|
355
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ad6c9b07d4dc8af20fbe2b93711cc2101"><div class="ttname"><a href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">SVF::Options::OCGDotGraph</a></div><div class="ttdeci">static const Option< bool > OCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
|
|
356
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aa5bae1db07c401517c1c0f8fd9f2deef"><div class="ttname"><a href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">SVF::Options::IndirectCallLimit</a></div><div class="ttdeci">static const Option< u32_t > IndirectCallLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00128">Options.h:128</a></div></div>
|
|
357
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option< u32_t > LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00261">Options.h:261</a></div></div>
|
|
358
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aaa7ca76c841dd19d67796d09c94a9746"><div class="ttname"><a href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">SVF::Options::UsePCG</a></div><div class="ttdeci">static const Option< bool > UsePCG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00154">Options.h:154</a></div></div>
|
|
359
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a1daf36a755523519187c3a8e9a19b58d"><div class="ttname"><a href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">SVF::Options::EnableThreadCallGraph</a></div><div class="ttdeci">static const Option< bool > EnableThreadCallGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
|
|
360
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a51b28b2e973911fb8e2c23c6127e9a63"><div class="ttname"><a href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static Option< bool > HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00102">Options.h:102</a></div></div>
|
|
361
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_afa6c98d477db41a457ac83cfbfd4a580"><div class="ttname"><a href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">SVF::Options::DDASelected</a></div><div class="ttdeci">static OptionMultiple< PointerAnalysis::PTATY > DDASelected</div><div class="ttdoc">register this into alias analysis group</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00093">Options.h:93</a></div></div>
|
|
362
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a737f3501a93f954790fe93d36c43fb00"><div class="ttname"><a href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options::PTSAllPrint</a></div><div class="ttdeci">static const Option< bool > PTSAllPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00117">Options.h:117</a></div></div>
|
|
363
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a0a998c2e1d701b2052985691babc4567"><div class="ttname"><a href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">SVF::Options::CallGraphDotGraph</a></div><div class="ttdeci">static const Option< bool > CallGraphDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00126">Options.h:126</a></div></div>
|
|
364
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aac637c9746749320a4ebd6af36212c56"><div class="ttname"><a href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options::AddModelFlag</a></div><div class="ttdeci">static const Option< u32_t > AddModelFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00157">Options.h:157</a></div></div>
|
|
365
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a61986f02577051d98962c6680ac7c4f9"><div class="ttname"><a href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">SVF::Options::PrintPathCond</a></div><div class="ttdeci">static const Option< bool > PrintPathCond</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00217">Options.h:217</a></div></div>
|
|
366
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ab9443e23bdcb60f118a7aab835f974db"><div class="ttname"><a href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">SVF::Options::DumpSlice</a></div><div class="ttdeci">static const Option< bool > DumpSlice</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00190">Options.h:190</a></div></div>
|
|
367
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a86f982d9716181bca93a350b5a11a1dc"><div class="ttname"><a href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">SVF::Options::MaxZ3Size</a></div><div class="ttdeci">static const Option< u32_t > MaxZ3Size</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00211">Options.h:211</a></div></div>
|
|
368
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a06eea18ba4cdf509255126a9b58e8eb0"><div class="ttname"><a href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVF::Options::SVFGWithIndirectCall</a></div><div class="ttdeci">static const Option< bool > SVFGWithIndirectCall</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00147">Options.h:147</a></div></div>
|
|
369
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a3a718b0a27c2d13878c0718af97ad73d"><div class="ttname"><a href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVF::Options::SVFMain</a></div><div class="ttdeci">static const Option< bool > SVFMain</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00201">Options.h:201</a></div></div>
|
|
389
370
|
<div class="ttc" id="aWPAPass_8h_html"><div class="ttname"><a href="WPAPass_8h.html">WPAPass.h</a></div></div>
|
|
390
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a8c02af98e908c48cef1de0085ed10ce4"><div class="ttname"><a href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">SVF::Options::FlowBudget</a></div><div class="ttdeci">static const Option< u32_t > FlowBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
391
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_adceab9fa76c438b8e5e83dd6042523ce"><div class="ttname"><a href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">SVF::Options::TCTDotGraph</a></div><div class="ttdeci">static const Option< bool > TCTDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
392
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a3914c0785473a773c7cb3da01229f2ee"><div class="ttname"><a href="classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee">SVF::Options::CyclicFldIdx</a></div><div class="ttdeci">static const Option< bool > CyclicFldIdx</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
393
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a1743b8a1ab2d71c35206c7befa725d90"><div class="ttname"><a href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">SVF::Options::INCDFPTData</a></div><div class="ttdeci">static const Option< bool > INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
394
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a1721ff576ad641d862f29b038f31db28"><div class="ttname"><a href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">SVF::Options::DisableWarn</a></div><div class="ttdeci">static const Option< bool > DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
395
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_abb91435e1e06b07548c539e7f7761563"><div class="ttname"><a href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options::FuncPointerPrint</a></div><div class="ttdeci">static const Option< bool > FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
371
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a8c02af98e908c48cef1de0085ed10ce4"><div class="ttname"><a href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">SVF::Options::FlowBudget</a></div><div class="ttdeci">static const Option< u32_t > FlowBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00096">Options.h:96</a></div></div>
|
|
372
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_adceab9fa76c438b8e5e83dd6042523ce"><div class="ttname"><a href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">SVF::Options::TCTDotGraph</a></div><div class="ttdeci">static const Option< bool > TCTDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00184">Options.h:184</a></div></div>
|
|
373
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a3914c0785473a773c7cb3da01229f2ee"><div class="ttname"><a href="classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee">SVF::Options::CyclicFldIdx</a></div><div class="ttdeci">static const Option< bool > CyclicFldIdx</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00207">Options.h:207</a></div></div>
|
|
374
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a1743b8a1ab2d71c35206c7befa725d90"><div class="ttname"><a href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">SVF::Options::INCDFPTData</a></div><div class="ttdeci">static const Option< bool > INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
|
|
375
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a1721ff576ad641d862f29b038f31db28"><div class="ttname"><a href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">SVF::Options::DisableWarn</a></div><div class="ttdeci">static const Option< bool > DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00223">Options.h:223</a></div></div>
|
|
376
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_abb91435e1e06b07548c539e7f7761563"><div class="ttname"><a href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options::FuncPointerPrint</a></div><div class="ttdeci">static const Option< bool > FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00115">Options.h:115</a></div></div>
|
|
396
377
|
<div class="ttc" id="aclassSVF_1_1Options_html_aed7bdea17fad08ceb0453b23f2f908bb"><div class="ttname"><a href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options::PredictPtOcc</a></div><div class="ttdeci">static const Option< bool > PredictPtOcc</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00066">Options.h:66</a></div></div>
|
|
397
|
-
<div class="ttc" id="
|
|
398
|
-
<div class="ttc" id="
|
|
399
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aeab702f641fd13ee1d0f89837097e43b"><div class="ttname"><a href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">SVF::Options::InsenRecur</a></div><div class="ttdeci">static const Option< bool > InsenRecur</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
|
|
400
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae5af5a2b3854b4d234197ab1a389aac2"><div class="ttname"><a href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options::SingleStride</a></div><div class="ttdeci">static const Option< bool > SingleStride</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00125">Options.h:125</a></div></div>
|
|
378
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a2dffc9d885fa53340a1cdbc028d7f24a"><div class="ttname"><a href="classSVF_1_1Options.html#a2dffc9d885fa53340a1cdbc028d7f24a">SVF::Options::ExtAPIPath</a></div><div class="ttdeci">static const Option< std::string > ExtAPIPath</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00238">Options.h:238</a></div></div>
|
|
379
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aeab702f641fd13ee1d0f89837097e43b"><div class="ttname"><a href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">SVF::Options::InsenRecur</a></div><div class="ttdeci">static const Option< bool > InsenRecur</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00088">Options.h:88</a></div></div>
|
|
401
380
|
<div class="ttc" id="aclassSVF_1_1Options_html_a5a70a23e30df8dea3fcaf0e80479fe88"><div class="ttname"><a href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">SVF::Options::RegionAlign</a></div><div class="ttdeci">static const Option< bool > RegionAlign</div><div class="ttdoc">Align identifiers in each region to a word.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00062">Options.h:62</a></div></div>
|
|
402
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a9e5f361015b558d3d4e7e033868f9c83"><div class="ttname"><a href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options::PrintCGGraph</a></div><div class="ttdeci">static const Option< bool > PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
403
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae60822a71ee1cd389413d98dfb35e302"><div class="ttname"><a href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">SVF::Options::ContextInsensitive</a></div><div class="ttdeci">static const Option< bool > ContextInsensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
404
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a3fc22d0a45be551110d1e326380f3202"><div class="ttname"><a href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options::DetectPWC</a></div><div class="ttdeci">static Option< bool > DetectPWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
405
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a9ff12bf51a475c90c35e3351c5501f0f"><div class="ttname"><a href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const Option< bool > PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
406
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aceaa5cc22c7f362e4c4d66531ec27bf1"><div class="ttname"><a href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const Option< bool > ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
407
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a429c3000ee2ac45119b8c241aa06762c"><div class="ttname"><a href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const Option< bool > ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
408
|
-
<div class="ttc" id="
|
|
409
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a0bb4bfd677e2e45cc8c24bfc190edfaa"><div class="ttname"><a href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const Option< bool > DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00154">Options.h:154</a></div></div>
|
|
381
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a9e5f361015b558d3d4e7e033868f9c83"><div class="ttname"><a href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options::PrintCGGraph</a></div><div class="ttdeci">static const Option< bool > PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00228">Options.h:228</a></div></div>
|
|
382
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae60822a71ee1cd389413d98dfb35e302"><div class="ttname"><a href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">SVF::Options::ContextInsensitive</a></div><div class="ttdeci">static const Option< bool > ContextInsensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00106">Options.h:106</a></div></div>
|
|
383
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a3fc22d0a45be551110d1e326380f3202"><div class="ttname"><a href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options::DetectPWC</a></div><div class="ttdeci">static Option< bool > DetectPWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00234">Options.h:234</a></div></div>
|
|
384
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a9ff12bf51a475c90c35e3351c5501f0f"><div class="ttname"><a href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const Option< bool > PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
385
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aceaa5cc22c7f362e4c4d66531ec27bf1"><div class="ttname"><a href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">SVF::Options::ValidateTests</a></div><div class="ttdeci">static const Option< bool > ValidateTests</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00187">Options.h:187</a></div></div>
|
|
386
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a429c3000ee2ac45119b8c241aa06762c"><div class="ttname"><a href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const Option< bool > ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00206">Options.h:206</a></div></div>
|
|
387
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a0bb4bfd677e2e45cc8c24bfc190edfaa"><div class="ttname"><a href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const Option< bool > DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00141">Options.h:141</a></div></div>
|
|
410
388
|
<div class="ttc" id="aclassSVF_1_1Options_html_a38107576f4f242191cdbfb1ca51f93cd"><div class="ttname"><a href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">SVF::Options::NodeAllocStrat</a></div><div class="ttdeci">static const OptionMap< SVF::NodeIDAllocator::Strategy > NodeAllocStrat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00035">Options.h:35</a></div></div>
|
|
411
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a63121666a96f6cd2ae56d868c9576a53"><div class="ttname"><a href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">SVF::Options::MaxPathLen</a></div><div class="ttdeci">static const Option< u32_t > MaxPathLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
412
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a26711c33c9247a296f6dfaaf36d38e47"><div class="ttname"><a href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">SVF::Options::WriteSVFG</a></div><div class="ttdeci">static const Option< std::string > WriteSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
413
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_abf71061d93d4a3b32246f19dc71e5127"><div class="ttname"><a href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">SVF::Options::ConnectVCallOnCHA</a></div><div class="ttdeci">static const Option< bool > ConnectVCallOnCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
389
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a63121666a96f6cd2ae56d868c9576a53"><div class="ttname"><a href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">SVF::Options::MaxPathLen</a></div><div class="ttdeci">static const Option< u32_t > MaxPathLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00084">Options.h:84</a></div></div>
|
|
390
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a26711c33c9247a296f6dfaaf36d38e47"><div class="ttname"><a href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">SVF::Options::WriteSVFG</a></div><div class="ttdeci">static const Option< std::string > WriteSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00150">Options.h:150</a></div></div>
|
|
391
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_abf71061d93d4a3b32246f19dc71e5127"><div class="ttname"><a href="classSVF_1_1Options.html#abf71061d93d4a3b32246f19dc71e5127">SVF::Options::ConnectVCallOnCHA</a></div><div class="ttdeci">static const Option< bool > ConnectVCallOnCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00132">Options.h:132</a></div></div>
|
|
414
392
|
<div class="ttc" id="aclassOption_html"><div class="ttname"><a href="classOption.html">Option< bool ></a></div></div>
|
|
415
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a53f783c80f368bcdca6c7620229d6f8e"><div class="ttname"><a href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">SVF::Options::Graphtxt</a></div><div class="ttdeci">static const Option< std::string > Graphtxt</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
416
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a279f634c0ba3b01beed6a55b01d6eae7"><div class="ttname"><a href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">SVF::Options::AnnoFlag</a></div><div class="ttdeci">static const Option< u32_t > AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
393
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a53f783c80f368bcdca6c7620229d6f8e"><div class="ttname"><a href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">SVF::Options::Graphtxt</a></div><div class="ttdeci">static const Option< std::string > Graphtxt</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00200">Options.h:200</a></div></div>
|
|
394
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a279f634c0ba3b01beed6a55b01d6eae7"><div class="ttname"><a href="classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7">SVF::Options::AnnoFlag</a></div><div class="ttdeci">static const Option< u32_t > AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00171">Options.h:171</a></div></div>
|
|
417
395
|
<div class="ttc" id="aclassSVF_1_1Options_html_a8cc5b2a363724b558f4932277a87c0f6"><div class="ttname"><a href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">SVF::Options::RegionedClustering</a></div><div class="ttdeci">static const Option< bool > RegionedClustering</div><div class="ttdoc">Cluster partitions separately.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00059">Options.h:59</a></div></div>
|
|
418
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ac9d18f2d6853f45548f4f85fa2f661c4"><div class="ttname"><a href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">SVF::Options::PStat</a></div><div class="ttdeci">static const Option< bool > PStat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
419
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae88c0813d02dcb5632cd721a61a15014"><div class="ttname"><a href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const Option< bool > PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
420
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aab85f2c2ceb235b1291301f33154d182"><div class="ttname"><a href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const Option< bool > PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
421
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a1dd9ad3f11454be49b4c5099503db8e8"><div class="ttname"><a href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options::PAGDotGraph</a></div><div class="ttdeci">static const Option< bool > PAGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
422
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a9be31261a2f96c5733bd35a5da07eb76"><div class="ttname"><a href="classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76">SVF::Options::CollectExtRetGlobals</a></div><div class="ttdeci">static const Option< bool > CollectExtRetGlobals</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
423
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_adee65a3773fbb98532538c938230e1d3"><div class="ttname"><a href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const Option< bool > ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
424
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a4854dd8b167e468e698606254b31bf26"><div class="ttname"><a href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options::PEGTransfer</a></div><div class="ttdeci">static const Option< bool > PEGTransfer</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
425
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae1776c9fb7d163153443b1ff2a7350a8"><div class="ttname"><a href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options::ReadJson</a></div><div class="ttdeci">static const Option< bool > ReadJson</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
426
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aea9e5e0cc5de48f3b959fa25d6ef5e1f"><div class="ttname"><a href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const Option< bool > AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
396
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ac9d18f2d6853f45548f4f85fa2f661c4"><div class="ttname"><a href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">SVF::Options::PStat</a></div><div class="ttdeci">static const Option< bool > PStat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00119">Options.h:119</a></div></div>
|
|
397
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae88c0813d02dcb5632cd721a61a15014"><div class="ttname"><a href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const Option< bool > PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00091">Options.h:91</a></div></div>
|
|
398
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aab85f2c2ceb235b1291301f33154d182"><div class="ttname"><a href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const Option< bool > PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00197">Options.h:197</a></div></div>
|
|
399
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a1dd9ad3f11454be49b4c5099503db8e8"><div class="ttname"><a href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options::PAGDotGraph</a></div><div class="ttdeci">static const Option< bool > PAGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00121">Options.h:121</a></div></div>
|
|
400
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a9be31261a2f96c5733bd35a5da07eb76"><div class="ttname"><a href="classSVF_1_1Options.html#a9be31261a2f96c5733bd35a5da07eb76">SVF::Options::CollectExtRetGlobals</a></div><div class="ttdeci">static const Option< bool > CollectExtRetGlobals</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00220">Options.h:220</a></div></div>
|
|
401
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_adee65a3773fbb98532538c938230e1d3"><div class="ttname"><a href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const Option< bool > ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00246">Options.h:246</a></div></div>
|
|
402
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a4854dd8b167e468e698606254b31bf26"><div class="ttname"><a href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options::PEGTransfer</a></div><div class="ttdeci">static const Option< bool > PEGTransfer</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00253">Options.h:253</a></div></div>
|
|
403
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae1776c9fb7d163153443b1ff2a7350a8"><div class="ttname"><a href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options::ReadJson</a></div><div class="ttdeci">static const Option< bool > ReadJson</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00125">Options.h:125</a></div></div>
|
|
404
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aea9e5e0cc5de48f3b959fa25d6ef5e1f"><div class="ttname"><a href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const Option< bool > AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00239">Options.h:239</a></div></div>
|
|
427
405
|
<div class="ttc" id="aclassSVF_1_1Options_html_a3bbd106de519cb8d00f33e82f14d279b"><div class="ttname"><a href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options::CxtBudget</a></div><div class="ttdeci">static const Option< u32_t > CxtBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00081">Options.h:81</a></div></div>
|
|
428
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a25a3db9daa81a127a8dad86888adea6c"><div class="ttname"><a href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const Option< bool > BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
406
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a25a3db9daa81a127a8dad86888adea6c"><div class="ttname"><a href="classSVF_1_1Options.html#a25a3db9daa81a127a8dad86888adea6c">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const Option< bool > BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00227">Options.h:227</a></div></div>
|
|
429
407
|
<div class="ttc" id="aclassOptionMap_html"><div class="ttname"><a href="classOptionMap.html">OptionMap< enum PTAStat::ClockType ></a></div></div>
|
|
430
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ad80f77349205dac9e74aa41ea1ecbf95"><div class="ttname"><a href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95">SVF::Options::ConsCGDotGraph</a></div><div class="ttdeci">static const Option< bool > ConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
431
|
-
<div class="ttc" id="
|
|
432
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a4f022e2f997d25ec50842b4248147336"><div class="ttname"><a href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options::FSAnno</a></div><div class="ttdeci">static const Option< bool > FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00181">Options.h:181</a></div></div>
|
|
408
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ad80f77349205dac9e74aa41ea1ecbf95"><div class="ttname"><a href="classSVF_1_1Options.html#ad80f77349205dac9e74aa41ea1ecbf95">SVF::Options::ConsCGDotGraph</a></div><div class="ttdeci">static const Option< bool > ConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00226">Options.h:226</a></div></div>
|
|
409
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a4f022e2f997d25ec50842b4248147336"><div class="ttname"><a href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options::FSAnno</a></div><div class="ttdeci">static const Option< bool > FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00168">Options.h:168</a></div></div>
|
|
433
410
|
<div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap< enum PTAStat::ClockType > ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
|
|
434
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option< bool > AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
411
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option< bool > AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00178">Options.h:178</a></div></div>
|
|
435
412
|
<div class="ttc" id="aNodeIDAllocator_8h_html"><div class="ttname"><a href="NodeIDAllocator_8h.html">NodeIDAllocator.h</a></div></div>
|
|
436
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option< bool > CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
413
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option< bool > CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00254">Options.h:254</a></div></div>
|
|
437
414
|
<div class="ttc" id="aMemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
|
|
438
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option< bool > POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
415
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option< bool > POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
|
|
439
416
|
<div class="ttc" id="aclassSVF_1_1Options_html_afd31760e868bfa4d15e434e21fe4d665"><div class="ttname"><a href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">SVF::Options::VersioningThreads</a></div><div class="ttdeci">static const Option< u32_t > VersioningThreads</div><div class="ttdoc">Number of threads for the versioning phase.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00078">Options.h:78</a></div></div>
|
|
440
417
|
<div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option< u32_t > MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
|
|
441
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option< bool > ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
442
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ac5b56390226cbed64c8fbd8ab8dee671"><div class="ttname"><a href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options::PrintAliases</a></div><div class="ttdeci">static const Option< bool > PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
418
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option< bool > ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00205">Options.h:205</a></div></div>
|
|
419
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ac5b56390226cbed64c8fbd8ab8dee671"><div class="ttname"><a href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options::PrintAliases</a></div><div class="ttdeci">static const Option< bool > PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00241">Options.h:241</a></div></div>
|
|
443
420
|
<div class="ttc" id="aclassSVF_1_1Options_html_ae3c3cc703ef35987a32aa808038a1307"><div class="ttname"><a href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">SVF::Options::ptDataBacking</a></div><div class="ttdeci">static const OptionMap< BVDataPTAImpl::PTBackingType > ptDataBacking</div><div class="ttdoc">PTData type.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00069">Options.h:69</a></div></div>
|
|
444
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a00f3c4c53e6ade73f7667231c394c5d7"><div class="ttname"><a href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">SVF::Options::IgnoreDeadFun</a></div><div class="ttdeci">static const Option< bool > IgnoreDeadFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
421
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a00f3c4c53e6ade73f7667231c394c5d7"><div class="ttname"><a href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">SVF::Options::IgnoreDeadFun</a></div><div class="ttdeci">static const Option< bool > IgnoreDeadFun</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00138">Options.h:138</a></div></div>
|
|
445
422
|
<div class="ttc" id="aclassSVF_1_1Options_html_a36db0fdd38ff9093d2e6bb30581b25e1"><div class="ttname"><a href="classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1">SVF::Options::AnderTimeLimit</a></div><div class="ttdeci">static const Option< u32_t > AnderTimeLimit</div><div class="ttdoc">Time limit for the Andersen's analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00075">Options.h:75</a></div></div>
|
|
446
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a9ef14f68939b7678ddff83d544e024cc"><div class="ttname"><a href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SVF::Options::SelfCycle</a></div><div class="ttdeci">static const Option< std::string > SelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
423
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a9ef14f68939b7678ddff83d544e024cc"><div class="ttname"><a href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SVF::Options::SelfCycle</a></div><div class="ttdeci">static const Option< std::string > SelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00108">Options.h:108</a></div></div>
|
|
447
424
|
<div class="ttc" id="aclassSVF_1_1Options_html_a46743284466ff803f52a82b094186d16"><div class="ttname"><a href="classSVF_1_1Options.html#a46743284466ff803f52a82b094186d16">SVF::Options::ClusterAnder</a></div><div class="ttdeci">static const Option< bool > ClusterAnder</div><div class="ttdoc">Whether to stage Andersen's with Steensgaard and cluster based on that data.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00041">Options.h:41</a></div></div>
|
|
448
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a3fd9cce83729bc62cd2fb568b0d53db5"><div class="ttname"><a href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">SVF::Options::CxtLimit</a></div><div class="ttdeci">static const Option< u32_t > CxtLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
449
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae2c4fe298a27f50c749b75f0801f9666"><div class="ttname"><a href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">SVF::Options::DoLockAnalysis</a></div><div class="ttdeci">static const Option< bool > DoLockAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
450
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae782f25eaee9ac363c733b6ac609fbce"><div class="ttname"><a href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">SVF::Options::DiffPts</a></div><div class="ttdeci">static const Option< bool > DiffPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
451
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a09005e749b1030347ac5dcc015053a37"><div class="ttname"><a href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">SVF::Options::KeepAOFI</a></div><div class="ttdeci">static const Option< bool > KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
452
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_af6d92cd4372cd952e6d955cfc9be0ccb"><div class="ttname"><a href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">SVF::Options::IntraLock</a></div><div class="ttdeci">static const Option< bool > IntraLock</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
453
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ad09017ae2e1010fbba5c086a4772750f"><div class="ttname"><a href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">SVF::Options::GrammarFilename</a></div><div class="ttdeci">static const Option< std::string > GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
454
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_afcef86c88bb86198a3579aef82b5e270"><div class="ttname"><a href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const Option< bool > DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
455
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a88bb706e03a3dd04546b4ce62af7b140"><div class="ttname"><a href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">SVF::Options::VtableInSVFIR</a></div><div class="ttdeci">static const Option< bool > VtableInSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
456
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_ae639e80aa18a56bd1c6bcf41ce281930"><div class="ttname"><a href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">SVF::Options::AndersenAnno</a></div><div class="ttdeci">static const Option< bool > AndersenAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
457
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a198e0d500ae635c709c406bbec604050"><div class="ttname"><a href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">SVF::Options::LocMemModel</a></div><div class="ttdeci">static const Option< bool > LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
458
|
-
<div class="ttc" id="
|
|
459
|
-
<div class="ttc" id="
|
|
425
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a3fd9cce83729bc62cd2fb568b0d53db5"><div class="ttname"><a href="classSVF_1_1Options.html#a3fd9cce83729bc62cd2fb568b0d53db5">SVF::Options::CxtLimit</a></div><div class="ttdeci">static const Option< u32_t > CxtLimit</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00191">Options.h:191</a></div></div>
|
|
426
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae2c4fe298a27f50c749b75f0801f9666"><div class="ttname"><a href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">SVF::Options::DoLockAnalysis</a></div><div class="ttdeci">static const Option< bool > DoLockAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00164">Options.h:164</a></div></div>
|
|
427
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae782f25eaee9ac363c733b6ac609fbce"><div class="ttname"><a href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">SVF::Options::DiffPts</a></div><div class="ttdeci">static const Option< bool > DiffPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00233">Options.h:233</a></div></div>
|
|
428
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a09005e749b1030347ac5dcc015053a37"><div class="ttname"><a href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">SVF::Options::KeepAOFI</a></div><div class="ttdeci">static const Option< bool > KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00107">Options.h:107</a></div></div>
|
|
429
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_af6d92cd4372cd952e6d955cfc9be0ccb"><div class="ttname"><a href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">SVF::Options::IntraLock</a></div><div class="ttdeci">static const Option< bool > IntraLock</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00155">Options.h:155</a></div></div>
|
|
430
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ad09017ae2e1010fbba5c086a4772750f"><div class="ttname"><a href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">SVF::Options::GrammarFilename</a></div><div class="ttdeci">static const Option< std::string > GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00249">Options.h:249</a></div></div>
|
|
431
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_afcef86c88bb86198a3579aef82b5e270"><div class="ttname"><a href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">SVF::Options::DumpCHA</a></div><div class="ttdeci">static const Option< bool > DumpCHA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00194">Options.h:194</a></div></div>
|
|
432
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a88bb706e03a3dd04546b4ce62af7b140"><div class="ttname"><a href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">SVF::Options::VtableInSVFIR</a></div><div class="ttdeci">static const Option< bool > VtableInSVFIR</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00235">Options.h:235</a></div></div>
|
|
433
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_ae639e80aa18a56bd1c6bcf41ce281930"><div class="ttname"><a href="classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930">SVF::Options::AndersenAnno</a></div><div class="ttdeci">static const Option< bool > AndersenAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00167">Options.h:167</a></div></div>
|
|
434
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a198e0d500ae635c709c406bbec604050"><div class="ttname"><a href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">SVF::Options::LocMemModel</a></div><div class="ttdeci">static const Option< bool > LocMemModel</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00204">Options.h:204</a></div></div>
|
|
435
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a404f9785ed3e592e0c36d91cd6730655"><div class="ttname"><a href="classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655">SVF::Options::PrintFieldWithBasePrefix</a></div><div class="ttdeci">static const Option< bool > PrintFieldWithBasePrefix</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00118">Options.h:118</a></div></div>
|
|
436
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a5f07ff361307017b35fb6b9a97919a73"><div class="ttname"><a href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">SVF::Options::EnableAliasCheck</a></div><div class="ttdeci">static const Option< bool > EnableAliasCheck</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00130">Options.h:130</a></div></div>
|
|
437
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a4837cf00e58d0b561f420f4b3b533ebd"><div class="ttname"><a href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">SVF::Options::PASelected</a></div><div class="ttdeci">static OptionMultiple< PointerAnalysis::PTATY > PASelected</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00242">Options.h:242</a></div></div>
|
|
460
438
|
<div class="ttc" id="aclassSVF_1_1Options_html_ac17ce6d75293dcd0baf366cbeb0cb6d6"><div class="ttname"><a href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">SVF::Options::ClusterMethod</a></div><div class="ttdeci">static const OptionMap< enum hclust_fast_methods > ClusterMethod</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00056">Options.h:56</a></div></div>
|
|
461
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a71461051f5fe6b4cc33103746525b23f"><div class="ttname"><a href="classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f">SVF::Options::MaxBVLen</a></div><div class="ttdeci">static const Option< u32_t > MaxBVLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
462
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a453571cd0205f14ead205b3a54477475"><div class="ttname"><a href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">SVF::Options::ReadAnder</a></div><div class="ttdeci">static const Option< std::string > ReadAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
463
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a428e892b31dcb783be36a35e878a0337"><div class="ttname"><a href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">SVF::Options::PTSPrint</a></div><div class="ttdeci">static const Option< bool > PTSPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
439
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a71461051f5fe6b4cc33103746525b23f"><div class="ttname"><a href="classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f">SVF::Options::MaxBVLen</a></div><div class="ttdeci">static const Option< u32_t > MaxBVLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00214">Options.h:214</a></div></div>
|
|
440
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a453571cd0205f14ead205b3a54477475"><div class="ttname"><a href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">SVF::Options::ReadAnder</a></div><div class="ttdeci">static const Option< std::string > ReadAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00232">Options.h:232</a></div></div>
|
|
441
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a428e892b31dcb783be36a35e878a0337"><div class="ttname"><a href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">SVF::Options::PTSPrint</a></div><div class="ttdeci">static const Option< bool > PTSPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00116">Options.h:116</a></div></div>
|
|
464
442
|
<div class="ttc" id="aclassSVF_1_1Options_html_abcb6796d45722562546f33b2745a0418"><div class="ttname"><a href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options::MarkedClocksOnly</a></div><div class="ttdeci">static const Option< bool > MarkedClocksOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00031">Options.h:31</a></div></div>
|
|
465
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a5d14e81336dbfefa14146bf610989e6b"><div class="ttname"><a href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">SVF::Options::UserInputQuery</a></div><div class="ttdeci">static const Option< std::string > UserInputQuery</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
466
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a38d8e1b3fb1a86673a9555c21ba7065e"><div class="ttname"><a href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">SVF::Options::POCRHybrid</a></div><div class="ttdeci">static const Option< bool > POCRHybrid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
467
|
-
<div class="ttc" id="aclassSVF_1_1Options_html_a7c6053f2341a500a8caca61607303b6e"><div class="ttname"><a href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options::PAGPrint</a></div><div class="ttdeci">static const Option< bool > PAGPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
443
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a5d14e81336dbfefa14146bf610989e6b"><div class="ttname"><a href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">SVF::Options::UserInputQuery</a></div><div class="ttdeci">static const Option< std::string > UserInputQuery</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00087">Options.h:87</a></div></div>
|
|
444
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a38d8e1b3fb1a86673a9555c21ba7065e"><div class="ttname"><a href="classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e">SVF::Options::POCRHybrid</a></div><div class="ttdeci">static const Option< bool > POCRHybrid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>
|
|
445
|
+
<div class="ttc" id="aclassSVF_1_1Options_html_a7c6053f2341a500a8caca61607303b6e"><div class="ttname"><a href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options::PAGPrint</a></div><div class="ttdeci">static const Option< bool > PAGPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00127">Options.h:127</a></div></div>
|
|
468
446
|
<!-- start footer part -->
|
|
469
447
|
<hr class="footer"/><address class="footer"><small>
|
|
470
448
|
Generated by  <a href="http://www.doxygen.org/index.html">
|