svf-tools 1.0.321 → 1.0.325

package/SVF-doxygen/html/html/functions_func_o.html

@@ -61,14 +61,14 @@ $(function() {
  
 
 <h3><a id="index_o"></a>- o -</h3><ul>
-<li>ObjPN()
-: <a class="el" href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">SVF::ObjPN</a>
-</li>
 <li>objSyms()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff">SVF::SymbolTableInfo</a>
 </li>
 <li>ObjTypeInfo()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#afa03172e8fe0af6b523e866d54235f3a">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a1a182e6a8710242f94729412d4683f8d">SVF::ObjTypeInfo</a>
+</li>
+<li>ObjVar()
+: <a class="el" href="classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb">SVF::ObjVar</a>
 </li>
 <li>OfflineConsG()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#ae61c4f509b90dd43f63a07560ba3562f">SVF::OfflineConsG</a>
@@ -194,22 +194,22 @@ $(function() {
 <li>operator=()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732">SVF::AddrCGEdge</a>
-, <a class="el" href="classSVF_1_1AddrPE.html#a5253aaa1e22c8b847dea4fcf2d251cce">SVF::AddrPE</a>
+, <a class="el" href="classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66">SVF::AddrVFGNode</a>
-, <a class="el" href="classSVF_1_1BinaryOPPE.html#a9cad24d45c2ed94f321b1743bb7020df">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910">SVF::BitVector</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207">SVF::CallPE</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#aeab9328da01789aa1974a372738c6ec5">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80">SVF::CondVar&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703">SVF::CopyCGEdge</a>
-, <a class="el" href="classSVF_1_1CopyPE.html#acddceaf83d32a3110b7816f65c13a1c6">SVF::CopyPE</a>
+, <a class="el" href="classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277">SVF::CopyStmt</a>
 , <a class="el" href="classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a">SVF::CopyVFGNode</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d">SVF::CoreBitVector</a>
@@ -223,31 +223,31 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd">SVF::FormalRetVFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b">SVF::GepCGEdge</a>
-, <a class="el" href="classSVF_1_1GepPE.html#a8b4403db8a3ab39adc72021c6389708c">SVF::GepPE</a>
+, <a class="el" href="classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">SVF::GepVFGNode</a>
 , <a class="el" href="classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443">SVF::LoadCGEdge</a>
-, <a class="el" href="classSVF_1_1LoadPE.html#a60a45885801dde7b268f33a170f0acd5">SVF::LoadPE</a>
+, <a class="el" href="classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d">SVF::LoadStmt</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f">SVF::LoadVFGNode</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#ac05756f70d2211c72b7216c1d09ca9bf">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#af5c4696cb71f71ef38d2a62ceebc1789">SVF::NormalGepStmt</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#abd2a0e889e38cd6bcc4509c8bc73308a">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0">SVF::StoreCGEdge</a>
-, <a class="el" href="classSVF_1_1StorePE.html#a72ce40a0d09ae0525b729e9b4d2ad626">SVF::StorePE</a>
+, <a class="el" href="classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef">SVF::StoreStmt</a>
 , <a class="el" href="classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4">SVF::StoreVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">SVF::TDForkPE</a>
 , <a class="el" href="classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2">SVF::TDJoinPE</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#aae7c3eadd1dce50ecc24f2bb54248998">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VariantGepPE.html#a5c3708cf69512dedb683d691dff2e105">SVF::VariantGepPE</a>
+, <a class="el" href="classSVF_1_1VariantGepStmt.html#a0dd09a0b451cf951d51f0b1c7b97b7a5">SVF::VariantGepStmt</a>
 , <a class="el" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">SVF::VFPathCond</a>
 </li>
 <li>operator==()

package/SVF-doxygen/html/html/functions_func_p.html

@@ -167,8 +167,8 @@ $(function() {
 <li>PersistentVersionedPTData()
 : <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
-<li>PhiPE()
-: <a class="el" href="classSVF_1_1PhiPE.html#ac23c761f684a91cdf62e04228430cfdd">SVF::PhiPE</a>
+<li>PhiStmt()
+: <a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">SVF::PhiStmt</a>
 </li>
 <li>PHIVFGNode()
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef">SVF::PHIVFGNode</a>

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

@@ -524,13 +524,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</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>StorePE()
-: <a class="el" href="classSVF_1_1StorePE.html#a685978a3b742ea163a2ccc5f704f5e26">SVF::StorePE</a>
+<li>StoreStmt()
+: <a class="el" href="classSVF_1_1StoreStmt.html#aa817396dc47f1f03015c1c95a43cf8eb">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>

package/SVF-doxygen/html/html/functions_func_t.html

@@ -136,10 +136,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>
@@ -148,20 +148,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>
@@ -169,8 +169,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>
@@ -184,15 +184,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>
@@ -203,7 +203,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>
@@ -213,11 +213,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_func_u.html

@@ -61,8 +61,8 @@ $(function() {
  
 
 <h3><a id="index_u"></a>- u -</h3><ul>
-<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#ae5298888e597b2a379f9c9ebb5bd9132">SVF::UnaryOPVFGNode</a>

package/SVF-doxygen/html/html/functions_func_v.html

@@ -94,12 +94,12 @@ $(function() {
 <li>validateTests()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df">SVF::PointerAnalysis</a>
 </li>
-<li>ValPN()
-: <a class="el" href="classSVF_1_1ValPN.html#a1123ae17ef8497f3baa73b15d19a6cf4">SVF::ValPN</a>
-</li>
 <li>valSyms()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf">SVF::SymbolTableInfo</a>
 </li>
+<li>ValVar()
+: <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
+</li>
 <li>VarArgPN()
 : <a class="el" href="classSVF_1_1VarArgPN.html#ad6ebe474373838bc6c00e8baaa3f7137">SVF::VarArgPN</a>
 </li>
@@ -117,8 +117,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>verifyCallGraph()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8">SVF::PTACallGraph</a>