svf-tools 1.0.478 → 1.0.481
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/html/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp.html +5 -4
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +50 -40
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +20 -18
- package/SVF-doxygen/html/html/CFLAlias_8cpp.html +80 -0
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +107 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +14 -35
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +10 -10
- package/SVF-doxygen/html/html/CFLGrammar_8cpp.html +1 -0
- package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +34 -23
- package/SVF-doxygen/html/html/CFLGrammar_8h.html +9 -1
- package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +106 -62
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +58 -151
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +24 -11
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +2 -0
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +18 -19
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +27 -16
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +20 -16
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +36 -32
- package/SVF-doxygen/html/html/ExtAPI_8h.html +36 -0
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +66 -64
- package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +14 -17
- package/SVF-doxygen/html/html/GrammarBuilder_8h.html +0 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +9 -11
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +5 -3
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +17 -17
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +15 -15
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/annotated.html +298 -293
- package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +96 -0
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +197 -0
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +108 -99
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +52 -39
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge-members.html +3 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +62 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList-members.html +91 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +459 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +47 -38
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +180 -137
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +44 -22
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +53 -43
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +158 -125
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +20 -21
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase-members.html +29 -21
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +397 -179
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash-members.html +81 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +124 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder-members.html +6 -7
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +73 -91
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepCGEdge.html +11 -11
- package/SVF-doxygen/html/html/classes.html +105 -106
- package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +1 -1
- package/SVF-doxygen/html/html/cuddInt_8c.html +17 -17
- package/SVF-doxygen/html/html/cuddInt_8c_source.html +3 -3
- package/SVF-doxygen/html/html/cuddInt_8h.html +5 -5
- package/SVF-doxygen/html/html/cudd_8h.html +9 -9
- package/SVF-doxygen/html/html/cudd_8h_source.html +1 -1
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/dir_98f9a352f241e0e917d4efaa4086f6e8.html +2 -0
- package/SVF-doxygen/html/html/files.html +5 -4
- package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_a.html +14 -8
- package/SVF-doxygen/html/html/functions_b.html +4 -3
- package/SVF-doxygen/html/html/functions_c.html +37 -35
- package/SVF-doxygen/html/html/functions_d.html +8 -4
- package/SVF-doxygen/html/html/functions_e.html +15 -8
- package/SVF-doxygen/html/html/functions_f.html +16 -17
- package/SVF-doxygen/html/html/functions_func.html +1 -1
- package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_func_b.html +3 -2
- package/SVF-doxygen/html/html/functions_func_c.html +32 -28
- package/SVF-doxygen/html/html/functions_func_e.html +14 -7
- package/SVF-doxygen/html/html/functions_func_f.html +3 -2
- package/SVF-doxygen/html/html/functions_func_g.html +22 -18
- package/SVF-doxygen/html/html/functions_func_i.html +18 -9
- package/SVF-doxygen/html/html/functions_func_l.html +2 -5
- package/SVF-doxygen/html/html/functions_func_o.html +20 -5
- package/SVF-doxygen/html/html/functions_func_p.html +9 -7
- package/SVF-doxygen/html/html/functions_func_s.html +12 -6
- package/SVF-doxygen/html/html/functions_g.html +25 -21
- package/SVF-doxygen/html/html/functions_i.html +29 -20
- package/SVF-doxygen/html/html/functions_k.html +2 -1
- package/SVF-doxygen/html/html/functions_l.html +1 -4
- package/SVF-doxygen/html/html/functions_n.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +24 -15
- package/SVF-doxygen/html/html/functions_p.html +18 -18
- package/SVF-doxygen/html/html/functions_r.html +5 -5
- package/SVF-doxygen/html/html/functions_s.html +24 -16
- package/SVF-doxygen/html/html/functions_t.html +5 -7
- package/SVF-doxygen/html/html/functions_type_d.html +4 -2
- package/SVF-doxygen/html/html/functions_type_p.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +7 -1
- package/SVF-doxygen/html/html/functions_type_v.html +3 -0
- package/SVF-doxygen/html/html/functions_v.html +7 -1
- package/SVF-doxygen/html/html/functions_vars_a.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_c.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_d.html +4 -2
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_k.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_r.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_t.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_v.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +6 -10
- package/SVF-doxygen/html/html/globals.html +1 -2
- package/SVF-doxygen/html/html/globals_a.html +1 -6
- package/SVF-doxygen/html/html/globals_c.html +129 -126
- package/SVF-doxygen/html/html/globals_defs_j.html +6 -0
- package/SVF-doxygen/html/html/globals_e.html +7 -8
- package/SVF-doxygen/html/html/globals_f.html +6 -12
- package/SVF-doxygen/html/html/globals_func.html +0 -6
- package/SVF-doxygen/html/html/globals_func_f.html +0 -8
- package/SVF-doxygen/html/html/globals_g.html +4 -2
- package/SVF-doxygen/html/html/globals_j.html +6 -0
- package/SVF-doxygen/html/html/globals_l.html +3 -0
- package/SVF-doxygen/html/html/globals_s.html +7 -9
- package/SVF-doxygen/html/html/globals_v.html +3 -0
- package/SVF-doxygen/html/html/globals_vars.html +17 -13
- package/SVF-doxygen/html/html/hierarchy.html +449 -444
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +8 -4
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +2 -2
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +8 -8
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/html/search/all_1.js +5 -4
- package/SVF-doxygen/html/html/search/all_10.js +12 -12
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +22 -17
- package/SVF-doxygen/html/html/search/all_14.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -0
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_1b.js +1 -0
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +7 -6
- package/SVF-doxygen/html/html/search/all_4.js +5 -5
- package/SVF-doxygen/html/html/search/all_5.js +7 -5
- package/SVF-doxygen/html/html/search/all_6.js +4 -4
- package/SVF-doxygen/html/html/search/all_7.js +11 -9
- package/SVF-doxygen/html/html/search/all_9.js +8 -5
- package/SVF-doxygen/html/html/search/all_a.js +2 -0
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -2
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +4 -4
- package/SVF-doxygen/html/html/search/all_f.js +9 -6
- package/SVF-doxygen/html/html/search/classes_0.js +1 -0
- package/SVF-doxygen/html/html/search/classes_2.js +1 -0
- package/SVF-doxygen/html/html/search/classes_f.js +3 -0
- package/SVF-doxygen/html/html/search/defines_8.js +2 -0
- package/SVF-doxygen/html/html/search/files_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +1 -3
- package/SVF-doxygen/html/html/search/functions_1.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +4 -2
- package/SVF-doxygen/html/html/search/functions_17.js +1 -0
- package/SVF-doxygen/html/html/search/functions_2.js +3 -2
- package/SVF-doxygen/html/html/search/functions_3.js +1 -1
- package/SVF-doxygen/html/html/search/functions_4.js +5 -3
- package/SVF-doxygen/html/html/search/functions_5.js +1 -3
- package/SVF-doxygen/html/html/search/functions_6.js +9 -8
- package/SVF-doxygen/html/html/search/functions_8.js +4 -1
- package/SVF-doxygen/html/html/search/functions_b.js +0 -1
- package/SVF-doxygen/html/html/search/functions_e.js +8 -5
- package/SVF-doxygen/html/html/search/functions_f.js +4 -4
- package/SVF-doxygen/html/html/search/typedefs_11.js +3 -1
- package/SVF-doxygen/html/html/search/typedefs_14.js +1 -0
- package/SVF-doxygen/html/html/search/typedefs_3.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_0.js +1 -1
- package/SVF-doxygen/html/html/search/variables_1.js +3 -2
- package/SVF-doxygen/html/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_14.js +2 -2
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_16.js +2 -0
- package/SVF-doxygen/html/html/search/variables_3.js +2 -2
- package/SVF-doxygen/html/html/search/variables_4.js +2 -2
- package/SVF-doxygen/html/html/search/variables_5.js +2 -2
- package/SVF-doxygen/html/html/search/variables_6.js +3 -3
- package/SVF-doxygen/html/html/search/variables_7.js +2 -1
- package/SVF-doxygen/html/html/search/variables_b.js +1 -1
- package/SVF-doxygen/html/html/search/variables_c.js +1 -0
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol-members.html +98 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +652 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +124 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +22 -15
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +4 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +4 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
- package/include/CFL/CFGNormalizer.h +14 -9
- package/include/CFL/CFLAlias.h +1 -40
- package/include/CFL/CFLGrammar.h +246 -31
- package/include/CFL/CFLGrammar.txt +13 -15
- package/include/CFL/CFLGraphBuilder.h +27 -29
- package/include/CFL/GrammarBuilder.h +34 -14
- package/include/Graphs/CFLGraph.h +12 -0
- package/include/Graphs/ConsGEdge.h +1 -0
- package/include/SVF-FE/CallGraphBuilder.h +2 -2
- package/include/Util/ExtAPI.h +59 -42
- package/lib/CFL/CFGNormalizer.cpp +138 -86
- package/lib/CFL/CFLAlias.cpp +73 -0
- package/lib/CFL/CFLGrammar.cpp +115 -16
- package/lib/CFL/CFLGraphBuilder.cpp +64 -1
- package/lib/CFL/GrammarBuilder.cpp +42 -60
- package/lib/Graphs/CFLGraph.cpp +41 -1
- package/lib/MemoryModel/LocationSet.cpp +1 -1
- package/lib/SVF-FE/SVFIRBuilder.cpp +2 -2
- package/lib/SVF-FE/SymbolTableBuilder.cpp +4 -0
- package/lib/Util/ExtAPI.cpp +34 -2
- package/lib/Util/ExtAPI.json +3268 -2585
- package/package.json +1 -1
- package/include/CFL/CFLGrammarDev.txt +0 -16
|
@@ -84,450 +84,455 @@ $(function() {
|
|
|
84
84
|
<tr id="row_14_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html" target="_self">SVF::SVFUtil::cast_retty_wrap< To, From, SimpleFrom ></a></td><td class="desc"></td></tr>
|
|
85
85
|
<tr id="row_15_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html" target="_self">SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy ></a></td><td class="desc"></td></tr>
|
|
86
86
|
<tr id="row_16_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFGNormalizer.html" target="_self">SVF::CFGNormalizer</a></td><td class="desc"></td></tr>
|
|
87
|
-
<tr id="row_17_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
88
|
-
<tr id="row_18_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
89
|
-
<tr id="row_19_"><td class="entry"><span style="width:
|
|
90
|
-
<tr id="
|
|
91
|
-
<tr id="
|
|
92
|
-
<tr id="
|
|
93
|
-
<tr id="
|
|
94
|
-
<tr id="
|
|
95
|
-
<tr id="
|
|
96
|
-
<tr id="
|
|
97
|
-
<tr id="
|
|
98
|
-
<tr id="
|
|
99
|
-
<tr id="
|
|
100
|
-
<tr id="
|
|
101
|
-
<tr id="
|
|
102
|
-
<tr id="
|
|
103
|
-
<tr id="
|
|
104
|
-
<tr id="row_31_"><td class="entry"><span style="width:
|
|
105
|
-
<tr id="
|
|
106
|
-
<tr id="
|
|
107
|
-
<tr id="
|
|
108
|
-
<tr id="
|
|
109
|
-
<tr id="row_35_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_35_" class="arrow" onclick="toggleFolder('35_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
110
|
-
<tr id="row_35_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
111
|
-
<tr id="row_36_" class="even"><td class="entry"><span style="width:
|
|
112
|
-
<tr id="
|
|
113
|
-
<tr id="
|
|
114
|
-
<tr id="
|
|
115
|
-
<tr id="
|
|
116
|
-
<tr id="
|
|
117
|
-
<tr id="
|
|
118
|
-
<tr id="
|
|
119
|
-
<tr id="row_41_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_41_" class="arrow" onclick="toggleFolder('41_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAVFSolver.html" target="_self">SVF::DDAVFSolver<
|
|
120
|
-
<tr id="row_41_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
121
|
-
<tr id="row_42_" class="even"><td class="entry"><span style="width:
|
|
122
|
-
<tr id="
|
|
123
|
-
<tr id="
|
|
124
|
-
<tr id="
|
|
125
|
-
<tr id="
|
|
126
|
-
<tr id="
|
|
127
|
-
<tr id="
|
|
128
|
-
<tr id="
|
|
129
|
-
<tr id="
|
|
130
|
-
<tr id="
|
|
131
|
-
<tr id="
|
|
132
|
-
<tr id="
|
|
133
|
-
<tr id="
|
|
134
|
-
<tr id="
|
|
135
|
-
<tr id="
|
|
136
|
-
<tr id="
|
|
137
|
-
<tr id="
|
|
138
|
-
<tr id="
|
|
139
|
-
<tr id="
|
|
140
|
-
<tr id="
|
|
141
|
-
<tr id="
|
|
142
|
-
<tr id="
|
|
143
|
-
<tr id="row_58_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_58_" class="arrow" onclick="toggleFolder('58_')">►</span><span class="icona"><span class="icon">C</span></span><b>
|
|
144
|
-
<tr id="row_58_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
145
|
-
<tr id="row_59_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_59_" class="arrow" onclick="toggleFolder('59_')">►</span><span class="icona"><span class="icon">C</span></span><b>
|
|
146
|
-
<tr id="row_59_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
147
|
-
<tr id="
|
|
148
|
-
<tr id="
|
|
149
|
-
<tr id="
|
|
150
|
-
<tr id="
|
|
151
|
-
<tr id="
|
|
152
|
-
<tr id="
|
|
153
|
-
<tr id="
|
|
154
|
-
<tr id="
|
|
155
|
-
<tr id="
|
|
156
|
-
<tr id="
|
|
157
|
-
<tr id="
|
|
158
|
-
<tr id="
|
|
159
|
-
<tr id="
|
|
160
|
-
<tr id="
|
|
161
|
-
<tr id="
|
|
162
|
-
<tr id="
|
|
163
|
-
<tr id="
|
|
164
|
-
<tr id="
|
|
165
|
-
<tr id="
|
|
166
|
-
<tr id="
|
|
167
|
-
<tr id="
|
|
168
|
-
<tr id="
|
|
169
|
-
<tr id="
|
|
170
|
-
<tr id="
|
|
171
|
-
<tr id="
|
|
172
|
-
<tr id="
|
|
173
|
-
<tr id="
|
|
174
|
-
<tr id="
|
|
175
|
-
<tr id="
|
|
176
|
-
<tr id="
|
|
177
|
-
<tr id="
|
|
178
|
-
<tr id="
|
|
179
|
-
<tr id="
|
|
180
|
-
<tr id="
|
|
181
|
-
<tr id="
|
|
182
|
-
<tr id="
|
|
183
|
-
<tr id="
|
|
184
|
-
<tr id="
|
|
185
|
-
<tr id="
|
|
186
|
-
<tr id="
|
|
187
|
-
<tr id="
|
|
188
|
-
<tr id="
|
|
189
|
-
<tr id="
|
|
190
|
-
<tr id="
|
|
191
|
-
<tr id="
|
|
192
|
-
<tr id="
|
|
193
|
-
<tr id="
|
|
194
|
-
<tr id="
|
|
195
|
-
<tr id="
|
|
196
|
-
<tr id="
|
|
197
|
-
<tr id="
|
|
198
|
-
<tr id="
|
|
199
|
-
<tr id="
|
|
200
|
-
<tr id="
|
|
201
|
-
<tr id="
|
|
202
|
-
<tr id="
|
|
203
|
-
<tr id="
|
|
204
|
-
<tr id="
|
|
205
|
-
<tr id="
|
|
206
|
-
<tr id="
|
|
207
|
-
<tr id="
|
|
208
|
-
<tr id="
|
|
209
|
-
<tr id="
|
|
210
|
-
<tr id="
|
|
211
|
-
<tr id="
|
|
212
|
-
<tr id="
|
|
213
|
-
<tr id="
|
|
214
|
-
<tr id="
|
|
215
|
-
<tr id="
|
|
216
|
-
<tr id="
|
|
217
|
-
<tr id="
|
|
218
|
-
<tr id="
|
|
219
|
-
<tr id="
|
|
220
|
-
<tr id="
|
|
221
|
-
<tr id="
|
|
222
|
-
<tr id="
|
|
223
|
-
<tr id="
|
|
224
|
-
<tr id="
|
|
225
|
-
<tr id="row_83_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_83_" class="arrow" onclick="toggleFolder('83_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
226
|
-
<tr id="row_83_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
227
|
-
<tr id="
|
|
228
|
-
<tr id="
|
|
229
|
-
<tr id="
|
|
230
|
-
<tr id="
|
|
231
|
-
<tr id="
|
|
232
|
-
<tr id="
|
|
233
|
-
<tr id="
|
|
234
|
-
<tr id="
|
|
235
|
-
<tr id="
|
|
236
|
-
<tr id="
|
|
237
|
-
<tr id="
|
|
238
|
-
<tr id="
|
|
239
|
-
<tr id="
|
|
240
|
-
<tr id="
|
|
241
|
-
<tr id="row_86_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_86_" class="arrow" onclick="toggleFolder('86_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraph.html" target="_self">SVF::GenericGraph<
|
|
242
|
-
<tr id="row_86_0_" style="display:none;"><td class="entry"><span style="width:
|
|
243
|
-
<tr id="
|
|
244
|
-
<tr id="
|
|
245
|
-
<tr id="
|
|
246
|
-
<tr id="
|
|
247
|
-
<tr id="
|
|
248
|
-
<tr id="
|
|
249
|
-
<tr id="
|
|
250
|
-
<tr id="
|
|
251
|
-
<tr id="
|
|
252
|
-
<tr id="
|
|
253
|
-
<tr id="
|
|
254
|
-
<tr id="
|
|
255
|
-
<tr id="
|
|
256
|
-
<tr id="
|
|
257
|
-
<tr id="
|
|
258
|
-
<tr id="
|
|
259
|
-
<tr id="
|
|
260
|
-
<tr id="
|
|
261
|
-
<tr id="
|
|
262
|
-
<tr id="
|
|
263
|
-
<tr id="
|
|
264
|
-
<tr id="
|
|
265
|
-
<tr id="
|
|
266
|
-
<tr id="
|
|
267
|
-
<tr id="
|
|
268
|
-
<tr id="
|
|
269
|
-
<tr id="
|
|
270
|
-
<tr id="
|
|
271
|
-
<tr id="
|
|
272
|
-
<tr id="
|
|
273
|
-
<tr id="
|
|
274
|
-
<tr id="
|
|
275
|
-
<tr id="
|
|
276
|
-
<tr id="
|
|
277
|
-
<tr id="
|
|
278
|
-
<tr id="
|
|
279
|
-
<tr id="
|
|
280
|
-
<tr id="
|
|
281
|
-
<tr id="
|
|
282
|
-
<tr id="
|
|
283
|
-
<tr id="
|
|
284
|
-
<tr id="
|
|
285
|
-
<tr id="
|
|
286
|
-
<tr id="
|
|
287
|
-
<tr id="
|
|
288
|
-
<tr id="
|
|
289
|
-
<tr id="
|
|
290
|
-
<tr id="
|
|
291
|
-
<tr id="
|
|
292
|
-
<tr id="
|
|
293
|
-
<tr id="
|
|
294
|
-
<tr id="
|
|
295
|
-
<tr id="
|
|
296
|
-
<tr id="
|
|
297
|
-
<tr id="
|
|
298
|
-
<tr id="
|
|
299
|
-
<tr id="
|
|
300
|
-
<tr id="
|
|
301
|
-
<tr id="
|
|
302
|
-
<tr id="row_90_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_90_" class="arrow" onclick="toggleFolder('90_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">SVF::GenericNode<
|
|
303
|
-
<tr id="row_90_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
304
|
-
<tr id="row_91_"><td class="entry"><span style="width:
|
|
305
|
-
<tr id="
|
|
306
|
-
<tr id="
|
|
307
|
-
<tr id="row_93_"><td class="entry"><span style="width:
|
|
308
|
-
<tr id="
|
|
309
|
-
<tr id="
|
|
310
|
-
<tr id="
|
|
311
|
-
<tr id="
|
|
312
|
-
<tr id="
|
|
313
|
-
<tr id="
|
|
314
|
-
<tr id="
|
|
315
|
-
<tr id="
|
|
316
|
-
<tr id="
|
|
317
|
-
<tr id="
|
|
318
|
-
<tr id="
|
|
319
|
-
<tr id="
|
|
320
|
-
<tr id="
|
|
321
|
-
<tr id="
|
|
322
|
-
<tr id="
|
|
323
|
-
<tr id="
|
|
324
|
-
<tr id="
|
|
325
|
-
<tr id="
|
|
326
|
-
<tr id="
|
|
327
|
-
<tr id="
|
|
328
|
-
<tr id="
|
|
329
|
-
<tr id="
|
|
330
|
-
<tr id="
|
|
331
|
-
<tr id="
|
|
332
|
-
<tr id="
|
|
333
|
-
<tr id="
|
|
334
|
-
<tr id="
|
|
335
|
-
<tr id="
|
|
336
|
-
<tr id="
|
|
337
|
-
<tr id="
|
|
338
|
-
<tr id="
|
|
339
|
-
<tr id="
|
|
340
|
-
<tr id="
|
|
341
|
-
<tr id="
|
|
342
|
-
<tr id="
|
|
343
|
-
<tr id="
|
|
344
|
-
<tr id="
|
|
345
|
-
<tr id="
|
|
346
|
-
<tr id="
|
|
347
|
-
<tr id="row_99_"><td class="entry"><span style="width:
|
|
348
|
-
<tr id="
|
|
349
|
-
<tr id="
|
|
350
|
-
<tr id="
|
|
351
|
-
<tr id="
|
|
352
|
-
<tr id="
|
|
353
|
-
<tr id="
|
|
354
|
-
<tr id="
|
|
355
|
-
<tr id="
|
|
356
|
-
<tr id="
|
|
357
|
-
<tr id="
|
|
358
|
-
<tr id="
|
|
359
|
-
<tr id="
|
|
360
|
-
<tr id="
|
|
361
|
-
<tr id="
|
|
362
|
-
<tr id="
|
|
363
|
-
<tr id="
|
|
364
|
-
<tr id="
|
|
365
|
-
<tr id="
|
|
366
|
-
<tr id="
|
|
367
|
-
<tr id="
|
|
368
|
-
<tr id="
|
|
369
|
-
<tr id="
|
|
370
|
-
<tr id="
|
|
371
|
-
<tr id="
|
|
372
|
-
<tr id="
|
|
373
|
-
<tr id="
|
|
374
|
-
<tr id="
|
|
375
|
-
<tr id="
|
|
376
|
-
<tr id="
|
|
377
|
-
<tr id="
|
|
378
|
-
<tr id="
|
|
379
|
-
<tr id="
|
|
380
|
-
<tr id="row_131_"><td class="entry"><span style="width:
|
|
381
|
-
<tr id="
|
|
382
|
-
<tr id="
|
|
383
|
-
<tr id="
|
|
384
|
-
<tr id="
|
|
385
|
-
<tr id="
|
|
386
|
-
<tr id="
|
|
387
|
-
<tr id="
|
|
388
|
-
<tr id="
|
|
389
|
-
<tr id="
|
|
390
|
-
<tr id="
|
|
391
|
-
<tr id="
|
|
392
|
-
<tr id="
|
|
393
|
-
<tr id="
|
|
394
|
-
<tr id="
|
|
395
|
-
<tr id="
|
|
396
|
-
<tr id="row_146_" class="even"><td class="entry"><span style="width:
|
|
397
|
-
<tr id="
|
|
398
|
-
<tr id="
|
|
399
|
-
<tr id="
|
|
400
|
-
<tr id="
|
|
401
|
-
<tr id="
|
|
402
|
-
<tr id="
|
|
403
|
-
<tr id="
|
|
404
|
-
<tr id="
|
|
405
|
-
<tr id="
|
|
406
|
-
<tr id="
|
|
407
|
-
<tr id="
|
|
408
|
-
<tr id="
|
|
409
|
-
<tr id="
|
|
410
|
-
<tr id="
|
|
411
|
-
<tr id="
|
|
412
|
-
<tr id="
|
|
413
|
-
<tr id="
|
|
414
|
-
<tr id="
|
|
415
|
-
<tr id="
|
|
416
|
-
<tr id="
|
|
417
|
-
<tr id="
|
|
418
|
-
<tr id="
|
|
419
|
-
<tr id="
|
|
420
|
-
<tr id="
|
|
421
|
-
<tr id="
|
|
422
|
-
<tr id="
|
|
423
|
-
<tr id="
|
|
424
|
-
<tr id="
|
|
425
|
-
<tr id="
|
|
426
|
-
<tr id="
|
|
427
|
-
<tr id="
|
|
428
|
-
<tr id="
|
|
429
|
-
<tr id="
|
|
430
|
-
<tr id="
|
|
431
|
-
<tr id="
|
|
432
|
-
<tr id="
|
|
433
|
-
<tr id="
|
|
434
|
-
<tr id="
|
|
435
|
-
<tr id="
|
|
436
|
-
<tr id="
|
|
437
|
-
<tr id="
|
|
438
|
-
<tr id="
|
|
439
|
-
<tr id="
|
|
440
|
-
<tr id="
|
|
441
|
-
<tr id="
|
|
442
|
-
<tr id="
|
|
443
|
-
<tr id="
|
|
444
|
-
<tr id="
|
|
445
|
-
<tr id="
|
|
446
|
-
<tr id="
|
|
447
|
-
<tr id="
|
|
448
|
-
<tr id="
|
|
449
|
-
<tr id="
|
|
450
|
-
<tr id="
|
|
451
|
-
<tr id="
|
|
452
|
-
<tr id="
|
|
453
|
-
<tr id="
|
|
454
|
-
<tr id="
|
|
455
|
-
<tr id="
|
|
456
|
-
<tr id="
|
|
457
|
-
<tr id="
|
|
458
|
-
<tr id="
|
|
459
|
-
<tr id="
|
|
460
|
-
<tr id="
|
|
461
|
-
<tr id="
|
|
462
|
-
<tr id="
|
|
463
|
-
<tr id="
|
|
464
|
-
<tr id="
|
|
465
|
-
<tr id="
|
|
466
|
-
<tr id="
|
|
467
|
-
<tr id="
|
|
468
|
-
<tr id="
|
|
469
|
-
<tr id="
|
|
470
|
-
<tr id="
|
|
471
|
-
<tr id="
|
|
472
|
-
<tr id="
|
|
473
|
-
<tr id="
|
|
474
|
-
<tr id="
|
|
475
|
-
<tr id="
|
|
476
|
-
<tr id="
|
|
477
|
-
<tr id="
|
|
478
|
-
<tr id="
|
|
479
|
-
<tr id="
|
|
480
|
-
<tr id="
|
|
481
|
-
<tr id="
|
|
482
|
-
<tr id="
|
|
483
|
-
<tr id="
|
|
484
|
-
<tr id="
|
|
485
|
-
<tr id="
|
|
486
|
-
<tr id="
|
|
487
|
-
<tr id="
|
|
488
|
-
<tr id="
|
|
489
|
-
<tr id="
|
|
490
|
-
<tr id="
|
|
491
|
-
<tr id="
|
|
492
|
-
<tr id="
|
|
493
|
-
<tr id="
|
|
494
|
-
<tr id="
|
|
495
|
-
<tr id="
|
|
496
|
-
<tr id="
|
|
497
|
-
<tr id="
|
|
498
|
-
<tr id="
|
|
499
|
-
<tr id="
|
|
500
|
-
<tr id="
|
|
501
|
-
<tr id="
|
|
502
|
-
<tr id="
|
|
503
|
-
<tr id="
|
|
504
|
-
<tr id="
|
|
505
|
-
<tr id="
|
|
506
|
-
<tr id="
|
|
507
|
-
<tr id="
|
|
508
|
-
<tr id="
|
|
509
|
-
<tr id="
|
|
510
|
-
<tr id="
|
|
511
|
-
<tr id="
|
|
512
|
-
<tr id="
|
|
513
|
-
<tr id="
|
|
514
|
-
<tr id="
|
|
515
|
-
<tr id="
|
|
516
|
-
<tr id="
|
|
517
|
-
<tr id="
|
|
518
|
-
<tr id="
|
|
519
|
-
<tr id="
|
|
520
|
-
<tr id="
|
|
521
|
-
<tr id="
|
|
522
|
-
<tr id="
|
|
523
|
-
<tr id="row_207_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
524
|
-
<tr id="row_208_" class="even"><td class="entry"><span style="width:
|
|
525
|
-
<tr id="
|
|
526
|
-
<tr id="
|
|
527
|
-
<tr id="
|
|
528
|
-
<tr id="
|
|
529
|
-
<tr id="
|
|
530
|
-
<tr id="
|
|
87
|
+
<tr id="row_17_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLFIFOWorkList.html" target="_self">SVF::CFLFIFOWorkList< Data ></a></td><td class="desc"></td></tr>
|
|
88
|
+
<tr id="row_18_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLGramGraphChecker.html" target="_self">SVF::CFLGramGraphChecker</a></td><td class="desc"></td></tr>
|
|
89
|
+
<tr id="row_19_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_19_" class="arrow" onclick="toggleFolder('19_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLGraphBuilder.html" target="_self">SVF::CFLGraphBuilder</a></td><td class="desc"></td></tr>
|
|
90
|
+
<tr id="row_19_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html" target="_self">SVF::AliasCFLGraphBuilder</a></td><td class="desc"></td></tr>
|
|
91
|
+
<tr id="row_20_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLSolver.html" target="_self">SVF::CFLSolver</a></td><td class="desc"></td></tr>
|
|
92
|
+
<tr id="row_21_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CHGBuilder.html" target="_self">SVF::CHGBuilder</a></td><td class="desc"></td></tr>
|
|
93
|
+
<tr id="row_22_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structcJSON.html" target="_self">cJSON</a></td><td class="desc"></td></tr>
|
|
94
|
+
<tr id="row_23_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structcJSON__Hooks.html" target="_self">cJSON_Hooks</a></td><td class="desc"></td></tr>
|
|
95
|
+
<tr id="row_24_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html" target="_self">SVF::NodeIDAllocator::Clusterer</a></td><td class="desc"></td></tr>
|
|
96
|
+
<tr id="row_25_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_25_" class="arrow" onclick="toggleFolder('25_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CommonCHGraph.html" target="_self">SVF::CommonCHGraph</a></td><td class="desc">Common base for class hierarchy graph. Only implements what <a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> needs </td></tr>
|
|
97
|
+
<tr id="row_25_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CHGraph.html" target="_self">SVF::CHGraph</a></td><td class="desc"></td></tr>
|
|
98
|
+
<tr id="row_25_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DCHGraph.html" target="_self">SVF::DCHGraph</a></td><td class="desc">Dwarf based CHG </td></tr>
|
|
99
|
+
<tr id="row_26_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPointsToSet.html" target="_self">SVF::CondPointsToSet< Cond ></a></td><td class="desc"></td></tr>
|
|
100
|
+
<tr id="row_27_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html" target="_self">SVF::CondPointsToSet< Cond >::CondPtsSetIterator</a></td><td class="desc">Conditional Points-to Set Iterator </td></tr>
|
|
101
|
+
<tr id="row_28_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondStdSet.html" target="_self">SVF::CondStdSet< Element ></a></td><td class="desc"></td></tr>
|
|
102
|
+
<tr id="row_29_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondVar.html" target="_self">SVF::CondVar< Cond ></a></td><td class="desc"></td></tr>
|
|
103
|
+
<tr id="row_30_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ContextCond.html" target="_self">SVF::ContextCond</a></td><td class="desc"></td></tr>
|
|
104
|
+
<tr id="row_31_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_31_" class="arrow" onclick="toggleFolder('31_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CoreBitVector.html" target="_self">SVF::CoreBitVector</a></td><td class="desc"></td></tr>
|
|
105
|
+
<tr id="row_31_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BitVector.html" target="_self">SVF::BitVector</a></td><td class="desc"></td></tr>
|
|
106
|
+
<tr id="row_32_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html" target="_self">SVF::CoreBitVector::CoreBitVectorIterator</a></td><td class="desc"></td></tr>
|
|
107
|
+
<tr id="row_33_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CSC.html" target="_self">SVF::CSC</a></td><td class="desc"></td></tr>
|
|
108
|
+
<tr id="row_34_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structcuddPathPair.html" target="_self">cuddPathPair</a></td><td class="desc"></td></tr>
|
|
109
|
+
<tr id="row_35_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_35_" class="arrow" onclick="toggleFolder('35_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CxtProc.html" target="_self">SVF::CxtProc</a></td><td class="desc"></td></tr>
|
|
110
|
+
<tr id="row_35_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CxtThreadProc.html" target="_self">SVF::CxtThreadProc</a></td><td class="desc"></td></tr>
|
|
111
|
+
<tr id="row_36_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_36_" class="arrow" onclick="toggleFolder('36_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CxtStmt.html" target="_self">SVF::CxtStmt</a></td><td class="desc"></td></tr>
|
|
112
|
+
<tr id="row_36_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CxtThreadStmt.html" target="_self">SVF::CxtThreadStmt</a></td><td class="desc"></td></tr>
|
|
113
|
+
<tr id="row_37_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CxtThread.html" target="_self">SVF::CxtThread</a></td><td class="desc"></td></tr>
|
|
114
|
+
<tr id="row_38_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_38_" class="arrow" onclick="toggleFolder('38_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAClient.html" target="_self">SVF::DDAClient</a></td><td class="desc"></td></tr>
|
|
115
|
+
<tr id="row_38_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AliasDDAClient.html" target="_self">SVF::AliasDDAClient</a></td><td class="desc"></td></tr>
|
|
116
|
+
<tr id="row_38_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunptrDDAClient.html" target="_self">SVF::FunptrDDAClient</a></td><td class="desc"></td></tr>
|
|
117
|
+
<tr id="row_39_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAPass.html" target="_self">SVF::DDAPass</a></td><td class="desc"></td></tr>
|
|
118
|
+
<tr id="row_40_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAVFSolver.html" target="_self">SVF::DDAVFSolver< CVar, CPtSet, DPIm ></a></td><td class="desc"></td></tr>
|
|
119
|
+
<tr id="row_41_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_41_" class="arrow" onclick="toggleFolder('41_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAVFSolver.html" target="_self">SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem ></a></td><td class="desc"></td></tr>
|
|
120
|
+
<tr id="row_41_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ContextDDA.html" target="_self">SVF::ContextDDA</a></td><td class="desc"></td></tr>
|
|
121
|
+
<tr id="row_42_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_42_" class="arrow" onclick="toggleFolder('42_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAVFSolver.html" target="_self">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="desc"></td></tr>
|
|
122
|
+
<tr id="row_42_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowDDA.html" target="_self">SVF::FlowDDA</a></td><td class="desc"></td></tr>
|
|
123
|
+
<tr id="row_43_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdCache.html" target="_self">DdCache</a></td><td class="desc"></td></tr>
|
|
124
|
+
<tr id="row_44_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdChildren.html" target="_self">DdChildren</a></td><td class="desc"></td></tr>
|
|
125
|
+
<tr id="row_45_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdGen.html" target="_self">DdGen</a></td><td class="desc"></td></tr>
|
|
126
|
+
<tr id="row_46_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdHashItem.html" target="_self">DdHashItem</a></td><td class="desc"></td></tr>
|
|
127
|
+
<tr id="row_47_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdHashTable.html" target="_self">DdHashTable</a></td><td class="desc"></td></tr>
|
|
128
|
+
<tr id="row_48_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdHook.html" target="_self">DdHook</a></td><td class="desc"></td></tr>
|
|
129
|
+
<tr id="row_49_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdLevelQueue.html" target="_self">DdLevelQueue</a></td><td class="desc"></td></tr>
|
|
130
|
+
<tr id="row_50_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdLocalCache.html" target="_self">DdLocalCache</a></td><td class="desc"></td></tr>
|
|
131
|
+
<tr id="row_51_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdLocalCacheItem.html" target="_self">DdLocalCacheItem</a></td><td class="desc"></td></tr>
|
|
132
|
+
<tr id="row_52_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdManager.html" target="_self">DdManager</a></td><td class="desc"></td></tr>
|
|
133
|
+
<tr id="row_53_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdNode.html" target="_self">DdNode</a></td><td class="desc"></td></tr>
|
|
134
|
+
<tr id="row_54_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdQueueItem.html" target="_self">DdQueueItem</a></td><td class="desc"></td></tr>
|
|
135
|
+
<tr id="row_55_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structDdSubtable.html" target="_self">DdSubtable</a></td><td class="desc"></td></tr>
|
|
136
|
+
<tr id="row_56_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_56_" class="arrow" onclick="toggleFolder('56_')">►</span><span class="icona"><span class="icon">C</span></span><b>DefaultDOTGraphTraits</b></td><td class="desc"></td></tr>
|
|
137
|
+
<tr id="row_56_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< CFLGraph * ></a></td><td class="desc"></td></tr>
|
|
138
|
+
<tr id="row_56_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< CHGraph * ></a></td><td class="desc"></td></tr>
|
|
139
|
+
<tr id="row_56_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< IRGraph * ></a></td><td class="desc"></td></tr>
|
|
140
|
+
<tr id="row_56_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< PTACallGraph * ></a></td><td class="desc"></td></tr>
|
|
141
|
+
<tr id="row_56_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< TCT * ></a></td><td class="desc"></td></tr>
|
|
142
|
+
<tr id="row_57_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1cppUtil_1_1DemangledName.html" target="_self">SVF::cppUtil::DemangledName</a></td><td class="desc"></td></tr>
|
|
143
|
+
<tr id="row_58_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_58_" class="arrow" onclick="toggleFolder('58_')">►</span><span class="icona"><span class="icon">C</span></span><b>DominanceFrontier</b></td><td class="desc"></td></tr>
|
|
144
|
+
<tr id="row_58_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSADF.html" target="_self">SVF::MemSSADF</a></td><td class="desc"></td></tr>
|
|
145
|
+
<tr id="row_59_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_59_" class="arrow" onclick="toggleFolder('59_')">►</span><span class="icona"><span class="icon">C</span></span><b>DominanceFrontierBase</b></td><td class="desc"></td></tr>
|
|
146
|
+
<tr id="row_59_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IteratedDominanceFrontier.html" target="_self">SVF::IteratedDominanceFrontier</a></td><td class="desc"></td></tr>
|
|
147
|
+
<tr id="row_60_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_60_" class="arrow" onclick="toggleFolder('60_')">►</span><span class="icona"><span class="icon">C</span></span><b>DOTGraphTraits</b></td><td class="desc"></td></tr>
|
|
148
|
+
<tr id="row_60_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< ConstraintGraph * ></a></td><td class="desc"></td></tr>
|
|
149
|
+
<tr id="row_60_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< ICFG * ></a></td><td class="desc"></td></tr>
|
|
150
|
+
<tr id="row_60_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< OfflineConsG * ></a></td><td class="desc"></td></tr>
|
|
151
|
+
<tr id="row_60_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< SVFG * ></a></td><td class="desc"></td></tr>
|
|
152
|
+
<tr id="row_60_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html" target="_self">llvm::DOTGraphTraits< VFG * ></a></td><td class="desc"></td></tr>
|
|
153
|
+
<tr id="row_61_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_61_" class="arrow" onclick="toggleFolder('61_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DPItem.html" target="_self">SVF::DPItem</a></td><td class="desc"></td></tr>
|
|
154
|
+
<tr id="row_61_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CxtDPItem.html" target="_self">SVF::CxtDPItem</a></td><td class="desc"></td></tr>
|
|
155
|
+
<tr id="row_61_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_61_1_" class="arrow" onclick="toggleFolder('61_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StmtDPItem.html" target="_self">SVF::StmtDPItem< LocCond ></a></td><td class="desc"></td></tr>
|
|
156
|
+
<tr id="row_61_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CxtStmtDPItem.html" target="_self">SVF::CxtStmtDPItem< LocCond ></a></td><td class="desc"></td></tr>
|
|
157
|
+
<tr id="row_62_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structEpDoubleStruct.html" target="_self">EpDoubleStruct</a></td><td class="desc"></td></tr>
|
|
158
|
+
<tr id="row_63_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="unionEpTypeUnion.html" target="_self">EpTypeUnion</a></td><td class="desc"></td></tr>
|
|
159
|
+
<tr id="row_64_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html" target="_self">SVF::GenericEdge< NodeTy >::equalGEdge</a></td><td class="desc">Add the hash function for std::set (we also can overload operator< to implement this) </td></tr>
|
|
160
|
+
<tr id="row_65_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html" target="_self">SVF::MemRegion::equalMemRegion</a></td><td class="desc"></td></tr>
|
|
161
|
+
<tr id="row_66_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html" target="_self">SVF::SVFUtil::equalNodeBS</a></td><td class="desc"></td></tr>
|
|
162
|
+
<tr id="row_67_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html" target="_self">SVF::SVFUtil::equalPointsTo</a></td><td class="desc"></td></tr>
|
|
163
|
+
<tr id="row_68_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structerror.html" target="_self">error</a></td><td class="desc"></td></tr>
|
|
164
|
+
<tr id="row_69_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExeState.html" target="_self">SVF::ExeState</a></td><td class="desc"></td></tr>
|
|
165
|
+
<tr id="row_70_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI.html" target="_self">SVF::ExtAPI</a></td><td class="desc"></td></tr>
|
|
166
|
+
<tr id="row_71_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< Data ></a></td><td class="desc"></td></tr>
|
|
167
|
+
<tr id="row_72_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< const CFLEdge * ></a></td><td class="desc"></td></tr>
|
|
168
|
+
<tr id="row_73_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< const MSSAPHISVFGNode * ></a></td><td class="desc"></td></tr>
|
|
169
|
+
<tr id="row_74_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< CxtLockProc ></a></td><td class="desc"></td></tr>
|
|
170
|
+
<tr id="row_75_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< CxtStmt ></a></td><td class="desc"></td></tr>
|
|
171
|
+
<tr id="row_76_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< CxtThreadProc ></a></td><td class="desc"></td></tr>
|
|
172
|
+
<tr id="row_77_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< CxtThreadStmt ></a></td><td class="desc"></td></tr>
|
|
173
|
+
<tr id="row_78_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< DPIm ></a></td><td class="desc"></td></tr>
|
|
174
|
+
<tr id="row_79_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">SVF::FIFOWorkList< NodeID ></a></td><td class="desc"></td></tr>
|
|
175
|
+
<tr id="row_80_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FILOWorkList.html" target="_self">SVF::FILOWorkList< Data ></a></td><td class="desc"></td></tr>
|
|
176
|
+
<tr id="row_81_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ForkJoinAnalysis.html" target="_self">SVF::ForkJoinAnalysis</a></td><td class="desc"></td></tr>
|
|
177
|
+
<tr id="row_82_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_82_" class="arrow" onclick="toggleFolder('82_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericEdge.html" target="_self">SVF::GenericEdge< NodeTy ></a></td><td class="desc"></td></tr>
|
|
178
|
+
<tr id="row_82_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLEdge.html" target="_self">SVF::CFLEdge</a></td><td class="desc"></td></tr>
|
|
179
|
+
<tr id="row_82_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CHEdge.html" target="_self">SVF::CHEdge</a></td><td class="desc"></td></tr>
|
|
180
|
+
<tr id="row_82_2_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_82_2_" class="arrow" onclick="toggleFolder('82_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ConstraintEdge.html" target="_self">SVF::ConstraintEdge</a></td><td class="desc"></td></tr>
|
|
181
|
+
<tr id="row_82_2_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrCGEdge.html" target="_self">SVF::AddrCGEdge</a></td><td class="desc"></td></tr>
|
|
182
|
+
<tr id="row_82_2_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CopyCGEdge.html" target="_self">SVF::CopyCGEdge</a></td><td class="desc"></td></tr>
|
|
183
|
+
<tr id="row_82_2_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_82_2_2_" class="arrow" onclick="toggleFolder('82_2_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepCGEdge.html" target="_self">SVF::GepCGEdge</a></td><td class="desc"></td></tr>
|
|
184
|
+
<tr id="row_82_2_2_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NormalGepCGEdge.html" target="_self">SVF::NormalGepCGEdge</a></td><td class="desc"></td></tr>
|
|
185
|
+
<tr id="row_82_2_2_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VariantGepCGEdge.html" target="_self">SVF::VariantGepCGEdge</a></td><td class="desc"></td></tr>
|
|
186
|
+
<tr id="row_82_2_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadCGEdge.html" target="_self">SVF::LoadCGEdge</a></td><td class="desc"></td></tr>
|
|
187
|
+
<tr id="row_82_2_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreCGEdge.html" target="_self">SVF::StoreCGEdge</a></td><td class="desc"></td></tr>
|
|
188
|
+
<tr id="row_82_3_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_82_3_" class="arrow" onclick="toggleFolder('82_3_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGEdge.html" target="_self">SVF::ICFGEdge</a></td><td class="desc"></td></tr>
|
|
189
|
+
<tr id="row_82_3_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallCFGEdge.html" target="_self">SVF::CallCFGEdge</a></td><td class="desc"></td></tr>
|
|
190
|
+
<tr id="row_82_3_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraCFGEdge.html" target="_self">SVF::IntraCFGEdge</a></td><td class="desc"></td></tr>
|
|
191
|
+
<tr id="row_82_3_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetCFGEdge.html" target="_self">SVF::RetCFGEdge</a></td><td class="desc"></td></tr>
|
|
192
|
+
<tr id="row_82_4_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_82_4_" class="arrow" onclick="toggleFolder('82_4_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphEdge.html" target="_self">SVF::PTACallGraphEdge</a></td><td class="desc"></td></tr>
|
|
193
|
+
<tr id="row_82_4_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1HareParForEdge.html" target="_self">SVF::HareParForEdge</a></td><td class="desc"></td></tr>
|
|
194
|
+
<tr id="row_82_4_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadForkEdge.html" target="_self">SVF::ThreadForkEdge</a></td><td class="desc"></td></tr>
|
|
195
|
+
<tr id="row_82_4_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadJoinEdge.html" target="_self">SVF::ThreadJoinEdge</a></td><td class="desc"></td></tr>
|
|
196
|
+
<tr id="row_82_5_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_82_5_" class="arrow" onclick="toggleFolder('82_5_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStmt.html" target="_self">SVF::SVFStmt</a></td><td class="desc"></td></tr>
|
|
197
|
+
<tr id="row_82_5_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_82_5_0_" class="arrow" onclick="toggleFolder('82_5_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AssignStmt.html" target="_self">SVF::AssignStmt</a></td><td class="desc"></td></tr>
|
|
198
|
+
<tr id="row_82_5_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrStmt.html" target="_self">SVF::AddrStmt</a></td><td class="desc"></td></tr>
|
|
199
|
+
<tr id="row_82_5_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_82_5_0_1_" class="arrow" onclick="toggleFolder('82_5_0_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallPE.html" target="_self">SVF::CallPE</a></td><td class="desc"></td></tr>
|
|
200
|
+
<tr id="row_82_5_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TDForkPE.html" target="_self">SVF::TDForkPE</a></td><td class="desc"></td></tr>
|
|
201
|
+
<tr id="row_82_5_0_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CopyStmt.html" target="_self">SVF::CopyStmt</a></td><td class="desc"></td></tr>
|
|
202
|
+
<tr id="row_82_5_0_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepStmt.html" target="_self">SVF::GepStmt</a></td><td class="desc"></td></tr>
|
|
203
|
+
<tr id="row_82_5_0_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadStmt.html" target="_self">SVF::LoadStmt</a></td><td class="desc"></td></tr>
|
|
204
|
+
<tr id="row_82_5_0_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_82_5_0_5_" class="arrow" onclick="toggleFolder('82_5_0_5_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetPE.html" target="_self">SVF::RetPE</a></td><td class="desc"></td></tr>
|
|
205
|
+
<tr id="row_82_5_0_5_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TDJoinPE.html" target="_self">SVF::TDJoinPE</a></td><td class="desc"></td></tr>
|
|
206
|
+
<tr id="row_82_5_0_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreStmt.html" target="_self">SVF::StoreStmt</a></td><td class="desc"></td></tr>
|
|
207
|
+
<tr id="row_82_5_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BranchStmt.html" target="_self">SVF::BranchStmt</a></td><td class="desc"></td></tr>
|
|
208
|
+
<tr id="row_82_5_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_82_5_2_" class="arrow" onclick="toggleFolder('82_5_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MultiOpndStmt.html" target="_self">SVF::MultiOpndStmt</a></td><td class="desc"></td></tr>
|
|
209
|
+
<tr id="row_82_5_2_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BinaryOPStmt.html" target="_self">SVF::BinaryOPStmt</a></td><td class="desc"></td></tr>
|
|
210
|
+
<tr id="row_82_5_2_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CmpStmt.html" target="_self">SVF::CmpStmt</a></td><td class="desc"></td></tr>
|
|
211
|
+
<tr id="row_82_5_2_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PhiStmt.html" target="_self">SVF::PhiStmt</a></td><td class="desc"></td></tr>
|
|
212
|
+
<tr id="row_82_5_2_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SelectStmt.html" target="_self">SVF::SelectStmt</a></td><td class="desc"></td></tr>
|
|
213
|
+
<tr id="row_82_5_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1UnaryOPStmt.html" target="_self">SVF::UnaryOPStmt</a></td><td class="desc"></td></tr>
|
|
214
|
+
<tr id="row_82_6_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCTEdge.html" target="_self">SVF::TCTEdge</a></td><td class="desc"></td></tr>
|
|
215
|
+
<tr id="row_82_7_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_82_7_" class="arrow" onclick="toggleFolder('82_7_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFGEdge.html" target="_self">SVF::VFGEdge</a></td><td class="desc"></td></tr>
|
|
216
|
+
<tr id="row_82_7_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_82_7_0_" class="arrow" onclick="toggleFolder('82_7_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DirectSVFGEdge.html" target="_self">SVF::DirectSVFGEdge</a></td><td class="desc"></td></tr>
|
|
217
|
+
<tr id="row_82_7_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallDirSVFGEdge.html" target="_self">SVF::CallDirSVFGEdge</a></td><td class="desc"></td></tr>
|
|
218
|
+
<tr id="row_82_7_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html" target="_self">SVF::IntraDirSVFGEdge</a></td><td class="desc"></td></tr>
|
|
219
|
+
<tr id="row_82_7_0_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetDirSVFGEdge.html" target="_self">SVF::RetDirSVFGEdge</a></td><td class="desc"></td></tr>
|
|
220
|
+
<tr id="row_82_7_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_82_7_1_" class="arrow" onclick="toggleFolder('82_7_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IndirectSVFGEdge.html" target="_self">SVF::IndirectSVFGEdge</a></td><td class="desc"></td></tr>
|
|
221
|
+
<tr id="row_82_7_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallIndSVFGEdge.html" target="_self">SVF::CallIndSVFGEdge</a></td><td class="desc"></td></tr>
|
|
222
|
+
<tr id="row_82_7_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html" target="_self">SVF::IntraIndSVFGEdge</a></td><td class="desc"></td></tr>
|
|
223
|
+
<tr id="row_82_7_1_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetIndSVFGEdge.html" target="_self">SVF::RetIndSVFGEdge</a></td><td class="desc"></td></tr>
|
|
224
|
+
<tr id="row_82_7_1_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html" target="_self">SVF::ThreadMHPIndSVFGEdge</a></td><td class="desc"></td></tr>
|
|
225
|
+
<tr id="row_83_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_83_" class="arrow" onclick="toggleFolder('83_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericEdge.html" target="_self">SVF::GenericEdge< DCHNode ></a></td><td class="desc"></td></tr>
|
|
226
|
+
<tr id="row_83_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DCHEdge.html" target="_self">SVF::DCHEdge</a></td><td class="desc"></td></tr>
|
|
227
|
+
<tr id="row_84_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_84_" class="arrow" onclick="toggleFolder('84_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraph.html" target="_self">SVF::GenericGraph< NodeTy, EdgeTy ></a></td><td class="desc"></td></tr>
|
|
228
|
+
<tr id="row_84_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLGraph.html" target="_self">SVF::CFLGraph</a></td><td class="desc"></td></tr>
|
|
229
|
+
<tr id="row_84_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CHGraph.html" target="_self">SVF::CHGraph</a></td><td class="desc"></td></tr>
|
|
230
|
+
<tr id="row_84_2_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_84_2_" class="arrow" onclick="toggleFolder('84_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFG.html" target="_self">SVF::ICFG</a></td><td class="desc"></td></tr>
|
|
231
|
+
<tr id="row_84_2_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGPrinter.html" target="_self">SVF::ICFGPrinter</a></td><td class="desc"></td></tr>
|
|
232
|
+
<tr id="row_84_3_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_84_3_" class="arrow" onclick="toggleFolder('84_3_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraph.html" target="_self">SVF::PTACallGraph</a></td><td class="desc"></td></tr>
|
|
233
|
+
<tr id="row_84_3_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadCallGraph.html" target="_self">SVF::ThreadCallGraph</a></td><td class="desc"></td></tr>
|
|
234
|
+
<tr id="row_84_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCT.html" target="_self">SVF::TCT</a></td><td class="desc"></td></tr>
|
|
235
|
+
<tr id="row_84_5_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_84_5_" class="arrow" onclick="toggleFolder('84_5_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFG.html" target="_self">SVF::VFG</a></td><td class="desc"></td></tr>
|
|
236
|
+
<tr id="row_84_5_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_84_5_0_" class="arrow" onclick="toggleFolder('84_5_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFG.html" target="_self">SVF::SVFG</a></td><td class="desc"></td></tr>
|
|
237
|
+
<tr id="row_84_5_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGOPT.html" target="_self">SVF::SVFGOPT</a></td><td class="desc"></td></tr>
|
|
238
|
+
<tr id="row_85_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_85_" class="arrow" onclick="toggleFolder('85_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraph.html" target="_self">SVF::GenericGraph< ConstraintNode, ConstraintEdge ></a></td><td class="desc"></td></tr>
|
|
239
|
+
<tr id="row_85_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_85_0_" class="arrow" onclick="toggleFolder('85_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ConstraintGraph.html" target="_self">SVF::ConstraintGraph</a></td><td class="desc"></td></tr>
|
|
240
|
+
<tr id="row_85_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1OfflineConsG.html" target="_self">SVF::OfflineConsG</a></td><td class="desc"></td></tr>
|
|
241
|
+
<tr id="row_86_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_86_" class="arrow" onclick="toggleFolder('86_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraph.html" target="_self">SVF::GenericGraph< DCHNode, DCHEdge ></a></td><td class="desc"></td></tr>
|
|
242
|
+
<tr id="row_86_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DCHGraph.html" target="_self">SVF::DCHGraph</a></td><td class="desc">Dwarf based CHG </td></tr>
|
|
243
|
+
<tr id="row_87_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_87_" class="arrow" onclick="toggleFolder('87_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraph.html" target="_self">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="desc"></td></tr>
|
|
244
|
+
<tr id="row_87_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_87_0_" class="arrow" onclick="toggleFolder('87_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IRGraph.html" target="_self">SVF::IRGraph</a></td><td class="desc"></td></tr>
|
|
245
|
+
<tr id="row_87_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR.html" target="_self">SVF::SVFIR</a></td><td class="desc"></td></tr>
|
|
246
|
+
<tr id="row_88_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_88_" class="arrow" onclick="toggleFolder('88_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="desc"></td></tr>
|
|
247
|
+
<tr id="row_88_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CHNode.html" target="_self">SVF::CHNode</a></td><td class="desc"></td></tr>
|
|
248
|
+
<tr id="row_88_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_88_1_" class="arrow" onclick="toggleFolder('88_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGNode.html" target="_self">SVF::ICFGNode</a></td><td class="desc"></td></tr>
|
|
249
|
+
<tr id="row_88_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GlobalICFGNode.html" target="_self">SVF::GlobalICFGNode</a></td><td class="desc"></td></tr>
|
|
250
|
+
<tr id="row_88_1_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_88_1_1_" class="arrow" onclick="toggleFolder('88_1_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterICFGNode.html" target="_self">SVF::InterICFGNode</a></td><td class="desc"></td></tr>
|
|
251
|
+
<tr id="row_88_1_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallICFGNode.html" target="_self">SVF::CallICFGNode</a></td><td class="desc"></td></tr>
|
|
252
|
+
<tr id="row_88_1_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunEntryICFGNode.html" target="_self">SVF::FunEntryICFGNode</a></td><td class="desc"></td></tr>
|
|
253
|
+
<tr id="row_88_1_1_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunExitICFGNode.html" target="_self">SVF::FunExitICFGNode</a></td><td class="desc"></td></tr>
|
|
254
|
+
<tr id="row_88_1_1_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetICFGNode.html" target="_self">SVF::RetICFGNode</a></td><td class="desc"></td></tr>
|
|
255
|
+
<tr id="row_88_1_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraICFGNode.html" target="_self">SVF::IntraICFGNode</a></td><td class="desc"></td></tr>
|
|
256
|
+
<tr id="row_88_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphNode.html" target="_self">SVF::PTACallGraphNode</a></td><td class="desc"></td></tr>
|
|
257
|
+
<tr id="row_88_3_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_88_3_" class="arrow" onclick="toggleFolder('88_3_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVar.html" target="_self">SVF::SVFVar</a></td><td class="desc"></td></tr>
|
|
258
|
+
<tr id="row_88_3_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_88_3_0_" class="arrow" onclick="toggleFolder('88_3_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjVar.html" target="_self">SVF::ObjVar</a></td><td class="desc"></td></tr>
|
|
259
|
+
<tr id="row_88_3_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_88_3_0_0_" class="arrow" onclick="toggleFolder('88_3_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyObjVar.html" target="_self">SVF::DummyObjVar</a></td><td class="desc"></td></tr>
|
|
260
|
+
<tr id="row_88_3_0_0_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CloneDummyObjVar.html" target="_self">SVF::CloneDummyObjVar</a></td><td class="desc"></td></tr>
|
|
261
|
+
<tr id="row_88_3_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_88_3_0_1_" class="arrow" onclick="toggleFolder('88_3_0_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIObjVar.html" target="_self">SVF::FIObjVar</a></td><td class="desc"></td></tr>
|
|
262
|
+
<tr id="row_88_3_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CloneFIObjVar.html" target="_self">SVF::CloneFIObjVar</a></td><td class="desc"></td></tr>
|
|
263
|
+
<tr id="row_88_3_0_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_88_3_0_2_" class="arrow" onclick="toggleFolder('88_3_0_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepObjVar.html" target="_self">SVF::GepObjVar</a></td><td class="desc"></td></tr>
|
|
264
|
+
<tr id="row_88_3_0_2_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CloneGepObjVar.html" target="_self">SVF::CloneGepObjVar</a></td><td class="desc"></td></tr>
|
|
265
|
+
<tr id="row_88_3_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_88_3_1_" class="arrow" onclick="toggleFolder('88_3_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ValVar.html" target="_self">SVF::ValVar</a></td><td class="desc"></td></tr>
|
|
266
|
+
<tr id="row_88_3_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyValVar.html" target="_self">SVF::DummyValVar</a></td><td class="desc"></td></tr>
|
|
267
|
+
<tr id="row_88_3_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepValVar.html" target="_self">SVF::GepValVar</a></td><td class="desc"></td></tr>
|
|
268
|
+
<tr id="row_88_3_1_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetPN.html" target="_self">SVF::RetPN</a></td><td class="desc"></td></tr>
|
|
269
|
+
<tr id="row_88_3_1_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VarArgPN.html" target="_self">SVF::VarArgPN</a></td><td class="desc"></td></tr>
|
|
270
|
+
<tr id="row_88_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCTNode.html" target="_self">SVF::TCTNode</a></td><td class="desc"></td></tr>
|
|
271
|
+
<tr id="row_88_5_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_88_5_" class="arrow" onclick="toggleFolder('88_5_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFGNode.html" target="_self">SVF::VFGNode</a></td><td class="desc"></td></tr>
|
|
272
|
+
<tr id="row_88_5_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_88_5_0_" class="arrow" onclick="toggleFolder('88_5_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ArgumentVFGNode.html" target="_self">SVF::ArgumentVFGNode</a></td><td class="desc"></td></tr>
|
|
273
|
+
<tr id="row_88_5_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualParmVFGNode.html" target="_self">SVF::ActualParmVFGNode</a></td><td class="desc"></td></tr>
|
|
274
|
+
<tr id="row_88_5_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualRetVFGNode.html" target="_self">SVF::ActualRetVFGNode</a></td><td class="desc"></td></tr>
|
|
275
|
+
<tr id="row_88_5_0_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalParmVFGNode.html" target="_self">SVF::FormalParmVFGNode</a></td><td class="desc"></td></tr>
|
|
276
|
+
<tr id="row_88_5_0_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalRetVFGNode.html" target="_self">SVF::FormalRetVFGNode</a></td><td class="desc"></td></tr>
|
|
277
|
+
<tr id="row_88_5_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BinaryOPVFGNode.html" target="_self">SVF::BinaryOPVFGNode</a></td><td class="desc"></td></tr>
|
|
278
|
+
<tr id="row_88_5_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BranchVFGNode.html" target="_self">SVF::BranchVFGNode</a></td><td class="desc"></td></tr>
|
|
279
|
+
<tr id="row_88_5_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CmpVFGNode.html" target="_self">SVF::CmpVFGNode</a></td><td class="desc"></td></tr>
|
|
280
|
+
<tr id="row_88_5_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html" target="_self">SVF::DummyVersionPropSVFGNode</a></td><td class="desc"></td></tr>
|
|
281
|
+
<tr id="row_88_5_5_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_88_5_5_" class="arrow" onclick="toggleFolder('88_5_5_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRSVFGNode.html" target="_self">SVF::MRSVFGNode</a></td><td class="desc"></td></tr>
|
|
282
|
+
<tr id="row_88_5_5_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualINSVFGNode.html" target="_self">SVF::ActualINSVFGNode</a></td><td class="desc"></td></tr>
|
|
283
|
+
<tr id="row_88_5_5_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html" target="_self">SVF::ActualOUTSVFGNode</a></td><td class="desc"></td></tr>
|
|
284
|
+
<tr id="row_88_5_5_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalINSVFGNode.html" target="_self">SVF::FormalINSVFGNode</a></td><td class="desc"></td></tr>
|
|
285
|
+
<tr id="row_88_5_5_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalOUTSVFGNode.html" target="_self">SVF::FormalOUTSVFGNode</a></td><td class="desc"></td></tr>
|
|
286
|
+
<tr id="row_88_5_5_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_88_5_5_4_" class="arrow" onclick="toggleFolder('88_5_5_4_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html" target="_self">SVF::MSSAPHISVFGNode</a></td><td class="desc"></td></tr>
|
|
287
|
+
<tr id="row_88_5_5_4_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html" target="_self">SVF::InterMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
|
|
288
|
+
<tr id="row_88_5_5_4_1_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html" target="_self">SVF::IntraMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
|
|
289
|
+
<tr id="row_88_5_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NullPtrVFGNode.html" target="_self">SVF::NullPtrVFGNode</a></td><td class="desc"></td></tr>
|
|
290
|
+
<tr id="row_88_5_7_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_88_5_7_" class="arrow" onclick="toggleFolder('88_5_7_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PHIVFGNode.html" target="_self">SVF::PHIVFGNode</a></td><td class="desc"></td></tr>
|
|
291
|
+
<tr id="row_88_5_7_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterPHIVFGNode.html" target="_self">SVF::InterPHIVFGNode</a></td><td class="desc"></td></tr>
|
|
292
|
+
<tr id="row_88_5_7_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraPHIVFGNode.html" target="_self">SVF::IntraPHIVFGNode</a></td><td class="desc"></td></tr>
|
|
293
|
+
<tr id="row_88_5_8_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_88_5_8_" class="arrow" onclick="toggleFolder('88_5_8_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StmtVFGNode.html" target="_self">SVF::StmtVFGNode</a></td><td class="desc"></td></tr>
|
|
294
|
+
<tr id="row_88_5_8_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AddrVFGNode.html" target="_self">SVF::AddrVFGNode</a></td><td class="desc"></td></tr>
|
|
295
|
+
<tr id="row_88_5_8_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CopyVFGNode.html" target="_self">SVF::CopyVFGNode</a></td><td class="desc"></td></tr>
|
|
296
|
+
<tr id="row_88_5_8_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepVFGNode.html" target="_self">SVF::GepVFGNode</a></td><td class="desc"></td></tr>
|
|
297
|
+
<tr id="row_88_5_8_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadVFGNode.html" target="_self">SVF::LoadVFGNode</a></td><td class="desc"></td></tr>
|
|
298
|
+
<tr id="row_88_5_8_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreVFGNode.html" target="_self">SVF::StoreVFGNode</a></td><td class="desc"></td></tr>
|
|
299
|
+
<tr id="row_88_5_9_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1UnaryOPVFGNode.html" target="_self">SVF::UnaryOPVFGNode</a></td><td class="desc"></td></tr>
|
|
300
|
+
<tr id="row_89_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_89_" class="arrow" onclick="toggleFolder('89_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">SVF::GenericNode< CFLNode, CFLEdge ></a></td><td class="desc"></td></tr>
|
|
301
|
+
<tr id="row_89_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLNode.html" target="_self">SVF::CFLNode</a></td><td class="desc"></td></tr>
|
|
302
|
+
<tr id="row_90_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_90_" class="arrow" onclick="toggleFolder('90_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">SVF::GenericNode< ConstraintNode, ConstraintEdge ></a></td><td class="desc"></td></tr>
|
|
303
|
+
<tr id="row_90_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ConstraintNode.html" target="_self">SVF::ConstraintNode</a></td><td class="desc"></td></tr>
|
|
304
|
+
<tr id="row_91_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_91_" class="arrow" onclick="toggleFolder('91_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">SVF::GenericNode< DCHNode, DCHEdge ></a></td><td class="desc"></td></tr>
|
|
305
|
+
<tr id="row_91_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DCHNode.html" target="_self">SVF::DCHNode</a></td><td class="desc"></td></tr>
|
|
306
|
+
<tr id="row_92_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html" target="_self">SVF::SCCDetection< GraphType >::GNodeSCCInfo</a></td><td class="desc"></td></tr>
|
|
307
|
+
<tr id="row_93_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_93_" class="arrow" onclick="toggleFolder('93_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBase.html" target="_self">SVF::GrammarBase</a></td><td class="desc"></td></tr>
|
|
308
|
+
<tr id="row_93_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLGrammar.html" target="_self">SVF::CFLGrammar</a></td><td class="desc"></td></tr>
|
|
309
|
+
<tr id="row_94_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBuilder.html" target="_self">SVF::GrammarBuilder</a></td><td class="desc"></td></tr>
|
|
310
|
+
<tr id="row_95_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classllvm_1_1GraphPrinter.html" target="_self">llvm::GraphPrinter</a></td><td class="desc"></td></tr>
|
|
311
|
+
<tr id="row_96_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_96_" class="arrow" onclick="toggleFolder('96_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GraphReachSolver.html" target="_self">SVF::GraphReachSolver< GraphType, DPIm ></a></td><td class="desc"></td></tr>
|
|
312
|
+
<tr id="row_96_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_96_0_" class="arrow" onclick="toggleFolder('96_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkDDA.html" target="_self">SVF::SrcSnkDDA</a></td><td class="desc"></td></tr>
|
|
313
|
+
<tr id="row_96_0_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_96_0_0_" class="arrow" onclick="toggleFolder('96_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LeakChecker.html" target="_self">SVF::LeakChecker</a></td><td class="desc"></td></tr>
|
|
314
|
+
<tr id="row_96_0_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DoubleFreeChecker.html" target="_self">SVF::DoubleFreeChecker</a></td><td class="desc"></td></tr>
|
|
315
|
+
<tr id="row_96_0_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileChecker.html" target="_self">SVF::FileChecker</a></td><td class="desc"></td></tr>
|
|
316
|
+
<tr id="row_97_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_97_" class="arrow" onclick="toggleFolder('97_')">►</span><span class="icona"><span class="icon">C</span></span><b>GraphTraits</b></td><td class="desc"></td></tr>
|
|
317
|
+
<tr id="row_97_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::CFLNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for call graph node, it is used for inverse traversal </td></tr>
|
|
318
|
+
<tr id="row_97_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::CHNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for call graph node, it is used for inverse traversal </td></tr>
|
|
319
|
+
<tr id="row_97_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::ConstraintNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for Value flow node, it is used for inverse traversal </td></tr>
|
|
320
|
+
<tr id="row_97_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::DCHNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for call graph node, it is used for inverse traversal </td></tr>
|
|
321
|
+
<tr id="row_97_4_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::ICFGNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for call graph node, it is used for inverse traversal </td></tr>
|
|
322
|
+
<tr id="row_97_5_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::PTACallGraphNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for call graph node, it is used for inverse traversal </td></tr>
|
|
323
|
+
<tr id="row_97_6_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::SVFVar * > ></a></td><td class="desc">Inverse GraphTraits specializations for SVFIR node, it is used for inverse traversal </td></tr>
|
|
324
|
+
<tr id="row_97_7_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::TCTNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for Value flow node, it is used for inverse traversal </td></tr>
|
|
325
|
+
<tr id="row_97_8_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::VFGNode * > ></a></td><td class="desc">Inverse GraphTraits specializations for call graph node, it is used for inverse traversal </td></tr>
|
|
326
|
+
<tr id="row_97_9_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::CFLGraph * ></a></td><td class="desc"></td></tr>
|
|
327
|
+
<tr id="row_97_10_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::CFLNode * ></a></td><td class="desc"></td></tr>
|
|
328
|
+
<tr id="row_97_11_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::CHGraph * ></a></td><td class="desc"></td></tr>
|
|
329
|
+
<tr id="row_97_12_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::CHNode * ></a></td><td class="desc"></td></tr>
|
|
330
|
+
<tr id="row_97_13_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::ConstraintGraph * ></a></td><td class="desc"></td></tr>
|
|
331
|
+
<tr id="row_97_14_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::ConstraintNode * ></a></td><td class="desc"></td></tr>
|
|
332
|
+
<tr id="row_97_15_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::DCHGraph * ></a></td><td class="desc"></td></tr>
|
|
333
|
+
<tr id="row_97_16_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::DCHNode * ></a></td><td class="desc"></td></tr>
|
|
334
|
+
<tr id="row_97_17_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::ICFG * ></a></td><td class="desc"></td></tr>
|
|
335
|
+
<tr id="row_97_18_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::ICFGNode * ></a></td><td class="desc"></td></tr>
|
|
336
|
+
<tr id="row_97_19_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::IRGraph * ></a></td><td class="desc"></td></tr>
|
|
337
|
+
<tr id="row_97_20_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1OfflineConsG_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::OfflineConsG * ></a></td><td class="desc"></td></tr>
|
|
338
|
+
<tr id="row_97_21_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::PTACallGraph * ></a></td><td class="desc"></td></tr>
|
|
339
|
+
<tr id="row_97_22_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::PTACallGraphNode * ></a></td><td class="desc"></td></tr>
|
|
340
|
+
<tr id="row_97_23_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::SVFG * ></a></td><td class="desc"></td></tr>
|
|
341
|
+
<tr id="row_97_24_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::SVFVar * ></a></td><td class="desc"></td></tr>
|
|
342
|
+
<tr id="row_97_25_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::TCT * ></a></td><td class="desc"></td></tr>
|
|
343
|
+
<tr id="row_97_26_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::TCTNode * ></a></td><td class="desc"></td></tr>
|
|
344
|
+
<tr id="row_97_27_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::VFG * ></a></td><td class="desc"></td></tr>
|
|
345
|
+
<tr id="row_97_28_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::VFGNode * ></a></td><td class="desc"></td></tr>
|
|
346
|
+
<tr id="row_98_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html" target="_self">llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> ></a></td><td class="desc"></td></tr>
|
|
347
|
+
<tr id="row_99_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_99_" class="arrow" onclick="toggleFolder('99_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html" target="_self">llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * ></a></td><td class="desc"></td></tr>
|
|
348
|
+
<tr id="row_99_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html" target="_self">llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *></a></td><td class="desc"></td></tr>
|
|
349
|
+
<tr id="row_100_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="unionhack.html" target="_self">hack</a></td><td class="desc"></td></tr>
|
|
350
|
+
<tr id="row_101_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash.html" target="_self">SVF::Hash< T ></a></td><td class="desc">Provide extra hash function for std::pair handling </td></tr>
|
|
351
|
+
<tr id="row_102_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">std::hash< const SVF::CondVar< Cond > ></a></td><td class="desc">Specialise hash for CondVar </td></tr>
|
|
352
|
+
<tr id="row_103_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html" target="_self">std::hash< const SVF::ContextCond ></a></td><td class="desc">Specialise hash for ContextCond </td></tr>
|
|
353
|
+
<tr id="row_104_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html" target="_self">SVF::Hash< CoreBitVector ></a></td><td class="desc"></td></tr>
|
|
354
|
+
<tr id="row_105_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html" target="_self">std::hash< llvm::SparseBitVector< N > ></a></td><td class="desc">Specialise hash for SparseBitVectors </td></tr>
|
|
355
|
+
<tr id="row_106_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">SVF::Hash< NodePair ></a></td><td class="desc"></td></tr>
|
|
356
|
+
<tr id="row_107_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html" target="_self">SVF::Hash< std::pair< S, T > ></a></td><td class="desc"></td></tr>
|
|
357
|
+
<tr id="row_108_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html" target="_self">std::hash< std::vector< T > ></a></td><td class="desc"></td></tr>
|
|
358
|
+
<tr id="row_109_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html" target="_self">std::hash< SVF::CallSite ></a></td><td class="desc">Specialise hash for CallSites </td></tr>
|
|
359
|
+
<tr id="row_110_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html" target="_self">std::hash< SVF::CondStdSet< Element > ></a></td><td class="desc"></td></tr>
|
|
360
|
+
<tr id="row_111_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">std::hash< SVF::CondVar< Cond > ></a></td><td class="desc"></td></tr>
|
|
361
|
+
<tr id="row_112_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html" target="_self">std::hash< SVF::ContextCond ></a></td><td class="desc"></td></tr>
|
|
362
|
+
<tr id="row_113_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html" target="_self">std::hash< SVF::CxtDPItem ></a></td><td class="desc">Specialise hash for CxtDPItem </td></tr>
|
|
363
|
+
<tr id="row_114_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html" target="_self">std::hash< SVF::CxtProc ></a></td><td class="desc"></td></tr>
|
|
364
|
+
<tr id="row_115_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html" target="_self">std::hash< SVF::CxtStmt ></a></td><td class="desc"></td></tr>
|
|
365
|
+
<tr id="row_116_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">std::hash< SVF::CxtStmtDPItem< LocCond > ></a></td><td class="desc">Specialise hash for CxtStmtDPItem </td></tr>
|
|
366
|
+
<tr id="row_117_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html" target="_self">std::hash< SVF::CxtThread ></a></td><td class="desc"></td></tr>
|
|
367
|
+
<tr id="row_118_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html" target="_self">std::hash< SVF::CxtThreadProc ></a></td><td class="desc"></td></tr>
|
|
368
|
+
<tr id="row_119_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html" target="_self">std::hash< SVF::CxtThreadStmt ></a></td><td class="desc"></td></tr>
|
|
369
|
+
<tr id="row_120_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html" target="_self">std::hash< SVF::ExeState ></a></td><td class="desc"></td></tr>
|
|
370
|
+
<tr id="row_121_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html" target="_self">std::hash< SVF::LocationSet ></a></td><td class="desc"></td></tr>
|
|
371
|
+
<tr id="row_122_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html" target="_self">std::hash< SVF::NodePair ></a></td><td class="desc"></td></tr>
|
|
372
|
+
<tr id="row_123_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html" target="_self">std::hash< SVF::PointsTo ></a></td><td class="desc"></td></tr>
|
|
373
|
+
<tr id="row_124_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">std::hash< SVF::StmtDPItem< LocCond > ></a></td><td class="desc">Specialise hash for StmtDPItem </td></tr>
|
|
374
|
+
<tr id="row_125_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html" target="_self">std::hash< SVF::SVFGNodeLockSpan ></a></td><td class="desc"></td></tr>
|
|
375
|
+
<tr id="row_126_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html" target="_self">std::hash< SVF::SymState ></a></td><td class="desc"></td></tr>
|
|
376
|
+
<tr id="row_127_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html" target="_self">std::hash< SVF::Z3Expr ></a></td><td class="desc">Specialise hash for AbsCxtDPItem </td></tr>
|
|
377
|
+
<tr id="row_128_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGBuilder.html" target="_self">SVF::ICFGBuilder</a></td><td class="desc"></td></tr>
|
|
378
|
+
<tr id="row_129_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structIeeeDoubleStruct.html" target="_self">IeeeDoubleStruct</a></td><td class="desc"></td></tr>
|
|
379
|
+
<tr id="row_130_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structIeeeNanStruct.html" target="_self">IeeeNanStruct</a></td><td class="desc"></td></tr>
|
|
380
|
+
<tr id="row_131_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_131_" class="arrow" onclick="toggleFolder('131_')">►</span><span class="icona"><span class="icon">C</span></span><b>InstVisitor</b></td><td class="desc"></td></tr>
|
|
381
|
+
<tr id="row_131_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRBuilder.html" target="_self">SVF::SVFIRBuilder</a></td><td class="desc"></td></tr>
|
|
382
|
+
<tr id="row_132_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structinternal__hooks.html" target="_self">internal_hooks</a></td><td class="desc"></td></tr>
|
|
383
|
+
<tr id="row_133_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IRAnnotator.html" target="_self">SVF::IRAnnotator</a></td><td class="desc"></td></tr>
|
|
384
|
+
<tr id="row_134_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1is__simple__type.html" target="_self">SVF::SVFUtil::is_simple_type< X ></a></td><td class="desc"></td></tr>
|
|
385
|
+
<tr id="row_135_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl.html" target="_self">SVF::SVFUtil::isa_impl< To, From, Enabler ></a></td><td class="desc"></td></tr>
|
|
386
|
+
<tr id="row_136_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html" target="_self">SVF::SVFUtil::isa_impl< To, From, typename std::enable_if< std::is_base_of< To, From >::value >::type ></a></td><td class="desc">Always allow upcasts, and perform no dynamic check for them </td></tr>
|
|
387
|
+
<tr id="row_137_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, From ></a></td><td class="desc"></td></tr>
|
|
388
|
+
<tr id="row_138_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const From * ></a></td><td class="desc"></td></tr>
|
|
389
|
+
<tr id="row_139_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const From *const ></a></td><td class="desc"></td></tr>
|
|
390
|
+
<tr id="row_140_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const From ></a></td><td class="desc"></td></tr>
|
|
391
|
+
<tr id="row_141_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const std::unique_ptr< From > ></a></td><td class="desc"></td></tr>
|
|
392
|
+
<tr id="row_142_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, From * ></a></td><td class="desc"></td></tr>
|
|
393
|
+
<tr id="row_143_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, From *const ></a></td><td class="desc"></td></tr>
|
|
394
|
+
<tr id="row_144_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html" target="_self">SVF::SVFUtil::isa_impl_wrap< To, From, SimpleFrom ></a></td><td class="desc"></td></tr>
|
|
395
|
+
<tr id="row_145_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html" target="_self">SVF::SVFUtil::isa_impl_wrap< To, FromTy, FromTy ></a></td><td class="desc"></td></tr>
|
|
396
|
+
<tr id="row_146_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_146_" class="arrow" onclick="toggleFolder('146_')">►</span><span class="icona"><span class="icon">C</span></span><b>iterator</b></td><td class="desc"></td></tr>
|
|
397
|
+
<tr id="row_146_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html" target="_self">llvm::generic_bridge_gep_type_iterator< ItTy ></a></td><td class="desc"></td></tr>
|
|
398
|
+
<tr id="row_147_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List.html" target="_self">SVF::List< Data ></a></td><td class="desc"></td></tr>
|
|
399
|
+
<tr id="row_148_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List_1_1ListNode.html" target="_self">SVF::List< Data >::ListNode</a></td><td class="desc"></td></tr>
|
|
400
|
+
<tr id="row_149_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMLoopAnalysis.html" target="_self">SVF::LLVMLoopAnalysis</a></td><td class="desc"></td></tr>
|
|
401
|
+
<tr id="row_150_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMModuleSet.html" target="_self">SVF::LLVMModuleSet</a></td><td class="desc"></td></tr>
|
|
402
|
+
<tr id="row_151_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LocationSet.html" target="_self">SVF::LocationSet</a></td><td class="desc"></td></tr>
|
|
403
|
+
<tr id="row_152_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockAnalysis.html" target="_self">SVF::LockAnalysis</a></td><td class="desc"></td></tr>
|
|
404
|
+
<tr id="row_153_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockResultValidator.html" target="_self">SVF::LockResultValidator</a></td><td class="desc"></td></tr>
|
|
405
|
+
<tr id="row_154_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemObj.html" target="_self">SVF::MemObj</a></td><td class="desc"></td></tr>
|
|
406
|
+
<tr id="row_155_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemRegion.html" target="_self">SVF::MemRegion</a></td><td class="desc">Memory Region class </td></tr>
|
|
407
|
+
<tr id="row_156_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSA.html" target="_self">SVF::MemSSA</a></td><td class="desc"></td></tr>
|
|
408
|
+
<tr id="row_157_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHP.html" target="_self">SVF::MHP</a></td><td class="desc"></td></tr>
|
|
409
|
+
<tr id="row_158_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_158_" class="arrow" onclick="toggleFolder('158_')">►</span><span class="icona"><span class="icon">C</span></span><b>ModulePass</b></td><td class="desc"></td></tr>
|
|
410
|
+
<tr id="row_158_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BreakConstantGEPs.html" target="_self">SVF::BreakConstantGEPs</a></td><td class="desc"></td></tr>
|
|
411
|
+
<tr id="row_158_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MergeFunctionRets.html" target="_self">SVF::MergeFunctionRets</a></td><td class="desc"></td></tr>
|
|
412
|
+
<tr id="row_158_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTA.html" target="_self">SVF::MTA</a></td><td class="desc"></td></tr>
|
|
413
|
+
<tr id="row_159_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structMove.html" target="_self">Move</a></td><td class="desc"></td></tr>
|
|
414
|
+
<tr id="row_160_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_160_" class="arrow" onclick="toggleFolder('160_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRGenerator.html" target="_self">SVF::MRGenerator</a></td><td class="desc"></td></tr>
|
|
415
|
+
<tr id="row_160_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DistinctMRG.html" target="_self">SVF::DistinctMRG</a></td><td class="desc"></td></tr>
|
|
416
|
+
<tr id="row_160_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_160_1_" class="arrow" onclick="toggleFolder('160_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDisjointMRG.html" target="_self">SVF::IntraDisjointMRG</a></td><td class="desc"></td></tr>
|
|
417
|
+
<tr id="row_160_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterDisjointMRG.html" target="_self">SVF::InterDisjointMRG</a></td><td class="desc"></td></tr>
|
|
418
|
+
<tr id="row_161_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRVer.html" target="_self">SVF::MRVer</a></td><td class="desc"></td></tr>
|
|
419
|
+
<tr id="row_162_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_162_" class="arrow" onclick="toggleFolder('162_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSADEF.html" target="_self">SVF::MSSADEF</a></td><td class="desc"></td></tr>
|
|
420
|
+
<tr id="row_162_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_162_0_" class="arrow" onclick="toggleFolder('162_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSACHI.html" target="_self">SVF::MSSACHI< Cond ></a></td><td class="desc"></td></tr>
|
|
421
|
+
<tr id="row_162_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallCHI.html" target="_self">SVF::CallCHI< Cond ></a></td><td class="desc"></td></tr>
|
|
422
|
+
<tr id="row_162_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1EntryCHI.html" target="_self">SVF::EntryCHI< Cond ></a></td><td class="desc"></td></tr>
|
|
423
|
+
<tr id="row_162_0_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreCHI.html" target="_self">SVF::StoreCHI< Cond ></a></td><td class="desc"></td></tr>
|
|
424
|
+
<tr id="row_162_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAPHI.html" target="_self">SVF::MSSAPHI< Cond ></a></td><td class="desc"></td></tr>
|
|
425
|
+
<tr id="row_163_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_163_" class="arrow" onclick="toggleFolder('163_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAMU.html" target="_self">SVF::MSSAMU< Cond ></a></td><td class="desc"></td></tr>
|
|
426
|
+
<tr id="row_163_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallMU.html" target="_self">SVF::CallMU< Cond ></a></td><td class="desc"></td></tr>
|
|
427
|
+
<tr id="row_163_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadMU.html" target="_self">SVF::LoadMU< Cond ></a></td><td class="desc"></td></tr>
|
|
428
|
+
<tr id="row_163_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetMU.html" target="_self">SVF::RetMU< Cond ></a></td><td class="desc"></td></tr>
|
|
429
|
+
<tr id="row_164_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAResultValidator.html" target="_self">SVF::MTAResultValidator</a></td><td class="desc"></td></tr>
|
|
430
|
+
<tr id="row_165_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structMtrNode.html" target="_self">MtrNode</a></td><td class="desc"></td></tr>
|
|
431
|
+
<tr id="row_166_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html" target="_self">SVF::VersionedFlowSensitive::SCC::NodeData</a></td><td class="desc"></td></tr>
|
|
432
|
+
<tr id="row_167_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NodeIDAllocator.html" target="_self">SVF::NodeIDAllocator</a></td><td class="desc"></td></tr>
|
|
433
|
+
<tr id="row_168_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjTypeInfo.html" target="_self">SVF::ObjTypeInfo</a></td><td class="desc"></td></tr>
|
|
434
|
+
<tr id="row_169_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Options.html" target="_self">SVF::Options</a></td><td class="desc">Carries around command line options </td></tr>
|
|
435
|
+
<tr id="row_170_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PAGBuilderFromFile.html" target="_self">SVF::PAGBuilderFromFile</a></td><td class="desc"></td></tr>
|
|
436
|
+
<tr id="row_171_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structparse__buffer.html" target="_self">parse_buffer</a></td><td class="desc"></td></tr>
|
|
437
|
+
<tr id="row_172_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PathCondAllocator.html" target="_self">SVF::PathCondAllocator</a></td><td class="desc"></td></tr>
|
|
438
|
+
<tr id="row_173_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PCG.html" target="_self">SVF::PCG</a></td><td class="desc"></td></tr>
|
|
439
|
+
<tr id="row_174_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache< Data ></a></td><td class="desc"></td></tr>
|
|
440
|
+
<tr id="row_175_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache< DataSet ></a></td><td class="desc"></td></tr>
|
|
441
|
+
<tr id="row_176_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache< SVF::PointsTo ></a></td><td class="desc"></td></tr>
|
|
442
|
+
<tr id="row_177_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_177_" class="arrow" onclick="toggleFolder('177_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointerAnalysis.html" target="_self">SVF::PointerAnalysis</a></td><td class="desc"></td></tr>
|
|
443
|
+
<tr id="row_177_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_177_0_" class="arrow" onclick="toggleFolder('177_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl< ContextCond ></a></td><td class="desc"></td></tr>
|
|
444
|
+
<tr id="row_177_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ContextDDA.html" target="_self">SVF::ContextDDA</a></td><td class="desc"></td></tr>
|
|
445
|
+
<tr id="row_177_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_177_1_" class="arrow" onclick="toggleFolder('177_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BVDataPTAImpl.html" target="_self">SVF::BVDataPTAImpl</a></td><td class="desc"></td></tr>
|
|
446
|
+
<tr id="row_177_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_177_1_0_" class="arrow" onclick="toggleFolder('177_1_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
|
|
447
|
+
<tr id="row_177_1_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_177_1_0_0_" class="arrow" onclick="toggleFolder('177_1_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Andersen.html" target="_self">SVF::Andersen</a></td><td class="desc"></td></tr>
|
|
448
|
+
<tr id="row_177_1_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span id="arr_177_1_0_0_0_" class="arrow" onclick="toggleFolder('177_1_0_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHCD.html" target="_self">SVF::AndersenHCD</a></td><td class="desc"></td></tr>
|
|
449
|
+
<tr id="row_177_1_0_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHLCD.html" target="_self">SVF::AndersenHLCD</a></td><td class="desc"></td></tr>
|
|
450
|
+
<tr id="row_177_1_0_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span id="arr_177_1_0_0_1_" class="arrow" onclick="toggleFolder('177_1_0_0_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenLCD.html" target="_self">SVF::AndersenLCD</a></td><td class="desc"></td></tr>
|
|
451
|
+
<tr id="row_177_1_0_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHLCD.html" target="_self">SVF::AndersenHLCD</a></td><td class="desc"></td></tr>
|
|
452
|
+
<tr id="row_177_1_0_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span id="arr_177_1_0_0_2_" class="arrow" onclick="toggleFolder('177_1_0_0_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSCD.html" target="_self">SVF::AndersenSCD</a></td><td class="desc"></td></tr>
|
|
453
|
+
<tr id="row_177_1_0_0_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSFR.html" target="_self">SVF::AndersenSFR</a></td><td class="desc"></td></tr>
|
|
454
|
+
<tr id="row_177_1_0_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenWaveDiff.html" target="_self">SVF::AndersenWaveDiff</a></td><td class="desc"></td></tr>
|
|
455
|
+
<tr id="row_177_1_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Steensgaard.html" target="_self">SVF::Steensgaard</a></td><td class="desc"></td></tr>
|
|
456
|
+
<tr id="row_177_1_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeAnalysis.html" target="_self">SVF::TypeAnalysis</a></td><td class="desc"></td></tr>
|
|
457
|
+
<tr id="row_177_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowDDA.html" target="_self">SVF::FlowDDA</a></td><td class="desc"></td></tr>
|
|
458
|
+
<tr id="row_177_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_177_1_2_" class="arrow" onclick="toggleFolder('177_1_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
|
|
459
|
+
<tr id="row_177_1_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
|
|
460
|
+
<tr id="row_177_1_2_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FSMPTA.html" target="_self">SVF::FSMPTA</a></td><td class="desc"></td></tr>
|
|
461
|
+
<tr id="row_177_1_2_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive.html" target="_self">SVF::VersionedFlowSensitive</a></td><td class="desc"></td></tr>
|
|
462
|
+
<tr id="row_177_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLAlias.html" target="_self">SVF::CFLAlias</a></td><td class="desc"></td></tr>
|
|
463
|
+
<tr id="row_177_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl< Cond ></a></td><td class="desc"></td></tr>
|
|
464
|
+
<tr id="row_178_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo.html" target="_self">SVF::PointsTo</a></td><td class="desc"></td></tr>
|
|
465
|
+
<tr id="row_179_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html" target="_self">SVF::PointsTo::PointsToIterator</a></td><td class="desc"></td></tr>
|
|
466
|
+
<tr id="row_180_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structprintbuffer.html" target="_self">printbuffer</a></td><td class="desc"></td></tr>
|
|
467
|
+
<tr id="row_181_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ProgSlice.html" target="_self">SVF::ProgSlice</a></td><td class="desc"></td></tr>
|
|
468
|
+
<tr id="row_182_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACFInfoBuilder.html" target="_self">SVF::PTACFInfoBuilder</a></td><td class="desc"></td></tr>
|
|
469
|
+
<tr id="row_183_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTASCEV.html" target="_self">SVF::PTASCEV</a></td><td class="desc"></td></tr>
|
|
470
|
+
<tr id="row_184_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_184_" class="arrow" onclick="toggleFolder('184_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTAStat.html" target="_self">SVF::PTAStat</a></td><td class="desc"></td></tr>
|
|
471
|
+
<tr id="row_184_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenStat.html" target="_self">SVF::AndersenStat</a></td><td class="desc"></td></tr>
|
|
472
|
+
<tr id="row_184_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAStat.html" target="_self">SVF::DDAStat</a></td><td class="desc"></td></tr>
|
|
473
|
+
<tr id="row_184_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveStat.html" target="_self">SVF::FlowSensitiveStat</a></td><td class="desc"></td></tr>
|
|
474
|
+
<tr id="row_184_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGStat.html" target="_self">SVF::ICFGStat</a></td><td class="desc"></td></tr>
|
|
475
|
+
<tr id="row_184_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSAStat.html" target="_self">SVF::MemSSAStat</a></td><td class="desc"></td></tr>
|
|
476
|
+
<tr id="row_184_5_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAStat.html" target="_self">SVF::MTAStat</a></td><td class="desc"></td></tr>
|
|
477
|
+
<tr id="row_184_6_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGStat.html" target="_self">SVF::SVFGStat</a></td><td class="desc"></td></tr>
|
|
478
|
+
<tr id="row_184_7_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html" target="_self">SVF::VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
|
|
479
|
+
<tr id="row_185_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_185_" class="arrow" onclick="toggleFolder('185_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
480
|
+
<tr id="row_185_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_185_0_" class="arrow" onclick="toggleFolder('185_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DFPTData.html" target="_self">SVF::DFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
481
|
+
<tr id="row_185_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_185_0_0_" class="arrow" onclick="toggleFolder('185_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDFPTData.html" target="_self">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
482
|
+
<tr id="row_185_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableIncDFPTData.html" target="_self">SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
|
|
483
|
+
<tr id="row_185_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_185_0_1_" class="arrow" onclick="toggleFolder('185_0_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDFPTData.html" target="_self">SVF::PersistentDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
|
|
484
|
+
<tr id="row_185_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentIncDFPTData.html" target="_self">SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
|
|
485
|
+
<tr id="row_185_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_185_1_" class="arrow" onclick="toggleFolder('185_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DiffPTData.html" target="_self">SVF::DiffPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
486
|
+
<tr id="row_185_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDiffPTData.html" target="_self">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with points-to sets which are updated continuously </td></tr>
|
|
487
|
+
<tr id="row_185_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDiffPTData.html" target="_self">SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with a persistent points-to backing </td></tr>
|
|
488
|
+
<tr id="row_185_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutablePTData.html" target="_self">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> implemented using points-to sets which are created once and updated continuously </td></tr>
|
|
489
|
+
<tr id="row_185_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPTData.html" target="_self">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
|
|
490
|
+
<tr id="row_185_4_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_185_4_" class="arrow" onclick="toggleFolder('185_4_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedPTData.html" target="_self">SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a></td><td class="desc"></td></tr>
|
|
491
|
+
<tr id="row_185_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableVersionedPTData.html" target="_self">SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a></td><td class="desc"></td></tr>
|
|
492
|
+
<tr id="row_185_4_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentVersionedPTData.html" target="_self">SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a></td><td class="desc"></td></tr>
|
|
493
|
+
<tr id="row_186_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_186_" class="arrow" onclick="toggleFolder('186_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData< VersionedKey, VersionedKeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
494
|
+
<tr id="row_186_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutablePTData.html" target="_self">SVF::MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
495
|
+
<tr id="row_186_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPTData.html" target="_self">SVF::PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
496
|
+
<tr id="row_187_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_187_" class="arrow" onclick="toggleFolder('187_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator.html" target="_self">SVF::RaceResultValidator</a></td><td class="desc">Validate the result of concurrent analysis </td></tr>
|
|
497
|
+
<tr id="row_187_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHPValidator.html" target="_self">SVF::MHPValidator</a></td><td class="desc"></td></tr>
|
|
498
|
+
<tr id="row_187_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceValidator.html" target="_self">SVF::RaceValidator</a></td><td class="desc"></td></tr>
|
|
499
|
+
<tr id="row_188_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberCheckerAPI.html" target="_self">SVF::SaberCheckerAPI</a></td><td class="desc"></td></tr>
|
|
500
|
+
<tr id="row_189_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html" target="_self">SVF::VersionedFlowSensitive::SCC</a></td><td class="desc"></td></tr>
|
|
501
|
+
<tr id="row_190_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SCCDetection.html" target="_self">SVF::SCCDetection< GraphType ></a></td><td class="desc"></td></tr>
|
|
502
|
+
<tr id="row_191_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html" target="_self">SVF::SVFUtil::simplify_type< From ></a></td><td class="desc"></td></tr>
|
|
503
|
+
<tr id="row_192_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html" target="_self">SVF::SVFUtil::simplify_type< const From ></a></td><td class="desc"></td></tr>
|
|
504
|
+
<tr id="row_193_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkSolver.html" target="_self">SVF::SrcSnkSolver< GraphType, DPIm ></a></td><td class="desc"></td></tr>
|
|
505
|
+
<tr id="row_194_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structst__generator.html" target="_self">st_generator</a></td><td class="desc"></td></tr>
|
|
506
|
+
<tr id="row_195_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structst__table.html" target="_self">st_table</a></td><td class="desc"></td></tr>
|
|
507
|
+
<tr id="row_196_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structst__table__entry.html" target="_self">st_table_entry</a></td><td class="desc"></td></tr>
|
|
508
|
+
<tr id="row_197_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StInfo.html" target="_self">SVF::StInfo</a></td><td class="desc"></td></tr>
|
|
509
|
+
<tr id="row_198_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_198_" class="arrow" onclick="toggleFolder('198_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGBuilder.html" target="_self">SVF::SVFGBuilder</a></td><td class="desc"></td></tr>
|
|
510
|
+
<tr id="row_198_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTASVFGBuilder.html" target="_self">SVF::MTASVFGBuilder</a></td><td class="desc"></td></tr>
|
|
511
|
+
<tr id="row_198_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberSVFGBuilder.html" target="_self">SVF::SaberSVFGBuilder</a></td><td class="desc"></td></tr>
|
|
512
|
+
<tr id="row_199_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html" target="_self">SVF::SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
|
|
513
|
+
<tr id="row_200_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFLoop.html" target="_self">SVF::SVFLoop</a></td><td class="desc"></td></tr>
|
|
514
|
+
<tr id="row_201_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModule.html" target="_self">SVF::SVFModule</a></td><td class="desc"></td></tr>
|
|
515
|
+
<tr id="row_202_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_202_" class="arrow" onclick="toggleFolder('202_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFValue.html" target="_self">SVF::SVFValue</a></td><td class="desc"></td></tr>
|
|
516
|
+
<tr id="row_202_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBasicBlock.html" target="_self">SVF::SVFBasicBlock</a></td><td class="desc"></td></tr>
|
|
517
|
+
<tr id="row_202_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFFunction.html" target="_self">SVF::SVFFunction</a></td><td class="desc"></td></tr>
|
|
518
|
+
<tr id="row_202_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGlobal.html" target="_self">SVF::SVFGlobal</a></td><td class="desc"></td></tr>
|
|
519
|
+
<tr id="row_203_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html" target="_self">SVF::GrammarBase::Symbol</a></td><td class="desc"></td></tr>
|
|
520
|
+
<tr id="row_204_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html" target="_self">SVF::GrammarBase::SymbolHash</a></td><td class="desc"></td></tr>
|
|
521
|
+
<tr id="row_205_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableBuilder.html" target="_self">SVF::SymbolTableBuilder</a></td><td class="desc"></td></tr>
|
|
522
|
+
<tr id="row_206_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfo.html" target="_self">SVF::SymbolTableInfo</a></td><td class="desc"></td></tr>
|
|
523
|
+
<tr id="row_207_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html" target="_self">SVF::GrammarBase::SymbolVectorHash</a></td><td class="desc"></td></tr>
|
|
524
|
+
<tr id="row_208_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymState.html" target="_self">SVF::SymState</a></td><td class="desc"></td></tr>
|
|
525
|
+
<tr id="row_209_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadAPI.html" target="_self">SVF::ThreadAPI</a></td><td class="desc"></td></tr>
|
|
526
|
+
<tr id="row_210_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_210_" class="arrow" onclick="toggleFolder('210_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeBasedHeapCloning.html" target="_self">SVF::TypeBasedHeapCloning</a></td><td class="desc"></td></tr>
|
|
527
|
+
<tr id="row_210_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
|
|
528
|
+
<tr id="row_211_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAPass.html" target="_self">SVF::WPAPass</a></td><td class="desc"></td></tr>
|
|
529
|
+
<tr id="row_212_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_212_" class="arrow" onclick="toggleFolder('212_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">SVF::WPASolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
530
|
+
<tr id="row_212_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
|
|
531
|
+
<tr id="row_212_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_212_1_" class="arrow" onclick="toggleFolder('212_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">SVF::WPAFSSolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
532
|
+
<tr id="row_212_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
|
|
533
|
+
<tr id="row_212_1_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_212_1_1_" class="arrow" onclick="toggleFolder('212_1_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">SVF::WPASCCSolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
534
|
+
<tr id="row_212_1_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAMinimumSolver.html" target="_self">SVF::WPAMinimumSolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
535
|
+
<tr id="row_213_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Z3Expr.html" target="_self">SVF::Z3Expr</a></td><td class="desc"></td></tr>
|
|
531
536
|
</table>
|
|
532
537
|
</div><!-- directory -->
|
|
533
538
|
</div><!-- contents -->
|