svf-tools 1.0.336 → 1.0.340
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 +1 -1
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -2
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +17 -17
- package/SVF-doxygen/html/html/ICFG_8h_source.html +38 -37
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +22 -25
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +42 -43
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp.html +1 -0
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -5
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +40 -40
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +14 -14
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +22 -21
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +47 -47
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +91 -87
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/VFG_8h_source.html +8 -8
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +187 -188
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +7 -10
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +160 -161
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +4 -7
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +199 -200
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +202 -203
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +195 -196
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +196 -197
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +205 -206
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -4
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +193 -194
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +116 -117
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -15
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +13 -11
- package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +104 -105
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +5 -8
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +182 -183
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +12 -15
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +46 -14
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +45 -14
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +219 -220
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +180 -181
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +9 -12
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +212 -213
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +244 -245
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +7 -10
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +1 -3
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +27 -26
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +183 -116
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -5
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +26 -25
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +37 -36
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +27 -3
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +78 -79
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +106 -146
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +75 -73
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +60 -16
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +122 -115
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +171 -172
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +161 -162
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -6
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +17 -11
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +74 -72
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +60 -16
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +254 -255
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -5
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
- package/SVF-doxygen/html/html/functions_c.html +12 -12
- package/SVF-doxygen/html/html/functions_d.html +0 -3
- package/SVF-doxygen/html/html/functions_func_c.html +19 -19
- package/SVF-doxygen/html/html/functions_func_d.html +0 -3
- package/SVF-doxygen/html/html/functions_func_i.html +13 -10
- package/SVF-doxygen/html/html/functions_i.html +10 -6
- package/SVF-doxygen/html/html/functions_l.html +6 -6
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +9 -9
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_rela.html +3 -0
- package/SVF-doxygen/html/html/functions_s.html +14 -12
- package/SVF-doxygen/html/html/functions_t.html +7 -5
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/hierarchy.html +5 -5
- package/SVF-doxygen/html/html/search/all_10.js +7 -7
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +10 -10
- package/SVF-doxygen/html/html/search/all_14.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +3 -3
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_4.js +0 -1
- package/SVF-doxygen/html/html/search/all_9.js +2 -1
- package/SVF-doxygen/html/html/search/all_c.js +3 -3
- package/SVF-doxygen/html/html/search/all_d.js +3 -3
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_3.js +0 -1
- package/SVF-doxygen/html/html/search/functions_8.js +1 -0
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/related_4.js +1 -0
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_15.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/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +2 -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/include/Graphs/ICFG.h +5 -3
- package/include/MemoryModel/PointerAnalysis.h +0 -3
- package/include/MemoryModel/SVFStatements.h +5 -0
- package/include/MemoryModel/SVFVariables.h +25 -4
- package/include/MemoryModel/SymbolTableInfo.h +2 -2
- package/lib/Graphs/ICFG.cpp +2 -2
- package/lib/MSSA/MemSSA.cpp +1 -1
- package/lib/MemoryModel/PointerAnalysis.cpp +1 -21
- package/lib/MemoryModel/SVFStatements.cpp +10 -1
- package/lib/SVF-FE/ICFGBuilder.cpp +16 -2
- package/lib/SVF-FE/SVFIRBuilder.cpp +13 -0
- package/lib/SVF-FE/SymbolTableBuilder.cpp +8 -8
- package/package.json +1 -1
|
@@ -274,7 +274,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
274
274
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
275
275
|
<div class="textblock"><p>Branch statements including if/else and switch </p>
|
|
276
276
|
|
|
277
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
277
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00913">913</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
278
278
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
279
279
|
<a id="a83244ad7db61a544f7538961081d4fbd"></a>
|
|
280
280
|
<h2 class="memtitle"><span class="permalink"><a href="#a83244ad7db61a544f7538961081d4fbd">◆ </a></span>BranchStmt() <span class="overload">[1/3]</span></h2>
|
|
@@ -373,11 +373,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
373
373
|
|
|
374
374
|
<p>constructor </p>
|
|
375
375
|
|
|
376
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
377
|
-
<div class="fragment"><div class="line"><a name="
|
|
376
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00945">945</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
377
|
+
<div class="fragment"><div class="line"><a name="l00945"></a><span class="lineno"> 945</span>  : <a class="code" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVFStmt</a>(c,inst,<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>), <a class="code" href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">successors</a>(succs), <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>(c), <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>(inst)</div><div class="line"><a name="l00946"></a><span class="lineno"> 946</span>  {</div><div class="line"><a name="l00947"></a><span class="lineno"> 947</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00925">SVFStatements.h:925</a></div></div>
|
|
378
378
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt::Branch</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
379
|
-
<div class="ttc" id="classSVF_1_1BranchStmt_html_a33887345c00ffda9ca7dca59d61e184a"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt::brInst</a></div><div class="ttdeci">const SVFVar * brInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
380
|
-
<div class="ttc" id="classSVF_1_1BranchStmt_html_ad3c41e137cb0dc3ef10cbc6c0f8d475f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">SVF::BranchStmt::successors</a></div><div class="ttdeci">std::vector< const ICFGNode * > successors</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
379
|
+
<div class="ttc" id="classSVF_1_1BranchStmt_html_a33887345c00ffda9ca7dca59d61e184a"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt::brInst</a></div><div class="ttdeci">const SVFVar * brInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00926">SVFStatements.h:926</a></div></div>
|
|
380
|
+
<div class="ttc" id="classSVF_1_1BranchStmt_html_ad3c41e137cb0dc3ef10cbc6c0f8d475f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">SVF::BranchStmt::successors</a></div><div class="ttdeci">std::vector< const ICFGNode * > successors</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00924">SVFStatements.h:924</a></div></div>
|
|
381
381
|
<div class="ttc" id="classSVF_1_1SVFStmt_html_a47102f72115d41bff899b1b2ffec75b1"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVF::SVFStmt::SVFStmt</a></div><div class="ttdeci">SVFStmt(SVFVar *s, SVFVar *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00046">SVFStatements.cpp:46</a></div></div>
|
|
382
382
|
</div><!-- fragment -->
|
|
383
383
|
</div>
|
|
@@ -409,8 +409,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
409
409
|
|
|
410
410
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
411
411
|
|
|
412
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
413
|
-
<div class="fragment"><div class="line"><a name="
|
|
412
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00930">930</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
413
|
+
<div class="fragment"><div class="line"><a name="l00931"></a><span class="lineno"> 931</span>  {</div><div class="line"><a name="l00932"></a><span class="lineno"> 932</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00933"></a><span class="lineno"> 933</span>  }</div></div><!-- fragment -->
|
|
414
414
|
</div>
|
|
415
415
|
</div>
|
|
416
416
|
<a id="a55b867cd85dbbe43e2f7c1bad5dce647"></a>
|
|
@@ -437,8 +437,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
437
437
|
</table>
|
|
438
438
|
</div><div class="memdoc">
|
|
439
439
|
|
|
440
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
441
|
-
<div class="fragment"><div class="line"><a name="
|
|
440
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00934">934</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
441
|
+
<div class="fragment"><div class="line"><a name="l00935"></a><span class="lineno"> 935</span>  {</div><div class="line"><a name="l00936"></a><span class="lineno"> 936</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>;</div><div class="line"><a name="l00937"></a><span class="lineno"> 937</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt::Branch</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
442
442
|
</div><!-- fragment -->
|
|
443
443
|
</div>
|
|
444
444
|
</div>
|
|
@@ -466,8 +466,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
466
466
|
</table>
|
|
467
467
|
</div><div class="memdoc">
|
|
468
468
|
|
|
469
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
470
|
-
<div class="fragment"><div class="line"><a name="
|
|
469
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00938">938</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
470
|
+
<div class="fragment"><div class="line"><a name="l00939"></a><span class="lineno"> 939</span>  {</div><div class="line"><a name="l00940"></a><span class="lineno"> 940</span>  <span class="keywordflow">return</span> edge->getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>;</div><div class="line"><a name="l00941"></a><span class="lineno"> 941</span>  }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt::Branch</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00056">SVFStatements.h:56</a></div></div>
|
|
471
471
|
</div><!-- fragment -->
|
|
472
472
|
</div>
|
|
473
473
|
</div>
|
|
@@ -494,8 +494,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
494
494
|
</table>
|
|
495
495
|
</div><div class="memdoc">
|
|
496
496
|
|
|
497
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
498
|
-
<div class="fragment"><div class="line"><a name="
|
|
497
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00955">955</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
498
|
+
<div class="fragment"><div class="line"><a name="l00955"></a><span class="lineno"> 955</span>  {</div><div class="line"><a name="l00956"></a><span class="lineno"> 956</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>;</div><div class="line"><a name="l00957"></a><span class="lineno"> 957</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_a33887345c00ffda9ca7dca59d61e184a"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt::brInst</a></div><div class="ttdeci">const SVFVar * brInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00926">SVFStatements.h:926</a></div></div>
|
|
499
499
|
</div><!-- fragment -->
|
|
500
500
|
</div>
|
|
501
501
|
</div>
|
|
@@ -516,8 +516,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
516
516
|
|
|
517
517
|
<p>Return the condition. </p>
|
|
518
518
|
|
|
519
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#
|
|
520
|
-
<div class="fragment"><div class="line"><a name="
|
|
519
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00285">285</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
|
|
520
|
+
<div class="fragment"><div class="line"><a name="l00286"></a><span class="lineno"> 286</span> {</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="comment">//assert(isConditional() && "this is a unconditional branch"); </span></div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>;</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span> }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00925">SVFStatements.h:925</a></div></div>
|
|
521
521
|
</div><!-- fragment -->
|
|
522
522
|
</div>
|
|
523
523
|
</div>
|
|
@@ -599,8 +599,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
599
599
|
</div><div class="memdoc">
|
|
600
600
|
<p>Successors of this branch statement </p>
|
|
601
601
|
|
|
602
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
603
|
-
<div class="fragment"><div class="line"><a name="
|
|
602
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00960">960</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
603
|
+
<div class="fragment"><div class="line"><a name="l00960"></a><span class="lineno"> 960</span>  {</div><div class="line"><a name="l00961"></a><span class="lineno"> 961</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">successors</a>.size();</div><div class="line"><a name="l00962"></a><span class="lineno"> 962</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_ad3c41e137cb0dc3ef10cbc6c0f8d475f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">SVF::BranchStmt::successors</a></div><div class="ttdeci">std::vector< const ICFGNode * > successors</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00924">SVFStatements.h:924</a></div></div>
|
|
604
604
|
</div><!-- fragment -->
|
|
605
605
|
</div>
|
|
606
606
|
</div>
|
|
@@ -682,8 +682,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
682
682
|
</table>
|
|
683
683
|
</div><div class="memdoc">
|
|
684
684
|
|
|
685
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
686
|
-
<div class="fragment"><div class="line"><a name="
|
|
685
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00966">966</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
686
|
+
<div class="fragment"><div class="line"><a name="l00966"></a><span class="lineno"> 966</span>  {</div><div class="line"><a name="l00967"></a><span class="lineno"> 967</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">successors</a>.at(i);</div><div class="line"><a name="l00968"></a><span class="lineno"> 968</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_ad3c41e137cb0dc3ef10cbc6c0f8d475f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">SVF::BranchStmt::successors</a></div><div class="ttdeci">std::vector< const ICFGNode * > successors</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00924">SVFStatements.h:924</a></div></div>
|
|
687
687
|
</div><!-- fragment -->
|
|
688
688
|
</div>
|
|
689
689
|
</div>
|
|
@@ -710,8 +710,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
710
710
|
</table>
|
|
711
711
|
</div><div class="memdoc">
|
|
712
712
|
|
|
713
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
714
|
-
<div class="fragment"><div class="line"><a name="
|
|
713
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00963">963</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
714
|
+
<div class="fragment"><div class="line"><a name="l00963"></a><span class="lineno"> 963</span>  {</div><div class="line"><a name="l00964"></a><span class="lineno"> 964</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">successors</a>;</div><div class="line"><a name="l00965"></a><span class="lineno"> 965</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_ad3c41e137cb0dc3ef10cbc6c0f8d475f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ad3c41e137cb0dc3ef10cbc6c0f8d475f">SVF::BranchStmt::successors</a></div><div class="ttdeci">std::vector< const ICFGNode * > successors</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00924">SVFStatements.h:924</a></div></div>
|
|
715
715
|
</div><!-- fragment -->
|
|
716
716
|
</div>
|
|
717
717
|
</div>
|
|
@@ -732,8 +732,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
732
732
|
|
|
733
733
|
<p>The branch is conditional if cond is not a null value. </p>
|
|
734
734
|
|
|
735
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#
|
|
736
|
-
<div class="fragment"><div class="line"><a name="
|
|
735
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00281">281</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
|
|
736
|
+
<div class="fragment"><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  {</div><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() != <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">nullPtrSymID</a>();;</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span> }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00925">SVFStatements.h:925</a></div></div>
|
|
737
737
|
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_adaed6e68c2f53260ed4c4fc38b5c4721"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">SVF::SymbolTableInfo::nullPtrSymID</a></div><div class="ttdeci">SymID nullPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00229">SymbolTableInfo.h:229</a></div></div>
|
|
738
738
|
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00059">SymbolTableInfo.cpp:59</a></div></div>
|
|
739
739
|
<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#l00165">GenericGraph.h:165</a></div></div>
|
|
@@ -757,8 +757,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
757
757
|
|
|
758
758
|
<p>The branch is unconditional if cond is a null value. </p>
|
|
759
759
|
|
|
760
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#
|
|
761
|
-
<div class="fragment"><div class="line"><a name="
|
|
760
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00277">277</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
|
|
761
|
+
<div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  {</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() == <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">nullPtrSymID</a>();</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span> }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00925">SVFStatements.h:925</a></div></div>
|
|
762
762
|
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_adaed6e68c2f53260ed4c4fc38b5c4721"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">SVF::SymbolTableInfo::nullPtrSymID</a></div><div class="ttdeci">SymID nullPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00229">SymbolTableInfo.h:229</a></div></div>
|
|
763
763
|
<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00059">SymbolTableInfo.cpp:59</a></div></div>
|
|
764
764
|
<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#l00165">GenericGraph.h:165</a></div></div>
|
|
@@ -818,14 +818,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
818
818
|
|
|
819
819
|
<p>Reimplemented from <a class="el" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt</a>.</p>
|
|
820
820
|
|
|
821
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#
|
|
822
|
-
<div class="fragment"><div class="line"><a name="
|
|
823
|
-
<div class="ttc" id="classSVF_1_1BranchStmt_html_a71e7e95f095a937c900d049991312901"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901">SVF::BranchStmt::isConditional</a></div><div class="ttdeci">bool isConditional() const</div><div class="ttdoc">The branch is conditional if cond is not a null value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#
|
|
821
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00137">137</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
|
|
822
|
+
<div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  {</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  std::string str;</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901">isConditional</a>())</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>  rawstr << <span class="stringliteral">"BranchStmt: ["</span> << <a class="code" href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">getCondition</a>()-><a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>() << <span class="stringliteral">"]\t"</span>;</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>  rawstr << <span class="stringliteral">"BranchStmt: ["</span> << <span class="stringliteral">" Unconditional branch"</span> << <span class="stringliteral">"]\t"</span>;</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  rawstr << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>  }</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  rawstr << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span> }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
|
|
823
|
+
<div class="ttc" id="classSVF_1_1BranchStmt_html_a71e7e95f095a937c900d049991312901"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901">SVF::BranchStmt::isConditional</a></div><div class="ttdeci">bool isConditional() const</div><div class="ttdoc">The branch is conditional if cond is not a null value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00281">SVFStatements.cpp:281</a></div></div>
|
|
824
824
|
<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
|
|
825
825
|
<div class="ttc" id="classSVF_1_1SVFVar_html_ada932ef2ae0a3e712174df479c35b0dd"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00100">SVFVariables.cpp:100</a></div></div>
|
|
826
826
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
827
827
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
|
|
828
|
-
<div class="ttc" id="classSVF_1_1BranchStmt_html_a915384027ae53e99311f05a08edf99f0"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdoc">Return the condition. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#
|
|
828
|
+
<div class="ttc" id="classSVF_1_1BranchStmt_html_a915384027ae53e99311f05a08edf99f0"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdoc">Return the condition. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00285">SVFStatements.cpp:285</a></div></div>
|
|
829
829
|
</div><!-- fragment -->
|
|
830
830
|
</div>
|
|
831
831
|
</div>
|
|
@@ -850,7 +850,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
850
850
|
</table>
|
|
851
851
|
</div><div class="memdoc">
|
|
852
852
|
|
|
853
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
853
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00926">926</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
854
854
|
|
|
855
855
|
</div>
|
|
856
856
|
</div>
|
|
@@ -874,7 +874,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
874
874
|
</table>
|
|
875
875
|
</div><div class="memdoc">
|
|
876
876
|
|
|
877
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
877
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00925">925</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
878
878
|
|
|
879
879
|
</div>
|
|
880
880
|
</div>
|
|
@@ -898,7 +898,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
898
898
|
</table>
|
|
899
899
|
</div><div class="memdoc">
|
|
900
900
|
|
|
901
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#
|
|
901
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00924">924</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
|
|
902
902
|
|
|
903
903
|
</div>
|
|
904
904
|
</div>
|
|
@@ -530,7 +530,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
530
530
|
|
|
531
531
|
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00569">569</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
532
532
|
<div class="fragment"><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>  {</div><div class="line"><a name="l00570"></a><span class="lineno"> 570</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">brstmt</a>-><a class="code" href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">getNumSuccessors</a>();</div><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>  }</div><div class="ttc" id="classSVF_1_1BranchVFGNode_html_ab2c5f49a3ac21d827b37b0e4b61f1a10"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode::brstmt</a></div><div class="ttdeci">const BranchStmt * brstmt</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00540">VFGNode.h:540</a></div></div>
|
|
533
|
-
<div class="ttc" id="classSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
533
|
+
<div class="ttc" id="classSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00960">SVFStatements.h:960</a></div></div>
|
|
534
534
|
</div><!-- fragment -->
|
|
535
535
|
</div>
|
|
536
536
|
</div>
|
|
@@ -559,7 +559,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
559
559
|
</div><div class="memdoc">
|
|
560
560
|
|
|
561
561
|
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00575">575</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
562
|
-
<div class="fragment"><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  {</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">brstmt</a>-><a class="code" href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">getSuccessor</a>(i);</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
562
|
+
<div class="fragment"><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>  {</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">brstmt</a>-><a class="code" href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">getSuccessor</a>(i);</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00966">SVFStatements.h:966</a></div></div>
|
|
563
563
|
<div class="ttc" id="classSVF_1_1BranchVFGNode_html_ab2c5f49a3ac21d827b37b0e4b61f1a10"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode::brstmt</a></div><div class="ttdeci">const BranchStmt * brstmt</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00540">VFGNode.h:540</a></div></div>
|
|
564
564
|
</div><!-- fragment -->
|
|
565
565
|
</div>
|
|
@@ -588,7 +588,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
588
588
|
</div><div class="memdoc">
|
|
589
589
|
|
|
590
590
|
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00572">572</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
591
|
-
<div class="fragment"><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  {</div><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">brstmt</a>-><a class="code" href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">getSuccessors</a>();</div><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_ae3aecc257d37c20084633027cb312faa"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const std::vector< const ICFGNode * > & getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#
|
|
591
|
+
<div class="fragment"><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>  {</div><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">brstmt</a>-><a class="code" href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">getSuccessors</a>();</div><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>  }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_ae3aecc257d37c20084633027cb312faa"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const std::vector< const ICFGNode * > & getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00963">SVFStatements.h:963</a></div></div>
|
|
592
592
|
<div class="ttc" id="classSVF_1_1BranchVFGNode_html_ab2c5f49a3ac21d827b37b0e4b61f1a10"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode::brstmt</a></div><div class="ttdeci">const BranchStmt * brstmt</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00540">VFGNode.h:540</a></div></div>
|
|
593
593
|
</div><!-- fragment -->
|
|
594
594
|
</div>
|
|
@@ -647,7 +647,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
647
647
|
<p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>.</p>
|
|
648
648
|
|
|
649
649
|
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00125">125</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
650
|
-
<div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  {</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  std::string str;</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  rawstr << <span class="stringliteral">"BranchVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  rawstr << <span class="stringliteral">"PAGEdge: ["</span> << <a class="code" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">brstmt</a>-><a class="code" href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">toString</a>() << <span class="stringliteral">"\t"</span>;</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_afc44edd6d1d5c855dc2169d26629377f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#
|
|
650
|
+
<div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>  {</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  std::string str;</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>  rawstr << <span class="stringliteral">"BranchVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>  rawstr << <span class="stringliteral">"PAGEdge: ["</span> << <a class="code" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">brstmt</a>-><a class="code" href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">toString</a>() << <span class="stringliteral">"\t"</span>;</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span> }</div><div class="ttc" id="classSVF_1_1BranchStmt_html_afc44edd6d1d5c855dc2169d26629377f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00137">SVFStatements.cpp:137</a></div></div>
|
|
651
651
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
652
652
|
<div class="ttc" id="classSVF_1_1BranchVFGNode_html_ab2c5f49a3ac21d827b37b0e4b61f1a10"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode::brstmt</a></div><div class="ttdeci">const BranchStmt * brstmt</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00540">VFGNode.h:540</a></div></div>
|
|
653
653
|
<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#l00165">GenericGraph.h:165</a></div></div>
|
|
@@ -586,8 +586,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
586
586
|
|
|
587
587
|
<p>Reimplemented in <a class="el" href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">SVF::TDForkPE</a>.</p>
|
|
588
588
|
|
|
589
|
-
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#
|
|
590
|
-
<div class="fragment"><div class="line"><a name="
|
|
589
|
+
<p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00207">207</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
|
|
590
|
+
<div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  {</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  std::string str;</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  rawstr << <span class="stringliteral">"CallPE: ["</span> << <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() << <span class="stringliteral">"<--"</span> << <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() << <span class="stringliteral">"]\t"</span>;</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  rawstr << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  }</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  rawstr << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span> }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
|
|
591
591
|
<div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00256">SVFStatements.h:256</a></div></div>
|
|
592
592
|
<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
|
|
593
593
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
@@ -75,7 +75,7 @@ $(function() {
|
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1CloneDummyObjVar.html#a6eb2439f433fe48a338b09a6ab017f7c">classof</a>(const SVFVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1CloneDummyObjVar.html">SVF::CloneDummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
76
76
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CloneDummyObjVar.html#a982180a5ea7595f2d2320799056ff56d">classof</a>(const GenericPAGNodeTy *node)</td><td class="entry"><a class="el" href="classSVF_1_1CloneDummyObjVar.html">SVF::CloneDummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
77
77
|
<tr><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69">SVF::DummyObjVar::classof</a>(const DummyObjVar *)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f">SVF::DummyObjVar::classof</a>(const ObjVar *node)</td><td class="entry"><a class="el" href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">CloneDummyObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2f2a74296d76349d472a71c4ee069aa0">CloneDummyObjVar</a>(NodeID i, const MemObj *m, PNODEK ty=CloneDummyObjNode)</td><td class="entry"><a class="el" href="classSVF_1_1CloneDummyObjVar.html">SVF::CloneDummyObjVar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">CloneFIObjNode</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></td><td class="entry"></td></tr>
|
|
@@ -246,6 +246,8 @@ Static Public Member Functions</h2></td></tr>
|
|
|
246
246
|
<tr class="separator:a543ca59bd39740d1080fe4702bc2fd69 inherit pub_static_methods_classSVF_1_1DummyObjVar"><td class="memSeparator" colspan="2"> </td></tr>
|
|
247
247
|
<tr class="memitem:a9552d717a869b0ec6678843a56fc8695 inherit pub_static_methods_classSVF_1_1DummyObjVar"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695">classof</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node)</td></tr>
|
|
248
248
|
<tr class="separator:a9552d717a869b0ec6678843a56fc8695 inherit pub_static_methods_classSVF_1_1DummyObjVar"><td class="memSeparator" colspan="2"> </td></tr>
|
|
249
|
+
<tr class="memitem:aabbc9127565b4c336b28d433297fa37f inherit pub_static_methods_classSVF_1_1DummyObjVar"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#aabbc9127565b4c336b28d433297fa37f">classof</a> (const <a class="el" href="classSVF_1_1ObjVar.html">ObjVar</a> *node)</td></tr>
|
|
250
|
+
<tr class="separator:aabbc9127565b4c336b28d433297fa37f inherit pub_static_methods_classSVF_1_1DummyObjVar"><td class="memSeparator" colspan="2"> </td></tr>
|
|
249
251
|
<tr class="memitem:a6aefb8e6612cb6322e064ac3521fa849 inherit pub_static_methods_classSVF_1_1DummyObjVar"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DummyObjVar.html#a6aefb8e6612cb6322e064ac3521fa849">classof</a> (const <a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a> *node)</td></tr>
|
|
250
252
|
<tr class="separator:a6aefb8e6612cb6322e064ac3521fa849 inherit pub_static_methods_classSVF_1_1DummyObjVar"><td class="memSeparator" colspan="2"> </td></tr>
|
|
251
253
|
<tr class="inherit_header pub_static_methods_classSVF_1_1ObjVar"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1ObjVar')"><img src="closed.png" alt="-"/> Static Public Member Functions inherited from <a class="el" href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></td></tr>
|
|
@@ -315,7 +317,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
315
317
|
</table>
|
|
316
318
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
317
319
|
<div class="textblock">
|
|
318
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
320
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00761">761</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
319
321
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
320
322
|
<a id="a2f2a74296d76349d472a71c4ee069aa0"></a>
|
|
321
323
|
<h2 class="memtitle"><span class="permalink"><a href="#a2f2a74296d76349d472a71c4ee069aa0">◆ </a></span>CloneDummyObjVar()</h2>
|
|
@@ -359,8 +361,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
359
361
|
|
|
360
362
|
<p>Constructor. </p>
|
|
361
363
|
|
|
362
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
363
|
-
<div class="fragment"><div class="line"><a name="
|
|
364
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00780">780</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
365
|
+
<div class="fragment"><div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  : <a class="code" href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">DummyObjVar</a>(i, m, ty)</div><div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  {</div><div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  }</div><div class="ttc" id="classSVF_1_1DummyObjVar_html_a3dff74bbf50b6a901239d3fd31e0f36c"><div class="ttname"><a href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">SVF::DummyObjVar::DummyObjVar</a></div><div class="ttdeci">DummyObjVar(NodeID i, const MemObj *m, PNODEK ty=DummyObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00744">SVFVariables.h:744</a></div></div>
|
|
364
366
|
</div><!-- fragment -->
|
|
365
367
|
</div>
|
|
366
368
|
</div>
|
|
@@ -389,8 +391,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
389
391
|
</table>
|
|
390
392
|
</div><div class="memdoc">
|
|
391
393
|
|
|
392
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
393
|
-
<div class="fragment"><div class="line"><a name="
|
|
394
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00765">765</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
395
|
+
<div class="fragment"><div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  {</div><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  }</div></div><!-- fragment -->
|
|
394
396
|
</div>
|
|
395
397
|
</div>
|
|
396
398
|
<a id="a6eb2439f433fe48a338b09a6ab017f7c"></a>
|
|
@@ -417,8 +419,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
417
419
|
</table>
|
|
418
420
|
</div><div class="memdoc">
|
|
419
421
|
|
|
420
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
421
|
-
<div class="fragment"><div class="line"><a name="
|
|
422
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00769">769</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
423
|
+
<div class="fragment"><div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  {</div><div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
|
|
422
424
|
</div><!-- fragment -->
|
|
423
425
|
</div>
|
|
424
426
|
</div>
|
|
@@ -446,8 +448,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
446
448
|
</table>
|
|
447
449
|
</div><div class="memdoc">
|
|
448
450
|
|
|
449
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
450
|
-
<div class="fragment"><div class="line"><a name="
|
|
451
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00773">773</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
452
|
+
<div class="fragment"><div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  {</div><div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVFVar::CloneDummyObjNode</a>;</div><div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar::CloneDummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
|
|
451
453
|
</div><!-- fragment -->
|
|
452
454
|
</div>
|
|
453
455
|
</div>
|
|
@@ -478,8 +480,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
478
480
|
|
|
479
481
|
<p>Reimplemented from <a class="el" href="classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd">SVF::DummyObjVar</a>.</p>
|
|
480
482
|
|
|
481
|
-
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#
|
|
482
|
-
<div class="fragment"><div class="line"><a name="
|
|
483
|
+
<p class="definition">Definition at line <a class="el" href="SVFVariables_8h_source.html#l00786">786</a> of file <a class="el" href="SVFVariables_8h_source.html">SVFVariables.h</a>.</p>
|
|
484
|
+
<div class="fragment"><div class="line"><a name="l00787"></a><span class="lineno"> 787</span>  {</div><div class="line"><a name="l00788"></a><span class="lineno"> 788</span>  <span class="keywordflow">return</span> <span class="stringliteral">"clone of "</span> + <a class="code" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">ObjVar::getValueName</a>();</div><div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  }</div><div class="ttc" id="classSVF_1_1ObjVar_html_ac1609e2e3b6843c6f7992e425771fce3"><div class="ttname"><a href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar::getValueName</a></div><div class="ttdeci">virtual const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00368">SVFVariables.h:368</a></div></div>
|
|
483
485
|
</div><!-- fragment -->
|
|
484
486
|
</div>
|
|
485
487
|
</div>
|