svf-tools 1.0.778 → 1.0.779
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/SVFFileSystem_8cpp_source.html +1335 -1331
- package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1111 -1109
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRWriter.html +102 -100
- package/package.json +1 -1
- package/svf/lib/SVFIR/SVFFileSystem.cpp +4 -0
|
@@ -3135,13 +3135,13 @@ template<typename T > </div>
|
|
|
3135
3135
|
</table>
|
|
3136
3136
|
</div><div class="memdoc">
|
|
3137
3137
|
|
|
3138
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3139
|
-
<div class="fragment"><div class="line"><a name="
|
|
3140
|
-
<div class="line"><a name="
|
|
3141
|
-
<div class="line"><a name="
|
|
3142
|
-
<div class="line"><a name="
|
|
3143
|
-
<div class="line"><a name="
|
|
3144
|
-
<div class="line"><a name="
|
|
3138
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01255">1255</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3139
|
+
<div class="fragment"><div class="line"><a name="l01256"></a><span class="lineno"> 1256</span> {</div>
|
|
3140
|
+
<div class="line"><a name="l01257"></a><span class="lineno"> 1257</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3141
|
+
<div class="line"><a name="l01258"></a><span class="lineno"> 1258</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, &ap, fldIdx);</div>
|
|
3142
|
+
<div class="line"><a name="l01259"></a><span class="lineno"> 1259</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, &ap, offsetVarAndGepTypePairs);</div>
|
|
3143
|
+
<div class="line"><a name="l01260"></a><span class="lineno"> 1260</span>  <span class="keywordflow">return</span> root;</div>
|
|
3144
|
+
<div class="line"><a name="l01261"></a><span class="lineno"> 1261</span> }</div>
|
|
3145
3145
|
</div><!-- fragment -->
|
|
3146
3146
|
</div>
|
|
3147
3147
|
</div>
|
|
@@ -3529,18 +3529,18 @@ template<typename T > </div>
|
|
|
3529
3529
|
</table>
|
|
3530
3530
|
</div><div class="memdoc">
|
|
3531
3531
|
|
|
3532
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3533
|
-
<div class="fragment"><div class="line"><a name="
|
|
3534
|
-
<div class="line"><a name="
|
|
3535
|
-
<div class="line"><a name="
|
|
3536
|
-
<div class="line"><a name="
|
|
3537
|
-
<div class="line"><a name="
|
|
3538
|
-
<div class="line"><a name="
|
|
3539
|
-
<div class="line"><a name="
|
|
3540
|
-
<div class="line"><a name="
|
|
3541
|
-
<div class="line"><a name="
|
|
3542
|
-
<div class="line"><a name="
|
|
3543
|
-
<div class="line"><a name="
|
|
3532
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01263">1263</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3533
|
+
<div class="fragment"><div class="line"><a name="l01264"></a><span class="lineno"> 1264</span> {</div>
|
|
3534
|
+
<div class="line"><a name="l01265"></a><span class="lineno"> 1265</span>  <a class="code" href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a>(nodeIDAllocator);</div>
|
|
3535
|
+
<div class="line"><a name="l01266"></a><span class="lineno"> 1266</span>  </div>
|
|
3536
|
+
<div class="line"><a name="l01267"></a><span class="lineno"> 1267</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3537
|
+
<div class="line"><a name="l01268"></a><span class="lineno"> 1268</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, strategy);</div>
|
|
3538
|
+
<div class="line"><a name="l01269"></a><span class="lineno"> 1269</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numObjects);</div>
|
|
3539
|
+
<div class="line"><a name="l01270"></a><span class="lineno"> 1270</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numValues);</div>
|
|
3540
|
+
<div class="line"><a name="l01271"></a><span class="lineno"> 1271</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numSymbols);</div>
|
|
3541
|
+
<div class="line"><a name="l01272"></a><span class="lineno"> 1272</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, nodeIDAllocator, numNodes);</div>
|
|
3542
|
+
<div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>  <span class="keywordflow">return</span> root;</div>
|
|
3543
|
+
<div class="line"><a name="l01274"></a><span class="lineno"> 1274</span> }</div>
|
|
3544
3544
|
</div><!-- fragment -->
|
|
3545
3545
|
</div>
|
|
3546
3546
|
</div>
|
|
@@ -3676,10 +3676,10 @@ template<typename T , typename U > </div>
|
|
|
3676
3676
|
</table>
|
|
3677
3677
|
</div><div class="memdoc">
|
|
3678
3678
|
|
|
3679
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3680
|
-
<div class="fragment"><div class="line"><a name="
|
|
3681
|
-
<div class="line"><a name="
|
|
3682
|
-
<div class="line"><a name="
|
|
3679
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01250">1250</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3680
|
+
<div class="fragment"><div class="line"><a name="l01251"></a><span class="lineno"> 1251</span> {</div>
|
|
3681
|
+
<div class="line"><a name="l01252"></a><span class="lineno"> 1252</span>  <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">jsonCreateIndex</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">getStInfoID</a>(stInfo));</div>
|
|
3682
|
+
<div class="line"><a name="l01253"></a><span class="lineno"> 1253</span> }</div>
|
|
3683
3683
|
</div><!-- fragment -->
|
|
3684
3684
|
</div>
|
|
3685
3685
|
</div>
|
|
@@ -3748,8 +3748,10 @@ template<typename T , typename U > </div>
|
|
|
3748
3748
|
<div class="line"><a name="l01242"></a><span class="lineno"> 1242</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, pdtBBsMap);</div>
|
|
3749
3749
|
<div class="line"><a name="l01243"></a><span class="lineno"> 1243</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, dfBBsMap);</div>
|
|
3750
3750
|
<div class="line"><a name="l01244"></a><span class="lineno"> 1244</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, bb2LoopMap);</div>
|
|
3751
|
-
<div class="line"><a name="l01245"></a><span class="lineno"> 1245</span>  <
|
|
3752
|
-
<div class="line"><a name="l01246"></a><span class="lineno"> 1246</span> 
|
|
3751
|
+
<div class="line"><a name="l01245"></a><span class="lineno"> 1245</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, bb2PdomLevel);</div>
|
|
3752
|
+
<div class="line"><a name="l01246"></a><span class="lineno"> 1246</span>  <a class="code" href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a>(root, ldInfo, bb2PIdom);</div>
|
|
3753
|
+
<div class="line"><a name="l01247"></a><span class="lineno"> 1247</span>  <span class="keywordflow">return</span> root;</div>
|
|
3754
|
+
<div class="line"><a name="l01248"></a><span class="lineno"> 1248</span> }</div>
|
|
3753
3755
|
</div><!-- fragment -->
|
|
3754
3756
|
</div>
|
|
3755
3757
|
</div>
|
|
@@ -3777,47 +3779,47 @@ template<typename T , typename U > </div>
|
|
|
3777
3779
|
</table>
|
|
3778
3780
|
</div><div class="memdoc">
|
|
3779
3781
|
|
|
3780
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3781
|
-
<div class="fragment"><div class="line"><a name="
|
|
3782
|
-
<div class="line"><a name="
|
|
3783
|
-
<div class="line"><a name="
|
|
3784
|
-
<div class="line"><a name="
|
|
3785
|
-
<div class="line"><a name="
|
|
3786
|
-
<div class="line"><a name="
|
|
3787
|
-
<div class="line"><a name="
|
|
3788
|
-
<div class="line"><a name="
|
|
3789
|
-
<div class="line"><a name="
|
|
3790
|
-
<div class="line"><a name="
|
|
3791
|
-
<div class="line"><a name="
|
|
3792
|
-
<div class="line"><a name="
|
|
3793
|
-
<div class="line"><a name="
|
|
3794
|
-
<div class="line"><a name="
|
|
3795
|
-
<div class="line"><a name="
|
|
3796
|
-
<div class="line"><a name="
|
|
3797
|
-
<div class="line"><a name="
|
|
3798
|
-
<div class="line"><a name="
|
|
3799
|
-
<div class="line"><a name="
|
|
3800
|
-
<div class="line"><a name="
|
|
3801
|
-
<div class="line"><a name="
|
|
3802
|
-
<div class="line"><a name="
|
|
3803
|
-
<div class="line"><a name="
|
|
3804
|
-
<div class="line"><a name="
|
|
3805
|
-
<div class="line"><a name="
|
|
3806
|
-
<div class="line"><a name="
|
|
3807
|
-
<div class="line"><a name="
|
|
3808
|
-
<div class="line"><a name="
|
|
3809
|
-
<div class="line"><a name="
|
|
3810
|
-
<div class="line"><a name="
|
|
3811
|
-
<div class="line"><a name="
|
|
3812
|
-
<div class="line"><a name="
|
|
3813
|
-
<div class="line"><a name="
|
|
3814
|
-
<div class="line"><a name="
|
|
3815
|
-
<div class="line"><a name="
|
|
3816
|
-
<div class="line"><a name="
|
|
3817
|
-
<div class="line"><a name="
|
|
3818
|
-
<div class="line"><a name="
|
|
3819
|
-
<div class="line"><a name="
|
|
3820
|
-
<div class="line"><a name="
|
|
3782
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01310">1310</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3783
|
+
<div class="fragment"><div class="line"><a name="l01311"></a><span class="lineno"> 1311</span> {</div>
|
|
3784
|
+
<div class="line"><a name="l01312"></a><span class="lineno"> 1312</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3785
|
+
<div class="line"><a name="l01313"></a><span class="lineno"> 1313</span>  <a class="code" href="structcJSON.html">cJSON</a>* allSVFType = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3786
|
+
<div class="line"><a name="l01314"></a><span class="lineno"> 1314</span>  <a class="code" href="structcJSON.html">cJSON</a>* allStInfo = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3787
|
+
<div class="line"><a name="l01315"></a><span class="lineno"> 1315</span>  <a class="code" href="structcJSON.html">cJSON</a>* allSVFValue = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3788
|
+
<div class="line"><a name="l01316"></a><span class="lineno"> 1316</span>  </div>
|
|
3789
|
+
<div class="line"><a name="l01317"></a><span class="lineno"> 1317</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> SVFType* svfType : <a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d">svfTypePool</a>)</div>
|
|
3790
|
+
<div class="line"><a name="l01318"></a><span class="lineno"> 1318</span>  {</div>
|
|
3791
|
+
<div class="line"><a name="l01319"></a><span class="lineno"> 1319</span>  <a class="code" href="structcJSON.html">cJSON</a>* svfTypeObj = <a class="code" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">virtToJson</a>(svfType);</div>
|
|
3792
|
+
<div class="line"><a name="l01320"></a><span class="lineno"> 1320</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allSVFType, svfTypeObj);</div>
|
|
3793
|
+
<div class="line"><a name="l01321"></a><span class="lineno"> 1321</span>  }</div>
|
|
3794
|
+
<div class="line"><a name="l01322"></a><span class="lineno"> 1322</span>  </div>
|
|
3795
|
+
<div class="line"><a name="l01323"></a><span class="lineno"> 1323</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> StInfo* stInfo : <a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3">stInfoPool</a>)</div>
|
|
3796
|
+
<div class="line"><a name="l01324"></a><span class="lineno"> 1324</span>  {</div>
|
|
3797
|
+
<div class="line"><a name="l01325"></a><span class="lineno"> 1325</span>  <a class="code" href="structcJSON.html">cJSON</a>* stInfoObj = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(stInfo);</div>
|
|
3798
|
+
<div class="line"><a name="l01326"></a><span class="lineno"> 1326</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allStInfo, stInfoObj);</div>
|
|
3799
|
+
<div class="line"><a name="l01327"></a><span class="lineno"> 1327</span>  }</div>
|
|
3800
|
+
<div class="line"><a name="l01328"></a><span class="lineno"> 1328</span>  </div>
|
|
3801
|
+
<div class="line"><a name="l01329"></a><span class="lineno"> 1329</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, module, field)</span></div>
|
|
3802
|
+
<div class="line"><a name="l01330"></a><span class="lineno"> 1330</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allSVFType)); <span class="comment">// Meta field</span></div>
|
|
3803
|
+
<div class="line"><a name="l01331"></a><span class="lineno"> 1331</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allStInfo)); <span class="comment">// Meta field</span></div>
|
|
3804
|
+
<div class="line"><a name="l01332"></a><span class="lineno"> 1332</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allSVFValue)); <span class="comment">// Meta field</span></div>
|
|
3805
|
+
<div class="line"><a name="l01333"></a><span class="lineno"> 1333</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(pagReadFromTxt);</div>
|
|
3806
|
+
<div class="line"><a name="l01334"></a><span class="lineno"> 1334</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(moduleIdentifier);</div>
|
|
3807
|
+
<div class="line"><a name="l01335"></a><span class="lineno"> 1335</span>  </div>
|
|
3808
|
+
<div class="line"><a name="l01336"></a><span class="lineno"> 1336</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(FunctionSet);</div>
|
|
3809
|
+
<div class="line"><a name="l01337"></a><span class="lineno"> 1337</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(GlobalSet);</div>
|
|
3810
|
+
<div class="line"><a name="l01338"></a><span class="lineno"> 1338</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(AliasSet);</div>
|
|
3811
|
+
<div class="line"><a name="l01339"></a><span class="lineno"> 1339</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(ConstantSet);</div>
|
|
3812
|
+
<div class="line"><a name="l01340"></a><span class="lineno"> 1340</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(OtherValueSet);</div>
|
|
3813
|
+
<div class="line"><a name="l01341"></a><span class="lineno"> 1341</span> <span class="preprocessor">#undef F</span></div>
|
|
3814
|
+
<div class="line"><a name="l01342"></a><span class="lineno"> 1342</span>  </div>
|
|
3815
|
+
<div class="line"><a name="l01343"></a><span class="lineno"> 1343</span>  <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> i = 1; i <= <a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6">sizeSVFValuePool</a>(); ++i)</div>
|
|
3816
|
+
<div class="line"><a name="l01344"></a><span class="lineno"> 1344</span>  {</div>
|
|
3817
|
+
<div class="line"><a name="l01345"></a><span class="lineno"> 1345</span>  <a class="code" href="structcJSON.html">cJSON</a>* value = <a class="code" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">virtToJson</a>(<a class="code" href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">svfModuleWriter</a>.<a class="code" href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">getSVFValuePtr</a>(i));</div>
|
|
3818
|
+
<div class="line"><a name="l01346"></a><span class="lineno"> 1346</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allSVFValue, value);</div>
|
|
3819
|
+
<div class="line"><a name="l01347"></a><span class="lineno"> 1347</span>  }</div>
|
|
3820
|
+
<div class="line"><a name="l01348"></a><span class="lineno"> 1348</span>  </div>
|
|
3821
|
+
<div class="line"><a name="l01349"></a><span class="lineno"> 1349</span>  <span class="keywordflow">return</span> root;</div>
|
|
3822
|
+
<div class="line"><a name="l01350"></a><span class="lineno"> 1350</span> }</div>
|
|
3821
3823
|
</div><!-- fragment -->
|
|
3822
3824
|
</div>
|
|
3823
3825
|
</div>
|
|
@@ -3969,39 +3971,39 @@ template<typename T , typename U > </div>
|
|
|
3969
3971
|
</table>
|
|
3970
3972
|
</div><div class="memdoc">
|
|
3971
3973
|
|
|
3972
|
-
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#
|
|
3973
|
-
<div class="fragment"><div class="line"><a name="
|
|
3974
|
-
<div class="line"><a name="
|
|
3975
|
-
<div class="line"><a name="
|
|
3976
|
-
<div class="line"><a name="
|
|
3977
|
-
<div class="line"><a name="
|
|
3978
|
-
<div class="line"><a name="
|
|
3979
|
-
<div class="line"><a name="
|
|
3980
|
-
<div class="line"><a name="
|
|
3981
|
-
<div class="line"><a name="
|
|
3982
|
-
<div class="line"><a name="
|
|
3983
|
-
<div class="line"><a name="
|
|
3984
|
-
<div class="line"><a name="
|
|
3985
|
-
<div class="line"><a name="
|
|
3986
|
-
<div class="line"><a name="
|
|
3987
|
-
<div class="line"><a name="
|
|
3988
|
-
<div class="line"><a name="
|
|
3989
|
-
<div class="line"><a name="
|
|
3990
|
-
<div class="line"><a name="
|
|
3991
|
-
<div class="line"><a name="
|
|
3992
|
-
<div class="line"><a name="
|
|
3993
|
-
<div class="line"><a name="
|
|
3994
|
-
<div class="line"><a name="
|
|
3995
|
-
<div class="line"><a name="
|
|
3996
|
-
<div class="line"><a name="
|
|
3997
|
-
<div class="line"><a name="
|
|
3998
|
-
<div class="line"><a name="
|
|
3999
|
-
<div class="line"><a name="
|
|
4000
|
-
<div class="line"><a name="
|
|
4001
|
-
<div class="line"><a name="
|
|
4002
|
-
<div class="line"><a name="
|
|
4003
|
-
<div class="line"><a name="
|
|
4004
|
-
<div class="line"><a name="
|
|
3974
|
+
<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l01276">1276</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
|
|
3975
|
+
<div class="fragment"><div class="line"><a name="l01277"></a><span class="lineno"> 1277</span> {</div>
|
|
3976
|
+
<div class="line"><a name="l01278"></a><span class="lineno"> 1278</span>  <a class="code" href="SVFFileSystem_8h.html#a85509bfc2827ebab8ec96c890a283979">ENSURE_NOT_VISITED</a>(symTable);</div>
|
|
3977
|
+
<div class="line"><a name="l01279"></a><span class="lineno"> 1279</span>  </div>
|
|
3978
|
+
<div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>  <a class="code" href="structcJSON.html">cJSON</a>* root = <a class="code" href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">jsonCreateObject</a>();</div>
|
|
3979
|
+
<div class="line"><a name="l01281"></a><span class="lineno"> 1281</span>  <a class="code" href="structcJSON.html">cJSON</a>* allMemObj = <a class="code" href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">jsonCreateArray</a>();</div>
|
|
3980
|
+
<div class="line"><a name="l01282"></a><span class="lineno"> 1282</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>& pair : symTable->objMap)</div>
|
|
3981
|
+
<div class="line"><a name="l01283"></a><span class="lineno"> 1283</span>  {</div>
|
|
3982
|
+
<div class="line"><a name="l01284"></a><span class="lineno"> 1284</span>  <span class="keyword">const</span> MemObj* memObj = pair.second;</div>
|
|
3983
|
+
<div class="line"><a name="l01285"></a><span class="lineno"> 1285</span>  <a class="code" href="structcJSON.html">cJSON</a>* memObjJson = <a class="code" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">contentToJson</a>(memObj);</div>
|
|
3984
|
+
<div class="line"><a name="l01286"></a><span class="lineno"> 1286</span>  <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(allMemObj, memObjJson);</div>
|
|
3985
|
+
<div class="line"><a name="l01287"></a><span class="lineno"> 1287</span>  }</div>
|
|
3986
|
+
<div class="line"><a name="l01288"></a><span class="lineno"> 1288</span>  </div>
|
|
3987
|
+
<div class="line"><a name="l01289"></a><span class="lineno"> 1289</span> <span class="preprocessor">#define F(field) JSON_WRITE_FIELD(root, symTable, field)</span></div>
|
|
3988
|
+
<div class="line"><a name="l01290"></a><span class="lineno"> 1290</span>  <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(root, <a class="code" href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a>(allMemObj)); <span class="comment">// Actual field</span></div>
|
|
3989
|
+
<div class="line"><a name="l01291"></a><span class="lineno"> 1291</span>  </div>
|
|
3990
|
+
<div class="line"><a name="l01292"></a><span class="lineno"> 1292</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(valSymMap);</div>
|
|
3991
|
+
<div class="line"><a name="l01293"></a><span class="lineno"> 1293</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(objSymMap);</div>
|
|
3992
|
+
<div class="line"><a name="l01294"></a><span class="lineno"> 1294</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(returnSymMap);</div>
|
|
3993
|
+
<div class="line"><a name="l01295"></a><span class="lineno"> 1295</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(varargSymMap);</div>
|
|
3994
|
+
<div class="line"><a name="l01296"></a><span class="lineno"> 1296</span>  <span class="comment">// Field objMap can be represented by allMemObj</span></div>
|
|
3995
|
+
<div class="line"><a name="l01297"></a><span class="lineno"> 1297</span>  <span class="comment">// Field mod can be represented by svfIR->svfModule. Delete it?</span></div>
|
|
3996
|
+
<div class="line"><a name="l01298"></a><span class="lineno"> 1298</span>  assert(symTable->mod == <a class="code" href="classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8">svfIR</a>-><a class="code" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">svfModule</a> && <span class="stringliteral">"SVFModule mismatch!"</span>);</div>
|
|
3997
|
+
<div class="line"><a name="l01299"></a><span class="lineno"> 1299</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(modelConstants);</div>
|
|
3998
|
+
<div class="line"><a name="l01300"></a><span class="lineno"> 1300</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(totalSymNum);</div>
|
|
3999
|
+
<div class="line"><a name="l01301"></a><span class="lineno"> 1301</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(maxStruct);</div>
|
|
4000
|
+
<div class="line"><a name="l01302"></a><span class="lineno"> 1302</span>  <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>(maxStSize);</div>
|
|
4001
|
+
<div class="line"><a name="l01303"></a><span class="lineno"> 1303</span>  <span class="comment">// Field svfTypes can be represented by svfModuleWriter.svfTypePool</span></div>
|
|
4002
|
+
<div class="line"><a name="l01304"></a><span class="lineno"> 1304</span>  <span class="comment">// Field stInfos can be represented by svfModuleWriter.stInfoPool</span></div>
|
|
4003
|
+
<div class="line"><a name="l01305"></a><span class="lineno"> 1305</span> <span class="preprocessor">#undef F</span></div>
|
|
4004
|
+
<div class="line"><a name="l01306"></a><span class="lineno"> 1306</span>  </div>
|
|
4005
|
+
<div class="line"><a name="l01307"></a><span class="lineno"> 1307</span>  <span class="keywordflow">return</span> root;</div>
|
|
4006
|
+
<div class="line"><a name="l01308"></a><span class="lineno"> 1308</span> }</div>
|
|
4005
4007
|
</div><!-- fragment -->
|
|
4006
4008
|
</div>
|
|
4007
4009
|
</div>
|
|
@@ -4849,7 +4851,7 @@ template<typename T , typename = std::enable_if_t<SVFUtil::is_iterable_v&
|
|
|
4849
4851
|
<div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_a949ead8b0a9e2d345475977239ca6f3d"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#a949ead8b0a9e2d345475977239ca6f3d">SVF::GenericGraphWriter::getEdgeID</a></div><div class="ttdeci">size_t getEdgeID(const EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00318">SVFFileSystem.h:318</a></div></div>
|
|
4850
4852
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ab03e007e2417f90f8030d1f5923087d8"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">SVF::SVFModuleWriter::getSVFTypeID</a></div><div class="ttdeci">size_t getSVFTypeID(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00365">SVFFileSystem.h:365</a></div></div>
|
|
4851
4853
|
<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a0598a4c2af139b600a44360849933c38"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a0598a4c2af139b600a44360849933c38">SVF::SVFModuleWriter::getSVFValueID</a></div><div class="ttdeci">size_t getSVFValueID(const SVFValue *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00357">SVFFileSystem.h:357</a></div></div>
|
|
4852
|
-
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a93d2ddd2ef2821540a2ba824ccb775a6"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6">SVF::SVFIRWriter::toJson</a></div><div class="ttdeci">cJSON * toJson(const NodeIDAllocator *nodeIDAllocator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#
|
|
4854
|
+
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a93d2ddd2ef2821540a2ba824ccb775a6"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a93d2ddd2ef2821540a2ba824ccb775a6">SVF::SVFIRWriter::toJson</a></div><div class="ttdeci">cJSON * toJson(const NodeIDAllocator *nodeIDAllocator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01263">SVFFileSystem.cpp:1263</a></div></div>
|
|
4853
4855
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_af6ed00dc51796c4162157ac174fc2a1a"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#af6ed00dc51796c4162157ac174fc2a1a">SVF::SVFIRWriter::genericEdgeToJson</a></div><div class="ttdeci">cJSON * genericEdgeToJson(const GenericEdge< NodeTy > *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00550">SVFFileSystem.h:550</a></div></div>
|
|
4854
4856
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aa7c88a48d18d052895733771f2ad9e2d"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">SVF::SVFIRWriter::contentToJson</a></div><div class="ttdeci">cJSON * contentToJson(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00307">SVFFileSystem.cpp:307</a></div></div>
|
|
4855
4857
|
<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aba5c3c3b62687a28301e9c65555e57f9"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">SVF::SVFIRWriter::icfgWriter</a></div><div class="ttdeci">ICFGWriter icfgWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00385">SVFFileSystem.h:385</a></div></div>
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "svf-tools",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.779",
|
|
4
4
|
"description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
|
|
5
5
|
"main": "index.js",
|
|
6
6
|
"scripts": {
|
|
@@ -1242,6 +1242,8 @@ cJSON* SVFIRWriter::toJson(const SVFLoopAndDomInfo* ldInfo)
|
|
|
1242
1242
|
JSON_WRITE_FIELD(root, ldInfo, pdtBBsMap);
|
|
1243
1243
|
JSON_WRITE_FIELD(root, ldInfo, dfBBsMap);
|
|
1244
1244
|
JSON_WRITE_FIELD(root, ldInfo, bb2LoopMap);
|
|
1245
|
+
JSON_WRITE_FIELD(root, ldInfo, bb2PdomLevel);
|
|
1246
|
+
JSON_WRITE_FIELD(root, ldInfo, bb2PIdom);
|
|
1245
1247
|
return root;
|
|
1246
1248
|
}
|
|
1247
1249
|
|
|
@@ -1911,6 +1913,8 @@ void SVFIRReader::readJson(const cJSON* obj, SVFLoopAndDomInfo*& ldInfo)
|
|
|
1911
1913
|
JSON_READ_FIELD_FWD(field, ldInfo, pdtBBsMap);
|
|
1912
1914
|
JSON_READ_FIELD_FWD(field, ldInfo, dfBBsMap);
|
|
1913
1915
|
JSON_READ_FIELD_FWD(field, ldInfo, bb2LoopMap);
|
|
1916
|
+
JSON_READ_FIELD_FWD(field, ldInfo, bb2PdomLevel);
|
|
1917
|
+
JSON_READ_FIELD_FWD(field, ldInfo, bb2PIdom);
|
|
1914
1918
|
|
|
1915
1919
|
ABORT_IFNOT(!field,
|
|
1916
1920
|
"Extra field in SVFLoopAndDomInfo: " << JSON_KEY(field));
|