svf-tools 1.0.813 → 1.0.814
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/AccessPath_8cpp_source.html +4 -4
- package/SVF-doxygen/html/AccessPath_8h_source.html +3 -3
- package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/ConsGEdge_8h_source.html +2 -2
- package/SVF-doxygen/html/ContextDDA_8cpp_source.html +184 -183
- package/SVF-doxygen/html/ContextDDA_8h_source.html +5 -5
- package/SVF-doxygen/html/FlowDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +191 -190
- package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +4 -4
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +695 -688
- package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +15 -15
- package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +120 -118
- package/SVF-doxygen/html/SVFIR_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SVFStatements_8h_source.html +4 -4
- package/SVF-doxygen/html/SVFVariables_8h_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AccessPath.html +11 -11
- package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +176 -175
- package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1GepStmt.html +8 -8
- package/SVF-doxygen/html/classSVF_1_1GepValVar.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1NormalGepCGEdge.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFIR.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +186 -185
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +667 -660
- package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +123 -121
- package/SVF-doxygen/html/functions_b.html +3 -3
- package/SVF-doxygen/html/functions_func_g.html +7 -5
- package/SVF-doxygen/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/functions_g.html +6 -4
- package/SVF-doxygen/html/functions_i.html +2 -2
- package/SVF-doxygen/html/functions_o.html +4 -4
- package/SVF-doxygen/html/functions_p.html +9 -9
- package/SVF-doxygen/html/functions_r.html +2 -4
- package/SVF-doxygen/html/functions_s.html +5 -5
- package/SVF-doxygen/html/functions_t.html +6 -6
- package/SVF-doxygen/html/functions_v.html +4 -6
- package/SVF-doxygen/html/functions_w.html +1 -1
- package/SVF-doxygen/html/search/all_10.js +324 -324
- package/SVF-doxygen/html/search/all_11.js +222 -222
- package/SVF-doxygen/html/search/all_12.js +544 -544
- package/SVF-doxygen/html/search/all_13.js +191 -191
- package/SVF-doxygen/html/search/all_14.js +67 -67
- package/SVF-doxygen/html/search/all_15.js +167 -167
- package/SVF-doxygen/html/search/all_16.js +63 -63
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +11 -11
- package/SVF-doxygen/html/search/all_1a.js +172 -172
- package/SVF-doxygen/html/search/all_2.js +1 -1
- package/SVF-doxygen/html/search/all_7.js +715 -714
- package/SVF-doxygen/html/search/all_8.js +197 -197
- package/SVF-doxygen/html/search/all_9.js +607 -607
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +116 -116
- package/SVF-doxygen/html/search/all_d.js +196 -196
- package/SVF-doxygen/html/search/all_e.js +207 -207
- package/SVF-doxygen/html/search/all_f.js +115 -115
- package/SVF-doxygen/html/search/classes_0.js +26 -26
- package/SVF-doxygen/html/search/classes_1.js +9 -9
- package/SVF-doxygen/html/search/classes_10.js +73 -73
- package/SVF-doxygen/html/search/classes_11.js +15 -15
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +14 -14
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +80 -80
- package/SVF-doxygen/html/search/classes_3.js +37 -37
- package/SVF-doxygen/html/search/classes_4.js +9 -9
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +104 -104
- package/SVF-doxygen/html/search/classes_7.js +33 -33
- package/SVF-doxygen/html/search/classes_8.js +56 -56
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +18 -18
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +21 -21
- package/SVF-doxygen/html/search/defines_4.js +2 -2
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +3 -3
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +7 -7
- package/SVF-doxygen/html/search/defines_f.js +3 -3
- package/SVF-doxygen/html/search/enums_0.js +3 -3
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +8 -8
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +3 -3
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
- package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
- package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
- package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
- package/SVF-doxygen/html/search/files_0.js +13 -13
- package/SVF-doxygen/html/search/files_1.js +7 -7
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +55 -55
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +9 -9
- package/SVF-doxygen/html/search/files_7.js +14 -14
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +2 -2
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +12 -12
- package/SVF-doxygen/html/search/functions_1.js +360 -360
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +138 -138
- package/SVF-doxygen/html/search/functions_12.js +279 -279
- package/SVF-doxygen/html/search/functions_13.js +59 -59
- package/SVF-doxygen/html/search/functions_14.js +39 -39
- package/SVF-doxygen/html/search/functions_15.js +71 -71
- package/SVF-doxygen/html/search/functions_16.js +32 -32
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +172 -172
- package/SVF-doxygen/html/search/functions_2.js +87 -87
- package/SVF-doxygen/html/search/functions_3.js +257 -257
- package/SVF-doxygen/html/search/functions_4.js +75 -75
- package/SVF-doxygen/html/search/functions_5.js +53 -53
- package/SVF-doxygen/html/search/functions_6.js +59 -59
- package/SVF-doxygen/html/search/functions_7.js +853 -852
- package/SVF-doxygen/html/search/functions_8.js +149 -149
- package/SVF-doxygen/html/search/functions_9.js +423 -423
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +26 -26
- package/SVF-doxygen/html/search/functions_d.js +77 -77
- package/SVF-doxygen/html/search/functions_e.js +35 -35
- package/SVF-doxygen/html/search/functions_f.js +56 -56
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +2 -2
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +4 -4
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +1 -1
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +26 -26
- package/SVF-doxygen/html/search/typedefs_10.js +61 -61
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +11 -11
- package/SVF-doxygen/html/search/typedefs_13.js +33 -33
- package/SVF-doxygen/html/search/typedefs_14.js +8 -8
- package/SVF-doxygen/html/search/typedefs_2.js +129 -129
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +41 -41
- package/SVF-doxygen/html/search/typedefs_6.js +55 -55
- package/SVF-doxygen/html/search/typedefs_7.js +44 -44
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +14 -14
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +151 -151
- package/SVF-doxygen/html/search/variables_1.js +75 -75
- package/SVF-doxygen/html/search/variables_10.js +97 -97
- package/SVF-doxygen/html/search/variables_11.js +44 -44
- package/SVF-doxygen/html/search/variables_12.js +92 -92
- package/SVF-doxygen/html/search/variables_13.js +75 -75
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +48 -48
- package/SVF-doxygen/html/search/variables_16.js +9 -9
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +2 -2
- package/SVF-doxygen/html/search/variables_2.js +38 -38
- package/SVF-doxygen/html/search/variables_3.js +142 -142
- package/SVF-doxygen/html/search/variables_4.js +55 -55
- package/SVF-doxygen/html/search/variables_5.js +37 -37
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +33 -33
- package/SVF-doxygen/html/search/variables_8.js +7 -7
- package/SVF-doxygen/html/search/variables_9.js +78 -78
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +56 -56
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +29 -29
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +2 -2
- package/SVF-doxygen/html/svf-ex_8cpp.html +11 -11
- package/SVF-doxygen/html/svf-ex_8cpp_source.html +11 -11
- package/package.json +1 -1
- package/svf/include/Graphs/ConsGEdge.h +1 -1
- package/svf/include/MemoryModel/AccessPath.h +2 -2
- package/svf/include/SVFIR/SVFStatements.h +2 -2
- package/svf/include/SVFIR/SVFVariables.h +1 -1
- package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +2 -1
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +4 -0
- package/svf/lib/DDA/ContextDDA.cpp +2 -1
- package/svf/lib/DDA/FlowDDA.cpp +1 -1
- package/svf/lib/MemoryModel/AccessPath.cpp +4 -4
- package/svf/lib/SVFIR/SVFIR.cpp +1 -1
- package/svf/lib/WPA/Andersen.cpp +1 -1
- package/svf/lib/WPA/FlowSensitive.cpp +1 -1
- package/svf-llvm/lib/SVFIRBuilder.cpp +2 -2
- package/svf-llvm/lib/SVFIRExtAPI.cpp +7 -5
|
@@ -368,72 +368,73 @@ Protected Attributes</h2></td></tr>
|
|
|
368
368
|
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#l00608">608</a> of file <a class="el" href="SVFIR2ConsExeState_8cpp_source.html">SVFIR2ConsExeState.cpp</a>.</p>
|
|
369
369
|
<div class="fragment"><div class="line"><a name="l00609"></a><span class="lineno"> 609</span> {</div>
|
|
370
370
|
<div class="line"><a name="l00611"></a><span class="lineno"> 611</span>  <span class="keywordflow">if</span> (gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>().empty())</div>
|
|
371
|
-
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span>  <span class="keywordflow">return</span> std::make_pair(gep-><a class="code" href="classSVF_1_1GepStmt.html#
|
|
372
|
-
<div class="line"><a name="l00613"></a><span class="lineno"> 613</span>  </div>
|
|
373
|
-
<div class="line"><a name="l00614"></a><span class="lineno"> 614</span> 
|
|
374
|
-
<div class="line"><a name="
|
|
375
|
-
<div class="line"><a name="
|
|
376
|
-
<div class="line"><a name="l00619"></a><span class="lineno"> 619</span> 
|
|
377
|
-
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span> 
|
|
378
|
-
<div class="line"><a name="l00621"></a><span class="lineno"> 621</span> 
|
|
379
|
-
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span> 
|
|
380
|
-
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span>  <span class="keyword">const</span> <a class="code" href="
|
|
381
|
-
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span>  <
|
|
382
|
-
<div class="line"><a name="
|
|
383
|
-
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span> 
|
|
384
|
-
<div class="line"><a name="l00628"></a><span class="lineno"> 628</span> 
|
|
385
|
-
<div class="line"><a name="l00629"></a><span class="lineno"> 629</span> 
|
|
386
|
-
<div class="line"><a name="
|
|
387
|
-
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span> 
|
|
388
|
-
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span> 
|
|
389
|
-
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span>  <
|
|
390
|
-
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span>  <span class="keywordflow">if</span> (
|
|
391
|
-
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span> 
|
|
392
|
-
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span> 
|
|
393
|
-
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span> 
|
|
394
|
-
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span> 
|
|
395
|
-
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span> 
|
|
396
|
-
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  <
|
|
397
|
-
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span> 
|
|
398
|
-
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span> 
|
|
399
|
-
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span> 
|
|
400
|
-
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span> 
|
|
401
|
-
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span> 
|
|
402
|
-
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span> 
|
|
403
|
-
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span> 
|
|
404
|
-
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span> 
|
|
405
|
-
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span> 
|
|
406
|
-
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span> 
|
|
407
|
-
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span> 
|
|
408
|
-
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span> 
|
|
409
|
-
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span> 
|
|
410
|
-
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span> 
|
|
411
|
-
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span> 
|
|
412
|
-
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span> 
|
|
413
|
-
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span> 
|
|
414
|
-
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span> 
|
|
415
|
-
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span> 
|
|
416
|
-
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span> 
|
|
417
|
-
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span> 
|
|
418
|
-
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span> 
|
|
419
|
-
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span> 
|
|
420
|
-
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span> 
|
|
421
|
-
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span> 
|
|
422
|
-
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span> 
|
|
423
|
-
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span> 
|
|
424
|
-
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span> 
|
|
425
|
-
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span> 
|
|
426
|
-
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span> 
|
|
427
|
-
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span> 
|
|
428
|
-
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span> 
|
|
429
|
-
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span> 
|
|
430
|
-
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span> 
|
|
431
|
-
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span> 
|
|
432
|
-
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span> 
|
|
433
|
-
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span> 
|
|
434
|
-
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  offSetPair.
|
|
435
|
-
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span> 
|
|
436
|
-
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span> 
|
|
371
|
+
<div class="line"><a name="l00612"></a><span class="lineno"> 612</span>  <span class="keywordflow">return</span> std::make_pair(gep-><a class="code" href="classSVF_1_1GepStmt.html#a71fcc6d100ce2a9785a02b8924261956">getConstantStructFldIdx</a>(),</div>
|
|
372
|
+
<div class="line"><a name="l00613"></a><span class="lineno"> 613</span>  gep-><a class="code" href="classSVF_1_1GepStmt.html#a71fcc6d100ce2a9785a02b8924261956">getConstantStructFldIdx</a>());</div>
|
|
373
|
+
<div class="line"><a name="l00614"></a><span class="lineno"> 614</span>  </div>
|
|
374
|
+
<div class="line"><a name="l00615"></a><span class="lineno"> 615</span>  <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> totalOffset = 0;</div>
|
|
375
|
+
<div class="line"><a name="l00617"></a><span class="lineno"> 617</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> maxFieldLimit = <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>() - 1;</div>
|
|
376
|
+
<div class="line"><a name="l00619"></a><span class="lineno"> 619</span>  <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>().size() - 1; i >= 0; i--)</div>
|
|
377
|
+
<div class="line"><a name="l00620"></a><span class="lineno"> 620</span>  {</div>
|
|
378
|
+
<div class="line"><a name="l00621"></a><span class="lineno"> 621</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a> *value =</div>
|
|
379
|
+
<div class="line"><a name="l00622"></a><span class="lineno"> 622</span>  gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>()[i].first->getValue();</div>
|
|
380
|
+
<div class="line"><a name="l00623"></a><span class="lineno"> 623</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a> *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = gep-><a class="code" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">getOffsetVarAndGepTypePairVec</a>()[i].second;</div>
|
|
381
|
+
<div class="line"><a name="l00624"></a><span class="lineno"> 624</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a> *op = SVFUtil::dyn_cast<SVFConstantInt>(value);</div>
|
|
382
|
+
<div class="line"><a name="l00625"></a><span class="lineno"> 625</span>  <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = 0;</div>
|
|
383
|
+
<div class="line"><a name="l00627"></a><span class="lineno"> 627</span>  <span class="keywordflow">if</span> (op)</div>
|
|
384
|
+
<div class="line"><a name="l00628"></a><span class="lineno"> 628</span>  {</div>
|
|
385
|
+
<div class="line"><a name="l00629"></a><span class="lineno"> 629</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = op-><a class="code" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">getSExtValue</a>();</div>
|
|
386
|
+
<div class="line"><a name="l00630"></a><span class="lineno"> 630</span>  }</div>
|
|
387
|
+
<div class="line"><a name="l00633"></a><span class="lineno"> 633</span>  <span class="keywordflow">else</span></div>
|
|
388
|
+
<div class="line"><a name="l00634"></a><span class="lineno"> 634</span>  {</div>
|
|
389
|
+
<div class="line"><a name="l00635"></a><span class="lineno"> 635</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> idx = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-><a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(value);</div>
|
|
390
|
+
<div class="line"><a name="l00636"></a><span class="lineno"> 636</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f">inVarToValTable</a>(idx)) <span class="keywordflow">return</span> std::make_pair(-1, -1);</div>
|
|
391
|
+
<div class="line"><a name="l00637"></a><span class="lineno"> 637</span>  <span class="keywordflow">if</span> ((*<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>)[idx].isBottom() || (*<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>)[idx].isTop() || (*<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>)[idx].isSym())</div>
|
|
392
|
+
<div class="line"><a name="l00638"></a><span class="lineno"> 638</span>  {</div>
|
|
393
|
+
<div class="line"><a name="l00639"></a><span class="lineno"> 639</span>  <span class="keywordflow">return</span> std::make_pair(0, (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>());</div>
|
|
394
|
+
<div class="line"><a name="l00640"></a><span class="lineno"> 640</span>  }</div>
|
|
395
|
+
<div class="line"><a name="l00641"></a><span class="lineno"> 641</span>  </div>
|
|
396
|
+
<div class="line"><a name="l00642"></a><span class="lineno"> 642</span>  <span class="comment">// if idxVal is a concrete value</span></div>
|
|
397
|
+
<div class="line"><a name="l00643"></a><span class="lineno"> 643</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">ConsExeState::z3Expr2NumValue</a>((*<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>)[idx]);</div>
|
|
398
|
+
<div class="line"><a name="l00644"></a><span class="lineno"> 644</span>  }</div>
|
|
399
|
+
<div class="line"><a name="l00645"></a><span class="lineno"> 645</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> == <span class="keyword">nullptr</span>)</div>
|
|
400
|
+
<div class="line"><a name="l00646"></a><span class="lineno"> 646</span>  {</div>
|
|
401
|
+
<div class="line"><a name="l00647"></a><span class="lineno"> 647</span>  <span class="keywordflow">if</span> ((<span class="keywordtype">long</span> <span class="keywordtype">long</span>) (totalOffset + <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>) > maxFieldLimit)</div>
|
|
402
|
+
<div class="line"><a name="l00648"></a><span class="lineno"> 648</span>  {</div>
|
|
403
|
+
<div class="line"><a name="l00649"></a><span class="lineno"> 649</span>  totalOffset = maxFieldLimit;</div>
|
|
404
|
+
<div class="line"><a name="l00650"></a><span class="lineno"> 650</span>  }</div>
|
|
405
|
+
<div class="line"><a name="l00651"></a><span class="lineno"> 651</span>  <span class="keywordflow">else</span></div>
|
|
406
|
+
<div class="line"><a name="l00652"></a><span class="lineno"> 652</span>  {</div>
|
|
407
|
+
<div class="line"><a name="l00653"></a><span class="lineno"> 653</span>  totalOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
|
|
408
|
+
<div class="line"><a name="l00654"></a><span class="lineno"> 654</span>  }</div>
|
|
409
|
+
<div class="line"><a name="l00655"></a><span class="lineno"> 655</span>  <span class="keywordflow">continue</span>;</div>
|
|
410
|
+
<div class="line"><a name="l00656"></a><span class="lineno"> 656</span>  }</div>
|
|
411
|
+
<div class="line"><a name="l00657"></a><span class="lineno"> 657</span>  </div>
|
|
412
|
+
<div class="line"><a name="l00658"></a><span class="lineno"> 658</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a> *pty = SVFUtil::dyn_cast<SVFPointerType>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>))</div>
|
|
413
|
+
<div class="line"><a name="l00659"></a><span class="lineno"> 659</span>  {</div>
|
|
414
|
+
<div class="line"><a name="l00660"></a><span class="lineno"> 660</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> * gep-><a class="code" href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">getAccessPath</a>().<a class="code" href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">getElementNum</a>(pty->getPtrElementType());</div>
|
|
415
|
+
<div class="line"><a name="l00661"></a><span class="lineno"> 661</span>  }</div>
|
|
416
|
+
<div class="line"><a name="l00662"></a><span class="lineno"> 662</span>  <span class="keywordflow">else</span></div>
|
|
417
|
+
<div class="line"><a name="l00663"></a><span class="lineno"> 663</span>  {</div>
|
|
418
|
+
<div class="line"><a name="l00664"></a><span class="lineno"> 664</span>  <span class="keyword">const</span> std::vector<u32_t> &so = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">getTypeInfo</a>(</div>
|
|
419
|
+
<div class="line"><a name="l00665"></a><span class="lineno"> 665</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>)-><a class="code" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">getFlattenedElemIdxVec</a>();</div>
|
|
420
|
+
<div class="line"><a name="l00666"></a><span class="lineno"> 666</span>  <span class="keywordflow">if</span> (so.empty() || (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>) <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> >= so.size())</div>
|
|
421
|
+
<div class="line"><a name="l00667"></a><span class="lineno"> 667</span>  <span class="keywordflow">return</span> std::make_pair(-1, -1);</div>
|
|
422
|
+
<div class="line"><a name="l00668"></a><span class="lineno"> 668</span>  <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-><a class="code" href="classSVF_1_1SymbolTableInfo.html#a24df52313f8093bb651ae9da972cd663">getFlattenedElemIdx</a>(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
|
|
423
|
+
<div class="line"><a name="l00669"></a><span class="lineno"> 669</span>  }</div>
|
|
424
|
+
<div class="line"><a name="l00670"></a><span class="lineno"> 670</span>  <span class="keywordflow">if</span> ((<span class="keywordtype">long</span> <span class="keywordtype">long</span>) (totalOffset + <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>) > maxFieldLimit)</div>
|
|
425
|
+
<div class="line"><a name="l00671"></a><span class="lineno"> 671</span>  {</div>
|
|
426
|
+
<div class="line"><a name="l00672"></a><span class="lineno"> 672</span>  totalOffset = maxFieldLimit;</div>
|
|
427
|
+
<div class="line"><a name="l00673"></a><span class="lineno"> 673</span>  }</div>
|
|
428
|
+
<div class="line"><a name="l00674"></a><span class="lineno"> 674</span>  <span class="keywordflow">else</span></div>
|
|
429
|
+
<div class="line"><a name="l00675"></a><span class="lineno"> 675</span>  {</div>
|
|
430
|
+
<div class="line"><a name="l00676"></a><span class="lineno"> 676</span>  totalOffset += <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>;</div>
|
|
431
|
+
<div class="line"><a name="l00677"></a><span class="lineno"> 677</span>  }</div>
|
|
432
|
+
<div class="line"><a name="l00678"></a><span class="lineno"> 678</span>  }</div>
|
|
433
|
+
<div class="line"><a name="l00679"></a><span class="lineno"> 679</span>  std::pair<s32_t, s32_t> offSetPair;</div>
|
|
434
|
+
<div class="line"><a name="l00680"></a><span class="lineno"> 680</span>  offSetPair.first = totalOffset;</div>
|
|
435
|
+
<div class="line"><a name="l00681"></a><span class="lineno"> 681</span>  offSetPair.second = totalOffset;</div>
|
|
436
|
+
<div class="line"><a name="l00682"></a><span class="lineno"> 682</span>  <span class="keywordflow">return</span> offSetPair;</div>
|
|
437
|
+
<div class="line"><a name="l00683"></a><span class="lineno"> 683</span> }</div>
|
|
437
438
|
</div><!-- fragment -->
|
|
438
439
|
</div>
|
|
439
440
|
</div>
|
|
@@ -539,44 +540,44 @@ Protected Attributes</h2></td></tr>
|
|
|
539
540
|
</dl>
|
|
540
541
|
<p>constant data</p>
|
|
541
542
|
|
|
542
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#
|
|
543
|
-
<div class="fragment"><div class="line"><a name="
|
|
544
|
-
<div class="line"><a name="
|
|
545
|
-
<div class="line"><a name="
|
|
546
|
-
<div class="line"><a name="
|
|
547
|
-
<div class="line"><a name="
|
|
548
|
-
<div class="line"><a name="
|
|
549
|
-
<div class="line"><a name="
|
|
550
|
-
<div class="line"><a name="
|
|
551
|
-
<div class="line"><a name="
|
|
552
|
-
<div class="line"><a name="
|
|
553
|
-
<div class="line"><a name="
|
|
554
|
-
<div class="line"><a name="
|
|
555
|
-
<div class="line"><a name="
|
|
556
|
-
<div class="line"><a name="
|
|
557
|
-
<div class="line"><a name="
|
|
558
|
-
<div class="line"><a name="
|
|
559
|
-
<div class="line"><a name="
|
|
560
|
-
<div class="line"><a name="
|
|
561
|
-
<div class="line"><a name="
|
|
562
|
-
<div class="line"><a name="
|
|
563
|
-
<div class="line"><a name="
|
|
564
|
-
<div class="line"><a name="
|
|
565
|
-
<div class="line"><a name="
|
|
566
|
-
<div class="line"><a name="
|
|
567
|
-
<div class="line"><a name="
|
|
568
|
-
<div class="line"><a name="
|
|
569
|
-
<div class="line"><a name="
|
|
570
|
-
<div class="line"><a name="
|
|
571
|
-
<div class="line"><a name="
|
|
572
|
-
<div class="line"><a name="
|
|
573
|
-
<div class="line"><a name="
|
|
574
|
-
<div class="line"><a name="
|
|
575
|
-
<div class="line"><a name="
|
|
576
|
-
<div class="line"><a name="
|
|
577
|
-
<div class="line"><a name="
|
|
578
|
-
<div class="line"><a name="
|
|
579
|
-
<div class="line"><a name="
|
|
543
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#l00723">723</a> of file <a class="el" href="SVFIR2ConsExeState_8cpp_source.html">SVFIR2ConsExeState.cpp</a>.</p>
|
|
544
|
+
<div class="fragment"><div class="line"><a name="l00724"></a><span class="lineno"> 724</span> {</div>
|
|
545
|
+
<div class="line"><a name="l00725"></a><span class="lineno"> 725</span>  <span class="keywordflow">if</span> (objVar-><a class="code" href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">hasValue</a>())</div>
|
|
546
|
+
<div class="line"><a name="l00726"></a><span class="lineno"> 726</span>  {</div>
|
|
547
|
+
<div class="line"><a name="l00727"></a><span class="lineno"> 727</span>  <span class="keyword">const</span> <a class="code" href="classSVF_1_1MemObj.html">MemObj</a> *obj = objVar-><a class="code" href="classSVF_1_1ObjVar.html#a6a4feb73b54e602407e35eeb09f55930">getMemObj</a>();</div>
|
|
548
|
+
<div class="line"><a name="l00729"></a><span class="lineno"> 729</span>  <span class="keywordflow">if</span> (obj-><a class="code" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">isConstDataOrAggData</a>() || obj-><a class="code" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">isConstantArray</a>() || obj-><a class="code" href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">isConstantStruct</a>())</div>
|
|
549
|
+
<div class="line"><a name="l00730"></a><span class="lineno"> 730</span>  {</div>
|
|
550
|
+
<div class="line"><a name="l00731"></a><span class="lineno"> 731</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantInt.html">SVFConstantInt</a> *consInt = SVFUtil::dyn_cast<SVFConstantInt>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
551
|
+
<div class="line"><a name="l00732"></a><span class="lineno"> 732</span>  {</div>
|
|
552
|
+
<div class="line"><a name="l00733"></a><span class="lineno"> 733</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>[varId] = consInt->getSExtValue();</div>
|
|
553
|
+
<div class="line"><a name="l00734"></a><span class="lineno"> 734</span>  }</div>
|
|
554
|
+
<div class="line"><a name="l00735"></a><span class="lineno"> 735</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFConstantFP.html">SVFConstantFP</a> *consFP = SVFUtil::dyn_cast<SVFConstantFP>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
555
|
+
<div class="line"><a name="l00736"></a><span class="lineno"> 736</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>[varId] = consFP->getFPValue();</div>
|
|
556
|
+
<div class="line"><a name="l00737"></a><span class="lineno"> 737</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa<SVFConstantNullPtr>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
557
|
+
<div class="line"><a name="l00738"></a><span class="lineno"> 738</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>[varId] = 0;</div>
|
|
558
|
+
<div class="line"><a name="l00739"></a><span class="lineno"> 739</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa<SVFGlobalValue>(obj-><a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
|
|
559
|
+
<div class="line"><a name="l00740"></a><span class="lineno"> 740</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[varId] = <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7">getVirtualMemAddress</a>(varId);</div>
|
|
560
|
+
<div class="line"><a name="l00741"></a><span class="lineno"> 741</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (obj-><a class="code" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">isConstDataOrAggData</a>())</div>
|
|
561
|
+
<div class="line"><a name="l00742"></a><span class="lineno"> 742</span>  {</div>
|
|
562
|
+
<div class="line"><a name="l00743"></a><span class="lineno"> 743</span>  <span class="comment">// TODO</span></div>
|
|
563
|
+
<div class="line"><a name="l00744"></a><span class="lineno"> 744</span>  <span class="comment">// assert(false && "implement this part");</span></div>
|
|
564
|
+
<div class="line"><a name="l00745"></a><span class="lineno"> 745</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
565
|
+
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  }</div>
|
|
566
|
+
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  <span class="keywordflow">else</span></div>
|
|
567
|
+
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  {</div>
|
|
568
|
+
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
569
|
+
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  }</div>
|
|
570
|
+
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  }</div>
|
|
571
|
+
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <span class="keywordflow">else</span></div>
|
|
572
|
+
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  {</div>
|
|
573
|
+
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[varId] = <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7">getVirtualMemAddress</a>(varId);</div>
|
|
574
|
+
<div class="line"><a name="l00755"></a><span class="lineno"> 755</span>  }</div>
|
|
575
|
+
<div class="line"><a name="l00756"></a><span class="lineno"> 756</span>  }</div>
|
|
576
|
+
<div class="line"><a name="l00757"></a><span class="lineno"> 757</span>  <span class="keywordflow">else</span></div>
|
|
577
|
+
<div class="line"><a name="l00758"></a><span class="lineno"> 758</span>  {</div>
|
|
578
|
+
<div class="line"><a name="l00759"></a><span class="lineno"> 759</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[varId] = <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7">getVirtualMemAddress</a>(varId);</div>
|
|
579
|
+
<div class="line"><a name="l00760"></a><span class="lineno"> 760</span>  }</div>
|
|
580
|
+
<div class="line"><a name="l00761"></a><span class="lineno"> 761</span> }</div>
|
|
580
581
|
</div><!-- fragment -->
|
|
581
582
|
</div>
|
|
582
583
|
</div>
|
|
@@ -596,28 +597,28 @@ Protected Attributes</h2></td></tr>
|
|
|
596
597
|
</table>
|
|
597
598
|
</div><div class="memdoc">
|
|
598
599
|
|
|
599
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#
|
|
600
|
-
<div class="fragment"><div class="line"><a name="
|
|
601
|
-
<div class="line"><a name="
|
|
602
|
-
<div class="line"><a name="
|
|
603
|
-
<div class="line"><a name="
|
|
604
|
-
<div class="line"><a name="
|
|
605
|
-
<div class="line"><a name="
|
|
606
|
-
<div class="line"><a name="
|
|
607
|
-
<div class="line"><a name="
|
|
608
|
-
<div class="line"><a name="
|
|
609
|
-
<div class="line"><a name="
|
|
610
|
-
<div class="line"><a name="
|
|
611
|
-
<div class="line"><a name="
|
|
612
|
-
<div class="line"><a name="
|
|
613
|
-
<div class="line"><a name="
|
|
614
|
-
<div class="line"><a name="
|
|
615
|
-
<div class="line"><a name="
|
|
616
|
-
<div class="line"><a name="
|
|
617
|
-
<div class="line"><a name="
|
|
618
|
-
<div class="line"><a name="
|
|
619
|
-
<div class="line"><a name="
|
|
620
|
-
<div class="line"><a name="
|
|
600
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#l00764">764</a> of file <a class="el" href="SVFIR2ConsExeState_8cpp_source.html">SVFIR2ConsExeState.cpp</a>.</p>
|
|
601
|
+
<div class="fragment"><div class="line"><a name="l00765"></a><span class="lineno"> 765</span> {</div>
|
|
602
|
+
<div class="line"><a name="l00766"></a><span class="lineno"> 766</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850">inVarToValTable</a>(varId)) <span class="keywordflow">return</span>;</div>
|
|
603
|
+
<div class="line"><a name="l00767"></a><span class="lineno"> 767</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfir = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>();</div>
|
|
604
|
+
<div class="line"><a name="l00768"></a><span class="lineno"> 768</span>  <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a> *svfVar = svfir-><a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(varId);</div>
|
|
605
|
+
<div class="line"><a name="l00769"></a><span class="lineno"> 769</span>  <span class="comment">// write objvar into cache instead of exestate</span></div>
|
|
606
|
+
<div class="line"><a name="l00770"></a><span class="lineno"> 770</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ObjVar.html">ObjVar</a> *objVar = dyn_cast<ObjVar>(svfVar))</div>
|
|
607
|
+
<div class="line"><a name="l00771"></a><span class="lineno"> 771</span>  {</div>
|
|
608
|
+
<div class="line"><a name="l00772"></a><span class="lineno"> 772</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">initObjVar</a>(objVar, varId);</div>
|
|
609
|
+
<div class="line"><a name="l00773"></a><span class="lineno"> 773</span>  <span class="keywordflow">return</span>;</div>
|
|
610
|
+
<div class="line"><a name="l00774"></a><span class="lineno"> 774</span>  }</div>
|
|
611
|
+
<div class="line"><a name="l00775"></a><span class="lineno"> 775</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1ValVar.html">ValVar</a> *valVar = dyn_cast<ValVar>(svfVar))</div>
|
|
612
|
+
<div class="line"><a name="l00776"></a><span class="lineno"> 776</span>  {</div>
|
|
613
|
+
<div class="line"><a name="l00777"></a><span class="lineno"> 777</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">initValVar</a>(valVar, varId);</div>
|
|
614
|
+
<div class="line"><a name="l00778"></a><span class="lineno"> 778</span>  <span class="keywordflow">return</span>;</div>
|
|
615
|
+
<div class="line"><a name="l00779"></a><span class="lineno"> 779</span>  }</div>
|
|
616
|
+
<div class="line"><a name="l00780"></a><span class="lineno"> 780</span>  <span class="keywordflow">else</span></div>
|
|
617
|
+
<div class="line"><a name="l00781"></a><span class="lineno"> 781</span>  {</div>
|
|
618
|
+
<div class="line"><a name="l00782"></a><span class="lineno"> 782</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">initValVar</a>(valVar, varId);</div>
|
|
619
|
+
<div class="line"><a name="l00783"></a><span class="lineno"> 783</span>  <span class="keywordflow">return</span>;</div>
|
|
620
|
+
<div class="line"><a name="l00784"></a><span class="lineno"> 784</span>  }</div>
|
|
621
|
+
<div class="line"><a name="l00785"></a><span class="lineno"> 785</span> }</div>
|
|
621
622
|
</div><!-- fragment -->
|
|
622
623
|
</div>
|
|
623
624
|
</div>
|
|
@@ -647,37 +648,37 @@ Protected Attributes</h2></td></tr>
|
|
|
647
648
|
</table>
|
|
648
649
|
</div><div class="memdoc">
|
|
649
650
|
|
|
650
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#
|
|
651
|
-
<div class="fragment"><div class="line"><a name="
|
|
652
|
-
<div class="line"><a name="
|
|
653
|
-
<div class="line"><a name="
|
|
654
|
-
<div class="line"><a name="
|
|
655
|
-
<div class="line"><a name="
|
|
656
|
-
<div class="line"><a name="
|
|
657
|
-
<div class="line"><a name="
|
|
658
|
-
<div class="line"><a name="
|
|
659
|
-
<div class="line"><a name="
|
|
660
|
-
<div class="line"><a name="
|
|
661
|
-
<div class="line"><a name="
|
|
662
|
-
<div class="line"><a name="
|
|
663
|
-
<div class="line"><a name="
|
|
664
|
-
<div class="line"><a name="
|
|
665
|
-
<div class="line"><a name="
|
|
666
|
-
<div class="line"><a name="
|
|
667
|
-
<div class="line"><a name="
|
|
668
|
-
<div class="line"><a name="
|
|
669
|
-
<div class="line"><a name="
|
|
670
|
-
<div class="line"><a name="
|
|
671
|
-
<div class="line"><a name="
|
|
672
|
-
<div class="line"><a name="
|
|
673
|
-
<div class="line"><a name="
|
|
674
|
-
<div class="line"><a name="
|
|
675
|
-
<div class="line"><a name="
|
|
676
|
-
<div class="line"><a name="
|
|
677
|
-
<div class="line"><a name="
|
|
678
|
-
<div class="line"><a name="
|
|
679
|
-
<div class="line"><a name="
|
|
680
|
-
<div class="line"><a name="
|
|
651
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#l00686">686</a> of file <a class="el" href="SVFIR2ConsExeState_8cpp_source.html">SVFIR2ConsExeState.cpp</a>.</p>
|
|
652
|
+
<div class="fragment"><div class="line"><a name="l00687"></a><span class="lineno"> 687</span> {</div>
|
|
653
|
+
<div class="line"><a name="l00688"></a><span class="lineno"> 688</span>  </div>
|
|
654
|
+
<div class="line"><a name="l00689"></a><span class="lineno"> 689</span>  <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfir = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>();</div>
|
|
655
|
+
<div class="line"><a name="l00690"></a><span class="lineno"> 690</span>  </div>
|
|
656
|
+
<div class="line"><a name="l00691"></a><span class="lineno"> 691</span>  <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a> *<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a> = valVar->getType())</div>
|
|
657
|
+
<div class="line"><a name="l00692"></a><span class="lineno"> 692</span>  {</div>
|
|
658
|
+
<div class="line"><a name="l00693"></a><span class="lineno"> 693</span>  <span class="comment">// TODO:miss floatpointerty, voidty, labelty, metadataty</span></div>
|
|
659
|
+
<div class="line"><a name="l00694"></a><span class="lineno"> 694</span>  <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFType::SVFIntegerTy</a> ||</div>
|
|
660
|
+
<div class="line"><a name="l00695"></a><span class="lineno"> 695</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFType::SVFPointerTy</a> ||</div>
|
|
661
|
+
<div class="line"><a name="l00696"></a><span class="lineno"> 696</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFType::SVFFunctionTy</a> ||</div>
|
|
662
|
+
<div class="line"><a name="l00697"></a><span class="lineno"> 697</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFType::SVFStructTy</a> ||</div>
|
|
663
|
+
<div class="line"><a name="l00698"></a><span class="lineno"> 698</span>  <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFType::SVFArrayTy</a>)</div>
|
|
664
|
+
<div class="line"><a name="l00699"></a><span class="lineno"> 699</span>  <span class="comment">// continue with null expression</span></div>
|
|
665
|
+
<div class="line"><a name="l00700"></a><span class="lineno"> 700</span>  (*_es)[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
666
|
+
<div class="line"><a name="l00701"></a><span class="lineno"> 701</span>  <span class="keywordflow">else</span></div>
|
|
667
|
+
<div class="line"><a name="l00702"></a><span class="lineno"> 702</span>  {</div>
|
|
668
|
+
<div class="line"><a name="l00703"></a><span class="lineno"> 703</span>  </div>
|
|
669
|
+
<div class="line"><a name="l00704"></a><span class="lineno"> 704</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() << valVar->getValue()->toString() << <span class="stringliteral">"\n"</span> << <span class="stringliteral">" type: "</span> << <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>->toString() << <span class="stringliteral">"\n"</span>;</div>
|
|
670
|
+
<div class="line"><a name="l00705"></a><span class="lineno"> 705</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"what other types we have"</span>);</div>
|
|
671
|
+
<div class="line"><a name="l00706"></a><span class="lineno"> 706</span>  }</div>
|
|
672
|
+
<div class="line"><a name="l00707"></a><span class="lineno"> 707</span>  }</div>
|
|
673
|
+
<div class="line"><a name="l00708"></a><span class="lineno"> 708</span>  <span class="keywordflow">else</span></div>
|
|
674
|
+
<div class="line"><a name="l00709"></a><span class="lineno"> 709</span>  {</div>
|
|
675
|
+
<div class="line"><a name="l00710"></a><span class="lineno"> 710</span>  <span class="keywordflow">if</span> (svfir-><a class="code" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>() == valVar->getId())</div>
|
|
676
|
+
<div class="line"><a name="l00711"></a><span class="lineno"> 711</span>  (*_es)[varId] = 0;</div>
|
|
677
|
+
<div class="line"><a name="l00712"></a><span class="lineno"> 712</span>  <span class="keywordflow">else</span></div>
|
|
678
|
+
<div class="line"><a name="l00713"></a><span class="lineno"> 713</span>  (*<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>)[varId] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
|
|
679
|
+
<div class="line"><a name="l00714"></a><span class="lineno"> 714</span>  assert(SVFUtil::isa<DummyValVar>(valVar) && <span class="stringliteral">"not a DummValVar if it has no type?"</span>);</div>
|
|
680
|
+
<div class="line"><a name="l00715"></a><span class="lineno"> 715</span>  }</div>
|
|
681
|
+
<div class="line"><a name="l00716"></a><span class="lineno"> 716</span> }</div>
|
|
681
682
|
</div><!-- fragment -->
|
|
682
683
|
</div>
|
|
683
684
|
</div>
|
|
@@ -853,30 +854,30 @@ Protected Attributes</h2></td></tr>
|
|
|
853
854
|
</table>
|
|
854
855
|
</div><div class="memdoc">
|
|
855
856
|
|
|
856
|
-
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#
|
|
857
|
-
<div class="fragment"><div class="line"><a name="
|
|
858
|
-
<div class="line"><a name="
|
|
859
|
-
<div class="line"><a name="
|
|
860
|
-
<div class="line"><a name="
|
|
861
|
-
<div class="line"><a name="
|
|
862
|
-
<div class="line"><a name="
|
|
863
|
-
<div class="line"><a name="
|
|
864
|
-
<div class="line"><a name="
|
|
865
|
-
<div class="line"><a name="
|
|
866
|
-
<div class="line"><a name="
|
|
867
|
-
<div class="line"><a name="
|
|
868
|
-
<div class="line"><a name="
|
|
869
|
-
<div class="line"><a name="
|
|
870
|
-
<div class="line"><a name="
|
|
871
|
-
<div class="line"><a name="
|
|
872
|
-
<div class="line"><a name="
|
|
873
|
-
<div class="line"><a name="
|
|
874
|
-
<div class="line"><a name="
|
|
875
|
-
<div class="line"><a name="
|
|
876
|
-
<div class="line"><a name="
|
|
877
|
-
<div class="line"><a name="
|
|
878
|
-
<div class="line"><a name="
|
|
879
|
-
<div class="line"><a name="
|
|
857
|
+
<p class="definition">Definition at line <a class="el" href="SVFIR2ConsExeState_8cpp_source.html#l00787">787</a> of file <a class="el" href="SVFIR2ConsExeState_8cpp_source.html">SVFIR2ConsExeState.cpp</a>.</p>
|
|
858
|
+
<div class="fragment"><div class="line"><a name="l00788"></a><span class="lineno"> 788</span> {</div>
|
|
859
|
+
<div class="line"><a name="l00789"></a><span class="lineno"> 789</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>)</div>
|
|
860
|
+
<div class="line"><a name="l00790"></a><span class="lineno"> 790</span>  {</div>
|
|
861
|
+
<div class="line"><a name="l00791"></a><span class="lineno"> 791</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.insert(it);</div>
|
|
862
|
+
<div class="line"><a name="l00792"></a><span class="lineno"> 792</span>  }</div>
|
|
863
|
+
<div class="line"><a name="l00793"></a><span class="lineno"> 793</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>)</div>
|
|
864
|
+
<div class="line"><a name="l00794"></a><span class="lineno"> 794</span>  {</div>
|
|
865
|
+
<div class="line"><a name="l00795"></a><span class="lineno"> 795</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.insert(it);</div>
|
|
866
|
+
<div class="line"><a name="l00796"></a><span class="lineno"> 796</span>  }</div>
|
|
867
|
+
<div class="line"><a name="l00797"></a><span class="lineno"> 797</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>)</div>
|
|
868
|
+
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  {</div>
|
|
869
|
+
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.insert(it);</div>
|
|
870
|
+
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span>  }</div>
|
|
871
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>)</div>
|
|
872
|
+
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  {</div>
|
|
873
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.insert(it);</div>
|
|
874
|
+
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  }</div>
|
|
875
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[0] = <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">ConsExeState::getVirtualMemAddress</a>(0);</div>
|
|
876
|
+
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.clear();</div>
|
|
877
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.clear();</div>
|
|
878
|
+
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.clear();</div>
|
|
879
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a89c8aeb1b6f0d1f953e756760f72c224">_es</a>-><a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.clear();</div>
|
|
880
|
+
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span> }</div>
|
|
880
881
|
</div><!-- fragment -->
|
|
881
882
|
</div>
|
|
882
883
|
</div>
|
|
@@ -1728,6 +1729,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1728
1729
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc">SVF::BinaryOPStmt::URem</a></div><div class="ttdeci">@ URem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00982">SVFStatements.h:982</a></div></div>
|
|
1729
1730
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">SVF::CmpStmt::FCMP_OLT</a></div><div class="ttdeci">@ FCMP_OLT</div><div class="ttdoc">0 1 0 0 True if ordered and less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00893">SVFStatements.h:893</a></div></div>
|
|
1730
1731
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a0e7dde6b5ae9a605230a49b3216ea6e8"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue::bottomConstant</a></div><div class="ttdeci">static SingleAbsValue bottomConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00058">SingleAbsValue.h:58</a></div></div>
|
|
1732
|
+
<div class="ttc" id="aclassSVF_1_1GepStmt_html_a71fcc6d100ce2a9785a02b8924261956"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a71fcc6d100ce2a9785a02b8924261956">SVF::GepStmt::getConstantStructFldIdx</a></div><div class="ttdeci">APOffset getConstantStructFldIdx() const</div><div class="ttdoc">Field index of the gep statement if it access the field of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00520">SVFStatements.h:520</a></div></div>
|
|
1731
1733
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdoc">Map a variable (symbol) to its constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00114">ConsExeState.h:114</a></div></div>
|
|
1732
1734
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a3f5fa4efdd0f45b375f18596734f3d07"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07">SVF::ConsExeState::applySelect</a></div><div class="ttdeci">bool applySelect(u32_t res, u32_t cond, u32_t top, u32_t fop)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00446">ConsExeState.cpp:446</a></div></div>
|
|
1733
1735
|
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00862">SVFStatements.h:862</a></div></div>
|
|
@@ -1781,7 +1783,6 @@ Protected Attributes</h2></td></tr>
|
|
|
1781
1783
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e">SVF::BinaryOPStmt::FAdd</a></div><div class="ttdeci">@ FAdd</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00974">SVFStatements.h:974</a></div></div>
|
|
1782
1784
|
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00854">SVFStatements.h:854</a></div></div>
|
|
1783
1785
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
|
|
1784
|
-
<div class="ttc" id="aclassSVF_1_1GepStmt_html_afe5ae814b71b59fc03bd672d62a5fab7"><div class="ttname"><a href="classSVF_1_1GepStmt.html#afe5ae814b71b59fc03bd672d62a5fab7">SVF::GepStmt::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Field index of the gep statement if it access the field of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00520">SVFStatements.h:520</a></div></div>
|
|
1785
1786
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">SVF::CmpStmt::ICMP_ULE</a></div><div class="ttdeci">@ ICMP_ULE</div><div class="ttdoc">unsigned less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00913">SVFStatements.h:913</a></div></div>
|
|
1786
1787
|
<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00966">SVFValue.h:966</a></div></div>
|
|
1787
1788
|
<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01000">SVFValue.h:1000</a></div></div>
|
|
@@ -1800,7 +1801,7 @@ Protected Attributes</h2></td></tr>
|
|
|
1800
1801
|
<div class="ttc" id="aclassSVF_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#l00081">SymbolTableInfo.cpp:81</a></div></div>
|
|
1801
1802
|
<div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
|
|
1802
1803
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_ad317f2ae2e599a131a6fd9f415f5d712"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState::_varToAddrs</a></div><div class="ttdeci">VarToAddrs _varToAddrs</div><div class="ttdoc">Map a variable (symbol) to its memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00095">ExeState.h:95</a></div></div>
|
|
1803
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a75ff754930798c901714d3b0f2c6e857"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">SVF::SVFIR2ConsExeState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#
|
|
1804
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a75ff754930798c901714d3b0f2c6e857"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">SVF::SVFIR2ConsExeState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00764">SVFIR2ConsExeState.cpp:764</a></div></div>
|
|
1804
1805
|
<div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
|
|
1805
1806
|
<div class="ttc" id="aclassSVF_1_1MemObj_html_a2f70e9c830b18f25c56b530722f106c4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">SVF::MemObj::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get the reference value to this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00406">SymbolTableInfo.h:406</a></div></div>
|
|
1806
1807
|
<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
|
|
@@ -1821,9 +1822,9 @@ Protected Attributes</h2></td></tr>
|
|
|
1821
1822
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4481c80fcf9c64f23e8a216dfc01869a"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4481c80fcf9c64f23e8a216dfc01869a">SVF::ConsExeState::inLocToValTable</a></div><div class="ttdeci">bool inLocToValTable(u32_t varId) const</div><div class="ttdoc">whether the memory address stores constant value</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00157">ConsExeState.h:157</a></div></div>
|
|
1822
1823
|
<div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00946">SVFStatements.h:946</a></div></div>
|
|
1823
1824
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a83b1f0b78e6cd7e45721d32a0998c3a7"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a83b1f0b78e6cd7e45721d32a0998c3a7">SVF::SVFIR2ConsExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8h_source.html#l00107">SVFIR2ConsExeState.h:107</a></div></div>
|
|
1824
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a4537a3df1217e01d024c3a24f7b5a2f0"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">SVF::SVFIR2ConsExeState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ConZ3Expr for ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#
|
|
1825
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a4537a3df1217e01d024c3a24f7b5a2f0"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a4537a3df1217e01d024c3a24f7b5a2f0">SVF::SVFIR2ConsExeState::initObjVar</a></div><div class="ttdeci">void initObjVar(const ObjVar *objVar, u32_t varId)</div><div class="ttdoc">Init ConZ3Expr for ObjVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00723">SVFIR2ConsExeState.cpp:723</a></div></div>
|
|
1825
1826
|
<div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00858">SVFStatements.h:858</a></div></div>
|
|
1826
|
-
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a51a94136135db2190cca1859fdd9faf8"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">SVF::SVFIR2ConsExeState::initValVar</a></div><div class="ttdeci">void initValVar(const ValVar *objVar, u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#
|
|
1827
|
+
<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a51a94136135db2190cca1859fdd9faf8"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a51a94136135db2190cca1859fdd9faf8">SVF::SVFIR2ConsExeState::initValVar</a></div><div class="ttdeci">void initValVar(const ValVar *objVar, u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00686">SVFIR2ConsExeState.cpp:686</a></div></div>
|
|
1827
1828
|
<div class="ttc" id="aclassSVF_1_1SVFIR_html_ae18425df0631aefca7dd4b799f6f524a"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">SVF::SVFIR::getGepObjVar</a></div><div class="ttdeci">NodeID getGepObjVar(const MemObj *obj, const APOffset &ap)</div><div class="ttdoc">Get a field SVFIR Object node according to base mem obj and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00422">SVFIR.cpp:422</a></div></div>
|
|
1828
1829
|
<div class="ttc" id="acJSON_8cpp_html_a7669ee67a0563250c1efaa24d130e1ac"><div class="ttname"><a href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></div><div class="ttdeci">copy</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00414">cJSON.cpp:414</a></div></div>
|
|
1829
1830
|
<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01016">SVFStatements.h:1016</a></div></div>
|