svf-tools 1.0.615 → 1.0.617
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/AndersenPWC_8h_source.html +3 -3
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +31 -31
- package/SVF-doxygen/html/html/Andersen_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -2
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8h_source.html +3 -2
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +27 -26
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +27 -26
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp.html +0 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +16 -20
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +68 -69
- package/SVF-doxygen/html/html/SVFG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VFG_8h_source.html +3 -2
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/annotated.html +188 -189
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +52 -53
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +85 -87
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +43 -44
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +13 -14
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +52 -53
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +12 -14
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +56 -57
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +53 -54
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +9 -11
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +27 -28
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +96 -120
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +33 -34
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +31 -32
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +4 -6
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +34 -35
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +110 -110
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +60 -61
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +4 -6
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +56 -57
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +21 -23
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +82 -81
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +139 -102
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +46 -47
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +5 -7
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TCT-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +76 -77
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +3 -5
- package/SVF-doxygen/html/html/classes.html +99 -99
- package/SVF-doxygen/html/html/dir_967d846b666a902c6ca9bc5c37976e49.html +0 -2
- package/SVF-doxygen/html/html/files.html +5 -6
- package/SVF-doxygen/html/html/functions_0x7e.html +0 -3
- package/SVF-doxygen/html/html/functions_a.html +9 -15
- package/SVF-doxygen/html/html/functions_b.html +5 -2
- package/SVF-doxygen/html/html/functions_c.html +1 -1
- package/SVF-doxygen/html/html/functions_func.html +11 -17
- package/SVF-doxygen/html/html/functions_func_0x7e.html +0 -3
- package/SVF-doxygen/html/html/functions_func_b.html +4 -1
- package/SVF-doxygen/html/html/functions_func_g.html +8 -11
- package/SVF-doxygen/html/html/functions_func_i.html +7 -10
- package/SVF-doxygen/html/html/functions_func_p.html +2 -29
- package/SVF-doxygen/html/html/functions_func_r.html +3 -9
- package/SVF-doxygen/html/html/functions_func_w.html +5 -8
- package/SVF-doxygen/html/html/functions_g.html +14 -17
- package/SVF-doxygen/html/html/functions_i.html +15 -18
- package/SVF-doxygen/html/html/functions_m.html +1 -4
- package/SVF-doxygen/html/html/functions_o.html +12 -12
- package/SVF-doxygen/html/html/functions_p.html +17 -45
- package/SVF-doxygen/html/html/functions_r.html +3 -11
- package/SVF-doxygen/html/html/functions_s.html +17 -15
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_c.html +1 -1
- package/SVF-doxygen/html/html/functions_type_i.html +2 -2
- package/SVF-doxygen/html/html/functions_type_v.html +1 -1
- package/SVF-doxygen/html/html/functions_v.html +7 -7
- package/SVF-doxygen/html/html/functions_vars_m.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_p.html +0 -3
- package/SVF-doxygen/html/html/functions_w.html +4 -7
- package/SVF-doxygen/html/html/hierarchy.html +194 -195
- package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +0 -2
- package/SVF-doxygen/html/html/search/all_1.js +0 -2
- package/SVF-doxygen/html/html/search/all_10.js +6 -16
- package/SVF-doxygen/html/html/search/all_11.js +1 -3
- package/SVF-doxygen/html/html/search/all_12.js +12 -12
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +4 -4
- package/SVF-doxygen/html/html/search/all_16.js +2 -3
- package/SVF-doxygen/html/html/search/all_19.js +0 -1
- package/SVF-doxygen/html/html/search/all_2.js +1 -0
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +0 -1
- package/SVF-doxygen/html/html/search/all_9.js +6 -8
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +3 -4
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/classes_8.js +0 -1
- package/SVF-doxygen/html/html/search/files_7.js +0 -1
- package/SVF-doxygen/html/html/search/functions_0.js +0 -2
- package/SVF-doxygen/html/html/search/functions_1.js +1 -0
- package/SVF-doxygen/html/html/search/functions_10.js +0 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_15.js +1 -2
- package/SVF-doxygen/html/html/search/functions_17.js +0 -1
- package/SVF-doxygen/html/html/search/functions_6.js +0 -1
- package/SVF-doxygen/html/html/search/functions_8.js +1 -2
- package/SVF-doxygen/html/html/search/functions_d.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +0 -9
- package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_7.js +3 -3
- package/SVF-doxygen/html/html/search/variables_10.js +0 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_d.js +0 -1
- package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/include/Graphs/ConsG.h +1 -1
- package/include/Graphs/GenericGraph.h +1 -1
- package/include/Graphs/ICFG.h +1 -1
- package/include/Graphs/VFG.h +1 -1
- package/include/MemoryModel/PointerAnalysisImpl.h +1 -2
- package/include/SVF-LLVM/LLVMModule.h +1 -0
- package/lib/MemoryModel/PointerAnalysisImpl.cpp +87 -63
- package/lib/SVF-LLVM/LLVMModule.cpp +11 -2
- package/lib/WPA/Andersen.cpp +9 -2
- package/package.json +1 -1
- package/include/SVF-LLVM/IRAnnotator.h +0 -324
|
@@ -89,8 +89,8 @@ Inheritance diagram for SVF::ICFG:</div>
|
|
|
89
89
|
<table class="memberdecls">
|
|
90
90
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
|
|
91
91
|
Public Types</h2></td></tr>
|
|
92
|
-
<tr class="memitem:
|
|
93
|
-
<tr class="separator:
|
|
92
|
+
<tr class="memitem:abd1b5ed3f7d29f846d5714f40106781b"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>< <a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a>, <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b">ICFGNodeIDToNodeMapTy</a></td></tr>
|
|
93
|
+
<tr class="separator:abd1b5ed3f7d29f846d5714f40106781b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
94
94
|
<tr class="memitem:a20ea3e37e9c3c7d3138ff593041a8e47"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">ICFGEdge::ICFGEdgeSetTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47">ICFGEdgeSetTy</a></td></tr>
|
|
95
95
|
<tr class="separator:a20ea3e37e9c3c7d3138ff593041a8e47"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
96
|
<tr class="memitem:a498f84068ef643a94970aeb171607e31"><td class="memItemLeft" align="right" valign="top">typedef ICFGNodeIDToNodeMapTy::iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31">iterator</a></td></tr>
|
|
@@ -116,9 +116,9 @@ Public Types</h2></td></tr>
|
|
|
116
116
|
<tr class="separator:a86c50fc6775fd29f88df2cb4646bb211 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
117
117
|
<tr class="memitem:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef EdgeTy </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a></td></tr>
|
|
118
118
|
<tr class="separator:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
119
|
-
<tr class="memitem:
|
|
120
|
-
<tr class="memdesc:
|
|
121
|
-
<tr class="separator:
|
|
119
|
+
<tr class="memitem:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>< <a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a>, <a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> * > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a></td></tr>
|
|
120
|
+
<tr class="memdesc:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft"> </td><td class="mdescRight">NodeID to <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a> map. <a href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">More...</a><br /></td></tr>
|
|
121
|
+
<tr class="separator:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
122
122
|
<tr class="memitem:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef IDToNodeMapTy::iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a></td></tr>
|
|
123
123
|
<tr class="memdesc:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft"> </td><td class="mdescRight">Node Iterators. <a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">More...</a><br /></td></tr>
|
|
124
124
|
<tr class="separator:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -333,7 +333,7 @@ Friends</h2></td></tr>
|
|
|
333
333
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
334
334
|
Additional Inherited Members</h2></td></tr>
|
|
335
335
|
<tr class="inherit_header pro_attribs_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< NodeTy, EdgeTy ></a></td></tr>
|
|
336
|
-
<tr class="memitem:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
336
|
+
<tr class="memitem:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td></tr>
|
|
337
337
|
<tr class="memdesc:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft"> </td><td class="mdescRight">node map <a href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">More...</a><br /></td></tr>
|
|
338
338
|
<tr class="separator:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
339
339
|
</table>
|
|
@@ -437,14 +437,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
437
437
|
|
|
438
438
|
</div>
|
|
439
439
|
</div>
|
|
440
|
-
<a id="
|
|
441
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
440
|
+
<a id="abd1b5ed3f7d29f846d5714f40106781b"></a>
|
|
441
|
+
<h2 class="memtitle"><span class="permalink"><a href="#abd1b5ed3f7d29f846d5714f40106781b">◆ </a></span>ICFGNodeIDToNodeMapTy</h2>
|
|
442
442
|
|
|
443
443
|
<div class="memitem">
|
|
444
444
|
<div class="memproto">
|
|
445
445
|
<table class="memname">
|
|
446
446
|
<tr>
|
|
447
|
-
<td class="memname">typedef <a class="el" href="namespaceSVF.html#
|
|
447
|
+
<td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a><<a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a>, <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *> <a class="el" href="classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b">SVF::ICFG::ICFGNodeIDToNodeMapTy</a></td>
|
|
448
448
|
</tr>
|
|
449
449
|
</table>
|
|
450
450
|
</div><div class="memdoc">
|
|
@@ -560,7 +560,7 @@ Private Attributes</h2></td></tr>
|
|
|
560
560
|
<div class="ttc" id="classSVF_1_1SVFInstruction_html_a454f676881eecf4b7399649a81180b5d"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">SVF::SVFInstruction::isRetInst</a></div><div class="ttdeci">bool isRetInst() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00629">SVFValue.h:629</a></div></div>
|
|
561
561
|
<div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_a3b2ca48c72fba877c6cb3d52e23704e3"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a3b2ca48c72fba877c6cb3d52e23704e3">SVF::LLVMUtil::getNextInsts</a></div><div class="ttdeci">void getNextInsts(const Instruction *curInst, std::vector< const SVFInstruction *> &instList)</div><div class="ttdoc">Get the next instructions following control flow. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00271">LLVMUtil.cpp:271</a></div></div>
|
|
562
562
|
<div class="ttc" id="classSVF_1_1ICFGBuilder_html_adefeaad9c02000f263430dfee7149ea6"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6">SVF::ICFGBuilder::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00048">ICFGBuilder.h:48</a></div></div>
|
|
563
|
-
<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#
|
|
563
|
+
<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00932">LLVMModule.cpp:932</a></div></div>
|
|
564
564
|
<div class="ttc" id="classSVF_1_1ICFG_html_adafd8bbb91507a9a78a3f16305812afc"><div class="ttname"><a href="classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc">SVF::ICFG::addIntraEdge</a></div><div class="ttdeci">ICFGEdge * addIntraEdge(ICFGNode *srcNode, ICFGNode *dstNode)</div><div class="ttdoc">Add control-flow edges for top level pointers. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00364">ICFG.cpp:364</a></div></div>
|
|
565
565
|
<div class="ttc" id="classSVF_1_1ICFG_html_a1589272ab8eff17c1973f17038ef6eb3"><div class="ttname"><a href="classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3">SVF::ICFG::addConditionalIntraEdge</a></div><div class="ttdeci">ICFGEdge * addConditionalIntraEdge(ICFGNode *srcNode, ICFGNode *dstNode, const SVFValue *condition, s32_t branchCondVal)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00383">ICFG.cpp:383</a></div></div>
|
|
566
566
|
<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_ae74f307b6f96950ceedb2c375ef1c3a3"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">SVF::LLVMModuleSet::getSVFInstruction</a></div><div class="ttdeci">SVFInstruction * getSVFInstruction(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00208">LLVMModule.h:208</a></div></div>
|
|
@@ -112,7 +112,7 @@ $(function() {
|
|
|
112
112
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407">hasNonlabeledEdge</a>(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
113
113
|
<tr><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a401ec65771a3d2dcc8eb60574aadd354">hasValueNode</a>(const SVFValue *V)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
114
114
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
115
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
115
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"></td></tr>
|
|
116
116
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">incEdgeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
117
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a7388dabef7300e77adf33f3999639f21">incNodeNum</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
118
118
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html#a34f7644ccf88fc0911c0b4f625dc1f28">IRGraph</a>(bool buildFromFile)</td><td class="entry"><a class="el" href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -96,9 +96,9 @@ Public Types</h2></td></tr>
|
|
|
96
96
|
<tr class="separator:a86c50fc6775fd29f88df2cb4646bb211 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
97
|
<tr class="memitem:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30">EdgeType</a></td></tr>
|
|
98
98
|
<tr class="separator:a12d493d6ad2b6c89f240c9ccfa3bdf30 inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
99
|
-
<tr class="memitem:
|
|
100
|
-
<tr class="memdesc:
|
|
101
|
-
<tr class="separator:
|
|
99
|
+
<tr class="memitem:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>< <a class="el" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a>, <a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">NodeType</a> *> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a></td></tr>
|
|
100
|
+
<tr class="memdesc:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft"> </td><td class="mdescRight">NodeID to GenericNode map. <a href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">More...</a><br /></td></tr>
|
|
101
|
+
<tr class="separator:afe017704d73445211fecaf7f3853010e inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
102
|
<tr class="memitem:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top">typedef IDToNodeMapTy::iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">iterator</a></td></tr>
|
|
103
103
|
<tr class="memdesc:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="mdescLeft"> </td><td class="mdescRight">Node Iterators. <a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">More...</a><br /></td></tr>
|
|
104
104
|
<tr class="separator:ac213302cf5c7cdf3b66f7b18649d0fbc inherit pub_types_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -249,7 +249,7 @@ Protected Attributes</h2></td></tr>
|
|
|
249
249
|
<tr class="memitem:a679145e7bf818b0a19005dc8e2845fe1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SymbolTableInfo.html">SymbolTableInfo</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td></tr>
|
|
250
250
|
<tr class="separator:a679145e7bf818b0a19005dc8e2845fe1"><td class="memSeparator" colspan="2"> </td></tr>
|
|
251
251
|
<tr class="inherit_header pro_attribs_classSVF_1_1GenericGraph"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1GenericGraph')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph< SVFVar, SVFStmt ></a></td></tr>
|
|
252
|
-
<tr class="memitem:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#
|
|
252
|
+
<tr class="memitem:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e">IDToNodeMapTy</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td></tr>
|
|
253
253
|
<tr class="memdesc:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="mdescLeft"> </td><td class="mdescRight">node map <a href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">More...</a><br /></td></tr>
|
|
254
254
|
<tr class="separator:a47a1ef8b67b0c92f78b4457dc3bbfe71 inherit pro_attribs_classSVF_1_1GenericGraph"><td class="memSeparator" colspan="2"> </td></tr>
|
|
255
255
|
</table><table class="memberdecls">
|
|
@@ -80,87 +80,88 @@ $(function() {
|
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1">addSVFMain</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
81
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073">addSVFTypeInfo</a>(const Type *t)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
82
82
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">build</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
87
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
88
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
89
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
90
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
91
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
92
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
93
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
94
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
95
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
96
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
97
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
98
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
99
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
100
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
101
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
102
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
103
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
104
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
105
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
106
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
107
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
108
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
109
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
110
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
111
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
113
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
115
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
117
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
129
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
133
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
135
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
137
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
139
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
140
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
141
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
142
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
143
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
145
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
146
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
147
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
148
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
149
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
150
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
151
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
152
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
153
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
154
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
155
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
156
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
157
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
158
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
159
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
160
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
161
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
162
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
163
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#afb6ac5d4e334d6e3acb66c8e33ae8d18">build_symbol_table</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628">buildFunToFunMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47">buildGlobalDefToRepMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
86
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">buildSVFModule</a>(Module &mod)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">buildSVFModule</a>(const std::vector< std::string > &moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
88
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa8de934358332505d4805db137d8ec29">collectArrayInfo</a>(const ArrayType *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
89
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#abcd6d9513511e6a306189a87fe3dfa06">collectSimpleTypeInfo</a>(StInfo *info, const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
90
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a93315673be515ce5c2fabd36fa927128">collectStructInfo</a>(const StructType *T, u32_t &nf)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
91
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">collectTypeInfo</a>(const Type *ty)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
92
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4ca8c4678a7fefe26372fc1f4b2880fd">createSVFDataStructure</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
93
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">cxts</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
94
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad5ef9421d501b2747d4fb31d4189b53f">dumpModulesToFile</a>(const std::string suffix)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
95
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae19e38054c55d5822dfc83a12f12aa60">empty</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
96
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181">FunctionSetType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
97
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aee80b29e5246e3eaa0e30e165346101f">FunDeclToDefMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
98
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a">FunDeclToDefMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
99
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee">FunDefToDeclsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
100
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed">FunDefToDeclsMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
101
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">getContext</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000">getDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a6e670254385050b9a5e612f881b07b9c">getDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
104
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">getGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa1250575db489dc57583b3641fd78b88">getLLVMGlobalFunctions</a>(const GlobalVariable *global)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
106
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4091b12bdfe4423d8114612a199bc480">getLLVMModules</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
107
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">getLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
108
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a610a7777a48132caadec167c8109f044">getLLVMType</a>(const SVFType *T) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
109
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">getLLVMValue</a>(const SVFValue *value) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fe3fa15a6a0ec25864cb8439a45596e">getMainLLVMModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8afb7ab3ee4632e78d546e549110e74c">getModule</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">getModuleNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
113
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481">getModuleRef</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
114
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">getOtherSVFConstant</a>(const Constant *oc)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
115
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711">getSVFArgument</a>(const Argument *arg) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
116
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9">getSVFBasicBlock</a>(const BasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">getSVFConstantData</a>(const ConstantData *cd)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">getSVFFunction</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#affc126c56bc3146bef55c74a2bd8bc21">getSVFFunction</a>(std::string name)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3cbba2eb702a3481478b2590dfffa352">getSVFGlobalValue</a>(const GlobalValue *g) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">getSVFInstruction</a>(const Instruction *inst) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e">getSVFModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0ef17c1d5e6a95c597d2334ea577a965">getSVFOtherValue</a>(const Value *ov)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">getSVFValue</a>(const Value *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">GlobalDefToRepMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459">GlobalDefToRepMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620">hasDeclaration</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427">hasDefinition</a>(const Function *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b">hasGlobalRep</a>(const GlobalVariable *val) const</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8ba9092747108e0289014d52465a692d">initDomTree</a>(SVFFunction *func, const Function *f)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20162d2894d6a12ba29410311fba4002">initSVFBasicBlock</a>(const Function *func)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
133
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e">initSVFFunction</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a852524c71831d7b2da0e9b0b6b191480">LLVMArgument2SVFArgument</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0">LLVMArgument2SVFArgumentMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a0f9b36699b99dfcfe3c1588bfab6b97c">LLVMBB2SVFBB</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
137
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911">LLVMBB2SVFBBMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
138
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4b94c96898dbbc71bc1cee04786cf3dc">LLVMConst2SVFConst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
139
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede">LLVMConst2SVFConstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
140
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242">LLVMFun2SVFFunMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
141
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15">LLVMFunc2SVFFunc</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
142
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0">LLVMInst2SVFInst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
143
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f">LLVMInst2SVFInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
144
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">llvmModuleSet</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
145
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080">LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
146
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f">LLVMType2SVFType</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
147
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69">LLVMType2SVFTypeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
148
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3">LLVMValue2SVFOtherValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
149
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f">LLVMValue2SVFOtherValueMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
150
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789">loadModules</a>(const std::vector< std::string > &moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
151
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd">modules</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
152
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2">owned_modules</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
153
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb">prePassSchedule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
154
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04">preProcessBCs</a>(std::vector< std::string > &moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
155
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a14b0b55d397d6f8a5dfe3b574021f801">preProcessed</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
156
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">releaseLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
157
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a">setValueAttr</a>(const Value *val, SVFValue *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
158
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3e14bbb3ae0acc74775ac3233a84d379">svfModule</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
159
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVFValue2LLVMValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
160
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259">SVFValue2LLVMValueMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
161
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5552135a27684cbe4d2a5ed346f64644">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
162
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486">Type2TypeInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
163
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a026246497b363eeeabb519d845eb9c4b">Type2TypeInfoMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
164
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a57b4faba42847323d31cd5216146a7ec">~LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
164
165
|
</table></div><!-- contents -->
|
|
165
166
|
<!-- start footer part -->
|
|
166
167
|
<hr class="footer"/><address class="footer"><small>
|