npm - svf-tools - Versions diffs - 1.0.371 → 1.0.375 - Mend

svf-tools 1.0.371 → 1.0.375

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (255) hide show

package/SVF-doxygen/html/html/functions_a.html CHANGED Viewed

@@ -169,7 +169,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544">SVF::SrcSnkDDA</a>
 </li>
 <li>addBinaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105">SVF::SVFIRBuilder</a>
 </li>
 <li>addBinaryOPStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f">SVF::SVFIR</a>
@@ -178,7 +178,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262">SVF::VFG</a>
 </li>
 <li>addBlackHoleAddrEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb">SVF::SVFIRBuilder</a>
 </li>
 <li>addBlackHoleAddrStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513">SVF::SVFIR</a>
@@ -191,7 +191,7 @@ $(function() {
 </li>
 <li>addBranchStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9a5334fc4133b2eeadb9b5104635cca2">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0">SVF::SVFIRBuilder</a>
 </li>
 <li>addBranchVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5">SVF::VFG</a>
@@ -201,7 +201,7 @@ $(function() {
 </li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aec94aaebd392aa4facdbdc6bfef74bde">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG</a>
 </li>
 <li>addCallGraphNode()
@@ -250,7 +250,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addCmpEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a0a7183291291e3f91188607ead065c81">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6">SVF::SVFIRBuilder</a>
 </li>
 <li>addCmpStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba">SVF::SVFIR</a>
@@ -259,7 +259,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder</a>
 </li>
 <li>addCondIntraLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957">SVF::LockAnalysis</a>
@@ -336,7 +336,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532">SVF::SVFIR</a>
 </li>
 <li>addDummyObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a905b16c9fe739c4e95902b2729951b5b">SVF::SVFIR</a>
 </li>
 <li>addDummyValNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR</a>
@@ -428,7 +428,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">SVF::SVFIR</a>
 </li>
 <li>addGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac70a2368d5e0d3fe4dff94fecb2455ef">SVF::SVFIRBuilder</a>
 </li>
 <li>addGepObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d">SVF::SVFIR</a>
@@ -440,7 +440,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addGepValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a9a702ceb8ba3851daef444f1ece3a2f8">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a781ffc0194fd501dcb34f1892a393c33">SVF::SVFIR</a>
 </li>
 <li>addGepVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa">SVF::VFG</a>
@@ -578,7 +578,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>addLoadEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9fdcddcdcf14a90cc80d42de0d5ad189">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243">SVF::SVFIRBuilder</a>
 </li>
 <li>AddLoadMU()
 : <a class="el" href="classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42">SVF::MemSSA</a>
@@ -630,7 +630,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b">SVF::ConstraintGraph</a>
 </li>
 <li>addNormalGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#afb1520090d28e6a75f359d8f838dd831">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4e9698f1d85f47ea126f71db3bb5a3a5">SVF::SVFIRBuilder</a>
 </li>
 <li>addNormalGepStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a460011093c6426b98236c8381b1df0a0">SVF::SVFIR</a>
@@ -685,7 +685,7 @@ $(function() {
 </li>
 <li>addPhiStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aa26d69a4f6d6ecc93e91231c22c50dac">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0">SVF::SVFIRBuilder</a>
 </li>
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
@@ -738,7 +738,7 @@ $(function() {
 </li>
 <li>addRetEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aff15a202dfa9419cec787d9acf6c35c2">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
@@ -775,7 +775,7 @@ $(function() {
 </li>
 <li>addSelectStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a96d0878e2eaa0104a1b07fceb2b33c45">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8">SVF::SVFIRBuilder</a>
 </li>
 <li>addSingleRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -808,7 +808,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
 </li>
 <li>addStoreStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e">SVF::SVFIR</a>
@@ -853,7 +853,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d">SVF::MTASVFGBuilder</a>
 </li>
 <li>addThreadForkEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a013560b7d7d173e1558ae6dd404d1bba">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadForkEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph</a>
@@ -862,7 +862,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b">SVF::SVFIR</a>
 </li>
 <li>addThreadJoinEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#af10d23b0ef64d3f4cd2543beabafe9df">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadJoinEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph</a>
@@ -927,7 +927,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">SVF::Andersen</a>
 </li>
 <li>addUnaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45">SVF::SVFIRBuilder</a>
 </li>
 <li>addUnaryOPStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2">SVF::SVFIR</a>
@@ -945,7 +945,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
 </li>
 <li>addVariantGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a76cf53044c3c939512c392cceb21d8a4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9bcc50d3c340acfb88bee64dc7270b2a">SVF::SVFIRBuilder</a>
 </li>
 <li>addVariantGepStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a996574dbe5d5d79b1dc24cf5dc4145de">SVF::SVFIR</a>
@@ -1107,11 +1107,8 @@ $(function() {
 <li>analyzeForkJoinPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815">SVF::ForkJoinAnalysis</a>
 </li>
-<li>analyzeGlobalStackObjType()
-: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a403767d4aee3cf36ef9655e734e0b74f">SVF::SymbolTableBuilder</a>
-</li>
 <li>analyzeHeapObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56">SVF::SymbolTableBuilder</a>
 </li>
 <li>analyzeInterleaving()
 : <a class="el" href="classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7">SVF::MHP</a>
@@ -1122,8 +1119,11 @@ $(function() {
 <li>analyzeLockSpanCxtStmt()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe">SVF::LockAnalysis</a>
 </li>
+<li>analyzeObjType()
+: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8">SVF::SymbolTableBuilder</a>
+</li>
 <li>analyzeStaticObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7">SVF::SymbolTableBuilder</a>
 </li>
 <li>analyzeVTables()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4">SVF::CHGBuilder</a>

package/SVF-doxygen/html/html/functions_c.html CHANGED Viewed

@@ -1478,7 +1478,7 @@ $(function() {
 </li>
 <li>createObjTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3">SVF::SymbolTableBuilder</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562">SVF::SymbolTableInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a2b0f2c6745d14a9f6447ed96484dddac">SVF::SymbolTableInfo</a>
 </li>
 <li>createRefNode()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010">SVF::OfflineConsG</a>

package/SVF-doxygen/html/html/functions_f.html CHANGED Viewed

@@ -74,15 +74,12 @@ $(function() {
 <li>fieldExpand()
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a7995774ea0e6434a8f4f2b243c0064c2">SVF::AndersenSFR</a>
 </li>
-<li>fieldIdx
-: <a class="el" href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">SVF::GepValVar</a>
+<li>FieldReps
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d">SVF::AndersenSFR</a>
 </li>
 <li>fieldReps
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>
 </li>
-<li>FieldReps
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d">SVF::AndersenSFR</a>
-</li>
 <li>FieldS_DDA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61">SVF::PointerAnalysis</a>
 </li>
@@ -469,12 +466,12 @@ $(function() {
 <li>FunptrDDAClient()
 : <a class="el" href="classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5">SVF::FunptrDDAClient</a>
 </li>
-<li>funPtrToCallSitesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
-</li>
 <li>FunPtrToCallSitesMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
 </li>
+<li>funPtrToCallSitesMap
+: <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
+</li>
 <li>FunRet
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">SVF::VFGNode</a>
 </li>
@@ -493,30 +490,30 @@ $(function() {
 <li>FunToArgsListMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">SVF::SVFIR</a>
 </li>
-<li>funToCallGraphNodeMap
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367">SVF::PTACallGraph</a>
-</li>
 <li>FunToCallGraphNodeMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
 </li>
-<li>FunToDTMap
-: <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a69109de5fddf4042037bc6d66563a9e5">SVF::PTACFInfoBuilder</a>
+<li>funToCallGraphNodeMap
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367">SVF::PTACallGraph</a>
 </li>
 <li>funToDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a99580fd5a2cc7185d26198c53efe422d">SVF::PTACFInfoBuilder</a>
 </li>
+<li>FunToDTMap
+: <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a69109de5fddf4042037bc6d66563a9e5">SVF::PTACFInfoBuilder</a>
+</li>
 <li>funToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">SVF::MemSSA</a>
 </li>
 <li>FunToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
 </li>
-<li>funToExitBBsMap
-: <a class="el" href="classSVF_1_1PathCondAllocator.html#ad35f1bdb406a85c5bfdcbbc15642853b">SVF::PathCondAllocator</a>
-</li>
 <li>FunToExitBBsMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0753fb35cb8fd37cfe8fd795d01e5275">SVF::PathCondAllocator</a>
 </li>
+<li>funToExitBBsMap
+: <a class="el" href="classSVF_1_1PathCondAllocator.html#ad35f1bdb406a85c5bfdcbbc15642853b">SVF::PathCondAllocator</a>
+</li>
 <li>funToFormalINMap
 : <a class="el" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">SVF::SVFG</a>
 </li>
@@ -566,12 +563,12 @@ $(function() {
 <li>funToPDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>
@@ -587,12 +584,12 @@ $(function() {
 <li>FunToRetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">SVF::SVFIR</a>
 </li>
-<li>FunToReturnMuSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92">SVF::MemSSA</a>
-</li>
 <li>funToReturnMuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>
 </li>
+<li>FunToReturnMuSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92">SVF::MemSSA</a>
+</li>
 <li>FunToSEMap
 : <a class="el" href="classSVF_1_1MTA.html#a2c92809f1395aa064c80aef0c3e4c944">SVF::MTA</a>
 </li>

package/SVF-doxygen/html/html/functions_func.html CHANGED Viewed

@@ -136,7 +136,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544">SVF::SrcSnkDDA</a>
 </li>
 <li>addBinaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105">SVF::SVFIRBuilder</a>
 </li>
 <li>addBinaryOPStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f">SVF::SVFIR</a>
@@ -145,7 +145,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262">SVF::VFG</a>
 </li>
 <li>addBlackHoleAddrEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb">SVF::SVFIRBuilder</a>
 </li>
 <li>addBlackHoleAddrStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513">SVF::SVFIR</a>
@@ -158,7 +158,7 @@ $(function() {
 </li>
 <li>addBranchStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9a5334fc4133b2eeadb9b5104635cca2">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0">SVF::SVFIRBuilder</a>
 </li>
 <li>addBranchVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5">SVF::VFG</a>
@@ -168,7 +168,7 @@ $(function() {
 </li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aec94aaebd392aa4facdbdc6bfef74bde">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG</a>
 </li>
 <li>addCallGraphNode()
@@ -217,7 +217,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addCmpEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a0a7183291291e3f91188607ead065c81">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6">SVF::SVFIRBuilder</a>
 </li>
 <li>addCmpStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba">SVF::SVFIR</a>
@@ -226,7 +226,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder</a>
 </li>
 <li>addCondIntraLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957">SVF::LockAnalysis</a>
@@ -303,7 +303,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532">SVF::SVFIR</a>
 </li>
 <li>addDummyObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a905b16c9fe739c4e95902b2729951b5b">SVF::SVFIR</a>
 </li>
 <li>addDummyValNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR</a>
@@ -374,7 +374,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">SVF::SVFIR</a>
 </li>
 <li>addGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac70a2368d5e0d3fe4dff94fecb2455ef">SVF::SVFIRBuilder</a>
 </li>
 <li>addGepObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d">SVF::SVFIR</a>
@@ -386,7 +386,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addGepValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a9a702ceb8ba3851daef444f1ece3a2f8">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a781ffc0194fd501dcb34f1892a393c33">SVF::SVFIR</a>
 </li>
 <li>addGepVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa">SVF::VFG</a>
@@ -524,7 +524,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>addLoadEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9fdcddcdcf14a90cc80d42de0d5ad189">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243">SVF::SVFIRBuilder</a>
 </li>
 <li>AddLoadMU()
 : <a class="el" href="classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42">SVF::MemSSA</a>
@@ -573,7 +573,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b">SVF::ConstraintGraph</a>
 </li>
 <li>addNormalGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#afb1520090d28e6a75f359d8f838dd831">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4e9698f1d85f47ea126f71db3bb5a3a5">SVF::SVFIRBuilder</a>
 </li>
 <li>addNormalGepStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a460011093c6426b98236c8381b1df0a0">SVF::SVFIR</a>
@@ -628,7 +628,7 @@ $(function() {
 </li>
 <li>addPhiStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aa26d69a4f6d6ecc93e91231c22c50dac">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0">SVF::SVFIRBuilder</a>
 </li>
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
@@ -667,7 +667,7 @@ $(function() {
 </li>
 <li>addRetEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aff15a202dfa9419cec787d9acf6c35c2">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
@@ -698,7 +698,7 @@ $(function() {
 </li>
 <li>addSelectStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a96d0878e2eaa0104a1b07fceb2b33c45">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8">SVF::SVFIRBuilder</a>
 </li>
 <li>addSingleRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -731,7 +731,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
 </li>
 <li>addStoreStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e">SVF::SVFIR</a>
@@ -776,7 +776,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d">SVF::MTASVFGBuilder</a>
 </li>
 <li>addThreadForkEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a013560b7d7d173e1558ae6dd404d1bba">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadForkEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph</a>
@@ -785,7 +785,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b">SVF::SVFIR</a>
 </li>
 <li>addThreadJoinEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#af10d23b0ef64d3f4cd2543beabafe9df">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadJoinEdgeSetMap()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph</a>
@@ -844,7 +844,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">SVF::Andersen</a>
 </li>
 <li>addUnaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45">SVF::SVFIRBuilder</a>
 </li>
 <li>addUnaryOPStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2">SVF::SVFIR</a>
@@ -862,7 +862,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
 </li>
 <li>addVariantGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a76cf53044c3c939512c392cceb21d8a4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9bcc50d3c340acfb88bee64dc7270b2a">SVF::SVFIRBuilder</a>
 </li>
 <li>addVariantGepStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a996574dbe5d5d79b1dc24cf5dc4145de">SVF::SVFIR</a>
@@ -949,11 +949,8 @@ $(function() {
 <li>analyzeForkJoinPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815">SVF::ForkJoinAnalysis</a>
 </li>
-<li>analyzeGlobalStackObjType()
-: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a403767d4aee3cf36ef9655e734e0b74f">SVF::SymbolTableBuilder</a>
-</li>
 <li>analyzeHeapObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a66692043a56c327ac7ac00cc3126cd78">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56">SVF::SymbolTableBuilder</a>
 </li>
 <li>analyzeInterleaving()
 : <a class="el" href="classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7">SVF::MHP</a>
@@ -964,8 +961,11 @@ $(function() {
 <li>analyzeLockSpanCxtStmt()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe">SVF::LockAnalysis</a>
 </li>
+<li>analyzeObjType()
+: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8">SVF::SymbolTableBuilder</a>
+</li>
 <li>analyzeStaticObjType()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7">SVF::SymbolTableBuilder</a>
 </li>
 <li>analyzeVTables()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4">SVF::CHGBuilder</a>

package/SVF-doxygen/html/html/functions_func_c.html CHANGED Viewed

@@ -810,7 +810,7 @@ $(function() {
 </li>
 <li>createObjTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3">SVF::SymbolTableBuilder</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a76971ba9b579907ef937cd7adda89562">SVF::SymbolTableInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a2b0f2c6745d14a9f6447ed96484dddac">SVF::SymbolTableInfo</a>
 </li>
 <li>createRefNode()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010">SVF::OfflineConsG</a>