svf-tools 1.0.778 → 1.0.779

package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html

@@ -1368,7 +1368,7 @@ $(function() {
 <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#l00688">SVFValue.h:688</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#l01919">SVFFileSystem.cpp:1919</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#l00747">SVFStatements.h:747</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>
@@ -1386,7 +1386,7 @@ $(function() {
 <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#l00065">BasicTypes.h:65</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>
@@ -1422,7 +1422,7 @@ $(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="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#l00544">SVFStatements.h:544</a></div></div>
@@ -1482,13 +1482,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="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#l02540">SVFFileSystem.cpp:2540</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#l01060">SVFValue.h:1060</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>
@@ -1528,9 +1528,9 @@ $(function() {
 <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#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>
@@ -1545,10 +1545,10 @@ $(function() {
 <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#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#l01398">SVFFileSystem.cpp:1398</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#l00357">SVFType.h:357</a></div></div>
@@ -1575,8 +1575,8 @@ $(function() {
 <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#l01183">SVFStatements.h:1183</a></div></div>
@@ -1587,7 +1587,7 @@ $(function() {
 <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#l01093">SVFStatements.h:1093</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#l01943">SVFFileSystem.cpp:1943</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>