svf-tools 1.0.471 → 1.0.474
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/AndersenStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
- 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 +5 -5
- package/SVF-doxygen/html/html/ExeState_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +15 -15
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +29 -21
- package/SVF-doxygen/html/html/LLVMUtil_8h.html +6 -0
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +40 -37
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/MHP_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +1 -1
- 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/ProgSlice_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +26 -26
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +6 -6
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +15 -15
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +43 -43
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +5 -5
- package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +53 -50
- package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +17 -16
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +77 -82
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +110 -108
- package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
- 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/VFGNode_8h_source.html +5 -5
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/VFG_8h_source.html +6 -6
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +17 -15
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +6 -4
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +2 -2
- 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_1ExeState.html +5 -5
- 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 +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +91 -91
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +94 -94
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +35 -35
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +2 -1
- package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +36 -36
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder-members.html +14 -13
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +129 -101
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +52 -50
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +232 -177
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +9 -9
- 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_1UnaryOPStmt.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/functions_b.html +6 -3
- package/SVF-doxygen/html/html/functions_c.html +21 -16
- package/SVF-doxygen/html/html/functions_func_c.html +16 -13
- package/SVF-doxygen/html/html/functions_func_i.html +5 -5
- package/SVF-doxygen/html/html/functions_i.html +6 -6
- package/SVF-doxygen/html/html/functions_l.html +4 -4
- package/SVF-doxygen/html/html/functions_n.html +3 -0
- package/SVF-doxygen/html/html/functions_o.html +13 -13
- package/SVF-doxygen/html/html/functions_p.html +10 -12
- package/SVF-doxygen/html/html/functions_r.html +5 -3
- package/SVF-doxygen/html/html/functions_s.html +9 -9
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_vars_b.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_n.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +10 -6
- package/SVF-doxygen/html/html/globals_r.html +3 -3
- package/SVF-doxygen/html/html/globals_s.html +6 -10
- package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +152 -85
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +2 -2
- package/SVF-doxygen/html/html/namespacemembers_func.html +14 -8
- package/SVF-doxygen/html/html/namespacemembers_i.html +10 -4
- package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_10.js +7 -7
- package/SVF-doxygen/html/html/search/all_12.js +4 -4
- package/SVF-doxygen/html/html/search/all_13.js +10 -10
- package/SVF-doxygen/html/html/search/all_14.js +7 -7
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_2.js +1 -0
- package/SVF-doxygen/html/html/search/all_3.js +1 -0
- package/SVF-doxygen/html/html/search/all_9.js +5 -5
- package/SVF-doxygen/html/html/search/all_c.js +4 -4
- package/SVF-doxygen/html/html/search/all_e.js +3 -2
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -0
- package/SVF-doxygen/html/html/search/functions_8.js +3 -3
- package/SVF-doxygen/html/html/search/variables_14.js +4 -4
- package/SVF-doxygen/html/html/search/variables_2.js +1 -0
- package/SVF-doxygen/html/html/search/variables_e.js +3 -2
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
- package/include/MemoryModel/SVFStatements.h +5 -3
- package/include/MemoryModel/SymbolTableInfo.h +3 -2
- package/include/SVF-FE/LLVMUtil.h +13 -3
- package/include/SVF-FE/SymbolTableBuilder.h +2 -0
- package/lib/MemoryModel/SymbolTableInfo.cpp +7 -36
- package/lib/SVF-FE/LLVMUtil.cpp +34 -0
- package/lib/SVF-FE/SVFIRBuilder.cpp +1 -1
- package/lib/SVF-FE/SymbolTableBuilder.cpp +21 -8
- package/package.json +1 -1
|
@@ -801,7 +801,7 @@ Friends</h2></td></tr>
|
|
|
801
801
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
|
|
802
802
|
<div class="ttc" id="classSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00175">GenericGraph.h:175</a></div></div>
|
|
803
803
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00072">SVFVariables.h:72</a></div></div>
|
|
804
|
-
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a2fc4bfb83b71a4c14e16168382cb8f5d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d">SVF::SymbolTableInfo::isBlkObjOrConstantObj</a></div><div class="ttdeci">static bool isBlkObjOrConstantObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
804
|
+
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a2fc4bfb83b71a4c14e16168382cb8f5d"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d">SVF::SymbolTableInfo::isBlkObjOrConstantObj</a></div><div class="ttdeci">static bool isBlkObjOrConstantObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00185">SymbolTableInfo.h:185</a></div></div>
|
|
805
805
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00169">GenericGraph.h:169</a></div></div>
|
|
806
806
|
<div class="ttc" id="classSVF_1_1SVFVar_html_a7deb494ac20ed56fca31a4f1fd92deea"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7deb494ac20ed56fca31a4f1fd92deea">SVF::SVFVar::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00080">SVFVariables.h:80</a></div></div>
|
|
807
807
|
</div><!-- fragment -->
|
|
@@ -696,7 +696,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
696
696
|
<div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_aee289e298e421448caaa604b7eb34fcb"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">virtual const PointsTo & getPts(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00099">PointerAnalysisImpl.h:99</a></div></div>
|
|
697
697
|
<div class="ttc" id="classSVF_1_1PointsTo_html_a879783ba6629e500af9aa7dfcda2563d"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a879783ba6629e500af9aa7dfcda2563d">SVF::PointsTo::count</a></div><div class="ttdeci">u32_t count(void) const</div><div class="ttdoc">Returns number of elements. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00107">PointsTo.cpp:107</a></div></div>
|
|
698
698
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_ae6ea391ac44dffeb6899bb44323c5361"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361">SVF::PointerAnalysis::isHeapMemObj</a></div><div class="ttdeci">bool isHeapMemObj(NodeID id) const</div><div class="ttdoc">Whether this object is heap or array. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00317">PointerAnalysis.h:317</a></div></div>
|
|
699
|
-
<div class="ttc" id="classSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#
|
|
699
|
+
<div class="ttc" id="classSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00664">SymbolTableInfo.cpp:664</a></div></div>
|
|
700
700
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a108380f6f0b67654bb7c7676686096c8"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8">SVF::PointerAnalysis::isLocalVarInRecursiveFun</a></div><div class="ttdeci">bool isLocalVarInRecursiveFun(NodeID id) const</div><div class="ttdoc">Whether a local variable is in function recursions. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00161">PointerAnalysis.cpp:161</a></div></div>
|
|
701
701
|
<div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00027">PointsTo.h:27</a></div></div>
|
|
702
702
|
</div><!-- fragment -->
|
|
@@ -388,9 +388,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
388
388
|
<p>constructor </p>
|
|
389
389
|
|
|
390
390
|
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00766">766</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
391
|
-
<div class="fragment"><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(s,opnds,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVFStmt::Select</a
|
|
391
|
+
<div class="fragment"><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(s,opnds,<a class="code" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVFStmt::Select</a>,opnds.at(1))), <a class="code" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">condition</a>(cond)</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  {</div><div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(opnds.size()==2 && <span class="stringliteral">"SelectStmt can only have two operands!"</span>);</div><div class="line"><a name="l00769"></a><span class="lineno"> 769</span>  }</div><div class="ttc" id="classSVF_1_1MultiOpndStmt_html_a60420a9681df31686eb4a42adf37e1e3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt()</div><div class="ttdoc">place holder </div></div>
|
|
392
392
|
<div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
393
393
|
<div class="ttc" id="classSVF_1_1SelectStmt_html_a2d6e9d7131bc69a0e88b703c2c03d7e2"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt::condition</a></div><div class="ttdeci">const SVFVar * condition</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00743">SVFStatements.h:743</a></div></div>
|
|
394
|
+
<div class="ttc" id="classSVF_1_1SVFStmt_html_a3b20523aed66ac8943d7d00ff777137b"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">SVF::SVFStmt::makeEdgeFlagWithAddionalOpnd</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithAddionalOpnd(GEdgeKind k, const SVFVar *var)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and second variable operand for MultiOpndStmt. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00138">SVFStatements.h:138</a></div></div>
|
|
394
395
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt::Select</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
395
396
|
</div><!-- fragment -->
|
|
396
397
|
</div>
|
|
@@ -150,7 +150,7 @@ Private Attributes</h2></td></tr>
|
|
|
150
150
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
151
151
|
<div class="textblock"><p>Flatterned type information of StructType, ArrayType and SingleValueType </p>
|
|
152
152
|
|
|
153
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
153
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00467">467</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
154
154
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
155
155
|
<a id="a72dd2114d61e1489676a524b83ebb5ac"></a>
|
|
156
156
|
<h2 class="memtitle"><span class="permalink"><a href="#a72dd2114d61e1489676a524b83ebb5ac">◆ </a></span>StInfo() <span class="overload">[1/3]</span></h2>
|
|
@@ -234,10 +234,10 @@ Private Attributes</h2></td></tr>
|
|
|
234
234
|
|
|
235
235
|
<p>Constructor. </p>
|
|
236
236
|
|
|
237
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
238
|
-
<div class="fragment"><div class="line"><a name="
|
|
239
|
-
<div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
240
|
-
<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
237
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00495">495</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
238
|
+
<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>  : <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>(s), <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>(s), <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>(s)</div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>  {</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00482">SymbolTableInfo.h:482</a></div></div>
|
|
239
|
+
<div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00480">SymbolTableInfo.h:480</a></div></div>
|
|
240
|
+
<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00484">SymbolTableInfo.h:484</a></div></div>
|
|
241
241
|
</div><!-- fragment -->
|
|
242
242
|
</div>
|
|
243
243
|
</div>
|
|
@@ -266,8 +266,8 @@ Private Attributes</h2></td></tr>
|
|
|
266
266
|
|
|
267
267
|
<p>Destructor. </p>
|
|
268
268
|
|
|
269
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
270
|
-
<div class="fragment"><div class="line"><a name="
|
|
269
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00499">499</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
270
|
+
<div class="fragment"><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>  {</div><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>  }</div></div><!-- fragment -->
|
|
271
271
|
</div>
|
|
272
272
|
</div>
|
|
273
273
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -307,9 +307,9 @@ Private Attributes</h2></td></tr>
|
|
|
307
307
|
<p>Add field (index and offset) with its corresponding type. </p>
|
|
308
308
|
|
|
309
309
|
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00058">58</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
|
|
310
|
-
<div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno"> 59</span> {</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>.push_back(elemIdx);</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span> }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector< u32_t > fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
311
|
-
<div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map< u32_t, const Type * > fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
312
|
-
<div class="ttc" id="classSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector< u32_t > elemIdxVec</div><div class="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
310
|
+
<div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno"> 59</span> {</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>.push_back(elemIdx);</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span> }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector< u32_t > fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00472">SymbolTableInfo.h:472</a></div></div>
|
|
311
|
+
<div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map< u32_t, const Type * > fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00476">SymbolTableInfo.h:476</a></div></div>
|
|
312
|
+
<div class="ttc" id="classSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector< u32_t > elemIdxVec</div><div class="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00474">SymbolTableInfo.h:474</a></div></div>
|
|
313
313
|
</div><!-- fragment -->
|
|
314
314
|
</div>
|
|
315
315
|
</div>
|
|
@@ -336,8 +336,8 @@ Private Attributes</h2></td></tr>
|
|
|
336
336
|
</table>
|
|
337
337
|
</div><div class="memdoc">
|
|
338
338
|
|
|
339
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
340
|
-
<div class="fragment"><div class="line"><a name="
|
|
339
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00513">513</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
340
|
+
<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>  {</div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">elemIdxVec</a>;</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a807ae5cb4d277c79f8b2c9ecde5f12ea"><div class="ttname"><a href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo::elemIdxVec</a></div><div class="ttdeci">std::vector< u32_t > elemIdxVec</div><div class="ttdoc">flattened element indices including structs and arrays by considering strides </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00474">SymbolTableInfo.h:474</a></div></div>
|
|
341
341
|
</div><!-- fragment -->
|
|
342
342
|
</div>
|
|
343
343
|
</div>
|
|
@@ -364,8 +364,8 @@ Private Attributes</h2></td></tr>
|
|
|
364
364
|
</table>
|
|
365
365
|
</div><div class="memdoc">
|
|
366
366
|
|
|
367
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
368
|
-
<div class="fragment"><div class="line"><a name="
|
|
367
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00509">509</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
368
|
+
<div class="fragment"><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>  {</div><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector< u32_t > fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00472">SymbolTableInfo.h:472</a></div></div>
|
|
369
369
|
</div><!-- fragment -->
|
|
370
370
|
</div>
|
|
371
371
|
</div>
|
|
@@ -392,8 +392,8 @@ Private Attributes</h2></td></tr>
|
|
|
392
392
|
</table>
|
|
393
393
|
</div><div class="memdoc">
|
|
394
394
|
|
|
395
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
396
|
-
<div class="fragment"><div class="line"><a name="
|
|
395
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00517">517</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
396
|
+
<div class="fragment"><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>  {</div><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd">flattenElementTypes</a>;</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a8b24c6a35701a719cd5f1deef62421cd"><div class="ttname"><a href="classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd">SVF::StInfo::flattenElementTypes</a></div><div class="ttdeci">std::vector< const Type * > flattenElementTypes</div><div class="ttdoc">Type vector of fields. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00486">SymbolTableInfo.h:486</a></div></div>
|
|
397
397
|
</div><!-- fragment -->
|
|
398
398
|
</div>
|
|
399
399
|
</div>
|
|
@@ -420,8 +420,8 @@ Private Attributes</h2></td></tr>
|
|
|
420
420
|
</table>
|
|
421
421
|
</div><div class="memdoc">
|
|
422
422
|
|
|
423
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
424
|
-
<div class="fragment"><div class="line"><a name="
|
|
423
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00521">521</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
424
|
+
<div class="fragment"><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>  {</div><div class="line"><a name="l00523"></a><span class="lineno"> 523</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a08cf9420a9c7d4019abee8b42fb578bf">finfo</a>;</div><div class="line"><a name="l00524"></a><span class="lineno"> 524</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a08cf9420a9c7d4019abee8b42fb578bf"><div class="ttname"><a href="classSVF_1_1StInfo.html#a08cf9420a9c7d4019abee8b42fb578bf">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector< const Type * > finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00478">SymbolTableInfo.h:478</a></div></div>
|
|
425
425
|
</div><!-- fragment -->
|
|
426
426
|
</div>
|
|
427
427
|
</div>
|
|
@@ -450,8 +450,8 @@ Private Attributes</h2></td></tr>
|
|
|
450
450
|
|
|
451
451
|
<p>Return number of elements after flattenning (including array elements) </p>
|
|
452
452
|
|
|
453
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
454
|
-
<div class="fragment"><div class="line"><a name="
|
|
453
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00538">538</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
454
|
+
<div class="fragment"><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>  {</div><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a>;</div><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00482">SymbolTableInfo.h:482</a></div></div>
|
|
455
455
|
</div><!-- fragment -->
|
|
456
456
|
</div>
|
|
457
457
|
</div>
|
|
@@ -480,8 +480,8 @@ Private Attributes</h2></td></tr>
|
|
|
480
480
|
|
|
481
481
|
<p>Return the number of fields after flattenning (ignoring array elements) </p>
|
|
482
482
|
|
|
483
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
484
|
-
<div class="fragment"><div class="line"><a name="
|
|
483
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00544">544</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
484
|
+
<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>  {</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a>;</div><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00484">SymbolTableInfo.h:484</a></div></div>
|
|
485
485
|
</div><!-- fragment -->
|
|
486
486
|
</div>
|
|
487
487
|
</div>
|
|
@@ -503,7 +503,7 @@ Private Attributes</h2></td></tr>
|
|
|
503
503
|
<p>struct A { int id; int salary; }; struct B { char name[20]; struct A a;} B b; OriginalFieldType of b with field_idx 1 : Struct A FlatternedFieldType of b with field_idx 1 : int </p>
|
|
504
504
|
|
|
505
505
|
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00069">69</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
|
|
506
|
-
<div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno"> 70</span> {</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<u32_t, const Type*>::const_iterator</a> it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <span class="keywordflow">if</span>(it!=<a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.end())</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map< u32_t, const Type * > fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
506
|
+
<div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno"> 70</span> {</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map<u32_t, const Type*>::const_iterator</a> it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  <span class="keywordflow">if</span>(it!=<a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.end())</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  <span class="keywordflow">return</span> it->second;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map< u32_t, const Type * > fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00476">SymbolTableInfo.h:476</a></div></div>
|
|
507
507
|
<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map< Key, Value, Hash, KeyEqual, Allocator > Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
|
|
508
508
|
</div><!-- fragment -->
|
|
509
509
|
</div>
|
|
@@ -533,8 +533,8 @@ Private Attributes</h2></td></tr>
|
|
|
533
533
|
|
|
534
534
|
<p>Return the stride. </p>
|
|
535
535
|
|
|
536
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
537
|
-
<div class="fragment"><div class="line"><a name="
|
|
536
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00549">549</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
537
|
+
<div class="fragment"><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>  {</div><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>;</div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00480">SymbolTableInfo.h:480</a></div></div>
|
|
538
538
|
</div><!-- fragment -->
|
|
539
539
|
</div>
|
|
540
540
|
</div>
|
|
@@ -602,9 +602,9 @@ Private Attributes</h2></td></tr>
|
|
|
602
602
|
|
|
603
603
|
<p>Set number of fields and elements of an aggrate. </p>
|
|
604
604
|
|
|
605
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
606
|
-
<div class="fragment"><div class="line"><a name="
|
|
607
|
-
<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#
|
|
605
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00531">531</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
606
|
+
<div class="fragment"><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>  {</div><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>  <a class="code" href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">numOfFlattenFields</a> = nf;</div><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>  <a class="code" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">numOfFlattenElements</a> = ne;</div><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>  }</div><div class="ttc" id="classSVF_1_1StInfo_html_a7aa5b5018b4dec4913eb6aecf25568a4"><div class="ttname"><a href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo::numOfFlattenElements</a></div><div class="ttdeci">u32_t numOfFlattenElements</div><div class="ttdoc">number of elements after flattenning (including array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00482">SymbolTableInfo.h:482</a></div></div>
|
|
607
|
+
<div class="ttc" id="classSVF_1_1StInfo_html_aa9b4e659f4a4421aadf736a3de24ca50"><div class="ttname"><a href="classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50">SVF::StInfo::numOfFlattenFields</a></div><div class="ttdeci">u32_t numOfFlattenFields</div><div class="ttdoc">number of fields after flattenning (ignoring array elements) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00484">SymbolTableInfo.h:484</a></div></div>
|
|
608
608
|
</div><!-- fragment -->
|
|
609
609
|
</div>
|
|
610
610
|
</div>
|
|
@@ -631,7 +631,7 @@ Private Attributes</h2></td></tr>
|
|
|
631
631
|
|
|
632
632
|
<p>flattened element indices including structs and arrays by considering strides </p>
|
|
633
633
|
|
|
634
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
634
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00474">474</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
635
635
|
|
|
636
636
|
</div>
|
|
637
637
|
</div>
|
|
@@ -657,7 +657,7 @@ Private Attributes</h2></td></tr>
|
|
|
657
657
|
|
|
658
658
|
<p>All field infos after flattening a struct. </p>
|
|
659
659
|
|
|
660
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
660
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00478">478</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
661
661
|
|
|
662
662
|
</div>
|
|
663
663
|
</div>
|
|
@@ -683,7 +683,7 @@ Private Attributes</h2></td></tr>
|
|
|
683
683
|
|
|
684
684
|
<p>Type vector of fields. </p>
|
|
685
685
|
|
|
686
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
686
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00486">486</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
687
687
|
|
|
688
688
|
</div>
|
|
689
689
|
</div>
|
|
@@ -709,7 +709,7 @@ Private Attributes</h2></td></tr>
|
|
|
709
709
|
|
|
710
710
|
<p>Types of all fields of a struct. </p>
|
|
711
711
|
|
|
712
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
712
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00476">476</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
713
713
|
|
|
714
714
|
</div>
|
|
715
715
|
</div>
|
|
@@ -735,7 +735,7 @@ Private Attributes</h2></td></tr>
|
|
|
735
735
|
|
|
736
736
|
<p>flattened field indices of a struct (ignoring arrays) </p>
|
|
737
737
|
|
|
738
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
738
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00472">472</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
739
739
|
|
|
740
740
|
</div>
|
|
741
741
|
</div>
|
|
@@ -761,7 +761,7 @@ Private Attributes</h2></td></tr>
|
|
|
761
761
|
|
|
762
762
|
<p>number of elements after flattenning (including array elements) </p>
|
|
763
763
|
|
|
764
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
764
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00482">482</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
765
765
|
|
|
766
766
|
</div>
|
|
767
767
|
</div>
|
|
@@ -787,7 +787,7 @@ Private Attributes</h2></td></tr>
|
|
|
787
787
|
|
|
788
788
|
<p>number of fields after flattenning (ignoring array elements) </p>
|
|
789
789
|
|
|
790
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
790
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00484">484</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
791
791
|
|
|
792
792
|
</div>
|
|
793
793
|
</div>
|
|
@@ -813,7 +813,7 @@ Private Attributes</h2></td></tr>
|
|
|
813
813
|
|
|
814
814
|
<p>stride represents the number of repetitive elements if this <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> represent an ArrayType. stride is 1 by default. </p>
|
|
815
815
|
|
|
816
|
-
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#
|
|
816
|
+
<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00480">480</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
|
|
817
817
|
|
|
818
818
|
</div>
|
|
819
819
|
</div>
|
|
@@ -73,19 +73,20 @@ $(function() {
|
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8">analyzeObjType</a>(ObjTypeInfo *typeinfo, const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7">analyzeStaticObjType</a>(ObjTypeInfo *typeinfo, const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f">buildMemModel</a>(SVFModule *svfModule)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
79
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
80
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
81
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
87
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
88
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a1186ed5d52a12f8495d3b64df78f3052">collectNullPtrBlackholeSyms</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a891bfea437256d1b7aa957d32797e419">collectObj</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a2f5321b9a76ea833650f1391ecd8de5f">collectRet</a>(const Function *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
79
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#ac2fa9a797e3e2a8885ccc488030659d5">collectSym</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#abc8b35d432db78bd5282010c7c800d70">collectVal</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#add1f3d59a4a8234fb398ed52d4b2115e">collectVararg</a>(const Function *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3">createObjTypeInfo</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#abcc05a5ffa5fcddb7220e1c691d3ed87">getObjSize</a>(const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50">handleCE</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779">handleGlobalCE</a>(const GlobalVariable *G)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
86
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d">handleGlobalInitializerCE</a>(const Constant *C)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
87
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a92ba9c9671e557ba950c14f418079696">initTypeInfo</a>(ObjTypeInfo *typeinfo, const Value *value)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"></td></tr>
|
|
88
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf">SymbolTableBuilder</a>(SymbolTableInfo *si)</td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
89
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html#a3100246d9b0a58e53f2dbc8acf231afb">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1SymbolTableBuilder.html">SVF::SymbolTableBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
89
90
|
</table></div><!-- contents -->
|
|
90
91
|
<!-- start footer part -->
|
|
91
92
|
<hr class="footer"/><address class="footer"><small>
|