svf-tools 1.0.749 → 1.0.751

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

@@ -1350,7 +1350,7 @@ $(function() {
 <div class="line"><a name="l01335"></a><span class="lineno"> 1335</span>&#160;<span class="preprocessor">#endif // !INCLUDE_SVFFILESYSTEM_H_</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1ICFGWriter_html_a79f4edaff02404f518ffeaeab136c0a9"><div class="ttname"><a href="classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9">SVF::ICFGWriter::svfLoopPool</a></div><div class="ttdeci">WriterPtrPool&lt; SVFLoop &gt; svfLoopPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00331">SVFFileSystem.h:331</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00347">SVFStatements.h:347</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00350">SVFStatements.h:350</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ac0e7d716d40b75742ec9ba6c9111e577"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ac0e7d716d40b75742ec9ba6c9111e577">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">SVFUtil::void_t&lt; KindBaseT&lt; T &gt; &gt; readJson(const cJSON *obj, T *&amp;ptr)</div><div class="ttdoc">Read a pointer of some child class of SVFType/SVFValue/SVFVar/SVFStmt/ICFGNode/ICFGEdge/CHNode/CHEdge...</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01142">SVFFileSystem.h:1142</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9810ce9b0ce6c4f8f710e81ec8d08ec3"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9810ce9b0ce6c4f8f710e81ec8d08ec3">SVF::SVFIRWriter::genericGraphToJson</a></div><div class="ttdeci">cJSON * genericGraphToJson(const GenericGraph&lt; NodeTy, EdgeTy &gt; *graph, const std::vector&lt; const EdgeTy * &gt; &amp;edgePool)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00560">SVFFileSystem.h:560</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aecae8cb1f180e463d94c68e5a63a1176"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aecae8cb1f180e463d94c68e5a63a1176">SVF::SVFIRWriter::jsonAddJsonableToObject</a></div><div class="ttdeci">bool jsonAddJsonableToObject(cJSON *obj, const char *name, const T &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00636">SVFFileSystem.h:636</a></div></div>
@@ -1364,12 +1364,12 @@ $(function() {
 <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="SVFType_8h_source.html#l00110">SVFType.h:110</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#l00868">SVFFileSystem.cpp:868</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#l00310">SVFStatements.h:310</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#l00665">SVFValue.h:665</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#l00655">SVFValue.h:655</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#l01918">SVFFileSystem.cpp:1918</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#l00734">SVFStatements.h:734</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#l00737">SVFStatements.h:737</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>
@@ -1392,20 +1392,20 @@ $(function() {
 <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>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aa7c88a48d18d052895733771f2ad9e2d"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">SVF::SVFIRWriter::contentToJson</a></div><div class="ttdeci">cJSON * contentToJson(const SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00307">SVFFileSystem.cpp:307</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_aba5c3c3b62687a28301e9c65555e57f9"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">SVF::SVFIRWriter::icfgWriter</a></div><div class="ttdeci">ICFGWriter icfgWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00385">SVFFileSystem.h:385</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantData_html"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html">SVF::SVFConstantData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00908">SVFValue.h:908</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantData_html"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html">SVF::SVFConstantData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00893">SVFValue.h:893</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>
 <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#l01074">SVFValue.h:1074</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#l00802">SVFStatements.h:802</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#l01047">SVFValue.h:1047</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#l00805">SVFStatements.h:805</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#l01028">SVFValue.h:1028</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#l01005">SVFValue.h:1005</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#l00591">SVFStatements.h:591</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#l00594">SVFStatements.h:594</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#l00857">SVFStatements.h:857</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#l00860">SVFStatements.h:860</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>
@@ -1425,7 +1425,7 @@ $(function() {
 <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#l01583">SVFFileSystem.cpp:1583</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#l01019">SVFFileSystem.cpp:1019</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#l00531">SVFStatements.h:531</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#l00534">SVFStatements.h:534</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>
@@ -1437,19 +1437,19 @@ $(function() {
 <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#l01211">SVFStatements.h:1211</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#l01214">SVFStatements.h:1214</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#l00837">SVFFileSystem.cpp:837</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#l00739">SVFValue.h:739</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#l00729">SVFValue.h:729</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#l00936">SVFFileSystem.cpp:936</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#l00943">SVFStatements.h:943</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#l00946">SVFStatements.h:946</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#l00473">SymbolTableInfo.h:473</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#l00873">SVFFileSystem.cpp:873</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#l00490">SVFValue.h:490</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#l00383">SVFStatements.h:383</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#l00484">SVFValue.h:484</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#l00386">SVFStatements.h:386</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#l00150">SVFValue.h:150</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#l00385">SVFType.h:385</a></div></div>
@@ -1472,7 +1472,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StInfo_html"><div class="ttname"><a href="classSVF_1_1StInfo.html">SVF::StInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00132">SVFType.h:132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_a285cf97ecb4fd1cdbc19e67779ef84ee"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#a285cf97ecb4fd1cdbc19e67779ef84ee">SVF::SVFModuleWriter::getSVFValuePtr</a></div><div class="ttdeci">const SVFValue * getSVFValuePtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00361">SVFFileSystem.h:361</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStructType_html"><div class="ttname"><a href="classSVF_1_1SVFStructType.html">SVF::SVFStructType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00410">SVFType.h:410</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00799">SVFValue.h:799</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00789">SVFValue.h:789</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGReader_html_a59f46288e7dad3ba31d106faeca277ef"><div class="ttname"><a href="classSVF_1_1ICFGReader.html#a59f46288e7dad3ba31d106faeca277ef">SVF::ICFGReader::getSVFLoopPtr</a></div><div class="ttdeci">SVFLoop * getSVFLoopPtr(size_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00956">SVFFileSystem.h:956</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html">SVF::IntraICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00180">ICFGNode.h:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a9fd47674ea5736f069d994e59c24e858"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858">SVF::SVFIRWriter::svfModuleWriter</a></div><div class="ttdeci">SVFModuleWriter svfModuleWriter</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00384">SVFFileSystem.h:384</a></div></div>
@@ -1484,19 +1484,19 @@ $(function() {
 <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#l02534">SVFFileSystem.cpp:2534</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#l00811">SVFFileSystem.cpp:811</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#l00274">SVFValue.h:274</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#l00270">SVFValue.h:270</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#l01052">SVFValue.h:1052</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#l01027">SVFValue.h:1027</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#l01602">SVFFileSystem.cpp:1602</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>
-<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00939">SVFValue.h:939</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00975">SVFValue.h:975</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00922">SVFValue.h:922</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00956">SVFValue.h:956</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a36badbddd8e280a71382d28f1285c310"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a36badbddd8e280a71382d28f1285c310">SVF::SVFIRReader::fill</a></div><div class="ttdeci">void fill(const cJSON *&amp;fieldJson, GenericNode&lt; NodeTy, EdgeTy &gt; *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01317">SVFFileSystem.h:1317</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html"><div class="ttname"><a href="classSVF_1_1GenericEdge.html">SVF::GenericEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00049">GenericGraph.h:49</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00823">SVFValue.h:823</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00812">SVFValue.h:812</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a4c146234dfd7b6adbf13b49505e995bc"><div class="ttname"><a href="cJSON_8h.html#a4c146234dfd7b6adbf13b49505e995bc">cJSON</a></div><div class="ttdeci">struct cJSON cJSON</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a1e568e5b4a081aad92e86646f419413c"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c">SVF::SVFIRWriter::autoCStr</a></div><div class="ttdeci">std::unique_ptr&lt; char, decltype(&amp;cJSON_free)&gt; autoCStr</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00393">SVFFileSystem.h:393</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_a2fc2248a433201314c636856603cb3fa"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#a2fc2248a433201314c636856603cb3fa">SVF::GenericGraphReader::idToNodeMap</a></div><div class="ttdeci">ReaderIDToObjMap&lt; NodeTy &gt; idToNodeMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00825">SVFFileSystem.h:825</a></div></div>
@@ -1514,17 +1514,17 @@ $(function() {
 <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#l00420">SVFStatements.h:420</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#l00423">SVFStatements.h:423</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#l00863">SVFFileSystem.cpp:863</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#l00652">SVFStatements.h:652</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#l00655">SVFStatements.h:655</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#l00050">IRGraph.h:50</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#l00925">SVFFileSystem.cpp:925</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#l00457">SVFStatements.h:457</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#l00460">SVFStatements.h:460</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>
@@ -1538,7 +1538,7 @@ $(function() {
 <div class="ttc" id="aGenericGraph_8h_html"><div class="ttname"><a href="GenericGraph_8h.html">GenericGraph.h</a></div></div>
 <div class="ttc" id="aWPA_2CMakeLists_8txt_html_acb857077b5bb0b1d50ed7b3864b3b6cf"><div class="ttname"><a href="WPA_2CMakeLists_8txt.html#acb857077b5bb0b1d50ed7b3864b3b6cf">set</a></div><div class="ttdeci">set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) if(DEFINED IN_SOURCE_BUILD) add_llvm_tool(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa SvfLLVM $</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_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#l01013">SVFStatements.h:1013</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#l01016">SVFStatements.h:1016</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>
@@ -1555,7 +1555,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a29cab1426b0000bd87c026ab8c9979c0"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">SVF::GenericGraph::getTotalEdgeNum</a></div><div class="ttdeci">u32_t getTotalEdgeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00437">GenericGraph.h:437</a></div></div>
 <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#l01098">SVFValue.h:1098</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#l01069">SVFValue.h:1069</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#l00931">SVFFileSystem.cpp:931</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#l00853">SVFFileSystem.cpp:853</a></div></div>
@@ -1574,17 +1574,17 @@ $(function() {
 <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#l01004">SVFFileSystem.cpp:1004</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#l00234">SVFStatements.h:234</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#l01632">SVFFileSystem.cpp:1632</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#l01654">SVFFileSystem.cpp:1654</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#l01170">SVFStatements.h:1170</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#l01173">SVFStatements.h:1173</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#l00842">SVFFileSystem.cpp:842</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#l01080">SVFStatements.h:1080</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#l01083">SVFStatements.h:1083</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#l01942">SVFFileSystem.cpp:1942</a></div></div>
@@ -1596,7 +1596,7 @@ $(function() {
 <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>
-<div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00866">SVFValue.h:866</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00853">SVFValue.h:853</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html">SVF::ReaderPtrPool</a></div><div class="ttdoc">Reverse of WriterPtrPool where T is object type without ID field.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00752">SVFFileSystem.h:752</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aa1f446e93750580dce04a127231dd1a3"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">SVF::GenericEdge::edgeFlag</a></div><div class="ttdeci">GEdgeFlag edgeFlag</div><div class="ttdoc">edge kind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00066">GenericGraph.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfoReader_html_a0bf60f2250c864592c507dd6b03800a9"><div class="ttname"><a href="classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9">SVF::SymbolTableInfoReader::memObjMap</a></div><div class="ttdeci">ReaderIDToObjMap&lt; MemObj &gt; memObjMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00905">SVFFileSystem.h:905</a></div></div>
@@ -1604,7 +1604,7 @@ $(function() {
 <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#l00890">SVFFileSystem.cpp:890</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#l00595">SVFValue.h:595</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#l00587">SVFValue.h:587</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="SVFType_8h_source.html#l00054">SVFType.h:54</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>
@@ -1625,7 +1625,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_a8d677d0e7e3722fd9c47f02b33363b47"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#a8d677d0e7e3722fd9c47f02b33363b47">SVF::ReaderIDToObjMap::fillObjs</a></div><div class="ttdeci">void fillObjs(FillFunc fillFunc)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00720">SVFFileSystem.h:720</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderPtrPool_html_a705d5d5fe6ebfb94157453b3403aaaaa"><div class="ttname"><a href="classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa">SVF::ReaderPtrPool::ptrPool</a></div><div class="ttdeci">std::vector&lt; T * &gt; ptrPool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00756">SVFFileSystem.h:756</a></div></div>
 <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#l01004">SVFValue.h:1004</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#l00983">SVFValue.h:983</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#l00998">SVFFileSystem.cpp:998</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>

package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html

@@ -193,12 +193,12 @@ $(function() {
 <div class="ttc" id="aSVFGBuilder_8h_html"><div class="ttname"><a href="SVFGBuilder_8h.html">SVFGBuilder.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_a47591192260ddc3ff0717430f127cc95"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95">SVF::SVFGBuilder::build</a></div><div class="ttdeci">SVFG * build(BVDataPTAImpl *pta, VFG::VFGK kind)</div><div class="ttdoc">Create a DDA SVFG. By default actualOut and FormalIN are removed, unless withAOFI is set true.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00064">SVFGBuilder.cpp:64</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00555">SVFType.h:555</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00142">SVFModule.h:142</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="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00042">PointerAnalysisImpl.h:42</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#l00274">SVFValue.h:274</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#l00270">SVFValue.h:270</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a06eea18ba4cdf509255126a9b58e8eb0"><div class="ttname"><a href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVF::Options::SVFGWithIndirectCall</a></div><div class="ttdeci">static const Option&lt; bool &gt; SVFGWithIndirectCall</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00160">Options.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0">SVF::VFG::FULLSVFG_OPT</a></div><div class="ttdeci">@ FULLSVFG_OPT</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_ab7353191edd06568e2598177d253c1d9"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9">SVF::SVFGBuilder::buildPTROnlySVFG</a></div><div class="ttdeci">SVFG * buildPTROnlySVFG(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00041">SVFGBuilder.cpp:41</a></div></div>
@@ -219,7 +219,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6">SVF::VFG::VFGK</a></div><div class="ttdeci">VFGK</div><div class="ttdoc">VFG kind.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00055">VFG.h:55</a></div></div>
 <div class="ttc" id="aMemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d">SVF::VFG::PTRONLYSVFG</a></div><div class="ttdeci">@ PTRONLYSVFG</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa">SVF::VFG::FULLSVFG</a></div><div class="ttdeci">@ FULLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
 <div class="ttc" id="aAndersen_8h_html"><div class="ttname"><a href="Andersen_8h.html">Andersen.h</a></div></div>

package/SVF-doxygen/html/html/SVFGNode_8h_source.html

@@ -607,7 +607,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MSSAPHISVFGNode_html_a9ea963b7773c7d0b42ccf81e58a54a50"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">SVF::MSSAPHISVFGNode::getResVer</a></div><div class="ttdeci">const MRVer * getResVer() const</div><div class="ttdoc">Ver.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00293">SVFGNode.h:293</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyVersionPropSVFGNode_html_ac10a4b9c2ee536cfcb74120d86c0619f"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode::getObject</a></div><div class="ttdeci">NodeID getObject(void) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00476">SVFGNode.h:476</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualINSVFGNode_html_a7f2648ebb69ebc53638dceb4382b41b0"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0">SVF::ActualINSVFGNode::ActualINSVFGNode</a></div><div class="ttdeci">ActualINSVFGNode(NodeID id, const CallICFGNode *c, const MRVer *mrver)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00187">SVFGNode.h:187</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#l00274">SVFValue.h:274</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#l00270">SVFValue.h:270</a></div></div>
 <div class="ttc" id="aclassSVF_1_1InterMSSAPHISVFGNode_html_a5b4ba4b7753d786ff2e3d834bda017ce"><div class="ttname"><a href="classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce">SVF::InterMSSAPHISVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00429">SVFGNode.h:429</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DummyVersionPropSVFGNode_html_a684f1f5c9f9f5059127d3024cc5d71e9"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html#a684f1f5c9f9f5059127d3024cc5d71e9">SVF::DummyVersionPropSVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00492">SVFGNode.h:492</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalINSVFGNode_html_a4022ecd01a88758b5fa7d22856c89745"><div class="ttname"><a href="classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745">SVF::FormalINSVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00057">SVFG.cpp:57</a></div></div>

package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html

@@ -582,7 +582,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae3ad3003a8d3df2f1e3463248bb5ad51"><div class="ttname"><a href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options::DumpVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html">SVF::ActualOUTSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00555">SVFType.h:555</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
 <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="aclassSVF_1_1VFGEdge_html_a557334ef75bb5479b045f68c27b38701"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701">SVF::VFGEdge::SVFGEdgeSetTy</a></div><div class="ttdeci">VFGEdgeSetTy SVFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00118">VFGEdge.h:118</a></div></div>
 <div class="ttc" id="aSVFGOPT_8cpp_html_a88c73f6d9c8ac75497c2e520a7d41935"><div class="ttname"><a href="SVFGOPT_8cpp.html#a88c73f6d9c8ac75497c2e520a7d41935">KeepContextSelfCycle</a></div><div class="ttdeci">static std::string KeepContextSelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8cpp_source.html#l00043">SVFGOPT.cpp:43</a></div></div>
@@ -638,7 +638,7 @@ $(function() {
 <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_1Options_html_a9ef14f68939b7678ddff83d544e024cc"><div class="ttname"><a href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SVF::Options::SelfCycle</a></div><div class="ttdeci">static const Option&lt; std::string &gt; SelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00119">Options.h:119</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a09005e749b1030347ac5dcc015053a37"><div class="ttname"><a href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">SVF::Options::KeepAOFI</a></div><div class="ttdeci">static const Option&lt; bool &gt; KeepAOFI</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00118">Options.h:118</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGOPT_html_a1fd6d26203d7d574b5664b8fcae54c1a"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a">SVF::SVFGOPT::replaceFParamARetWithPHI</a></div><div class="ttdeci">void replaceFParamARetWithPHI(PHISVFGNode *phi, SVFGNode *svfgNode)</div><div class="ttdoc">Replace FormalParam/ActualRet node with PHI node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8cpp_source.html#l00151">SVFGOPT.cpp:151</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetIndSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html">SVF::RetIndSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00165">SVFGEdge.h:165</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00846">VFGNode.h:846</a></div></div>

package/SVF-doxygen/html/html/SVFGOPT_8h_source.html

@@ -363,7 +363,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGOPT_html_a0e78edc04f5e8bfcca7a3f04f7568665"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a0e78edc04f5e8bfcca7a3f04f7568665">SVF::SVFGOPT::isDefOfAInFOut</a></div><div class="ttdeci">bool isDefOfAInFOut(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00285">SVFGOPT.h:285</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_a36f469a129063b43161a8d1423414ce5"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5">SVF::PHIVFGNode::setOpVer</a></div><div class="ttdeci">void setOpVer(u32_t pos, const PAGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00662">VFGNode.h:662</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a731b978178937e74c80d2882c429dc9e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e">SVF::SVFFunction::hasAddressTaken</a></div><div class="ttdeci">bool hasAddressTaken() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00354">SVFValue.h:354</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a731b978178937e74c80d2882c429dc9e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e">SVF::SVFFunction::hasAddressTaken</a></div><div class="ttdeci">bool hasAddressTaken() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00348">SVFValue.h:348</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGOPT_html_a65bba62d9b62bf2bdbbda69540eeb38d"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d">SVF::SVFGOPT::keepAllSelfCycle</a></div><div class="ttdeci">bool keepAllSelfCycle</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00356">SVFGOPT.h:356</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html_a89cb274936513df411a75fb33a86702f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Callsite.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00244">SVFGNode.h:244</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGOPT_html_a9741514d915bf7f14787cc346b9d7c98"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98">SVF::SVFGOPT::actualInToDefMap</a></div><div class="ttdeci">NodeIDToNodeIDMap actualInToDefMap</div><div class="ttdoc">map actual-in to its def-site node</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00349">SVFGOPT.h:349</a></div></div>

package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html

@@ -551,7 +551,7 @@ $(function() {
 <div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1ActualOUTSVFGNode_html_a89cb274936513df411a75fb33a86702f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Callsite.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00244">SVFGNode.h:244</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a2bdfa37167b5496629e5cae62705d5f2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt::PAGEdgeSetTy</a></div><div class="ttdeci">SVFStmtSetTy PAGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00217">SVFStatements.h:217</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a2bdfa37167b5496629e5cae62705d5f2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt::PAGEdgeSetTy</a></div><div class="ttdeci">SVFStmtSetTy PAGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00220">SVFStatements.h:220</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSAPHISVFGNode_html"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00276">SVFGNode.h:276</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>
@@ -576,7 +576,7 @@ $(function() {
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraphEdge_html_adbedb15ac0f9395c5264f087a63bad3b"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b">SVF::PTACallGraphEdge::CallInstSet</a></div><div class="ttdeci">Set&lt; const CallICFGNode * &gt; CallInstSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00055">PTACallGraph.h:55</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#l00383">SVFStatements.h:383</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#l00386">SVFStatements.h:386</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalOUTSVFGNode_html_ad2e841a18b777220c2b13f38289d6168"><div class="ttname"><a href="classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168">SVF::FormalOUTSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00153">SVFGNode.h:153</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemRegion_html"><div class="ttname"><a href="classSVF_1_1MemRegion.html">SVF::MemRegion</a></div><div class="ttdoc">Memory Region class.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00055">MemRegion.h:55</a></div></div>
@@ -601,7 +601,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</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_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#l00595">SVFValue.h:595</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#l00587">SVFValue.h:587</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="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StoreVFGNode_html"><div class="ttname"><a href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00240">VFGNode.h:240</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_acdbe1c510273107b708935061b6c4127"><div class="ttname"><a href="classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127">SVF::SVFG::MUSet</a></div><div class="ttdeci">MemSSA::MUSet MUSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00086">SVFG.h:86</a></div></div>

package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html

@@ -582,7 +582,7 @@ $(function() {
 <div class="ttc" id="aSVFGStat_8h_html"><div class="ttname"><a href="SVFGStat_8h.html">SVFGStat.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGStat_html_a3c016e166b8e84eb3b98bc3717cba5d8"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8">SVF::SVFGStat::processGraph</a></div><div class="ttdeci">void processGraph()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00244">SVFGStat.cpp:244</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSAStat_html_a3bc14307bd0f986cbd8ba5970f1abf0f"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">SVF::MemSSAStat::NumOfStoreHasChi</a></div><div class="ttdeci">static const char * NumOfStoreHasChi</div><div class="ttdoc">Number of stores which have chi.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00074">SVFGStat.h:74</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00577">SVFType.h:577</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00048">PTAStat.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGStat_html_a5f0c72186ee16f5e88782b5edc9fa5b1"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1">SVF::SVFGStat::avgWeight</a></div><div class="ttdeci">int avgWeight</div><div class="ttdoc">average weight.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00204">SVFGStat.h:204</a></div></div>