npm - svf-tools - Versions diffs - 1.0.321 → 1.0.325 - Mend

svf-tools 1.0.321 → 1.0.325

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

Files changed (487) hide show

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

@@ -98,12 +98,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>SBV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
-</li>
 <li>sbv
 : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
 </li>
+<li>SBV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac13245e140ab7c488c776b8dd97facf4">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -499,6 +499,9 @@ $(function() {
 , <a class="el" href="structDdLocalCache.html#a20e93a93f7aa732e4a5a83c54284c921">DdLocalCache</a>
 , <a class="el" href="structDdSubtable.html#ae89bb40a595ce1eda70d63fd78b23865">DdSubtable</a>
 </li>
+<li>ShowHiddenNode
+: <a class="el" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options</a>
+</li>
 <li>siftMaxSwap
 : <a class="el" href="structDdManager.html#a6521157f9436fb77fcc6327b2035e422">DdManager</a>
 </li>
@@ -630,7 +633,7 @@ $(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_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
 </li>
 <li>src
@@ -753,7 +756,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#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">SVF::ConstraintGraph</a>
@@ -762,7 +765,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4">SVF::MemSSA</a>
 </li>
 <li>StoreCHI()
-: <a class="el" href="classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b">SVF::StoreCHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>STORECHI
 : <a class="el" href="classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b">SVF::SVFG</a>
@@ -785,9 +788,6 @@ $(function() {
 <li>storeOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">SVF::ConstraintNode</a>
 </li>
-<li>StorePE()
-: <a class="el" href="classSVF_1_1StorePE.html#aa9afd5b4bdf803c699c7ccdf0043b469">SVF::StorePE</a>
-</li>
 <li>storeReuse
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462">SVF::FlowSensitiveTBHC</a>
 </li>
@@ -797,14 +797,17 @@ $(function() {
 <li>storeset
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a">SVF::MTAAnnotator</a>
 </li>
-<li>StoresToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0">SVF::MRGenerator</a>
+<li>StoreStmt()
+: <a class="el" href="classSVF_1_1StoreStmt.html#aa817396dc47f1f03015c1c95a43cf8eb">SVF::StoreStmt</a>
 </li>
 <li>storesToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
 </li>
+<li>StoresToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
+</li>
 <li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801">SVF::MRGenerator</a>
+: <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>
@@ -813,7 +816,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
 <li>StoreToChiSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9">SVF::MemSSA</a>
 </li>
 <li>storeToDPMs
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -822,7 +825,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
 <li>strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
@@ -1025,6 +1028,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 +1053,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 CHANGED Viewed

@@ -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>
@@ -398,10 +398,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">SVF::ActualOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6">SVF::ActualParmVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa">SVF::ActualRetVFGNode</a>
-, <a class="el" href="classSVF_1_1AddrPE.html#a90d1b41129c54f2ee5f43f55149596a3">SVF::AddrPE</a>
+, <a class="el" href="classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067">SVF::AddrVFGNode</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5">SVF::ArgumentVFGNode</a>
-, <a class="el" href="classSVF_1_1BinaryOPPE.html#af72be46571cfe62db580282080b54144">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13">SVF::BranchVFGNode</a>
@@ -410,20 +410,20 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e">SVF::CallIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE</a>
-, <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a30dc38493f8d078b58e684f62a1834e7">SVF::CloneDummyObjPN</a>
-, <a class="el" href="classSVF_1_1CloneFIObjPN.html#aa2b28fe8abd1d131849e95708a640934">SVF::CloneFIObjPN</a>
-, <a class="el" href="classSVF_1_1CloneGepObjPN.html#a77863cea018e2489e7cb05cb38cae654">SVF::CloneGepObjPN</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#a421aaae2483b5df73c08e2b65b65372c">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b">SVF::CloneDummyObjVar</a>
+, <a class="el" href="classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc">SVF::CloneFIObjVar</a>
+, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5">SVF::CloneGepObjVar</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4">SVF::CondVar&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee">SVF::ContextCond</a>
-, <a class="el" href="classSVF_1_1CopyPE.html#a05802cdb7820f524f539353c99056295">SVF::CopyPE</a>
+, <a class="el" href="classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a">SVF::CopyStmt</a>
 , <a class="el" href="classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37">SVF::CopyVFGNode</a>
 , <a class="el" href="classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c">SVF::DirectSVFGEdge</a>
-, <a class="el" href="classSVF_1_1DummyObjPN.html#a1f355f6eeeaaba782d24ba3db48adea4">SVF::DummyObjPN</a>
-, <a class="el" href="classSVF_1_1DummyValPN.html#a4ae5839912059488b0fdd94875cf5df5">SVF::DummyValPN</a>
-, <a class="el" href="classSVF_1_1FIObjPN.html#ace2095db79e359533b0cca78f5c1751d">SVF::FIObjPN</a>
+, <a class="el" href="classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40">SVF::DummyObjVar</a>
+, <a class="el" href="classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84">SVF::DummyValVar</a>
+, <a class="el" href="classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595">SVF::FIObjVar</a>
 , <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745">SVF::FormalINSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a">SVF::FormalOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc">SVF::FormalParmVFGNode</a>
@@ -431,8 +431,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a9ee511954fe72f47c247dc481fd5d751">SVF::FunEntryBlockNode</a>
 , <a class="el" href="classSVF_1_1FunExitBlockNode.html#aea51f9cb9a1563dfb375962a9a4b8f65">SVF::FunExitBlockNode</a>
 , <a class="el" href="classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8">SVF::GepObjPN</a>
-, <a class="el" href="classSVF_1_1GepPE.html#a72bfaa84a4ee1e5f194b4b32b9d79f20">SVF::GepPE</a>
-, <a class="el" href="classSVF_1_1GepValPN.html#ab2423c5ca6f7487d30e2a10e933db946">SVF::GepValPN</a>
+, <a class="el" href="classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d">SVF::GepStmt</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638">SVF::GepVFGNode</a>
 , <a class="el" href="classSVF_1_1GlobalBlockNode.html#af5e1261e34359955150337c61073e76a">SVF::GlobalBlockNode</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">SVF::ICFGEdge</a>
@@ -446,15 +446,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291">SVF::IntraIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e">SVF::IntraPHIVFGNode</a>
-, <a class="el" href="classSVF_1_1LoadPE.html#a3fbb6dbe97deace81d7267de650bc1e9">SVF::LoadPE</a>
+, <a class="el" href="classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a">SVF::LoadStmt</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04">SVF::LoadVFGNode</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921">SVF::MRSVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#aee053977f8178bb34a0e0ef00b38d960">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#a1c56ef0156531ba4c81391e1eddc12e6">SVF::NormalGepStmt</a>
 , <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9">SVF::NullPtrVFGNode</a>
-, <a class="el" href="classSVF_1_1ObjPN.html#aca96a0173b40f7917ebc814a5a0b1372">SVF::ObjPN</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#a0febb111a72ad77edf514c62e0a5cb9f">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3">SVF::ObjVar</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973">SVF::PTACallGraphNode</a>
@@ -465,7 +465,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2">SVF::RetPN</a>
 , <a class="el" href="classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8">SVF::StmtVFGNode</a>
-, <a class="el" href="classSVF_1_1StorePE.html#a4e810eb248504871c8cb2f979779aad9">SVF::StorePE</a>
+, <a class="el" href="classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac">SVF::StoreStmt</a>
 , <a class="el" href="classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe">SVF::StoreVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar</a>
@@ -475,11 +475,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7">SVF::ThreadJoinEdge</a>
 , <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521">SVF::ThreadMHPIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#addab62c4c919b0c04abbcea383082e1f">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ab748bb83004550944c6abca7150aec14">SVF::UnaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1ValPN.html#a417f15b3dba7f5e36fb5c8ed46dccd8e">SVF::ValPN</a>
+, <a class="el" href="classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>
-, <a class="el" href="classSVF_1_1VariantGepPE.html#a7cf29abb58c401251e9be71329338833">SVF::VariantGepPE</a>
+, <a class="el" href="classSVF_1_1VariantGepStmt.html#a975f7049b4445765b75d0558364d11a4">SVF::VariantGepStmt</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>
 , <a class="el" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">SVF::VFPathCond</a>

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

@@ -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#a76a5c898ac4b12207cb24c1f68aac786">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 CHANGED Viewed

@@ -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 CHANGED Viewed

@@ -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 CHANGED Viewed

@@ -65,6 +65,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">SVF::ICFGEdge</a>
 </li>
+<li>ICFGNode2SVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">SVF::SVFIR</a>
+</li>
 <li>ICFGNodeIDToNodeMapTy
 : <a class="el" href="classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d">SVF::ICFG</a>
 </li>
@@ -92,9 +95,6 @@ $(function() {
 <li>Inst2LabelMap
 : <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>
-</li>
 <li>InstSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae682eb30763f0f52184eb36c95fc3811">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#aa17ec09b08f8dc7927aa7fa00232dd2f">SVF::MHP</a>

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

@@ -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_l.html CHANGED Viewed

@@ -84,13 +84,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b">SVF::MTA</a>
 </li>
 <li>LoadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
 <li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>
 <li>LoadToMUSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35">SVF::MemSSA</a>
 </li>
 <li>LocID
 : <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

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

@@ -61,34 +61,18 @@ $(function() {
 &#160;
 <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>
@@ -157,7 +141,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1">SVF::MemSSA</a>
 </li>
 <li>PHINodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a93148e8b0e21d2b920f53d46493c1f58">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
 </li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>

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

@@ -86,13 +86,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b">SVF::MTA</a>
 </li>
 <li>StoresToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
 <li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
 </li>
 <li>StoreToChiSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9">SVF::MemSSA</a>
 </li>
 <li>StoreToPMSetMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -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 CHANGED Viewed

@@ -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_u.html CHANGED Viewed

@@ -68,8 +68,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode</a>
 </li>
-<li>UnaryOPPE()
-: <a class="el" href="classSVF_1_1UnaryOPPE.html#a97fda2d05af9a0b74d975f0d644d26ad">SVF::UnaryOPPE</a>
+<li>UnaryOPStmt()
+: <a class="el" href="classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582">SVF::UnaryOPStmt</a>
 </li>
 <li>UnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1">SVF::UnaryOPVFGNode</a>

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

@@ -104,9 +104,6 @@ $(function() {
 <li>ValNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">SVF::SVFVar</a>
 </li>
-<li>ValPN()
-: <a class="el" href="classSVF_1_1ValPN.html#a1123ae17ef8497f3baa73b15d19a6cf4">SVF::ValPN</a>
-</li>
 <li>ValSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247">SVF::SymbolTableInfo</a>
 </li>
@@ -136,17 +133,20 @@ $(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>
 </li>
-<li>var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+<li>ValVar()
+: <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
 </li>
 <li>Var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>
@@ -186,8 +186,8 @@ $(function() {
 <li>VariantGepCGEdge()
 : <a class="el" href="classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02">SVF::VariantGepCGEdge</a>
 </li>
-<li>VariantGepPE()
-: <a class="el" href="classSVF_1_1VariantGepPE.html#a8eb7b6288efb3f9ab6061efb414a82b0">SVF::VariantGepPE</a>
+<li>VariantGepStmt()
+: <a class="el" href="classSVF_1_1VariantGepStmt.html#a261c46d418397cf2aeca93d92e87a91d">SVF::VariantGepStmt</a>
 </li>
 <li>varKills
 : <a class="el" href="classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43">SVF::MemSSA</a>

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

@@ -72,7 +72,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>fieldIdx
-: <a class="el" href="classSVF_1_1GepValPN.html#a91f678b8dcbac8cc21424074de492569">SVF::GepValPN</a>
+: <a class="el" href="classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d">SVF::GepValVar</a>
 </li>
 <li>fieldReps
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>

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

@@ -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,11 +103,11 @@ $(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_1GepValPN.html#a41d083e2ed08dd926a8228df5c42a4d7">SVF::GepValPN</a>
+: <a class="el" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar</a>
 </li>
 <li>globalBlockNode
 : <a class="el" href="classSVF_1_1ICFG.html#a37ec47cd95cf25b18720c4267a9fd40c">SVF::ICFG</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 CHANGED Viewed

@@ -78,6 +78,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">SVF::VFGNode</a>
 </li>
+<li>icfgNode2PTASVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">SVF::SVFIR</a>
+</li>
+<li>icfgNode2SVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
+</li>
 <li>ID
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22">SVF::BreakConstantGEPs</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565">SVF::DDAPass</a>
@@ -134,7 +140,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>
@@ -165,19 +171,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d">SVF::IntraBlockNode</a>
-, <a class="el" href="classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a">SVF::LoadMU&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46">SVF::LoadMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2">SVF::RetPE</a>
-, <a class="el" href="classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293">SVF::StoreCHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <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>
-<li>inst2PTAPAGEdgesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a38366ab3152ad7f6fd649805f7b08d6b">SVF::SVFIR</a>
-</li>
 <li>instCILocksMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef">SVF::LockAnalysis</a>
 </li>