svf-tools 1.0.768 → 1.0.770

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

@@ -1369,7 +1369,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a525269da9931bad82b243376a6015392"><div class="ttname"><a href="SVFFileSystem_8h.html#a525269da9931bad82b243376a6015392">JSON_READ_FIELD_FWD</a></div><div class="ttdeci">#define JSON_READ_FIELD_FWD(json, objptr, field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00091">SVFFileSystem.h:91</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_ae46f4cf64824aa037447540ad60b239c"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader::virtFill</a></div><div class="ttdeci">void virtFill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01919">SVFFileSystem.cpp:1919</a></div></div>
-<div class="ttc" id="aclassSVF_1_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_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00747">SVFStatements.h:747</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html_ab03e007e2417f90f8030d1f5923087d8"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html#ab03e007e2417f90f8030d1f5923087d8">SVF::SVFModuleWriter::getSVFTypeID</a></div><div class="ttdeci">size_t getSVFTypeID(const SVFType *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00365">SVFFileSystem.h:365</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleReader_html_a2993c4358d71036440325001163731fe"><div class="ttname"><a href="classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe">SVF::SVFModuleReader::svfValuePool</a></div><div class="ttdeci">ReaderPtrPool&lt; SVFValue &gt; svfValuePool</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00978">SVFFileSystem.h:978</a></div></div>
 <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>
@@ -1397,15 +1397,15 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraphReader_html_ab09fa674af96a107ac14306eae021381"><div class="ttname"><a href="classSVF_1_1GenericGraphReader.html#ab09fa674af96a107ac14306eae021381">SVF::GenericGraphReader::getNodePtr</a></div><div class="ttdeci">NodeTy * getNodePtr(unsigned id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00865">SVFFileSystem.h:865</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a6288dae99eabb0a393b1d4974e01cde7"><div class="ttname"><a href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a></div><div class="ttdeci">const char *const const double number</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00268">cJSON.h:268</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFMetadataAsValue_html"><div class="ttname"><a href="classSVF_1_1SVFMetadataAsValue.html">SVF::SVFMetadataAsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01053">SVFValue.h:1053</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_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#l00815">SVFStatements.h:815</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#l01011">SVFValue.h:1011</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#l00594">SVFStatements.h:594</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#l00604">SVFStatements.h:604</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#l00860">SVFStatements.h:860</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#l00870">SVFStatements.h:870</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#l01584">SVFFileSystem.cpp:1584</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00061">GenericGraph.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html_a10ce46b10bad5f0f3dbcff5bf5818626"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter::numToStr</a></div><div class="ttdeci">const char * numToStr(size_t n)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01020">SVFFileSystem.cpp:1020</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00534">SVFStatements.h:534</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00544">SVFStatements.h:544</a></div></div>
 <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,7 +1437,7 @@ $(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#l01214">SVFStatements.h:1214</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#l01224">SVFStatements.h:1224</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#l00838">SVFFileSystem.cpp:838</a></div></div>
@@ -1445,7 +1445,7 @@ $(function() {
 <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#l00735">SVFValue.h:735</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#l00937">SVFFileSystem.cpp:937</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00946">SVFStatements.h:946</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#l00956">SVFStatements.h:956</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#l00874">SVFFileSystem.cpp:874</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00490">SVFValue.h:490</a></div></div>
@@ -1458,7 +1458,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00443">SVFType.h:443</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a639af670465f6cbe4fe75b3188a66129"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a639af670465f6cbe4fe75b3188a66129">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">void readJson(const cJSON *obj, const T *&amp;cptr)</div><div class="ttdoc">Read a const pointer.</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01155">SVFFileSystem.h:1155</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ad37880353cffc950d5b9417bc41c0b06"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06">SVF::SVFUtil::void_t</a></div><div class="ttdeci">typename make_void&lt; Ts... &gt;::type void_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00665">SVFUtil.h:665</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ad37880353cffc950d5b9417bc41c0b06"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06">SVF::SVFUtil::void_t</a></div><div class="ttdeci">typename make_void&lt; Ts... &gt;::type void_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00631">SVFUtil.h:631</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html"><div class="ttname"><a href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00052">AccessPath.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a4992064f6c5e41662c939eaa769d0811"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811">SVF::SVFIRReader::GEdgeKind</a></div><div class="ttdeci">GenericEdge&lt; void &gt;::GEdgeKind GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01070">SVFFileSystem.h:1070</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a0ffc17ff9b5cc328ff112e7f9ff21552"><div class="ttname"><a href="namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552">SVF::jsonGetNumber</a></div><div class="ttdeci">double jsonGetNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00885">SVFFileSystem.cpp:885</a></div></div>
@@ -1517,7 +1517,7 @@ $(function() {
 <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#l00864">SVFFileSystem.cpp:864</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoop_html"><div class="ttname"><a href="classSVF_1_1SVFLoop.html">SVF::SVFLoop</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00038">SVFLoop.h:38</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00655">SVFStatements.h:655</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#l00665">SVFStatements.h:665</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>
@@ -1529,7 +1529,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CHNode_html"><div class="ttname"><a href="classSVF_1_1CHNode.html">SVF::CHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00108">CHG.h:108</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a1010789a76d87c974d168b0cb9c8ce8b"><div class="ttname"><a href="SVFFileSystem_8h.html#a1010789a76d87c974d168b0cb9c8ce8b">FIELD_NAME_ITEM</a></div><div class="ttdeci">#define FIELD_NAME_ITEM(field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00061">SVFFileSystem.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a785e48ae09bf607a41efe7fd66615af4"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a785e48ae09bf607a41efe7fd66615af4">SVF::SVFIRReader::createCHEdge</a></div><div class="ttdeci">static CHEdge * createCHEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01627">SVFFileSystem.cpp:1627</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a68729347f89307b71fa97475883c6741"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a68729347f89307b71fa97475883c6741">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">static void readJson(const cJSON *obj, bool &amp;flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01526">SVFFileSystem.cpp:1526</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModuleWriter_html"><div class="ttname"><a href="classSVF_1_1SVFModuleWriter.html">SVF::SVFModuleWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00345">SVFFileSystem.h:345</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a6a3370bf787b65503cf69802da14cbac"><div class="ttname"><a href="namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac">SVF::jsonIsMap</a></div><div class="ttdeci">bool jsonIsMap(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00859">SVFFileSystem.cpp:859</a></div></div>
@@ -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#l01016">SVFStatements.h:1016</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#l01026">SVFStatements.h:1026</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>
@@ -1579,12 +1579,12 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a786c202edf78de73d6f0996f06bd8106"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a786c202edf78de73d6f0996f06bd8106">SVF::SVFIRReader::createPAGEdge</a></div><div class="ttdeci">static SVFStmt * createPAGEdge(GEdgeKind kind)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01655">SVFFileSystem.cpp:1655</a></div></div>
 <div class="ttc" id="aclassSVF_1_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#l01173">SVFStatements.h:1173</a></div></div>
+<div class="ttc" id="aclassSVF_1_1TDForkPE_html"><div class="ttname"><a href="classSVF_1_1TDForkPE.html">SVF::TDForkPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01183">SVFStatements.h:1183</a></div></div>
 <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#l00843">SVFFileSystem.cpp:843</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01083">SVFStatements.h:1083</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#l01093">SVFStatements.h:1093</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a90d3d01ab67b64e88f6548ed3e172f8c"><div class="ttname"><a href="SVFFileSystem_8h.html#a90d3d01ab67b64e88f6548ed3e172f8c">JSON_WRITE_FIELD</a></div><div class="ttdeci">#define JSON_WRITE_FIELD(root, objptr, field)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00067">SVFFileSystem.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ReaderIDToObjMap_html_ae81aaaaf1c3bb461ff2929e79fd8c8f2"><div class="ttname"><a href="classSVF_1_1ReaderIDToObjMap.html#ae81aaaaf1c3bb461ff2929e79fd8c8f2">SVF::ReaderIDToObjMap::createObjs</a></div><div class="ttdeci">void createObjs(const cJSON *idObjArrayJson, IdObjCreator idObjCreator)</div><div class="ttdoc">idObjcreator : (const cJSON*) -&gt; (id, T*) with id set</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00694">SVFFileSystem.h:694</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a32576e92aefc3da7d6c0c38dd8060f74"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a32576e92aefc3da7d6c0c38dd8060f74">SVF::SVFIRReader::fill</a></div><div class="ttdeci">void fill(const cJSON *&amp;fieldJson, SVFVar *var)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01943">SVFFileSystem.cpp:1943</a></div></div>

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

@@ -210,7 +210,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_ae2d84f7527de200a2f269dc1c056a305"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#ae2d84f7527de200a2f269dc1c056a305">SVF::SVFGBuilder::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG()</div><div class="ttdoc">Can be rewritten by subclasses.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00058">SVFGBuilder.cpp:58</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00309">SVFUtil.h:309</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_a54a713e3989597b11cee70864d0197bd"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd">SVF::SVFGBuilder::buildFullSVFG</a></div><div class="ttdeci">SVFG * buildFullSVFG(BVDataPTAImpl *pta)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00049">SVFGBuilder.cpp:49</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a0bb4bfd677e2e45cc8c24bfc190edfaa"><div class="ttname"><a href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options::DumpMSSA</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpMSSA</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00154">Options.h:154</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGBuilder_html_a057d1d631326e844ce3287eb17b98c1a"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a">SVF::SVFGBuilder::buildMSSA</a></div><div class="ttdeci">virtual std::unique_ptr&lt; MemSSA &gt; buildMSSA(BVDataPTAImpl *pta, bool ptrOnlyMSSA)</div><div class="ttdoc">Build Memory SSA.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8cpp_source.html#l00097">SVFGBuilder.cpp:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>

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

@@ -428,7 +428,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFGOPT_html_ab72ce28409a440bbf5b84a68e5f82b85"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#ab72ce28409a440bbf5b84a68e5f82b85">SVF::SVFGOPT::canBeRemoved</a></div><div class="ttdeci">bool canBeRemoved(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8cpp_source.html#l00334">SVFGOPT.cpp:334</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFGOPT_html_a82c28afbba24b90ef0394c9dcd0aae57"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#a82c28afbba24b90ef0394c9dcd0aae57">SVF::SVFGOPT::connectAParamAndFParam</a></div><div class="ttdeci">void connectAParamAndFParam(const PAGNode *cs_arg, const PAGNode *fun_arg, const CallICFGNode *, CallSiteID csId, SVFGEdgeSetTy &amp;edges) override</div><div class="ttdoc">Connect SVFG nodes between caller and callee for indirect call sites.</div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8h_source.html#l00089">SVFGOPT.h:89</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00169">SVFIR.h:169</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalINSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalINSVFGNode.html">SVF::FormalINSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00093">SVFGNode.h:93</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalParmVFGNode_html_af3039ab67875b177f7ba0bf246cec2f8"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8">SVF::FormalParmVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Return function.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00918">VFGNode.h:918</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a112f2ede1240c95f9fe810f2882fab80"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a112f2ede1240c95f9fe810f2882fab80">SVF::SparseBitVector::test</a></div><div class="ttdeci">bool test(unsigned Idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00708">SparseBitVector.h:708</a></div></div>

package/SVF-doxygen/html/html/SVFG_8cpp_source.html

@@ -1248,7 +1248,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a07d48490eda50ee6d31f295150409cf3"><div class="ttname"><a href="classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3">SVF::SVFG::SVFG</a></div><div class="ttdeci">SVFG(std::unique_ptr&lt; MemSSA &gt; mssa, VFGK k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00200">SVFG.cpp:200</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4_html_af43663ec79465f7860ffecd9584e0002"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002">SVF::DOTGraphTraits&lt; SVFG * &gt;::getEdgeAttributes</a></div><div class="ttdeci">static std::string getEdgeAttributes(NodeType *, EdgeIter EI, SVFG *)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l01068">SVFG.cpp:1068</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00169">SVFIR.h:169</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a43b0c126c2e32cb3d286a78b14e09a96"><div class="ttname"><a href="classSVF_1_1VFG.html#a43b0c126c2e32cb3d286a78b14e09a96">SVF::VFG::checkIntraEdgeParents</a></div><div class="ttdeci">void checkIntraEdgeParents(const VFGNode *srcNode, const VFGNode *dstNode)</div><div class="ttdoc">sanitize Intra edges, verify that both nodes belong to the same function.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00351">VFG.h:351</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a8ebf0e285c69db8332a1f8914d6190f6"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6">SVF::SVFG::addRetIndirectVFEdge</a></div><div class="ttdeci">SVFGEdge * addRetIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &amp;cpts, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00523">SVFG.cpp:523</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalINSVFGNode_html"><div class="ttname"><a href="classSVF_1_1FormalINSVFGNode.html">SVF::FormalINSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00093">SVFGNode.h:93</a></div></div>
@@ -1261,7 +1261,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00197">GenericGraph.h:197</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a8843ab4a4608f7f5f46f68ad31314c07"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07">SVF::SVFG::CHISet</a></div><div class="ttdeci">MemSSA::CHISet CHISet</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00087">SVFG.h:87</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a32b1586d326fbe47080bd1fa2d3270e6"><div class="ttname"><a href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">SVF::VFG::getStmtVFGNode</a></div><div class="ttdeci">StmtVFGNode * getStmtVFGNode(const PAGEdge *pagEdge) const</div><div class="ttdoc">Get an VFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00199">VFG.h:199</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aa8017e3e5100b3f63ee338b66118d266"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266">SVF::SVFUtil::getProgEntryFunction</a></div><div class="ttdeci">const SVFFunction * getProgEntryFunction(SVFModule *svfModule)</div><div class="ttdoc">Get program entry function from module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00382">SVFUtil.h:382</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aa8017e3e5100b3f63ee338b66118d266"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266">SVF::SVFUtil::getProgEntryFunction</a></div><div class="ttdeci">const SVFFunction * getProgEntryFunction(SVFModule *svfModule)</div><div class="ttdoc">Get program entry function from module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00374">SVFUtil.h:374</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetIndSVFGEdge_html_a58502c0881d2d8dccf9dd09385e08dc5"><div class="ttname"><a href="classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5">SVF::RetIndSVFGEdge::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#l00171">SVFG.cpp:171</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_ad03f0064d3a1ff397b35a606304a9c80"><div class="ttname"><a href="classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80">SVF::SVFG::addIntraIndirectVFEdge</a></div><div class="ttdeci">SVFGEdge * addIntraIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &amp;cpts)</div><div class="ttdoc">Add indirect def-use edges of a memory region between two statements,.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00461">SVFG.cpp:461</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_ac9666ae7266cf1a9c0a5f7d28b39d1e9"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9">SVF::SVFG::addInterIndirectVFRetEdge</a></div><div class="ttdeci">SVFGEdge * addInterIndirectVFRetEdge(const FormalOUTSVFGNode *src, const ActualOUTSVFGNode *dst, CallSiteID csId)</div><div class="ttdoc">Add inter VF edge from function exit mu to callsite chi.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00558">SVFG.cpp:558</a></div></div>