svf-tools 1.0.322 → 1.0.326

package/SVF-doxygen/html/html/functions_func_g.html

@@ -164,11 +164,11 @@ $(function() {
 <li>getAllCallSitesInvokingCallee()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8">SVF::PTACallGraph</a>
 </li>
-<li>getAllFieldsObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a8200b7cbd600958c662f24169ccbc8d6">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a96089e24ef6aaa7f7d30c50a64d5042f">SVF::FlowSensitiveTBHC</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#aeec490de5955497af1a2a9cd429f0d5d">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a5a635bc1142c388da1db87d9172c03ab">SVF::SVFIR</a>
+<li>getAllFieldsObjVars()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a56dc95bb4b6d48f82c87c6280237990a">SVF::FlowSensitiveTBHC</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">SVF::SVFIR</a>
 </li>
 <li>getAllocationSite()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a5681d78630ca8770dd493ef3841ec683">SVF::TypeBasedHeapCloning</a>
@@ -221,17 +221,17 @@ $(function() {
 <li>getBaseObj()
 : <a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR</a>
 </li>
-<li>getBaseObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a2337fa70dc5b0b13dbba4cd776404c6b">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a8008bdef087708de961a37a8bf458fc7">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a4720426ab75f8d07e780995ffad7d51a">SVF::SVFIR</a>
+<li>getBaseObjVar()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a6e8c46641da751fe3369c9d5407ce415">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a9f1c599cb9f6e2ae83e29bb84ef6831c">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR</a>
 </li>
 <li>getBaseTypeAndFlattenedFields()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4792ed440aab997e13321f5f6cba2156">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6243a2a002784b2ee1f0b1cfe9d3ea0f">SVF::SymbolTableInfo</a>
 </li>
-<li>getBaseValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a851075193a0b9a9b594848d6b3ba659e">SVF::SVFIR</a>
+<li>getBaseValVar()
+: <a class="el" href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">SVF::SVFIR</a>
 </li>
 <li>getBasicBlock()
 : <a class="el" href="classSVF_1_1CallCHI.html#a69f83ff81ea017d645aadeb46334880f">SVF::CallCHI&lt; Cond &gt;</a>
@@ -386,7 +386,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0">SVF::VFG</a>
 </li>
 <li>getCallSiteArgsList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a432e99757dfe844fd8450f2ab4ff4093">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5">SVF::SVFIR</a>
 </li>
 <li>getCallSiteArgsMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">SVF::SVFIR</a>
@@ -790,9 +790,6 @@ $(function() {
 <li>getEdgeKind()
 : <a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
-<li>getEdgeSet()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac2dff0e76e4ee879dc023255e7e6a63e">SVF::SVFIR</a>
-</li>
 <li>getEdgeSourceLabel()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
@@ -888,10 +885,10 @@ $(function() {
 <li>getFilterSet()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>getFIObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a5fbbfb7b935e0b8867f7beab32ab7763">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a15494d0aa074ae2e89470b3c9f407cc4">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a702edc6714da142c16857995778a9f4b">SVF::SVFIR</a>
+<li>getFIObjVar()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
 <li>getFlattenByteOffset()
 : <a class="el" href="classSVF_1_1FieldInfo.html#a727d1ea8110a3239834f0aab134231d6">SVF::FieldInfo</a>
@@ -957,7 +954,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode</a>
 </li>
 <li>getFunArgsList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1cac93c15fcbf15798c4fe374380f8ae">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a">SVF::SVFIR</a>
 </li>
 <li>getFunArgsMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a615c056c876b59d1fd174a2ac9ade27c">SVF::SVFIR</a>
@@ -1027,11 +1024,6 @@ $(function() {
 <li>getGepObjClones()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#aa175b5db473eb57c03b6f908791d1133">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>getGepObjNode()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a4a42759f8a39ff4495c8691f3c87e443">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6423e0d1bc9a5ee6bfea27a4a358574f">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2b80cf884eedb51f77a5e84def7d8793">SVF::SVFIR</a>
-</li>
 <li>getGepObjNodeMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a77e3c407ea3990413e371589aa468963">SVF::SVFIR</a>
 </li>
@@ -1041,22 +1033,27 @@ $(function() {
 <li>getGepObjsFromMemObj()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad043ab95900849a5a894ca4bada4e032">SVF::TypeBasedHeapCloning</a>
 </li>
+<li>getGepObjVar()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101">SVF::SVFIR</a>
+</li>
 <li>getGepOutEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">SVF::ConstraintNode</a>
 </li>
-<li>getGepValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af37d6fc7f816d235c0a6158d43d6dda5">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1f2f512b7cf1ebb9aa2cebe90c8372c2">SVF::SVFIRBuilder</a>
+<li>getGepValVar()
+: <a class="el" href="classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58">SVF::SVFIRBuilder</a>
 </li>
 <li>getGlobalBlockNode()
 : <a class="el" href="classSVF_1_1ICFG.html#ae3b8f1b45c75b5fc231da76d3a49ad57">SVF::ICFG</a>
 </li>
-<li>getGlobalPAGEdgeSet()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac0b7ac004c8c258af81a0d16872f3406">SVF::SVFIR</a>
-</li>
 <li>getGlobalRep()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">SVF::LLVMModuleSet</a>
 </li>
+<li>getGlobalSVFStmtSet()
+: <a class="el" href="classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687">SVF::SVFIR</a>
+</li>
 <li>getGlobalVarField()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae">SVF::SVFIRBuilder</a>
 </li>
@@ -1112,13 +1109,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e">SVF::PointerAnalysis</a>
 </li>
 <li>getIncomingEdges()
-: <a class="el" href="classSVF_1_1SVFVar.html#a0deeb2f08b7681c63ad91a04a4b4c6c9">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">SVF::SVFVar</a>
 </li>
 <li>getIncomingEdgesBegin()
-: <a class="el" href="classSVF_1_1SVFVar.html#ab137b1def56c6539b5048c84dfd92c7b">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a893890649ae7d8e275dd823e941aa39b">SVF::SVFVar</a>
 </li>
 <li>getIncomingEdgesEnd()
-: <a class="el" href="classSVF_1_1SVFVar.html#ab6cfd409bdb445cc1a7e50ed958b7d25">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#af1cf24ab50e0d86c9d0f9bd5744b4c10">SVF::SVFVar</a>
 </li>
 <li>getIndCallMap()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe">SVF::PointerAnalysis</a>
@@ -1162,12 +1159,6 @@ $(function() {
 <li>getInstancesAndDescendants()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a444dba7f18bee07a6cad51f88bb63e30">SVF::CHGBuilder</a>
 </li>
-<li>getInstPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#adf344b7cbcebd343b026b9b4b9d72fdb">SVF::SVFIR</a>
-</li>
-<li>getInstPTAPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad0c6908c3e4ff83d0eb34906826d2a10">SVF::SVFIR</a>
-</li>
 <li>getInstruction()
 : <a class="el" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">SVF::CallSite</a>
 </li>
@@ -1372,7 +1363,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">SVF::MRGenerator</a>
@@ -1593,7 +1584,6 @@ $(function() {
 </li>
 <li>getOpcode()
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt</a>
-, <a class="el" href="classSVF_1_1CmpStmt.html#acd623f69c5c32c881c1fba108f90c5ed">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt</a>
 </li>
 <li>getOperand()
@@ -1671,13 +1661,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>getOutgoingEdges()
-: <a class="el" href="classSVF_1_1SVFVar.html#af41e3da7f7d6918f58785446d715fec6">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3">SVF::SVFVar</a>
 </li>
 <li>getOutgoingEdgesBegin()
-: <a class="el" href="classSVF_1_1SVFVar.html#adb1f35a6f8db19c48cf7fd6c8f4a8ff3">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f">SVF::SVFVar</a>
 </li>
 <li>getOutgoingEdgesEnd()
-: <a class="el" href="classSVF_1_1SVFVar.html#adec782d2f9d055b0dbcb56f511e75c24">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#aa5176fce9746bc585d43ebb4c8c824e5">SVF::SVFVar</a>
 </li>
 <li>getOutput()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330">SVF::LockResultValidator</a>
@@ -1713,14 +1703,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a2fda1df53e53c0098d99f36d8f6f0998">SVF::IRGraph</a>
 </li>
 <li>getPAGEdges()
-: <a class="el" href="classSVF_1_1ICFGNode.html#a9d195144cc118279695880625615d8ad">SVF::ICFGNode</a>
+: <a class="el" href="classSVF_1_1ICFGNode.html#a23707d08fd5cfcb5db72ff4ef0b864ff">SVF::ICFGNode</a>
 </li>
 <li>getPAGEdgeSet()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#ad5d89d94b16c167a593aa2a0c8e6ad9c">SVF::ConstraintGraph</a>
-, <a class="el" href="classSVF_1_1VFG.html#a37239391028cd313eab7110626444682">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a08478529524005aba86660f031cf55af">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1VFG.html#a77c2855e80d85ee122e3ee076402d864">SVF::VFG</a>
 </li>
 <li>getPAGEdgesFromInst()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a820e30118868947b62f0a558da5512fc">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#acc78a116ca0be01a359d1313b2ae603c">SVF::MRGenerator</a>
 </li>
 <li>getPAGNode()
 : <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode</a>
@@ -1785,6 +1775,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1">SVF::PTACFInfoBuilder</a>
 , <a class="el" href="classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc">SVF::TCT</a>
 </li>
+<li>getPredicate()
+: <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
+</li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
@@ -1808,12 +1801,15 @@ $(function() {
 <li>getPTACallGraph()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis</a>
 </li>
-<li>getPTAEdgeSet()
-: <a class="el" href="classSVF_1_1SVFIR.html#a9c33009dc1aa3e16adfd34effd4471f6">SVF::SVFIR</a>
-</li>
 <li>getPTAPAGEdgeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#ad4860fe89aa3a11c73aac3ed60f712cb">SVF::IRGraph</a>
 </li>
+<li>getPTASVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988">SVF::SVFIR</a>
+</li>
+<li>getPTASVFStmtSet()
+: <a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">SVF::SVFIR</a>
+</li>
 <li>getPtCache()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792">SVF::BVDataPTAImpl</a>
 </li>
@@ -1840,7 +1836,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2119,11 +2115,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a16572a3d7639fa65c699b6c3982fa20e">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1TCT.html#aabc2c84e951ed9ae64207e379acb3074">SVF::TCT</a>
 </li>
+<li>getSVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">SVF::SVFIR</a>
+</li>
+<li>getSVFStmtSet()
+: <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
+</li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2204,7 +2206,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeSystem()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
@@ -2231,7 +2233,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">SVF::VFGNode</a>
 </li>
 <li>getValueEdges()
-: <a class="el" href="classSVF_1_1IRGraph.html#aa9aca34170ac4308359a4c8c3466dcd0">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8">SVF::IRGraph</a>
 </li>
 <li>getValueName()
 : <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931">SVF::CloneDummyObjVar</a>

package/SVF-doxygen/html/html/functions_func_h.html

@@ -387,10 +387,6 @@ $(function() {
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
 </li>
-<li>hasPAGEdgeList()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a8832a53d8f6a5eb0a07551ca19c5513d">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#ade4dc34350ab7d5e05295dfdd5d019c6">SVF::SVFIR</a>
-</li>
 <li>hasParentThread()
 : <a class="el" href="classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce">SVF::TCT</a>
 </li>
@@ -400,8 +396,8 @@ $(function() {
 <li>hasPointsTo()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
-<li>hasPTAPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a90f8da69c50f9aa82366ca9b88eb5027">SVF::SVFIR</a>
+<li>hasPTASVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">SVF::SVFIR</a>
 </li>
 <li>hasPtrObj()
 : <a class="el" href="classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082">SVF::MemObj</a>
@@ -434,6 +430,10 @@ $(function() {
 <li>hasSVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#a1b9d1ad76785ae0eb07979aa75325640">SVF::SVFG</a>
 </li>
+<li>hasSVFStmtList()
+: <a class="el" href="classSVF_1_1MRGenerator.html#a6f631290f3da7c308395eb6a9472d7a5">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a63acb4d86d93ad1e88860ac839a8c654">SVF::SVFIR</a>
+</li>
 <li>hasTCTNode()
 : <a class="el" href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT</a>
 </li>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -700,7 +700,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3b9d60c60d518a8abe2951ccc627fe33">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#abe9fee725114243e16db4c2fd1abf3fa">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -727,6 +727,10 @@ $(function() {
 <li>isNECmp()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#aff24f70f9aa07b9f89c25bedab0e5a71">SVF::PathCondAllocator</a>
 </li>
+<li>isNegCond()
+: <a class="el" href="classSVF_1_1CondManager.html#ad1de136dbd62c3b9a7447222bd0890fa">SVF::CondManager</a>
+, <a class="el" href="classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef">SVF::PathCondAllocator</a>
+</li>
 <li>isNodeHidden()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
@@ -906,11 +910,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a9db4df7968ec179e5012794c58fdee70">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
@@ -927,7 +931,7 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -278,6 +278,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166">SVF::DCHNode</a>
 </li>
+<li>setNegCondInst()
+: <a class="el" href="classSVF_1_1CondManager.html#a049541fec44cac3401a0dc68ff2f0ac1">SVF::CondManager</a>
+</li>
 <li>setNodeNumAfterPAGBuild()
 : <a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">SVF::IRGraph</a>
 </li>
@@ -471,8 +474,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -527,10 +530,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#aa817396dc47f1f03015c1c95a43cf8eb">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>
@@ -542,7 +545,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFBasicBlock()