svf-tools 1.0.312 → 1.0.313
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/AndersenSFR_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +6 -6
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -2
- package/SVF-doxygen/html/html/MemModel_8cpp_source.html +8 -52
- package/SVF-doxygen/html/html/MemModel_8h_source.html +44 -44
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -2
- package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PAGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PAGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PAG_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/PAG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +5 -5
- package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +12 -5
- package/SVF-doxygen/html/html/SymbolTableInfo_8h.html +0 -4
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +35 -37
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/annotated.html +134 -136
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +7 -10
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +92 -199
- package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +8 -10
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +67 -167
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1PAG.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilder.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +78 -73
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +343 -119
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/classes.html +90 -90
- package/SVF-doxygen/html/html/functions_0x7e.html +0 -6
- package/SVF-doxygen/html/html/functions_a.html +13 -10
- package/SVF-doxygen/html/html/functions_c.html +26 -24
- package/SVF-doxygen/html/html/functions_func.html +12 -9
- package/SVF-doxygen/html/html/functions_func_0x7e.html +0 -6
- package/SVF-doxygen/html/html/functions_func_c.html +13 -13
- package/SVF-doxygen/html/html/functions_func_g.html +11 -13
- package/SVF-doxygen/html/html/functions_func_i.html +8 -7
- package/SVF-doxygen/html/html/functions_func_l.html +2 -8
- package/SVF-doxygen/html/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/html/functions_func_v.html +0 -3
- package/SVF-doxygen/html/html/functions_g.html +6 -8
- package/SVF-doxygen/html/html/functions_i.html +10 -9
- package/SVF-doxygen/html/html/functions_l.html +1 -5
- package/SVF-doxygen/html/html/functions_m.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +3 -3
- package/SVF-doxygen/html/html/functions_s.html +6 -4
- package/SVF-doxygen/html/html/functions_t.html +7 -7
- package/SVF-doxygen/html/html/functions_u.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +5 -8
- package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
- package/SVF-doxygen/html/html/hierarchy.html +2 -4
- package/SVF-doxygen/html/html/namespaceSVF.html +0 -4
- package/SVF-doxygen/html/html/search/all_1.js +3 -2
- package/SVF-doxygen/html/html/search/all_10.js +2 -2
- package/SVF-doxygen/html/html/search/all_13.js +6 -6
- 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 -3
- package/SVF-doxygen/html/html/search/all_1b.js +0 -2
- package/SVF-doxygen/html/html/search/all_3.js +4 -3
- package/SVF-doxygen/html/html/search/all_7.js +2 -2
- package/SVF-doxygen/html/html/search/all_9.js +2 -1
- package/SVF-doxygen/html/html/search/all_c.js +2 -3
- package/SVF-doxygen/html/html/search/all_d.js +2 -2
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/classes_9.js +1 -3
- package/SVF-doxygen/html/html/search/functions_0.js +3 -2
- package/SVF-doxygen/html/html/search/functions_13.js +0 -1
- package/SVF-doxygen/html/html/search/functions_16.js +0 -2
- package/SVF-doxygen/html/html/search/functions_2.js +4 -3
- package/SVF-doxygen/html/html/search/functions_6.js +2 -2
- package/SVF-doxygen/html/html/search/functions_8.js +2 -1
- package/SVF-doxygen/html/html/search/functions_a.js +1 -3
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +2 -2
- package/SVF-doxygen/html/html/search/variables_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/include/MemoryModel/MemModel.h +5 -21
- package/include/SVF-FE/SymbolTableInfo.h +14 -56
- package/lib/MemoryModel/MemModel.cpp +10 -436
- package/lib/SVF-FE/SymbolTableInfo.cpp +136 -12
- package/lib/Util/Options.cpp +0 -8
- package/package.json +1 -1
|
@@ -531,7 +531,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
531
531
|
<p>Reimplemented in <a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN</a>.</p>
|
|
532
532
|
|
|
533
533
|
<p class="definition">Definition at line <a class="el" href="PAGNode_8h_source.html#l00373">373</a> of file <a class="el" href="PAGNode_8h_source.html">PAGNode.h</a>.</p>
|
|
534
|
-
<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>-><a class="code" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a>();</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  }</div><div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const
|
|
534
|
+
<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>-><a class="code" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a>();</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  }</div><div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get obj type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00152">MemModel.cpp:152</a></div></div>
|
|
535
535
|
<div class="ttc" id="classSVF_1_1ObjPN_html_a7ec3165f6b61b089e25447f55ebf86a8"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00324">PAGNode.h:324</a></div></div>
|
|
536
536
|
</div><!-- fragment -->
|
|
537
537
|
</div>
|
|
@@ -69,22 +69,20 @@ $(function() {
|
|
|
69
69
|
|
|
70
70
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a>, including all inherited members.</p>
|
|
71
71
|
<table class="directory">
|
|
72
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
73
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
72
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">analyzeHeapObjType</a>(const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
73
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211">analyzeStaticObjType</a>(const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047">CONST_ARRAY_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af11159d515b7cf1146b5342f64ee2da1">CONST_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
76
76
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">CONST_STRUCT_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
77
77
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe">flags</a></td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
78
78
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515">FUNCTION_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">getMaxFieldOffsetLimit</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c">HEAP_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
87
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#aba198ceecd53d73ab0b0deb0133cda0d">init</a>(const Value *value)</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b">GLOBVAR_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb">hasFlag</a>(MEMTYPE mask)</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9">HASPTR_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320">hasPtrObj</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c">HEAP_OBJ</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"></td></tr>
|
|
88
86
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a0627e8b9dda2e13cc77c334eefab21e1">isArray</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
89
87
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#a8c0ae8e177452b88b3a4ec81bf77c378">isConstant</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
88
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7">isConstArray</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|