svf-tools 1.0.322 → 1.0.326

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

@@ -137,8 +137,8 @@ $(function() {
 <li>addAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac">SVF::SVFIRBuilder</a>
 </li>
-<li>addAddrPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a14fa2b06b44d89a8743373c8c69b160d">SVF::SVFIR</a>
+<li>addAddrStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729">SVF::SVFIR</a>
 </li>
 <li>addAddrTakenNodeTimeEnd
 : <a class="el" href="classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2">SVF::SVFGStat</a>
@@ -164,8 +164,8 @@ $(function() {
 <li>addBinaryOPEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e">SVF::SVFIRBuilder</a>
 </li>
-<li>addBinaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a9de8fffb3587d41844fc109bd0cfed4b">SVF::SVFIR</a>
+<li>addBinaryOPStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f">SVF::SVFIR</a>
 </li>
 <li>addBinaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262">SVF::VFG</a>
@@ -173,8 +173,8 @@ $(function() {
 <li>addBlackHoleAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">SVF::SVFIRBuilder</a>
 </li>
-<li>addBlackHoleAddrPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">SVF::SVFIR</a>
+<li>addBlackHoleAddrStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513">SVF::SVFIR</a>
 </li>
 <li>addBlackholeObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220">SVF::SVFIR</a>
@@ -242,10 +242,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addCmpEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a19e6384846928b57a1ab9ae186fc0ac6">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a0a7183291291e3f91188607ead065c81">SVF::SVFIRBuilder</a>
 </li>
-<li>addCmpPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa1c1b20773bc547697323fe11b0dc5d5">SVF::SVFIR</a>
+<li>addCmpStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba">SVF::SVFIR</a>
 </li>
 <li>addCmpVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
@@ -273,8 +273,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba">SVF::AndersenSCD</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">SVF::SVFIRBuilder</a>
 </li>
-<li>addCopyPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa2ff7b368e9aa9c2abc979084a19e68b">SVF::SVFIR</a>
+<li>addCopyStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f">SVF::SVFIR</a>
 </li>
 <li>addCopyVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85">SVF::VFG</a>
@@ -428,8 +428,8 @@ $(function() {
 <li>addGepObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d">SVF::SVFIR</a>
 </li>
-<li>addGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad68d676d6922a2eb29eeb5b5437bc323">SVF::SVFIR</a>
+<li>addGepStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe">SVF::SVFIR</a>
 </li>
 <li>addGepToObj()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804">SVF::TypeBasedHeapCloning</a>
@@ -578,8 +578,8 @@ $(function() {
 <li>AddLoadMU()
 : <a class="el" href="classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42">SVF::MemSSA</a>
 </li>
-<li>addLoadPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad1217f1669f3507aa4da772d87934a04">SVF::SVFIR</a>
+<li>addLoadStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e">SVF::SVFIR</a>
 </li>
 <li>addLoadVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e">SVF::VFG</a>
@@ -627,8 +627,8 @@ $(function() {
 <li>addNormalGepEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab56217d45668368157d272d7a524c40d">SVF::SVFIRBuilder</a>
 </li>
-<li>addNormalGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#adf0cde3268365cff3c7054e4433d8c23">SVF::SVFIR</a>
+<li>addNormalGepStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a2a851ff7011e3bd71c36be5c7198a1f4">SVF::SVFIR</a>
 </li>
 <li>addNullPtrNode()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76">SVF::SVFIRBuilder</a>
@@ -678,9 +678,9 @@ $(function() {
 <li>addPath()
 : <a class="el" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond</a>
 </li>
-<li>addPhiNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1399b1a61d2c9afba49129427b13115d">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a48e245a196a1d416d108ee52141d5452">SVF::SVFIRBuilder</a>
+<li>addPhiStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aadb890cbff1ea703ece726aefecb791c">SVF::SVFIRBuilder</a>
 </li>
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
@@ -800,8 +800,8 @@ $(function() {
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
 </li>
-<li>addStorePE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a80dd2807513a608b8f01d2325c0c0748">SVF::SVFIR</a>
+<li>addStoreStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870">SVF::SVFIR</a>
 </li>
 <li>addStoreVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">SVF::VFG</a>
@@ -883,9 +883,6 @@ $(function() {
 <li>addToHPPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2">SVF::ForkJoinAnalysis</a>
 </li>
-<li>addToInstPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a7d64f6195fd6d660c5238bdda495ddf0">SVF::SVFIR</a>
-</li>
 <li>addToPartial()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca">SVF::ForkJoinAnalysis</a>
 </li>
@@ -907,6 +904,9 @@ $(function() {
 <li>addToStmt2TypeMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523">SVF::SVFIR</a>
 </li>
+<li>addToSVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6">SVF::SVFIR</a>
+</li>
 <li>addTypedef()
 : <a class="el" href="classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e">SVF::DCHNode</a>
 </li>
@@ -916,8 +916,8 @@ $(function() {
 <li>addUnaryOPEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf">SVF::SVFIRBuilder</a>
 </li>
-<li>addUnaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#af2f469e83e719b55161d2e4e5aac8741">SVF::SVFIR</a>
+<li>addUnaryOPStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2">SVF::SVFIR</a>
 </li>
 <li>addUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
@@ -934,8 +934,8 @@ $(function() {
 <li>addVariantGepEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3fdaecda239de4e8d4178e01445c6ad2">SVF::SVFIRBuilder</a>
 </li>
-<li>addVariantGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a82db2560583d6ff1d61d9512d142fa10">SVF::SVFIR</a>
+<li>addVariantGepStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#aa96e20426d3ccb8dcaab6ee1ec759b6b">SVF::SVFIR</a>
 </li>
 <li>addVFEdge()
 : <a class="el" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">SVF::VFPathCond</a>

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

@@ -705,7 +705,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd">SVF::VariantGepCGEdge</a>
 , <a class="el" href="classSVF_1_1VariantGepStmt.html#a68a168d7000b6185704f61725ffef6af">SVF::VariantGepStmt</a>
-, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8">SVF::VersionedFlowSensitive</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6">SVF::VersionedFlowSensitive</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
 <li>cleanConsCG()
@@ -866,7 +866,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode</a>
 </li>
 <li>cnext
 : <a class="el" href="structDdQueueItem.html#a5500eae904c7432f4e08452c93c501fa">DdQueueItem</a>
@@ -1023,7 +1023,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1111,7 +1111,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">SVF::VFPathCond</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b">SVF::PathCondAllocator</a>
@@ -1141,7 +1141,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondManager.html#a3cd3149a0bb5b605e61f0935bd234f3b">SVF::CondManager</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -1318,7 +1318,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1336,7 +1336,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1344,20 +1344,17 @@ $(function() {
 <li>copyOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
-<li>CopyPEList
-: <a class="el" href="classSVF_1_1SVFIR.html#a3080e37444cacdb0f50f1de88f36b73a">SVF::SVFIR</a>
-</li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
@@ -1395,7 +1392,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -1528,7 +1525,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27">SVF::PointerAnalysis</a>
 </li>
 <li>CSToArgsListMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a3e8f191a082b8bcdac7473fdfee6909a">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">SVF::SVFIR</a>
 </li>
 <li>CSToCallNodeMap
 : <a class="el" href="classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9">SVF::ICFG</a>
@@ -1648,7 +1645,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1683,14 +1680,14 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>cxtLocktoSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockToSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
 </li>
+<li>cxtLocktoSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1712,23 +1709,21 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>CxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
-</li>
 <li>cxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
 </li>
+<li>CxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
-<li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1744,10 +1739,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>
@@ -1756,7 +1751,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

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

@@ -489,7 +489,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a3123719a96acbefe0e9944c68ba44185">SVF::TCT</a>
 </li>
 <li>FunToArgsListMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a3a3409f3ac6845e05db7ec8bfd881959">SVF::SVFIR</a>
+: <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>
@@ -559,7 +559,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
 </li>
 <li>FunToPAGEdgeSetMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a24592d009d5db15ab97e7bf133ac884b">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">SVF::SVFIR</a>
 </li>
 <li>funToPDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>

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

@@ -110,8 +110,8 @@ $(function() {
 <li>addAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac">SVF::SVFIRBuilder</a>
 </li>
-<li>addAddrPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a14fa2b06b44d89a8743373c8c69b160d">SVF::SVFIR</a>
+<li>addAddrStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729">SVF::SVFIR</a>
 </li>
 <li>addAddrVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af">SVF::VFG</a>
@@ -131,8 +131,8 @@ $(function() {
 <li>addBinaryOPEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e">SVF::SVFIRBuilder</a>
 </li>
-<li>addBinaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a9de8fffb3587d41844fc109bd0cfed4b">SVF::SVFIR</a>
+<li>addBinaryOPStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f">SVF::SVFIR</a>
 </li>
 <li>addBinaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262">SVF::VFG</a>
@@ -140,8 +140,8 @@ $(function() {
 <li>addBlackHoleAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">SVF::SVFIRBuilder</a>
 </li>
-<li>addBlackHoleAddrPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">SVF::SVFIR</a>
+<li>addBlackHoleAddrStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513">SVF::SVFIR</a>
 </li>
 <li>addBlackholeObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220">SVF::SVFIR</a>
@@ -209,10 +209,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addCmpEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a19e6384846928b57a1ab9ae186fc0ac6">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a0a7183291291e3f91188607ead065c81">SVF::SVFIRBuilder</a>
 </li>
-<li>addCmpPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa1c1b20773bc547697323fe11b0dc5d5">SVF::SVFIR</a>
+<li>addCmpStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba">SVF::SVFIR</a>
 </li>
 <li>addCmpVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
@@ -240,8 +240,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba">SVF::AndersenSCD</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">SVF::SVFIRBuilder</a>
 </li>
-<li>addCopyPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa2ff7b368e9aa9c2abc979084a19e68b">SVF::SVFIR</a>
+<li>addCopyStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f">SVF::SVFIR</a>
 </li>
 <li>addCopyVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85">SVF::VFG</a>
@@ -374,8 +374,8 @@ $(function() {
 <li>addGepObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d">SVF::SVFIR</a>
 </li>
-<li>addGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad68d676d6922a2eb29eeb5b5437bc323">SVF::SVFIR</a>
+<li>addGepStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe">SVF::SVFIR</a>
 </li>
 <li>addGepToObj()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804">SVF::TypeBasedHeapCloning</a>
@@ -524,8 +524,8 @@ $(function() {
 <li>AddLoadMU()
 : <a class="el" href="classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42">SVF::MemSSA</a>
 </li>
-<li>addLoadPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad1217f1669f3507aa4da772d87934a04">SVF::SVFIR</a>
+<li>addLoadStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e">SVF::SVFIR</a>
 </li>
 <li>addLoadVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e">SVF::VFG</a>
@@ -570,8 +570,8 @@ $(function() {
 <li>addNormalGepEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab56217d45668368157d272d7a524c40d">SVF::SVFIRBuilder</a>
 </li>
-<li>addNormalGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#adf0cde3268365cff3c7054e4433d8c23">SVF::SVFIR</a>
+<li>addNormalGepStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a2a851ff7011e3bd71c36be5c7198a1f4">SVF::SVFIR</a>
 </li>
 <li>addNullPtrNode()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76">SVF::SVFIRBuilder</a>
@@ -621,9 +621,9 @@ $(function() {
 <li>addPath()
 : <a class="el" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond</a>
 </li>
-<li>addPhiNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1399b1a61d2c9afba49129427b13115d">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a48e245a196a1d416d108ee52141d5452">SVF::SVFIRBuilder</a>
+<li>addPhiStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aadb890cbff1ea703ece726aefecb791c">SVF::SVFIRBuilder</a>
 </li>
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
@@ -723,8 +723,8 @@ $(function() {
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
 </li>
-<li>addStorePE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a80dd2807513a608b8f01d2325c0c0748">SVF::SVFIR</a>
+<li>addStoreStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870">SVF::SVFIR</a>
 </li>
 <li>addStoreVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">SVF::VFG</a>
@@ -806,9 +806,6 @@ $(function() {
 <li>addToHPPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2">SVF::ForkJoinAnalysis</a>
 </li>
-<li>addToInstPAGEdgeList()
-: <a class="el" href="classSVF_1_1SVFIR.html#a7d64f6195fd6d660c5238bdda495ddf0">SVF::SVFIR</a>
-</li>
 <li>addToPartial()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca">SVF::ForkJoinAnalysis</a>
 </li>
@@ -824,6 +821,9 @@ $(function() {
 <li>addToStmt2TypeMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523">SVF::SVFIR</a>
 </li>
+<li>addToSVFStmtList()
+: <a class="el" href="classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6">SVF::SVFIR</a>
+</li>
 <li>addTypedef()
 : <a class="el" href="classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e">SVF::DCHNode</a>
 </li>
@@ -833,8 +833,8 @@ $(function() {
 <li>addUnaryOPEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf">SVF::SVFIRBuilder</a>
 </li>
-<li>addUnaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#af2f469e83e719b55161d2e4e5aac8741">SVF::SVFIR</a>
+<li>addUnaryOPStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2">SVF::SVFIR</a>
 </li>
 <li>addUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
@@ -851,8 +851,8 @@ $(function() {
 <li>addVariantGepEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3fdaecda239de4e8d4178e01445c6ad2">SVF::SVFIRBuilder</a>
 </li>
-<li>addVariantGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a82db2560583d6ff1d61d9512d142fa10">SVF::SVFIR</a>
+<li>addVariantGepStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#aa96e20426d3ccb8dcaab6ee1ec759b6b">SVF::SVFIR</a>
 </li>
 <li>addVFEdge()
 : <a class="el" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">SVF::VFPathCond</a>