svf-tools 1.0.322 → 1.0.323

package/SVF-doxygen/html/html/functions_s.html

@@ -753,7 +753,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">SVF::ConstraintGraph</a>
@@ -803,12 +803,12 @@ $(function() {
 <li>storesToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
 </li>
-<li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
-</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
+<li>StoresToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -950,12 +950,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
 </li>
-<li>svfgNodeToCondMap
-: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
-</li>
 <li>SVFGNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
 </li>
+<li>svfgNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a47a79514e1fdc402453b864407aacd6a">SVF::LeakChecker</a>
 </li>
@@ -1025,6 +1025,19 @@ $(function() {
 <li>SVFStmt()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a47102f72115d41bff899b1b2ffec75b1">SVF::SVFStmt</a>
 </li>
+<li>SVFStmtList
+: <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVF::ICFGNode</a>
+, <a class="el" href="classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e">SVF::MemSSA</a>
+, <a class="el" href="classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVF::SVFIR</a>
+</li>
+<li>SVFStmtSet
+: <a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVF::IRGraph</a>
+, <a class="el" href="classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e">SVF::VFG</a>
+</li>
+<li>SVFStmtSetTy
+: <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVF::SVFStmt</a>
+</li>
 <li>SVFVal
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e">SVF::SVFValue</a>
 </li>
@@ -1037,6 +1050,9 @@ $(function() {
 <li>SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414">SVF::SVFVar</a>
 </li>
+<li>SVFVarList
+: <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
+</li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_t.html

@@ -196,18 +196,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>tdAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
-</li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
 </li>
+<li>tdAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -602,13 +602,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
-<li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-</li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_type_c.html

@@ -273,9 +273,6 @@ $(function() {
 <li>ConstSVFGEdgeSet
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>CopyPEList
-: <a class="el" href="classSVF_1_1SVFIR.html#a3080e37444cacdb0f50f1de88f36b73a">SVF::SVFIR</a>
-</li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -283,7 +280,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ab2d02695cc8e6fc9e9a46d9d26466fb1">SVF::MTAResultValidator</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>CSToCallNodeMapTy
 : <a class="el" href="classSVF_1_1ICFG.html#a13694bd3990dd29ebce641a7c827a370">SVF::ICFG</a>

package/SVF-doxygen/html/html/functions_type_f.html

@@ -123,7 +123,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#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
@@ -160,7 +160,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>FunToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>

package/SVF-doxygen/html/html/functions_type_g.html

@@ -77,8 +77,8 @@ $(function() {
 <li>GenericGraphTy
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a1ab57d3e398711e732bf040aeabd5657">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
-<li>GepValPNMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a3cf5be37df32cdcd44fa7b1971fae2de">SVF::SVFIR</a>
+<li>GepValueVarMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a52dfad2ac907db45a91752c53384fb3d">SVF::SVFIR</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_type_i.html

@@ -93,7 +93,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
 </li>
 <li>Inst2PAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a945fd37adc7071bd71d7aff65445544e">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a69c1d98135987a6246bb45c4f36c02ec">SVF::SVFIR</a>
 </li>
 <li>InstSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae682eb30763f0f52184eb36c95fc3811">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_type_k.html

@@ -67,6 +67,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
+<li>KindToSVFStmtMapTy
+: <a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">SVF::SVFStmt</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_type_p.html

@@ -61,34 +61,18 @@ $(function() {
  
 
 <h3><a id="index_p"></a>- p -</h3><ul>
-<li>PAGEdgeList
-: <a class="el" href="classSVF_1_1ICFGNode.html#a28d8761acb346956fafbaf98394de1b6">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1MemSSA.html#a45f8ece590b091bd5ebf87f820f28f44">SVF::MemSSA</a>
-, <a class="el" href="classSVF_1_1MRGenerator.html#aad6c5bb3abf7449b36b2ec51c4f35f6c">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a896b591a710148fad7705a0d88652976">SVF::SVFIR</a>
-</li>
-<li>PAGEdgeSet
-: <a class="el" href="classSVF_1_1IRGraph.html#ae9547730a27575194977b240647e8ce2">SVF::IRGraph</a>
-, <a class="el" href="classSVF_1_1VFG.html#aa22b76d96c028055cb0cc14d7dd0ed2e">SVF::VFG</a>
-</li>
 <li>PAGEdgeSetTy
-: <a class="el" href="classSVF_1_1SVFStmt.html#af02857ff13e61f81d332d83eb376bdb4">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
 </li>
 <li>PAGEdgeToFunMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
 </li>
 <li>PAGEdgeToSetMapTy
-: <a class="el" href="classSVF_1_1SVFStmt.html#a79ef5ff6adebbbc13e5c8db6e622bc03">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
 </li>
 <li>PAGEdgeToStmtVFGNodeMapTy
 : <a class="el" href="classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff">SVF::VFG</a>
 </li>
-<li>PAGKindToEdgeSetMapTy
-: <a class="el" href="classSVF_1_1SVFStmt.html#a47a67e8aaae7059e353841a40b89e936">SVF::SVFStmt</a>
-</li>
-<li>PAGNodeList
-: <a class="el" href="classSVF_1_1SVFIR.html#a64cee36354a14aae6b64f8b9d3edbd96">SVF::SVFIR</a>
-</li>
 <li>PAGNodeSet
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488">SVF::AliasDDAClient</a>
 , <a class="el" href="classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b">SVF::VFG</a>

package/SVF-doxygen/html/html/functions_type_s.html

@@ -158,6 +158,22 @@ $(function() {
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8">SVF::SVFGStat</a>
 </li>
+<li>SVFStmtList
+: <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVF::ICFGNode</a>
+, <a class="el" href="classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e">SVF::MemSSA</a>
+, <a class="el" href="classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVF::SVFIR</a>
+</li>
+<li>SVFStmtSet
+: <a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVF::IRGraph</a>
+, <a class="el" href="classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e">SVF::VFG</a>
+</li>
+<li>SVFStmtSetTy
+: <a class="el" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVF::SVFStmt</a>
+</li>
+<li>SVFVarList
+: <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_type_v.html

@@ -66,7 +66,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
 </li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_v.html

@@ -133,7 +133,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
 <li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a833015e6a332b0d97b9a7de37dce5fab">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
 </li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_vars_g.html

@@ -88,8 +88,8 @@ $(function() {
 <li>gepInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">SVF::ConstraintNode</a>
 </li>
-<li>GepObjNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a3ab46db0dc6ebab78d431e4a540dcc9e">SVF::SVFIR</a>
+<li>GepObjVarMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a148b51118eeba8117e033fea84b56be8">SVF::SVFIR</a>
 </li>
 <li>gepOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">SVF::ConstraintNode</a>
@@ -103,8 +103,8 @@ $(function() {
 <li>gepToSVFGRetrievers
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#acd6ade2b73c19d1eb7faf0e457becba6">SVF::FlowSensitiveTBHC</a>
 </li>
-<li>GepValNodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ae5e06d403091c05df995aeea0a4f773d">SVF::SVFIR</a>
+<li>GepValObjMap
+: <a class="el" href="classSVF_1_1SVFIR.html#ad7bbe1abea55ed03c9b6c81891c0bd67">SVF::SVFIR</a>
 </li>
 <li>gepValType
 : <a class="el" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar</a>
@@ -124,15 +124,15 @@ $(function() {
 <li>globalVFGNodes
 : <a class="el" href="classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3">SVF::VFG</a>
 </li>
-<li>globPAGEdgesSet
-: <a class="el" href="classSVF_1_1SVFIR.html#a633fb7a85c90f9b766689b8d2fdf3bac">SVF::SVFIR</a>
-</li>
 <li>globs
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a">SVF::SaberSVFGBuilder</a>
 </li>
 <li>globSVFGNodes
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997">SVF::SaberSVFGBuilder</a>
 </li>
+<li>globSVFStmtSet
+: <a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">SVF::SVFIR</a>
+</li>
 <li>graph
 : <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -134,7 +134,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254">SVF::FlowSensitive</a>
 </li>
 <li>InEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1SVFVar.html#a49fd453200fcf98b4e13e3f630774401">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar</a>
 </li>
 <li>InEdges
 : <a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
@@ -172,11 +172,11 @@ $(function() {
 <li>inst2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">SVF::SVFStmt</a>
 </li>
-<li>inst2PAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a711d8a047ab8db4fdcac9d53aadf561c">SVF::SVFIR</a>
+<li>inst2PTASVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a5f2ee4a5d1f154c4c069427dd1baf148">SVF::SVFIR</a>
 </li>
-<li>inst2PTAPAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b">SVF::SVFIR</a>
+<li>inst2SVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a3dcc02abd9aaa872e0d493f5965e4418">SVF::SVFIR</a>
 </li>
 <li>instCILocksMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_vars_k.html

@@ -99,6 +99,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f">SVF::VFG</a>
 </li>
+<li>KindToPTASVFStmtSetMap
+: <a class="el" href="classSVF_1_1IRGraph.html#ae0a9b81717fd834bbd109c4b69aaff9d">SVF::IRGraph</a>
+</li>
+<li>KindToSVFStmtSetMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a3db2c4e2823f16d78c86596da284acd1">SVF::IRGraph</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_vars_o.html

@@ -145,7 +145,7 @@ $(function() {
 : <a class="el" href="structDdManager.html#af318bea3248f8e99d7889f028be4ec8f">DdManager</a>
 </li>
 <li>OutEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1SVFVar.html#a08ef88f516402ce512eb3cb7dab9271d">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>
 </li>
 <li>OutEdges
 : <a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -79,11 +79,8 @@ $(function() {
 <li>pagEdge
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49">SVF::StmtVFGNode</a>
 </li>
-<li>PAGEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6efd8215ac2484a16a9ab2afbde290b4">SVF::IRGraph</a>
-</li>
 <li>pagEdges
-: <a class="el" href="classSVF_1_1ICFGNode.html#ab4c08610a97e122bac840e602cbb1cbb">SVF::ICFGNode</a>
+: <a class="el" href="classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71">SVF::ICFGNode</a>
 </li>
 <li>pagEdgeToFunMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
@@ -320,9 +317,6 @@ $(function() {
 <li>ptaImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
 </li>
-<li>PTAPAGEdgeKindToSetMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a780372b8241dc1c76e31b0340d5d2401">SVF::IRGraph</a>
-</li>
 <li>ptaTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_w.html

@@ -79,12 +79,14 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
+<li>WorkList
+: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
@@ -92,14 +94,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
+<li>worklist
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -3495,7 +3495,7 @@ template<typename Key , typename Compare  = std::less<Key>, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00666">666</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00665">665</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/search/all_1.js

@@ -39,7 +39,7 @@ var searchData=
   ['addactualretvfgnode',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a71022c8953e89e21b017936286f12251',1,'SVF::VFG']]],
   ['addaddrcgedge',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
   ['addaddredge',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
-  ['addaddrpe',['addAddrPE',['../classSVF_1_1SVFIR.html#a14fa2b06b44d89a8743373c8c69b160d',1,'SVF::SVFIR']]],
+  ['addaddrstmt',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
   ['addaddrtakennodetimeend',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
   ['addaddrtakennodetimestart',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
   ['addaddrvfgnode',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
@@ -48,10 +48,10 @@ var searchData=
   ['addandersennamedmetdata',['addAndersenNamedMetdata',['../classSVF_1_1IRAnnotator.html#af48723d319bbe2ecfd0c4777c1c92dc1',1,'SVF::IRAnnotator']]],
   ['addbackwardvisited',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
   ['addbinaryopedge',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e',1,'SVF::SVFIRBuilder']]],
-  ['addbinaryoppe',['addBinaryOPPE',['../classSVF_1_1SVFIR.html#a9de8fffb3587d41844fc109bd0cfed4b',1,'SVF::SVFIR']]],
+  ['addbinaryopstmt',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
   ['addbinaryopvfgnode',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
   ['addblackholeaddredge',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719',1,'SVF::SVFIRBuilder']]],
-  ['addblackholeaddrpe',['addBlackHoleAddrPE',['../classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc',1,'SVF::SVFIR']]],
+  ['addblackholeaddrstmt',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
   ['addblackholeobjnode',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
   ['addblackholeptrnode',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
   ['addbranchstmt',['addBranchStmt',['../classSVF_1_1SVFIR.html#a4f0d318deff3b97a4bd5e7b9d53e42fd',1,'SVF::SVFIR::addBranchStmt()'],['../classSVF_1_1SVFIRBuilder.html#ae0a1f66dee058f6af0f6b074db38db8e',1,'SVF::SVFIRBuilder::addBranchStmt()']]],
@@ -73,7 +73,7 @@ var searchData=
   ['addclonefiobjnode',['addCloneFIObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#a83fb1e2a7b66d5f33fa34698a52250af',1,'SVF::TypeBasedHeapCloning']]],
   ['addclonegepobjnode',['addCloneGepObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3',1,'SVF::TypeBasedHeapCloning']]],
   ['addcmpedge',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a19e6384846928b57a1ab9ae186fc0ac6',1,'SVF::SVFIRBuilder']]],
-  ['addcmppe',['addCmpPE',['../classSVF_1_1SVFIR.html#aa1c1b20773bc547697323fe11b0dc5d5',1,'SVF::SVFIR']]],
+  ['addcmpstmt',['addCmpStmt',['../classSVF_1_1SVFIR.html#ad871aa69b7847a5d95d29900a5345503',1,'SVF::SVFIR']]],
   ['addcmpvfgnode',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
   ['addcomplexconsforext',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602',1,'SVF::SVFIRBuilder']]],
   ['addcondintralock',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957',1,'SVF::LockAnalysis']]],
@@ -82,7 +82,7 @@ var searchData=
   ['addconstraintnode',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
   ['addcopycgedge',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
   ['addcopyedge',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()']]],
-  ['addcopype',['addCopyPE',['../classSVF_1_1SVFIR.html#aa2ff7b368e9aa9c2abc979084a19e68b',1,'SVF::SVFIR']]],
+  ['addcopystmt',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
   ['addcopyvfgnode',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
   ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78',1,'SVF::MRGenerator']]],
   ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3',1,'SVF::MRGenerator']]],
@@ -132,7 +132,7 @@ var searchData=
   ['addfunret',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
   ['addgepedge',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141',1,'SVF::SVFIRBuilder']]],
   ['addgepobjnode',['addGepObjNode',['../classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d',1,'SVF::SVFIR']]],
-  ['addgeppe',['addGepPE',['../classSVF_1_1SVFIR.html#ad68d676d6922a2eb29eeb5b5437bc323',1,'SVF::SVFIR']]],
+  ['addgepstmt',['addGepStmt',['../classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe',1,'SVF::SVFIR']]],
   ['addgeptoobj',['addGepToObj',['../classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804',1,'SVF::TypeBasedHeapCloning']]],
   ['addgepvalnode',['addGepValNode',['../classSVF_1_1SVFIR.html#a9a702ceb8ba3851daef444f1ece3a2f8',1,'SVF::SVFIR']]],
   ['addgepvfgnode',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
@@ -182,7 +182,7 @@ var searchData=
   ['addloaddpmandcvar',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
   ['addloadedge',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a9fdcddcdcf14a90cc80d42de0d5ad189',1,'SVF::SVFIRBuilder']]],
   ['addloadmu',['AddLoadMU',['../classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadStmt *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a397c835c15c15e18697beca2ff27a73f',1,'SVF::MemSSA::AddLoadMU(const BasicBlock *bb, const LoadStmt *load, const MemRegion *mr)']]],
-  ['addloadpe',['addLoadPE',['../classSVF_1_1SVFIR.html#ad1217f1669f3507aa4da772d87934a04',1,'SVF::SVFIR']]],
+  ['addloadstmt',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
   ['addloadvfgnode',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
   ['addmdtag',['addMDTag',['../classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091',1,'SVF::Annotator::addMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43',1,'SVF::Annotator::addMDTag(Instruction *inst, Value *val, std::string str)']]],
   ['addmetedge',['addMetEdge',['../classSVF_1_1AndersenLCD.html#a0c5adfc0876e9bea02fe8ded41baeb91',1,'SVF::AndersenLCD']]],
@@ -199,7 +199,7 @@ var searchData=
   ['addnodetobecollapsed',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
   ['addnormalgepcgedge',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b',1,'SVF::ConstraintGraph']]],
   ['addnormalgepedge',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#ab56217d45668368157d272d7a524c40d',1,'SVF::SVFIRBuilder']]],
-  ['addnormalgeppe',['addNormalGepPE',['../classSVF_1_1SVFIR.html#adf0cde3268365cff3c7054e4433d8c23',1,'SVF::SVFIR']]],
+  ['addnormalgepstmt',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a2a851ff7011e3bd71c36be5c7198a1f4',1,'SVF::SVFIR']]],
   ['addnullptrnode',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
   ['addnullptrvfgnode',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
   ['addobjnode',['addObjNode',['../classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d',1,'SVF::SVFIR::addObjNode(const Value *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a3a5d8b7f6286ec31b5a9038c88779151',1,'SVF::SVFIR::addObjNode(const Value *, SVFVar *node, NodeID i)']]],
@@ -216,7 +216,7 @@ var searchData=
   ['addpagedge',['addPAGEdge',['../classSVF_1_1ICFGNode.html#a820364ef4158270478e9c09e11b6c2ea',1,'SVF::ICFGNode']]],
   ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13',1,'SVF::ThreadCallGraph']]],
   ['addpath',['addPath',['../classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19',1,'SVF::VFPathCond']]],
-  ['addphinode',['addPhiNode',['../classSVF_1_1SVFIR.html#a1399b1a61d2c9afba49129427b13115d',1,'SVF::SVFIR::addPhiNode()'],['../classSVF_1_1SVFIRBuilder.html#a48e245a196a1d416d108ee52141d5452',1,'SVF::SVFIRBuilder::addPhiNode()']]],
+  ['addphistmt',['addPhiStmt',['../classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0',1,'SVF::SVFIR::addPhiStmt()'],['../classSVF_1_1SVFIRBuilder.html#aadb890cbff1ea703ece726aefecb791c',1,'SVF::SVFIRBuilder::addPhiStmt()']]],
   ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
   ['addpts',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
   ['addr',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()']]],
@@ -252,7 +252,7 @@ var searchData=
   ['addstorecgedge',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
   ['addstorechi',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a8d9bfa2ad724a3b286edc56b7c15e9bf',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
   ['addstoreedge',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4',1,'SVF::SVFIRBuilder']]],
-  ['addstorepe',['addStorePE',['../classSVF_1_1SVFIR.html#a80dd2807513a608b8f01d2325c0c0748',1,'SVF::SVFIR']]],
+  ['addstorestmt',['addStoreStmt',['../classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870',1,'SVF::SVFIR']]],
   ['addstorevfgnode',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
   ['addsubnode',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
   ['addsubnodes',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
@@ -279,23 +279,23 @@ var searchData=
   ['addtofulljoin',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
   ['addtohbpair',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
   ['addtohppair',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
-  ['addtoinstpagedgelist',['addToInstPAGEdgeList',['../classSVF_1_1SVFIR.html#a7d64f6195fd6d660c5238bdda495ddf0',1,'SVF::SVFIR']]],
   ['addtopartial',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
   ['addtoplevelnodetimeend',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
   ['addtoplevelnodetimestart',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
   ['addtosinks',['addToSinks',['../classSVF_1_1SVFGStat.html#add8a63f5e0f0057ce07d3992355ce3fa',1,'SVF::SVFGStat::addToSinks()'],['../classSVF_1_1ProgSlice.html#acee5145fb261280a1f8187184e393aed',1,'SVF::ProgSlice::addToSinks()'],['../classSVF_1_1SrcSnkDDA.html#a9c276e24d13cd1e8e5fbad10b46047f8',1,'SVF::SrcSnkDDA::addToSinks()']]],
   ['addtosources',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
   ['addtostmt2typemap',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
+  ['addtosvfstmtlist',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
   ['addtypedef',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
   ['addtypeforgepobjnode',['addTypeForGepObjNode',['../classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6',1,'SVF::Andersen']]],
   ['addunaryopedge',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf',1,'SVF::SVFIRBuilder']]],
-  ['addunaryoppe',['addUnaryOPPE',['../classSVF_1_1SVFIR.html#af2f469e83e719b55161d2e4e5aac8741',1,'SVF::SVFIR']]],
+  ['addunaryopstmt',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
   ['addunaryopvfgnode',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
   ['addvalnode',['addValNode',['../classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf',1,'SVF::SVFIR::addValNode(const Value *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9',1,'SVF::SVFIR::addValNode(const Value *, SVFVar *node, NodeID i)']]],
   ['addvarargnode',['addVarargNode',['../classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538',1,'SVF::SVFIR::addVarargNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d',1,'SVF::SVFIR::addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
   ['addvariantgepcgedge',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
   ['addvariantgepedge',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#a3fdaecda239de4e8d4178e01445c6ad2',1,'SVF::SVFIRBuilder']]],
-  ['addvariantgeppe',['addVariantGepPE',['../classSVF_1_1SVFIR.html#a82db2560583d6ff1d61d9512d142fa10',1,'SVF::SVFIR']]],
+  ['addvariantgepstmt',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#aa96e20426d3ccb8dcaab6ee1ec759b6b',1,'SVF::SVFIR']]],
   ['addvartoconst',['addVarToConst',['../cuddInt_8c.html#a1beb03ec42d575c3c90eb690a0edf97b',1,'cuddInt.c']]],
   ['addvfedge',['addVFEdge',['../classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263',1,'SVF::VFPathCond']]],
   ['addvfgedge',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],