svf-tools 1.0.896 → 1.0.898

package/SVF-doxygen/html/SVFFileSystem_8h.html

@@ -829,7 +829,7 @@ Functions</h2></td></tr>
 </div>
 </div>
 </div><!-- contents -->
-<div class="ttc" id="anamespaceSVF_html_a3060ffb002828b1b5843e9fe424e8546"><div class="ttname"><a href="namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546">SVF::jsonKeyEquals</a></div><div class="ttdeci">bool jsonKeyEquals(const cJSON *item, const char *key)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00867">SVFFileSystem.cpp:867</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3060ffb002828b1b5843e9fe424e8546"><div class="ttname"><a href="namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546">SVF::jsonKeyEquals</a></div><div class="ttdeci">bool jsonKeyEquals(const cJSON *item, const char *key)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00869">SVFFileSystem.cpp:869</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a2599f74bdbbc1b3fd1ba8db3789a0be7"><div class="ttname"><a href="cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7">next</a></div><div class="ttdeci">item next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02224">cJSON.cpp:2224</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a3b65d8dd2f9077c4036304ea0ca474ef"><div class="ttname"><a href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a></div><div class="ttdeci">#define ABORT_IFNOT(condition, reason)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00039">SVFFileSystem.h:39</a></div></div>

package/SVF-doxygen/html/SVFFileSystem_8h_source.html

@@ -1362,14 +1362,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a8da8ebe9e599e8319f737d168978ae4d"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a8da8ebe9e599e8319f737d168978ae4d">SVF::GenericGraphReader::getFieldJson</a></div><div class="ttdeci">const cJSON * getFieldJson() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00893">SVFFileSystem.h:893</a></div></div>
 <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>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a7a3246f7158330ed49088205610e042f"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f">SVF::WriterPtrPool::ptrPool</a></div><div class="ttdeci">std::vector&lt; const T * &gt; ptrPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00236">SVFFileSystem.h:236</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3060ffb002828b1b5843e9fe424e8546"><div class="ttname"><a href="namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546">SVF::jsonKeyEquals</a></div><div class="ttdeci">bool jsonKeyEquals(const cJSON *item, const char *key)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00867">SVFFileSystem.cpp:867</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3060ffb002828b1b5843e9fe424e8546"><div class="ttname"><a href="namespaceSVF.html#a3060ffb002828b1b5843e9fe424e8546">SVF::jsonKeyEquals</a></div><div class="ttdeci">bool jsonKeyEquals(const cJSON *item, const char *key)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00869">SVFFileSystem.cpp:869</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00699">SVFValue.h:699</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a525269da9931bad82b243376a6015392"><div class="ttname"><a href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">JSON_READ_FIELD_FWD</a></div><div class="ttdeci">#define JSON_READ_FIELD_FWD(json, objptr, field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00091">SVFFileSystem.h:91</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae46f4cf64824aa037447540ad60b239c"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader::virtFill</a></div><div class="ttdeci">void virtFill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01921">SVFFileSystem.cpp:1921</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00761">SVFStatements.h:761</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae46f4cf64824aa037447540ad60b239c"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader::virtFill</a></div><div class="ttdeci">void virtFill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01923">SVFFileSystem.cpp:1923</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00771">SVFStatements.h:771</a></div></div>
 <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>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a2993c4358d71036440325001163731fe"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe">SVF::SVFModuleReader::svfValuePool</a></div><div class="ttdeci">ReaderPtrPool&lt; SVFValue &gt; svfValuePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00978">SVFFileSystem.h:978</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
@@ -1379,14 +1379,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a99162b81da24cf79d1252c18573038d4"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a99162b81da24cf79d1252c18573038d4">SVF::WriterPtrPool::saveID</a></div><div class="ttdeci">void saveID(const T *ptr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00252">SVFFileSystem.h:252</a></div></div>
 <div class="ttc" id="astructcJSON_html_aa6b47e9a4b0e0a26f519b1a2b6739983"><div class="ttname"><a href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">cJSON::string</a></div><div class="ttdeci">char * string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00122">cJSON.h:122</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aeb9b5aab2ab7ad316c0dabc36175f856"><div class="ttname"><a href="namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856">SVF::KindBaseT</a></div><div class="ttdeci">typename KindBaseHelper&lt; T &gt;::type KindBaseT</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00680">SVFFileSystem.h:680</a></div></div>
 <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>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1InterICFGNode_html"><div class="ttname"><a href="classSVF_1_1InterICFGNode.html">SVF::InterICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00223">ICFGNode.h:223</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
-<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#l01261">SVFFileSystem.cpp:1261</a></div></div>
+<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>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a6cf051df9f75ca42a51ee5b238b7550c"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a6cf051df9f75ca42a51ee5b238b7550c">SVF::SVFModuleReader::getStInfoPtr</a></div><div class="ttdeci">StInfo * getStInfoPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01018">SVFFileSystem.h:1018</a></div></div>
 <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&lt; NodeTy &gt; *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00550">SVFFileSystem.h:550</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a7ac2376301fc3f4d3b3b11cdff7b8820"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a7ac2376301fc3f4d3b3b11cdff7b8820">SVF::SVFIRReader::fill</a></div><div class="ttdeci">void fill(const cJSON *&amp;fieldJson, GenericEdge&lt; NodeTy &gt; *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01325">SVFFileSystem.h:1325</a></div></div>
@@ -1397,15 +1397,15 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_ab09fa674af96a107ac14306eae021381"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#ab09fa674af96a107ac14306eae021381">SVF::GenericGraphReader::getNodePtr</a></div><div class="ttdeci">NodeTy * getNodePtr(unsigned id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00865">SVFFileSystem.h:865</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a6288dae99eabb0a393b1d4974e01cde7"><div class="ttname"><a href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a></div><div class="ttdeci">const char *const const double number</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00268">cJSON.h:268</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFMetadataAsValue_html"><div class="ttname"><a href="classSVF_1_1SVFMetadataAsValue.html">SVF::SVFMetadataAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01091">SVFValue.h:1091</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00829">SVFStatements.h:829</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00839">SVFStatements.h:839</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a5df00a28f394187fee526a96a4065a78"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool::getPool</a></div><div class="ttdeci">const std::vector&lt; const T * &gt; &amp; getPool() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00263">SVFFileSystem.h:263</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_afce6ca7086e086be62013bc2b90b34bc"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#afce6ca7086e086be62013bc2b90b34bc">SVF::SVFModuleReader::getFieldJson</a></div><div class="ttdeci">const cJSON * getFieldJson() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01023">SVFFileSystem.h:1023</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html">SVF::GenericGraphWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00041">GenericGraph.h:41</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBlackHoleValue_html"><div class="ttname"><a href="classSVF_1_1SVFBlackHoleValue.html">SVF::SVFBlackHoleValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01049">SVFValue.h:1049</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_afde5c619f31577b3d821b56b23953c85"><div class="ttname"><a href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON_Delete</a></div><div class="ttdeci">cJSON_Delete(null)</div></div>
-<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00618">SVFStatements.h:618</a></div></div>
+<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00628">SVFStatements.h:628</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepValVar_html"><div class="ttname"><a href="classSVF_1_1GepValVar.html">SVF::GepValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00380">SVFVariables.h:380</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00884">SVFStatements.h:884</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00894">SVFStatements.h:894</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a5ffe6cb527e45fcd7626c972cebb9d36"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a5ffe6cb527e45fcd7626c972cebb9d36">SVF::WriterPtrPool::getID</a></div><div class="ttdeci">size_t getID(const T *ptr)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00239">SVFFileSystem.h:239</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00062">GenericGraph.h:62</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_aacc90f507b22088c54b78013683bf6c8"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8">SVF::ReaderIDToObjMap&lt; SVFVar &gt;::IDToPairMapTy</a></div><div class="ttdeci">OrderedMap&lt; unsigned, std::pair&lt; const cJSON *, SVFVar * &gt; &gt; IDToPairMapTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00688">SVFFileSystem.h:688</a></div></div>
@@ -1422,35 +1422,35 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
 <div class="ttc" id="acJSON_8h_html"><div class="ttname"><a href="cJSON_8h.html">cJSON.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ab6f96f9491fe0f15b91c3c1f2989d842"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ab6f96f9491fe0f15b91c3c1f2989d842">SVF::SVFIRReader::createEdgeWithFlag</a></div><div class="ttdeci">static auto createEdgeWithFlag(GEdgeFlag flag, EdgeCreator creator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01079">SVFFileSystem.h:1079</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a75dcf9f3ecdcc65151566e9f6e296eea"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a75dcf9f3ecdcc65151566e9f6e296eea">SVF::SVFIRReader::createICFGNode</a></div><div class="ttdeci">static ICFGNode * createICFGNode(NodeID id, GNodeK type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01584">SVFFileSystem.cpp:1584</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a75dcf9f3ecdcc65151566e9f6e296eea"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a75dcf9f3ecdcc65151566e9f6e296eea">SVF::SVFIRReader::createICFGNode</a></div><div class="ttdeci">static ICFGNode * createICFGNode(NodeID id, GNodeK type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01586">SVFFileSystem.cpp:1586</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00061">GenericGraph.h:61</a></div></div>
 <div class="ttc" id="aWPA_2CMakeLists_8txt_html_a5b660868031b6dee85d01fea51ef09a5"><div class="ttname"><a href="WPA_2CMakeLists_8txt.html#a5b660868031b6dee85d01fea51ef09a5">set</a></div><div class="ttdeci">set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) add_llvm_executable(wpa wpa.cpp) target_link_libraries(wpa PUBLIC $</div><div class="ttdef"><b>Definition:</b> <a href="WPA_2CMakeLists_8txt_source.html#l00001">CMakeLists.txt:1</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a10ce46b10bad5f0f3dbcff5bf5818626"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter::numToStr</a></div><div class="ttdeci">const char * numToStr(size_t n)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01018">SVFFileSystem.cpp:1018</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00558">SVFStatements.h:558</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a10ce46b10bad5f0f3dbcff5bf5818626"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter::numToStr</a></div><div class="ttdeci">const char * numToStr(size_t n)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01020">SVFFileSystem.cpp:1020</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00568">SVFStatements.h:568</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_a9cc37ac09c3c95aa7aa664d668319a76"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#a9cc37ac09c3c95aa7aa664d668319a76">SVF::ReaderIDToObjMap::getPtr</a></div><div class="ttdeci">T * getPtr(unsigned id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00713">SVFFileSystem.h:713</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a2438233e46ad0a052ec1352de977df88"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a2438233e46ad0a052ec1352de977df88">SVF::GenericGraphReader::graphFieldJson</a></div><div class="ttdeci">const cJSON * graphFieldJson</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00829">SVFFileSystem.h:829</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_afbeab0bb58006021ef620f3fbdc44d14"><div class="ttname"><a href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">SVF::jsonCreateArray</a></div><div class="ttdeci">cJSON * jsonCreateArray()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00900">SVFFileSystem.cpp:900</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aadc74883ff7e1a7b583ec46e3c54de1c"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aadc74883ff7e1a7b583ec46e3c54de1c">SVF::SVFIRWriter::generateJsonString</a></div><div class="ttdeci">autoCStr generateJsonString()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01028">SVFFileSystem.cpp:1028</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_afbeab0bb58006021ef620f3fbdc44d14"><div class="ttname"><a href="namespaceSVF.html#afbeab0bb58006021ef620f3fbdc44d14">SVF::jsonCreateArray</a></div><div class="ttdeci">cJSON * jsonCreateArray()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00902">SVFFileSystem.cpp:902</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aadc74883ff7e1a7b583ec46e3c54de1c"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aadc74883ff7e1a7b583ec46e3c54de1c">SVF::SVFIRWriter::generateJsonString</a></div><div class="ttdeci">autoCStr generateJsonString()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01030">SVFFileSystem.cpp:1030</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_a8c39d643a10d83a7f525ace9a002844c"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#a8c39d643a10d83a7f525ace9a002844c">SVF::ReaderIDToObjMap::saveToIDToObjMap</a></div><div class="ttdeci">void saveToIDToObjMap(Map &amp;idToObjMap) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00738">SVFFileSystem.h:738</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a47a1ef8b67b0c92f78b4457dc3bbfe71"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">SVF::GenericGraph::IDToNodeMap</a></div><div class="ttdeci">IDToNodeMapTy IDToNodeMap</div><div class="ttdoc">node map</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00452">GenericGraph.h:452</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ValVar_html"><div class="ttname"><a href="classSVF_1_1ValVar.html">SVF::ValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00262">SVFVariables.h:262</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_afbf5fa1e02e79e41c726e2be221cb63b"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#afbf5fa1e02e79e41c726e2be221cb63b">SVF::SymbolTableInfoReader::getFieldJson</a></div><div class="ttdeci">const cJSON * getFieldJson() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00926">SVFFileSystem.h:926</a></div></div>
-<div class="ttc" id="aclassSVF_1_1TDJoinPE_html"><div class="ttname"><a href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01238">SVFStatements.h:1238</a></div></div>
+<div class="ttc" id="aclassSVF_1_1TDJoinPE_html"><div class="ttname"><a href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01248">SVFStatements.h:1248</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html_ab47d82a98973b27bf635c0bd3acb7163"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html#ab47d82a98973b27bf635c0bd3acb7163">SVF::ReaderPtrPool::size</a></div><div class="ttdeci">size_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00808">SVFFileSystem.h:808</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_ad522d9c637abd8bfce92d2d0a565584b"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#ad522d9c637abd8bfce92d2d0a565584b">SVF::GenericGraphReader::fillObjs</a></div><div class="ttdeci">void fillObjs(NodeFiller nodeFiller, EdgeFiller edgeFiller)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00876">SVFFileSystem.h:876</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a33124cbc57355f15793da18e69f6b9d7"><div class="ttname"><a href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">SVF::jsonIsNumber</a></div><div class="ttdeci">bool jsonIsNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00836">SVFFileSystem.cpp:836</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a33124cbc57355f15793da18e69f6b9d7"><div class="ttname"><a href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">SVF::jsonIsNumber</a></div><div class="ttdeci">bool jsonIsNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00838">SVFFileSystem.cpp:838</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html"><div class="ttname"><a href="classSVF_1_1ICFGReader.html">SVF::ICFGReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00936">SVFFileSystem.h:936</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVirtualCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFVirtualCallInst.html">SVF::SVFVirtualCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00773">SVFValue.h:773</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_a3ed6e858fd91ec6cf14361b55dec55b4"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#a3ed6e858fd91ec6cf14361b55dec55b4">SVF::ReaderIDToObjMap::idMap</a></div><div class="ttdeci">IDToPairMapTy idMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00689">SVFFileSystem.h:689</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a5f83b548002232dc7590f37a3351ad56"><div class="ttname"><a href="namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56">SVF::jsonAddPairToMap</a></div><div class="ttdeci">bool jsonAddPairToMap(cJSON *obj, cJSON *key, cJSON *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00935">SVFFileSystem.cpp:935</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00970">SVFStatements.h:970</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a5f83b548002232dc7590f37a3351ad56"><div class="ttname"><a href="namespaceSVF.html#a5f83b548002232dc7590f37a3351ad56">SVF::jsonAddPairToMap</a></div><div class="ttdeci">bool jsonAddPairToMap(cJSON *obj, cJSON *key, cJSON *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00937">SVFFileSystem.cpp:937</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00980">SVFStatements.h:980</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00478">SymbolTableInfo.h:478</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac5eca7590f00f9cff8824ec739042e0c"><div class="ttname"><a href="namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c">SVF::jsonUnpackPair</a></div><div class="ttdeci">std::pair&lt; const cJSON *, const cJSON * &gt; jsonUnpackPair(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00872">SVFFileSystem.cpp:872</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac5eca7590f00f9cff8824ec739042e0c"><div class="ttname"><a href="namespaceSVF.html#ac5eca7590f00f9cff8824ec739042e0c">SVF::jsonUnpackPair</a></div><div class="ttdeci">std::pair&lt; const cJSON *, const cJSON * &gt; jsonUnpackPair(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00874">SVFFileSystem.cpp:874</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00527">SVFValue.h:527</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00400">SVFStatements.h:400</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00410">SVFStatements.h:410</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_aa554326050f1e921449b560d94b7bb07"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07">SVF::SVFIRReader::applyEdgeMask</a></div><div class="ttdeci">static s64_t applyEdgeMask(u64_t edgeFlag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01056">SVFFileSystem.h:1056</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunctionType_html"><div class="ttname"><a href="classSVF_1_1SVFFunctionType.html">SVF::SVFFunctionType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00319">SVFType.h:319</a></div></div>
@@ -1462,8 +1462,8 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ad37880353cffc950d5b9417bc41c0b06"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06">SVF::SVFUtil::void_t</a></div><div class="ttdeci">typename make_void&lt; Ts... &gt;::type void_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00631">SVFUtil.h:631</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html"><div class="ttname"><a href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00052">AccessPath.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a4992064f6c5e41662c939eaa769d0811"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811">SVF::SVFIRReader::GEdgeKind</a></div><div class="ttdeci">GenericEdge&lt; void &gt;::GEdgeKind GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01070">SVFFileSystem.h:1070</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a0ffc17ff9b5cc328ff112e7f9ff21552"><div class="ttname"><a href="namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552">SVF::jsonGetNumber</a></div><div class="ttdeci">double jsonGetNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00883">SVFFileSystem.cpp:883</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aeffd25b0e0644429f1d1c05b7491bc35"><div class="ttname"><a href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">SVF::jsonCreateIndex</a></div><div class="ttdeci">cJSON * jsonCreateIndex(size_t index)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00916">SVFFileSystem.cpp:916</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a0ffc17ff9b5cc328ff112e7f9ff21552"><div class="ttname"><a href="namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552">SVF::jsonGetNumber</a></div><div class="ttdeci">double jsonGetNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00885">SVFFileSystem.cpp:885</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aeffd25b0e0644429f1d1c05b7491bc35"><div class="ttname"><a href="namespaceSVF.html#aeffd25b0e0644429f1d1c05b7491bc35">SVF::jsonCreateIndex</a></div><div class="ttdeci">cJSON * jsonCreateIndex(size_t index)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00918">SVFFileSystem.cpp:918</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html"><div class="ttname"><a href="classSVF_1_1CHEdge.html">SVF::CHEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00078">CHG.h:78</a></div></div>
@@ -1483,13 +1483,13 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ad7636d8ee53d13d06bc5c5712fb4837d"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d">SVF::SVFModuleWriter::svfTypePool</a></div><div class="ttdeci">WriterPtrPool&lt; SVFType &gt; svfTypePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00350">SVFFileSystem.h:350</a></div></div>
 <div class="ttc" id="astructcJSON_html_a401b274c2da358dac5c23ab8b2c71f85"><div class="ttname"><a href="structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85">cJSON::child</a></div><div class="ttdeci">struct cJSON * child</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00109">cJSON.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html">SVF::IntraCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00113">ICFGEdge.h:113</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ab03b02b315c4ccb0e0fbb2591f221d61"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ab03b02b315c4ccb0e0fbb2591f221d61">SVF::SVFIRReader::read</a></div><div class="ttdeci">static SVFIR * read(const std::string &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l02536">SVFFileSystem.cpp:2536</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad830126d4921871b42fc81efbe456509"><div class="ttname"><a href="namespaceSVF.html#ad830126d4921871b42fc81efbe456509">SVF::jsonIsBool</a></div><div class="ttdeci">bool jsonIsBool(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00810">SVFFileSystem.cpp:810</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ab03b02b315c4ccb0e0fbb2591f221d61"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ab03b02b315c4ccb0e0fbb2591f221d61">SVF::SVFIRReader::read</a></div><div class="ttdeci">static SVFIR * read(const std::string &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l02539">SVFFileSystem.cpp:2539</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad830126d4921871b42fc81efbe456509"><div class="ttname"><a href="namespaceSVF.html#ad830126d4921871b42fc81efbe456509">SVF::jsonIsBool</a></div><div class="ttdeci">bool jsonIsBool(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00812">SVFFileSystem.cpp:812</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html_a8a766e643ac79dc023ff58e1883c9626"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html#a8a766e643ac79dc023ff58e1883c9626">SVF::ReaderPtrPool::saveToSet</a></div><div class="ttdeci">void saveToSet(Set &amp;set) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00813">SVFFileSystem.h:813</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html">SVF::SVFOtherValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01071">SVFValue.h:1071</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a7f9d7bb88e4f98f71f542d01107878e4"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4">SVF::SVFIRWriter::numToStrMap</a></div><div class="ttdeci">OrderedMap&lt; size_t, std::string &gt; numToStrMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00389">SVFFileSystem.h:389</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a2b97dbcdea2f61bc83268cf8e7ecb87d"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a2b97dbcdea2f61bc83268cf8e7ecb87d">SVF::SVFIRReader::createICFGEdge</a></div><div class="ttdeci">static ICFGEdge * createICFGEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01603">SVFFileSystem.cpp:1603</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a2b97dbcdea2f61bc83268cf8e7ecb87d"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a2b97dbcdea2f61bc83268cf8e7ecb87d">SVF::SVFIRReader::createICFGEdge</a></div><div class="ttdeci">static ICFGEdge * createICFGEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01605">SVFFileSystem.cpp:1605</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_aec95a42a5e46be50457fb3a8e9de7fbf"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf">SVF::SVFIRReader::setEdgeFlag</a></div><div class="ttdeci">static void setEdgeFlag(GenericEdge&lt; T &gt; *edge, typename GenericEdge&lt; T &gt;::GEdgeFlag edgeFlag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01061">SVFFileSystem.h:1061</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a9ad8e70372f0a86cb5027588a008abfe"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe">SVF::WriterPtrPool::ptrToId</a></div><div class="ttdeci">Map&lt; const T *, size_t &gt; ptrToId</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00235">SVFFileSystem.h:235</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIObjVar_html"><div class="ttname"><a href="classSVF_1_1FIObjVar.html">SVF::FIObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00529">SVFVariables.h:529</a></div></div>
@@ -1507,48 +1507,48 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_a79e9999b60a988f221e3483114f69e58"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#a79e9999b60a988f221e3483114f69e58">SVF::WriterPtrPool::getPtr</a></div><div class="ttdeci">const T * getPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00257">SVFFileSystem.h:257</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a8c3c95bd6414e7960ccfd878132749ec"><div class="ttname"><a href="SVFFileSystem_8h.html#a8c3c95bd6414e7960ccfd878132749ec">CHECK_JSON_KEY</a></div><div class="ttdeci">#define CHECK_JSON_KEY(obj)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00096">SVFFileSystem.h:96</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a915ae39b2cb537e0137f5af496b10b10"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10">SVF::SVFModuleWriter::SVFModuleWriter</a></div><div class="ttdeci">SVFModuleWriter(const SVFModule *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00966">SVFFileSystem.cpp:966</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a915ae39b2cb537e0137f5af496b10b10"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a915ae39b2cb537e0137f5af496b10b10">SVF::SVFModuleWriter::SVFModuleWriter</a></div><div class="ttdeci">SVFModuleWriter(const SVFModule *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00968">SVFFileSystem.cpp:968</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html">SVF::SVFIRWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00379">SVFFileSystem.h:379</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac2917bc796cc783e838d9fcca83b9631"><div class="ttname"><a href="namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631">SVF::jsonAddStringToObject</a></div><div class="ttdeci">bool jsonAddStringToObject(cJSON *obj, const char *name, const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00799">SVFFileSystem.cpp:799</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac2917bc796cc783e838d9fcca83b9631"><div class="ttname"><a href="namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631">SVF::jsonAddStringToObject</a></div><div class="ttdeci">bool jsonAddStringToObject(cJSON *obj, const char *name, const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00801">SVFFileSystem.cpp:801</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_afe8686cdcce746eb49673d64b24c8945"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#afe8686cdcce746eb49673d64b24c8945">SVF::WriterPtrPool::begin</a></div><div class="ttdeci">auto begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00278">SVFFileSystem.h:278</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a0dbb50e2c4a8806a741e0c4173c445b8"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a0dbb50e2c4a8806a741e0c4173c445b8">SVF::SVFIRReader::irGraphReader</a></div><div class="ttdeci">IRGraphReader irGraphReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01040">SVFFileSystem.h:1040</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a38122734cbe71551a420dfb7fee2012e"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e">SVF::GenericGraph::nodeNum</a></div><div class="ttdeci">u32_t nodeNum</div><div class="ttdoc">total num of edge</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00456">GenericGraph.h:456</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00437">SVFStatements.h:437</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac6a83809ca246bc7a33de3da6b4a4354"><div class="ttname"><a href="namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354">SVF::jsonIsObject</a></div><div class="ttdeci">bool jsonIsObject(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00862">SVFFileSystem.cpp:862</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00447">SVFStatements.h:447</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac6a83809ca246bc7a33de3da6b4a4354"><div class="ttname"><a href="namespaceSVF.html#ac6a83809ca246bc7a33de3da6b4a4354">SVF::jsonIsObject</a></div><div class="ttdeci">bool jsonIsObject(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00864">SVFFileSystem.cpp:864</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoop_html"><div class="ttname"><a href="classSVF_1_1SVFLoop.html">SVF::SVFLoop</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00038">SVFLoop.h:38</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00679">SVFStatements.h:679</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00689">SVFStatements.h:689</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_ae642f198426715ff000f48fa421d97d6"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#ae642f198426715ff000f48fa421d97d6">SVF::WriterPtrPool::end</a></div><div class="ttdeci">auto end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00283">SVFFileSystem.h:283</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IRGraph_html"><div class="ttname"><a href="classSVF_1_1IRGraph.html">SVF::IRGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00049">IRGraph.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html_af6d1ceb994f5b33cfac7fbcac5b3bdd0"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html#af6d1ceb994f5b33cfac7fbcac5b3bdd0">SVF::WriterPtrPool::size</a></div><div class="ttdeci">size_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00268">SVFFileSystem.h:268</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aab50fec943a00c96155d395d514febe7"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aab50fec943a00c96155d395d514febe7">SVF::SVFIRWriter::chgWriter</a></div><div class="ttdeci">CHGraphWriter chgWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00386">SVFFileSystem.h:386</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a6400335a26214622331a4a4a6ad07f76"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76">SVF::SVFModuleReader::stInfoPool</a></div><div class="ttdeci">ReaderPtrPool&lt; StInfo &gt; stInfoPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00977">SVFFileSystem.h:977</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a6ccb0162ab03a48af19fb84ca0d1c555"><div class="ttname"><a href="namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555">SVF::jsonCreateBool</a></div><div class="ttdeci">cJSON * jsonCreateBool(bool flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00924">SVFFileSystem.cpp:924</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00474">SVFStatements.h:474</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a6ccb0162ab03a48af19fb84ca0d1c555"><div class="ttname"><a href="namespaceSVF.html#a6ccb0162ab03a48af19fb84ca0d1c555">SVF::jsonCreateBool</a></div><div class="ttdeci">cJSON * jsonCreateBool(bool flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00926">SVFFileSystem.cpp:926</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00484">SVFStatements.h:484</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae013a19e67061a99dc64a3b9b480180e"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae013a19e67061a99dc64a3b9b480180e">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">void readJson(const cJSON *obj, T(&amp;array)[N])</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01172">SVFFileSystem.h:1172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html"><div class="ttname"><a href="classSVF_1_1CHNode.html">SVF::CHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00108">CHG.h:108</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a1010789a76d87c974d168b0cb9c8ce8b"><div class="ttname"><a href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a></div><div class="ttdeci">#define FIELD_NAME_ITEM(field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00061">SVFFileSystem.h:61</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a785e48ae09bf607a41efe7fd66615af4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a785e48ae09bf607a41efe7fd66615af4">SVF::SVFIRReader::createCHEdge</a></div><div class="ttdeci">static CHEdge * createCHEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01627">SVFFileSystem.cpp:1627</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a785e48ae09bf607a41efe7fd66615af4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a785e48ae09bf607a41efe7fd66615af4">SVF::SVFIRReader::createCHEdge</a></div><div class="ttdeci">static CHEdge * createCHEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01629">SVFFileSystem.cpp:1629</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a68729347f89307b71fa97475883c6741"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a68729347f89307b71fa97475883c6741">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">static void readJson(const cJSON *obj, bool &amp;flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01526">SVFFileSystem.cpp:1526</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a68729347f89307b71fa97475883c6741"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a68729347f89307b71fa97475883c6741">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">static void readJson(const cJSON *obj, bool &amp;flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01528">SVFFileSystem.cpp:1528</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html">SVF::SVFModuleWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00345">SVFFileSystem.h:345</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a6a3370bf787b65503cf69802da14cbac"><div class="ttname"><a href="namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac">SVF::jsonIsMap</a></div><div class="ttdeci">bool jsonIsMap(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00857">SVFFileSystem.cpp:857</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a6a3370bf787b65503cf69802da14cbac"><div class="ttname"><a href="namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac">SVF::jsonIsMap</a></div><div class="ttdeci">bool jsonIsMap(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00859">SVFFileSystem.cpp:859</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html">SVF::GenericGraphReader</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00042">GenericGraph.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html">SVF::SymbolTableInfoReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00899">SVFFileSystem.h:899</a></div></div>
 <div class="ttc" id="aGenericGraph_8h_html"><div class="ttname"><a href="GenericGraph_8h.html">GenericGraph.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a8a816d551a84c8f8bd08d4bba7d52a7b"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a8a816d551a84c8f8bd08d4bba7d52a7b">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">std::enable_if_t&lt; SVFUtil::is_sequence_container_v&lt; C &gt; &gt; readJson(const cJSON *obj, C &amp;container)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01187">SVFFileSystem.h:1187</a></div></div>
-<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html">SVF::UnaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01040">SVFStatements.h:1040</a></div></div>
+<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html">SVF::UnaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01050">SVFStatements.h:1050</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a83f1038208acd0f7f5ac90a51fd494e5"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5">SVF::SVFIRReader::GEdgeFlag</a></div><div class="ttdeci">GenericEdge&lt; void &gt;::GEdgeFlag GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01069">SVFFileSystem.h:1069</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aef21822272ff9a57cdeb4a8b7a326047"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">SVF::SVFIRWriter::virtToJson</a></div><div class="ttdeci">cJSON * virtToJson(const SVFType *type)</div><div class="ttdoc">Parameter types of these functions are all pointers. When they are used as arguments of toJson(),...</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00150">SVFFileSystem.cpp:150</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a2fbc96de5f066469c2739229307bcc0c"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph::edgeNum</a></div><div class="ttdeci">u32_t edgeNum</div><div class="ttdoc">total num of node</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00455">GenericGraph.h:455</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_adadac5f05181266ee207a7559efe8028"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#adadac5f05181266ee207a7559efe8028">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">void readJson(const cJSON *obj, std::pair&lt; T1, T2 &gt; &amp;pair)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01164">SVFFileSystem.h:1164</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a5258ef11a30116a8c7cdd366faa6568c"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader::svfModuleFieldJson</a></div><div class="ttdeci">const cJSON * svfModuleFieldJson</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00975">SVFFileSystem.h:975</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_aaa8ecb5b12d426a8d33cd51819ab2789"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#aaa8ecb5b12d426a8d33cd51819ab2789">SVF::GenericGraphWriter::edgePool</a></div><div class="ttdeci">WriterPtrPool&lt; EdgeType &gt; edgePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00299">SVFFileSystem.h:299</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a26bb57669d2bb947d96d0e0d93ae40e1"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a26bb57669d2bb947d96d0e0d93ae40e1">SVF::SVFIRReader::createCHNode</a></div><div class="ttdeci">static CHNode * createCHNode(NodeID id, GNodeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01621">SVFFileSystem.cpp:1621</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a26bb57669d2bb947d96d0e0d93ae40e1"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a26bb57669d2bb947d96d0e0d93ae40e1">SVF::SVFIRReader::createCHNode</a></div><div class="ttdeci">static CHNode * createCHNode(NodeID id, GNodeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01623">SVFFileSystem.cpp:1623</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ICFGWriter_html_af1e7410c278b429e8466afc8bd8551be"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be">SVF::ICFGWriter::ICFGWriter</a></div><div class="ttdeci">ICFGWriter(const ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00955">SVFFileSystem.cpp:955</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ad8e86d5b991ff3411c807f6cb65b2d24"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24">SVF::SVFIRReader::createObjs</a></div><div class="ttdeci">const cJSON * createObjs(const cJSON *root)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01398">SVFFileSystem.cpp:1398</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ICFGWriter_html_af1e7410c278b429e8466afc8bd8551be"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be">SVF::ICFGWriter::ICFGWriter</a></div><div class="ttdeci">ICFGWriter(const ICFG *icfg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00957">SVFFileSystem.cpp:957</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ad8e86d5b991ff3411c807f6cb65b2d24"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ad8e86d5b991ff3411c807f6cb65b2d24">SVF::SVFIRReader::createObjs</a></div><div class="ttdeci">const cJSON * createObjs(const cJSON *root)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01400">SVFFileSystem.cpp:1400</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00047">SymbolTableInfo.h:47</a></div></div>
 <div class="ttc" id="astructSVF_1_1KindBaseHelper_html"><div class="ttname"><a href="structSVF_1_1KindBaseHelper.html">SVF::KindBaseHelper</a></div><div class="ttdoc">Type trait to get base type. Helper struct to detect inheritance from Node/Edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00657">SVFFileSystem.h:657</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIntegerType_html"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00291">SVFType.h:291</a></div></div>
@@ -1556,43 +1556,43 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html">SVF::SVFModuleReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00970">SVFFileSystem.h:970</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a5057eb1d6b5f4d91556e6649e1d9e0fe"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe">SVF::SVFIRReader::GNodeK</a></div><div class="ttdeci">GenericNode&lt; int, GenericEdge&lt; void &gt; &gt;::GNodeK GNodeK</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01068">SVFFileSystem.h:1068</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a227df58e5596fd7d0bea2aff76f9966e"><div class="ttname"><a href="namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e">SVF::jsonCreateNumber</a></div><div class="ttdeci">cJSON * jsonCreateNumber(double num)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00930">SVFFileSystem.cpp:930</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a227df58e5596fd7d0bea2aff76f9966e"><div class="ttname"><a href="namespaceSVF.html#a227df58e5596fd7d0bea2aff76f9966e">SVF::jsonCreateNumber</a></div><div class="ttdeci">cJSON * jsonCreateNumber(double num)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00932">SVFFileSystem.cpp:932</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a6492c9b80d1cc03732297c38f8a41408"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a6492c9b80d1cc03732297c38f8a41408">SVF::SVFIRWriter::genericNodeToJson</a></div><div class="ttdeci">cJSON * genericNodeToJson(const GenericNode&lt; NodeTy, EdgeTy &gt; *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00539">SVFFileSystem.h:539</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00852">SVFFileSystem.cpp:852</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00854">SVFFileSystem.cpp:854</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html_acadb656fef08773e3d3a196cc34bc59d"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html#acadb656fef08773e3d3a196cc34bc59d">SVF::ReaderPtrPool::fillObjs</a></div><div class="ttdeci">void fillObjs(FillFunc fillFunc)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00793">SVFFileSystem.h:793</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00324">ICFGNode.h:324</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html_ab8243a35957fbae27825ec666c8f7560"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html#ab8243a35957fbae27825ec666c8f7560">SVF::ReaderPtrPool::getPtr</a></div><div class="ttdeci">T * getPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00786">SVFFileSystem.h:786</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00950">SVFFileSystem.cpp:950</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00952">SVFFileSystem.cpp:952</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_acffe2e3f6d2275e06da728233a974ec3"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3">SVF::SVFModuleWriter::stInfoPool</a></div><div class="ttdeci">WriterPtrPool&lt; StInfo &gt; stInfoPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00351">SVFFileSystem.h:351</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_acb363e9a719b61fb006cb8980653abb4"><div class="ttname"><a href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">SVF::jsonCreateObject</a></div><div class="ttdeci">cJSON * jsonCreateObject()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00895">SVFFileSystem.cpp:895</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_acb363e9a719b61fb006cb8980653abb4"><div class="ttname"><a href="namespaceSVF.html#acb363e9a719b61fb006cb8980653abb4">SVF::jsonCreateObject</a></div><div class="ttdeci">cJSON * jsonCreateObject()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00897">SVFFileSystem.cpp:897</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a8362a86ac83f1fe41d7028d5a8e0c0b4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a8362a86ac83f1fe41d7028d5a8e0c0b4">SVF::SVFIRReader::chGraphReader</a></div><div class="ttdeci">CHGraphReader chGraphReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01039">SVFFileSystem.h:1039</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aa09ab3e8abda6598292efca280322809"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aa09ab3e8abda6598292efca280322809">SVF::SVFIRWriter::toJson</a></div><div class="ttdeci">cJSON * toJson(const T &amp;container)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00624">SVFFileSystem.h:624</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9994b9a6ddf4c852570bee918cb9de34"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34">SVF::SVFIRWriter::SVFIRWriter</a></div><div class="ttdeci">SVFIRWriter(const SVFIR *svfir)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00990">SVFFileSystem.cpp:990</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9994b9a6ddf4c852570bee918cb9de34"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9994b9a6ddf4c852570bee918cb9de34">SVF::SVFIRWriter::SVFIRWriter</a></div><div class="ttdeci">SVFIRWriter(const SVFIR *svfir)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00992">SVFFileSystem.cpp:992</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html"><div class="ttname"><a href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00215">CHG.h:215</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad0cc661dce7398ffe4f6a4785dd002d3"><div class="ttname"><a href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">SVF::jsonAddItemToObject</a></div><div class="ttdeci">bool jsonAddItemToObject(cJSON *obj, const char *name, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00944">SVFFileSystem.cpp:944</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad0cc661dce7398ffe4f6a4785dd002d3"><div class="ttname"><a href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">SVF::jsonAddItemToObject</a></div><div class="ttdeci">bool jsonAddItemToObject(cJSON *obj, const char *name, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00946">SVFFileSystem.cpp:946</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00448">SVFVariables.h:448</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a2bbb4e38ce3eb2c43b7f01cb240df9c8"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8">SVF::SVFIRWriter::writeJsonToPath</a></div><div class="ttdeci">static void writeJsonToPath(const SVFIR *svfir, const std::string &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01003">SVFFileSystem.cpp:1003</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a2bbb4e38ce3eb2c43b7f01cb240df9c8"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a2bbb4e38ce3eb2c43b7f01cb240df9c8">SVF::SVFIRWriter::writeJsonToPath</a></div><div class="ttdeci">static void writeJsonToPath(const SVFIR *svfir, const std::string &amp;path)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01005">SVFFileSystem.cpp:1005</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a337b37b2d78cfaa756f44dee76fb187f"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a337b37b2d78cfaa756f44dee76fb187f">SVF::GenericGraphReader::saveToGenericGraph</a></div><div class="ttdeci">void saveToGenericGraph(GenericGraph&lt; NodeTy, EdgeTy &gt; *graph) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00886">SVFFileSystem.h:886</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AssignStmt_html"><div class="ttname"><a href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00237">SVFStatements.h:237</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae38a6f1a2c930fb1136be280c4aa35f4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae38a6f1a2c930fb1136be280c4aa35f4">SVF::SVFIRReader::createPAGNode</a></div><div class="ttdeci">static SVFVar * createPAGNode(NodeID id, GNodeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01633">SVFFileSystem.cpp:1633</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a786c202edf78de73d6f0996f06bd8106"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a786c202edf78de73d6f0996f06bd8106">SVF::SVFIRReader::createPAGEdge</a></div><div class="ttdeci">static SVFStmt * createPAGEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01655">SVFFileSystem.cpp:1655</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae38a6f1a2c930fb1136be280c4aa35f4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae38a6f1a2c930fb1136be280c4aa35f4">SVF::SVFIRReader::createPAGNode</a></div><div class="ttdeci">static SVFVar * createPAGNode(NodeID id, GNodeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01635">SVFFileSystem.cpp:1635</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a786c202edf78de73d6f0996f06bd8106"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a786c202edf78de73d6f0996f06bd8106">SVF::SVFIRReader::createPAGEdge</a></div><div class="ttdeci">static SVFStmt * createPAGEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01657">SVFFileSystem.cpp:1657</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a29c813df947df665d068fabe7b1fe919"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a29c813df947df665d068fabe7b1fe919">SVF::GenericGraphReader::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *graphJson, NodeCreator nodeCreator, EdgeCreator edgeCreator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00833">SVFFileSystem.h:833</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1TDForkPE_html"><div class="ttname"><a href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01197">SVFStatements.h:1197</a></div></div>
+<div class="ttc" id="aclassSVF_1_1TDForkPE_html"><div class="ttname"><a href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01207">SVFStatements.h:1207</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html"><div class="ttname"><a href="classSVF_1_1GenericNode.html">SVF::GenericNode</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00141">GenericGraph.h:141</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a0e12ffecb37a42d766522dc65da481e6"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a0e12ffecb37a42d766522dc65da481e6">SVF::SVFModuleWriter::sizeSVFValuePool</a></div><div class="ttdeci">size_t sizeSVFValuePool() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00373">SVFFileSystem.h:373</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aea1a0f85b05e5149f57ed788ba631e49"><div class="ttname"><a href="namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49">SVF::jsonIsString</a></div><div class="ttdeci">bool jsonIsString(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00841">SVFFileSystem.cpp:841</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01107">SVFStatements.h:1107</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aea1a0f85b05e5149f57ed788ba631e49"><div class="ttname"><a href="namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49">SVF::jsonIsString</a></div><div class="ttdeci">bool jsonIsString(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00843">SVFFileSystem.cpp:843</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01117">SVFStatements.h:1117</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a90d3d01ab67b64e88f6548ed3e172f8c"><div class="ttname"><a href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a></div><div class="ttdeci">#define JSON_WRITE_FIELD(root, objptr, field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00067">SVFFileSystem.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_ae81aaaaf1c3bb461ff2929e79fd8c8f2"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#ae81aaaaf1c3bb461ff2929e79fd8c8f2">SVF::ReaderIDToObjMap::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *idObjArrayJson, IdObjCreator idObjCreator)</div><div class="ttdoc">idObjcreator : (const cJSON*) -&gt; (id, T*) with id set</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00694">SVFFileSystem.h:694</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a32576e92aefc3da7d6c0c38dd8060f74"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a32576e92aefc3da7d6c0c38dd8060f74">SVF::SVFIRReader::fill</a></div><div class="ttdeci">void fill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01945">SVFFileSystem.cpp:1945</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a32576e92aefc3da7d6c0c38dd8060f74"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a32576e92aefc3da7d6c0c38dd8060f74">SVF::SVFIRReader::fill</a></div><div class="ttdeci">void fill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01947">SVFFileSystem.cpp:1947</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetPN_html"><div class="ttname"><a href="classSVF_1_1RetPN.html">SVF::RetPN</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00580">SVFVariables.h:580</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_aa87cb97447349014fb44b5fbc6fb84b9"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#aa87cb97447349014fb44b5fbc6fb84b9">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">std::enable_if_t&lt; SVFUtil::is_map_v&lt; C &gt; &gt; readJson(const cJSON *obj, C &amp;map)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01201">SVFFileSystem.h:1201</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a89b27c406d4afb9ed4d1745cc32a85c4"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a89b27c406d4afb9ed4d1745cc32a85c4">SVF::GenericGraphReader::getEdgePtr</a></div><div class="ttdeci">EdgeTy * getEdgePtr(unsigned id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00870">SVFFileSystem.h:870</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WriterPtrPool_html"><div class="ttname"><a href="classSVF_1_1WriterPtrPool.html">SVF::WriterPtrPool</a></div><div class="ttdoc">Bookkeeping class to keep track of the IDs of objects that doesn't have any ID. E....</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00232">SVFFileSystem.h:232</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_adf8e2485f7cc090ef75c20fff6cf19aa"><div class="ttname"><a href="namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa">SVF::jsonCreateString</a></div><div class="ttdeci">cJSON * jsonCreateString(const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00911">SVFFileSystem.cpp:911</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_adf8e2485f7cc090ef75c20fff6cf19aa"><div class="ttname"><a href="namespaceSVF.html#adf8e2485f7cc090ef75c20fff6cf19aa">SVF::jsonCreateString</a></div><div class="ttdeci">cJSON * jsonCreateString(const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00913">SVFFileSystem.cpp:913</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_af5d3ac82ce9e4dbd72b5ed07e18c790f"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#af5d3ac82ce9e4dbd72b5ed07e18c790f">SVF::SVFModuleReader::getSVFTypePtr</a></div><div class="ttdeci">SVFType * getSVFTypePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01014">SVFFileSystem.h:1014</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html_ae324e7cf279e2b007a41ebea737d06f5"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html#ae324e7cf279e2b007a41ebea737d06f5">SVF::ReaderPtrPool::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *objArrayJson, Creator creator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00770">SVFFileSystem.h:770</a></div></div>
@@ -1603,17 +1603,17 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFOtherType_html"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_aad7c19516219f22ea0496e8f042b1b56"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#aad7c19516219f22ea0496e8f042b1b56">SVF::SVFModuleWriter::getStInfoID</a></div><div class="ttdeci">size_t getStInfoID(const StInfo *stInfo)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00369">SVFFileSystem.h:369</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyObjVar_html"><div class="ttname"><a href="classSVF_1_1DummyObjVar.html">SVF::DummyObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00708">SVFVariables.h:708</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00889">SVFFileSystem.cpp:889</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a0f7910523b4290e998024123f594ffb0"><div class="ttname"><a href="namespaceSVF.html#a0f7910523b4290e998024123f594ffb0">SVF::jsonCreateNullId</a></div><div class="ttdeci">cJSON * jsonCreateNullId()</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00891">SVFFileSystem.cpp:891</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a1c984678ff0cd9b33a01caf11352d533"><div class="ttname"><a href="SVFFileSystem_8h.html#a1c984678ff0cd9b33a01caf11352d533">jsonForEach</a></div><div class="ttdeci">#define jsonForEach(field, array)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00226">SVFFileSystem.h:226</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a599d699f1a1dcb576d33cb40142c6db8"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8">SVF::SVFIRWriter::svfIR</a></div><div class="ttdeci">const SVFIR * svfIR</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00382">SVFFileSystem.h:382</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html">SVF::SVFIRReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01033">SVFFileSystem.h:1033</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a8db477eba6a3886e63dfd13cfabd5c8d"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d">SVF::SVFModuleReader::svfTypePool</a></div><div class="ttdeci">ReaderPtrPool&lt; SVFType &gt; svfTypePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00976">SVFFileSystem.h:976</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_ab24ead498f61498c68a726f1b192936d"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#ab24ead498f61498c68a726f1b192936d">SVF::SVFModuleReader::getSVFValuePtr</a></div><div class="ttdeci">SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01010">SVFFileSystem.h:1010</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a34a1f3ef61f57ec72a6c202d7a0eaa51"><div class="ttname"><a href="namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51">SVF::jsonIsNullId</a></div><div class="ttdeci">bool jsonIsNullId(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00846">SVFFileSystem.cpp:846</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a06374e1eadf264ee1b9285bb3dfd36a2"><div class="ttname"><a href="namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2">SVF::jsonAddNumberToObject</a></div><div class="ttdeci">bool jsonAddNumberToObject(cJSON *obj, const char *name, double number)</div><div class="ttdoc">Helper function to write a number to a JSON object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00793">SVFFileSystem.cpp:793</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a34a1f3ef61f57ec72a6c202d7a0eaa51"><div class="ttname"><a href="namespaceSVF.html#a34a1f3ef61f57ec72a6c202d7a0eaa51">SVF::jsonIsNullId</a></div><div class="ttdeci">bool jsonIsNullId(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00848">SVFFileSystem.cpp:848</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a06374e1eadf264ee1b9285bb3dfd36a2"><div class="ttname"><a href="namespaceSVF.html#a06374e1eadf264ee1b9285bb3dfd36a2">SVF::jsonAddNumberToObject</a></div><div class="ttdeci">bool jsonAddNumberToObject(cJSON *obj, const char *name, double number)</div><div class="ttdoc">Helper function to write a number to a JSON object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00795">SVFFileSystem.cpp:795</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_aa3c7f0cf409d3b303f3dc308951b45fd"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter::svfValuePool</a></div><div class="ttdeci">WriterPtrPool&lt; SVFValue &gt; svfValuePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00352">SVFFileSystem.h:352</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a8145cbd243e0604582ae86408d0a2477"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a8145cbd243e0604582ae86408d0a2477">SVF::SVFModuleReader::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *svfModuleJson, SVFTypeCreator typeCreator, SVFTypeFiller typeFiller, SVFValueCreator valueCreator, SVFValueFiller valueFiller, StInfoCreator stInfoCreator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00984">SVFFileSystem.h:984</a></div></div>
@@ -1627,14 +1627,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a3d975e78d6ac1090c4bd6095429d2ab3"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a3d975e78d6ac1090c4bd6095429d2ab3">SVF::GenericGraphReader::edgePool</a></div><div class="ttdeci">ReaderPtrPool&lt; EdgeTy &gt; edgePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00826">SVFFileSystem.h:826</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFConstantNullPtr_html"><div class="ttname"><a href="classSVF_1_1SVFConstantNullPtr.html">SVF::SVFConstantNullPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01027">SVFValue.h:1027</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_ad1da745e0f65a6a3f8d45730e4458dee"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#ad1da745e0f65a6a3f8d45730e4458dee">SVF::SymbolTableInfoReader::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *symTabJson, MemObjCreator memObjCreator)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00914">SVFFileSystem.h:914</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a12d70e815fa53a4121d375ac26f2c30f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f">SVF::SVFIRWriter::writeJsonToOstream</a></div><div class="ttdeci">static void writeJsonToOstream(const SVFIR *svfir, std::ostream &amp;os)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00997">SVFFileSystem.cpp:997</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a12d70e815fa53a4121d375ac26f2c30f"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a12d70e815fa53a4121d375ac26f2c30f">SVF::SVFIRWriter::writeJsonToOstream</a></div><div class="ttdeci">static void writeJsonToOstream(const SVFIR *svfir, std::ostream &amp;os)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00999">SVFFileSystem.cpp:999</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00344">GenericGraph.h:344</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphWriter_html_ac9d7d0ab898033282898731a6092efaa"><div class="ttname"><a href="classSVF_1_1GenericGraphWriter.html#ac9d7d0ab898033282898731a6092efaa">SVF::GenericGraphWriter::GenericGraphWriter</a></div><div class="ttdeci">GenericGraphWriter(const GraphType *graph)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00302">SVFFileSystem.h:302</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GlobalICFGNode_html"><div class="ttname"><a href="classSVF_1_1GlobalICFGNode.html">SVF::GlobalICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00148">ICFGNode.h:148</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_aa1100e216d94eb445f59125e94815fd7"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7">SVF::SVFIRReader::icfgReader</a></div><div class="ttdeci">ICFGReader icfgReader</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01038">SVFFileSystem.h:1038</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyValVar_html"><div class="ttname"><a href="classSVF_1_1DummyValVar.html">SVF::DummyValVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00668">SVFVariables.h:668</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a875f285e8429e7f5ee5fc5f28d44df12"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a875f285e8429e7f5ee5fc5f28d44df12">SVF::SVFIRWriter::generateJson</a></div><div class="ttdeci">autoJSON generateJson()</div><div class="ttdoc">Main logic to dump a SVFIR to a JSON object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01036">SVFFileSystem.cpp:1036</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a875f285e8429e7f5ee5fc5f28d44df12"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a875f285e8429e7f5ee5fc5f28d44df12">SVF::SVFIRWriter::generateJson</a></div><div class="ttdeci">autoJSON generateJson()</div><div class="ttdoc">Main logic to dump a SVFIR to a JSON object.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01038">SVFFileSystem.cpp:1038</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">