svf-tools 1.0.321 → 1.0.322

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

@@ -587,12 +587,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502">SVF::ActualParmVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1AddrCGEdge.html#a541102364cd692d5f53a6aaef8b41965">SVF::AddrCGEdge</a>
-, <a class="el" href="classSVF_1_1AddrPE.html#a18319bdaaefeae68bb44224f35834587">SVF::AddrPE</a>
+, <a class="el" href="classSVF_1_1AddrStmt.html#a32e129c9f7aa16be8c5c8569989f691f">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177">SVF::AddrVFGNode</a>
 , <a class="el" href="classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode</a>
-, <a class="el" href="classSVF_1_1BinaryOPPE.html#a0af37a5e796d728bf91d8417c96b488e">SVF::BinaryOPPE</a>
+, <a class="el" href="classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
@@ -606,25 +606,25 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6">SVF::CHGraph</a>
-, <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a98a1f11f0adc875b9c166dae69875e05">SVF::CloneDummyObjPN</a>
-, <a class="el" href="classSVF_1_1CloneFIObjPN.html#a25d870401deedea23c29523b02be9357">SVF::CloneFIObjPN</a>
-, <a class="el" href="classSVF_1_1CloneGepObjPN.html#ae4a5fbdb8e39aeac18c03f275ad4f0ff">SVF::CloneGepObjPN</a>
-, <a class="el" href="classSVF_1_1CmpPE.html#ab5f04e2bf9ba9fae32771fa62755409f">SVF::CmpPE</a>
+, <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a304eeab4eb7c441e49cfa3be008b11f6">SVF::CloneDummyObjVar</a>
+, <a class="el" href="classSVF_1_1CloneFIObjVar.html#a96a659f0a876b417ebdf6057db65c870">SVF::CloneFIObjVar</a>
+, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a5f46eff05b965deeeed531bd9a87b464">SVF::CloneGepObjVar</a>
+, <a class="el" href="classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintEdge.html#a2c2a62e61022bb936a903846e0aacdd3">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1CopyCGEdge.html#a321ccd6048312a570acbb8a217269434">SVF::CopyCGEdge</a>
-, <a class="el" href="classSVF_1_1CopyPE.html#a1c5d5a35b955743056d41cbb4745e925">SVF::CopyPE</a>
+, <a class="el" href="classSVF_1_1CopyStmt.html#a253c81c922bef6e2d520262c2f7793c4">SVF::CopyStmt</a>
 , <a class="el" href="classSVF_1_1CopyVFGNode.html#adefcc30434a12173cfbdb05145ff2959">SVF::CopyVFGNode</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#af9970ff0ef4a8f4c638da9f519d14a21">SVF::DCHGraph</a>
 , <a class="el" href="classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1DiffPTData.html#a09f6aa3d329f8adcd4928344720cff0f">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1DirectSVFGEdge.html#a200f8722e39d0267cd5d0212871e16bf">SVF::DirectSVFGEdge</a>
-, <a class="el" href="classSVF_1_1DummyObjPN.html#a6b241ddcbe32a27b46c3c7c3d92e4c3c">SVF::DummyObjPN</a>
-, <a class="el" href="classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f">SVF::DummyValPN</a>
+, <a class="el" href="classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69">SVF::DummyObjVar</a>
+, <a class="el" href="classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7">SVF::DummyValVar</a>
 , <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa">SVF::EntryCHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1FIObjPN.html#af7c4e765ec13f3a368d155bd27667832">SVF::FIObjPN</a>
+, <a class="el" href="classSVF_1_1FIObjVar.html#a07ed7216777acb05861044542cc2fe66">SVF::FIObjVar</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910">SVF::FlowSensitiveTBHC</a>
 , <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310">SVF::FormalINSVFGNode</a>
@@ -635,8 +635,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1FunExitBlockNode.html#abeae6aae021670c80206c1f5a82ccd97">SVF::FunExitBlockNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6">SVF::GepCGEdge</a>
 , <a class="el" href="classSVF_1_1GepObjPN.html#a3962464274d0c15ceb0206ebf6fa2b55">SVF::GepObjPN</a>
-, <a class="el" href="classSVF_1_1GepPE.html#a12fbd8c5a964b509719ab23e01d5bab5">SVF::GepPE</a>
-, <a class="el" href="classSVF_1_1GepValPN.html#a795658606384952f8e648e154a06700a">SVF::GepValPN</a>
+, <a class="el" href="classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176">SVF::GepStmt</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241">SVF::GepVFGNode</a>
 , <a class="el" href="classSVF_1_1GlobalBlockNode.html#a42b0e52fb503c704bec4b1506991ed75">SVF::GlobalBlockNode</a>
 , <a class="el" href="classSVF_1_1HareParForEdge.html#ab1dba5dff1e71bce578dc7b0009ba518">SVF::HareParForEdge</a>
@@ -652,7 +652,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e">SVF::IntraPHIVFGNode</a>
 , <a class="el" href="classSVF_1_1LoadCGEdge.html#a1e4ddf7950685fa18fc0bb8669cc1961">SVF::LoadCGEdge</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5">SVF::LoadMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1LoadPE.html#a80b5301d008c271a7381e66f9ad501d4">SVF::LoadPE</a>
+, <a class="el" href="classSVF_1_1LoadStmt.html#a03d6f1ee2f52b34d905b204eb53d6560">SVF::LoadStmt</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627">SVF::LoadVFGNode</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84">SVF::MRSVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d">SVF::MSSACHI&lt; Cond &gt;</a>
@@ -665,15 +665,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepPE.html#a2d48376e5806de43fa0a916b807fb2c3">SVF::NormalGepPE</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#a3826905ca0b4d6a7e58bc2e9418d9773">SVF::NormalGepStmt</a>
 , <a class="el" href="classSVF_1_1NullPtrVFGNode.html#ad3fb6de5ce7d31e881e95bf60528847d">SVF::NullPtrVFGNode</a>
-, <a class="el" href="classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608">SVF::ObjPN</a>
+, <a class="el" href="classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b">SVF::ObjVar</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#afb53f0b47cdad94379c3a4895980be9c">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PhiPE.html#a94cd29c0820595436d0a39f4be74699f">SVF::PhiPE</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1RetBlockNode.html#abd3a2b54fdb7e1339f765b3e5ab86947">SVF::RetBlockNode</a>
@@ -687,7 +687,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtVFGNode.html#ade2eb6475fdc3d2fa107c9adf508b72a">SVF::StmtVFGNode</a>
 , <a class="el" href="classSVF_1_1StoreCGEdge.html#a7fdb88d66ee7489f2e2de5e91ed5f25b">SVF::StoreCGEdge</a>
 , <a class="el" href="classSVF_1_1StoreCHI.html#a66a4ea0b8b61d39a552f7da000732263">SVF::StoreCHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1StorePE.html#af8799cbf5bfd6cded8591b207009c25f">SVF::StorePE</a>
+, <a class="el" href="classSVF_1_1StoreStmt.html#ae3c219e8af92e222f55c930009db6e67">SVF::StoreStmt</a>
 , <a class="el" href="classSVF_1_1StoreVFGNode.html#a61b6a4c05576d942024cc002905d5831">SVF::StoreVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#ac517a3166a3afe45d04480534ac3bb50">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#a1f2c6271dfefc6db685569e6c0cbedf5">SVF::SVFValue</a>
@@ -699,12 +699,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37">SVF::ThreadJoinEdge</a>
 , <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc">SVF::ThreadMHPIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3">SVF::TypeAnalysis</a>
-, <a class="el" href="classSVF_1_1UnaryOPPE.html#a03012d37b857b10f92879db6b7fc6f62">SVF::UnaryOPPE</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8">SVF::UnaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1ValPN.html#a18a9bf26bb76893f0530d484dd0861ae">SVF::ValPN</a>
+, <a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VariantGepPE.html#a36ab4c6979ed0e5470882cb1c391f2ea">SVF::VariantGepPE</a>
+, <a class="el" href="classSVF_1_1VariantGepStmt.html#a68a168d7000b6185704f61725ffef6af">SVF::VariantGepStmt</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8">SVF::VersionedFlowSensitive</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -819,20 +819,20 @@ $(function() {
 <li>CloneDummyObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar</a>
 </li>
-<li>CloneDummyObjPN()
-: <a class="el" href="classSVF_1_1CloneDummyObjPN.html#a6b2a894267716e725332b85b1fdc670c">SVF::CloneDummyObjPN</a>
+<li>CloneDummyObjVar()
+: <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2f2a74296d76349d472a71c4ee069aa0">SVF::CloneDummyObjVar</a>
 </li>
 <li>CloneFIObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar</a>
 </li>
-<li>CloneFIObjPN()
-: <a class="el" href="classSVF_1_1CloneFIObjPN.html#a3263e363188007b96bfad127c52e44b7">SVF::CloneFIObjPN</a>
+<li>CloneFIObjVar()
+: <a class="el" href="classSVF_1_1CloneFIObjVar.html#adeef2b67999d96aab854b25432ebb348">SVF::CloneFIObjVar</a>
 </li>
 <li>CloneGepObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar</a>
 </li>
-<li>CloneGepObjPN()
-: <a class="el" href="classSVF_1_1CloneGepObjPN.html#a769b26905b23ccb6aa0895ed49b4345b">SVF::CloneGepObjPN</a>
+<li>CloneGepObjVar()
+: <a class="el" href="classSVF_1_1CloneGepObjVar.html#ab2b37ac7064e97665c04c778904e9888">SVF::CloneGepObjVar</a>
 </li>
 <li>cloneObject()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a11c3d1b7f10e4aad2525d428f5855db5">SVF::TypeBasedHeapCloning</a>
@@ -862,8 +862,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
-<li>CmpPE()
-: <a class="el" href="classSVF_1_1CmpPE.html#aaf403a40a8ab78cee6b9c7d8b4548c96">SVF::CmpPE</a>
+<li>CmpStmt()
+: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
@@ -1344,11 +1344,11 @@ $(function() {
 <li>copyOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
-<li>CopyPE()
-: <a class="el" href="classSVF_1_1CopyPE.html#a97a4136bd528365446ed8706b4be290f">SVF::CopyPE</a>
-</li>
 <li>CopyPEList
-: <a class="el" href="classSVF_1_1SVFIR.html#a76a5c898ac4b12207cb24c1f68aac786">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3080e37444cacdb0f50f1de88f36b73a">SVF::SVFIR</a>
+</li>
+<li>CopyStmt()
+: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
@@ -1744,10 +1744,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -451,14 +451,14 @@ $(function() {
 <li>DummyObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar</a>
 </li>
-<li>DummyObjPN()
-: <a class="el" href="classSVF_1_1DummyObjPN.html#ac9b505a9c6176729edf350f1db6874dd">SVF::DummyObjPN</a>
+<li>DummyObjVar()
+: <a class="el" href="classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c">SVF::DummyObjVar</a>
 </li>
 <li>DummyValNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar</a>
 </li>
-<li>DummyValPN()
-: <a class="el" href="classSVF_1_1DummyValPN.html#a952876d7eafcf704435c67ff95f945c6">SVF::DummyValPN</a>
+<li>DummyValVar()
+: <a class="el" href="classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a">SVF::DummyValVar</a>
 </li>
 <li>DummyVersionPropSVFGNode()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2">SVF::DummyVersionPropSVFGNode</a>

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

@@ -75,7 +75,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a78e48b3c3db39470ab47b92bbc577e7e">SVF::AndersenSFR</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>FieldInfo()
 : <a class="el" href="classSVF_1_1FieldInfo.html#a167925e2aadbcdbc3017c6dc98cb83b4">SVF::FieldInfo</a>
@@ -146,8 +146,8 @@ $(function() {
 <li>FIObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6">SVF::SVFVar</a>
 </li>
-<li>FIObjPN()
-: <a class="el" href="classSVF_1_1FIObjPN.html#a3fe03b2726ee05df4339737c90d430bb">SVF::FIObjPN</a>
+<li>FIObjVar()
+: <a class="el" href="classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae">SVF::FIObjVar</a>
 </li>
 <li>first
 : <a class="el" href="structDdLevelQueue.html#abeda70ee389be7223f6a0ac4eb6cca82">DdLevelQueue</a>

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

@@ -108,13 +108,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266">SVF::ConstraintGraph</a>
 </li>
 <li>addAddrEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab5ee064069e588e9d5b686aba4aa39cf">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac">SVF::SVFIRBuilder</a>
 </li>
 <li>addAddrPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a247f006b6f168a7d853814339b0a6ed5">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a14fa2b06b44d89a8743373c8c69b160d">SVF::SVFIR</a>
 </li>
 <li>addAddrVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a7b0d533f3ccce8fc64deae6077f3d959">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af">SVF::VFG</a>
 </li>
 <li>addAliasSet()
 : <a class="el" href="classSVF_1_1SVFModule.html#a9b28f106dfedb917c6c757d5d0a6771e">SVF::SVFModule</a>
@@ -129,13 +129,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544">SVF::SrcSnkDDA</a>
 </li>
 <li>addBinaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aa939418b3f4727fb7ec84057dd97ba66">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e">SVF::SVFIRBuilder</a>
 </li>
 <li>addBinaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1d6d9dbc5cd43eb8af776f5a1b373507">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a9de8fffb3587d41844fc109bd0cfed4b">SVF::SVFIR</a>
 </li>
 <li>addBinaryOPVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#afb440e02353766c2a2541005dd29fb24">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262">SVF::VFG</a>
 </li>
 <li>addBlackHoleAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">SVF::SVFIRBuilder</a>
@@ -209,13 +209,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addCmpEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6636324fa8135f2be841e0d06d5e5f54">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a19e6384846928b57a1ab9ae186fc0ac6">SVF::SVFIRBuilder</a>
 </li>
 <li>addCmpPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#afbb721dfd574c35e3ddb0a8d26f978c7">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa1c1b20773bc547697323fe11b0dc5d5">SVF::SVFIR</a>
 </li>
 <li>addCmpVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#ab4166804d4612c1cf194d1d8710c09a6">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602">SVF::SVFIRBuilder</a>
@@ -238,13 +238,13 @@ $(function() {
 <li>addCopyEdge()
 : <a class="el" href="classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba">SVF::AndersenSCD</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab699fe11eed6d0eb655a55540de69586">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">SVF::SVFIRBuilder</a>
 </li>
 <li>addCopyPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a0aefb9f6ac03251dd2893e8d5fa30c30">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa2ff7b368e9aa9c2abc979084a19e68b">SVF::SVFIR</a>
 </li>
 <li>addCopyVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#afd664fad8aec173f4ed6c4aa588e5c46">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85">SVF::VFG</a>
 </li>
 <li>addCPtsToCallSiteMods()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78">SVF::MRGenerator</a>
@@ -253,10 +253,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToLoad()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4cd3d3af2cfad7b5c086f00ab8e68169">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToStore()
-: <a class="el" href="classSVF_1_1MRGenerator.html#aa9900773ce82da953385df2e6487200e">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e">SVF::MRGenerator</a>
 </li>
 <li>addCxtLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a">SVF::LockAnalysis</a>
@@ -369,13 +369,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">SVF::SVFIR</a>
 </li>
 <li>addGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1923643ba56b180b64ee32b95db8c642">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141">SVF::SVFIRBuilder</a>
 </li>
 <li>addGepObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d">SVF::SVFIR</a>
 </li>
 <li>addGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad0977abfd0eda258b5215d351d34c0f5">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ad68d676d6922a2eb29eeb5b5437bc323">SVF::SVFIR</a>
 </li>
 <li>addGepToObj()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804">SVF::TypeBasedHeapCloning</a>
@@ -384,7 +384,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a9a702ceb8ba3851daef444f1ece3a2f8">SVF::SVFIR</a>
 </li>
 <li>addGepVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a51b3b232ddda0656bfe0c7d9527b4a84">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa">SVF::VFG</a>
 </li>
 <li>addGlobalBlackHoleAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef">SVF::SVFIRBuilder</a>
@@ -498,7 +498,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572">SVF::SVFG</a>
 </li>
 <li>addIntraPHIVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#aba0389fbcac1efab08339b53d149bf84">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df">SVF::VFG</a>
 </li>
 <li>addJoinsite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2">SVF::ThreadCallGraph</a>
@@ -519,16 +519,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>addLoadEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab4327a515c8ce8dabd0457a93424df26">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9fdcddcdcf14a90cc80d42de0d5ad189">SVF::SVFIRBuilder</a>
 </li>
 <li>AddLoadMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#a9f4c84dbffb28eea74a0bc03fda9fc51">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#adb8009633b4e3b69609790fa068b3f42">SVF::MemSSA</a>
 </li>
 <li>addLoadPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a5b89eb728f02a2d235f898dcf555d1a2">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ad1217f1669f3507aa4da772d87934a04">SVF::SVFIR</a>
 </li>
 <li>addLoadVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#adbd7966d18ab50da5a485ba6e043ba61">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e">SVF::VFG</a>
 </li>
 <li>addMDTag()
 : <a class="el" href="classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091">SVF::Annotator</a>
@@ -568,10 +568,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5aac453464955185ca0d47e91db9df7b">SVF::ConstraintGraph</a>
 </li>
 <li>addNormalGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab19a9a94a7c8f382a70c3a3269f22959">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab56217d45668368157d272d7a524c40d">SVF::SVFIRBuilder</a>
 </li>
 <li>addNormalGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#acd2ba7adf250f1a90b57e51a085b6363">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#adf0cde3268365cff3c7054e4433d8c23">SVF::SVFIR</a>
 </li>
 <li>addNullPtrNode()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76">SVF::SVFIRBuilder</a>
@@ -583,7 +583,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d">SVF::SVFIR</a>
 </li>
 <li>addOpVar()
-: <a class="el" href="classSVF_1_1PhiPE.html#a046dc179515df629e079092827e25036">SVF::PhiPE</a>
+: <a class="el" href="classSVF_1_1PhiStmt.html#ae20d273a8afe603395b6621f04e6cb65">SVF::PhiStmt</a>
 </li>
 <li>addOutEdge()
 : <a class="el" href="classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f">SVF::SVFVar</a>
@@ -622,8 +622,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond</a>
 </li>
 <li>addPhiNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3da8a2168e33f49708cdcc79f9e311a4">SVF::SVFIR</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab6c80be878f5e9d888d8532a633a2566">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a1399b1a61d2c9afba49129427b13115d">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a48e245a196a1d416d108ee52141d5452">SVF::SVFIRBuilder</a>
 </li>
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
@@ -681,8 +681,8 @@ $(function() {
 <li>addRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
-<li>AddrPE()
-: <a class="el" href="classSVF_1_1AddrPE.html#afba53cf476a19e95acb0ebae08731fcb">SVF::AddrPE</a>
+<li>AddrStmt()
+: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
 </li>
 <li>AddrVFGNode()
 : <a class="el" href="classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c">SVF::AddrVFGNode</a>
@@ -718,16 +718,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a0b3314736ed1d9a8ac0ba8c437fad211">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a8d9bfa2ad724a3b286edc56b7c15e9bf">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a7e518bfc56c34dfbaaafbd78b85143b7">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
 </li>
 <li>addStorePE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a147a1a57edd4d2eff937b28f677866d2">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a80dd2807513a608b8f01d2325c0c0748">SVF::SVFIR</a>
 </li>
 <li>addStoreVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#aa21ad616306c111b77fb3ec8f16b19be">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">SVF::VFG</a>
 </li>
 <li>addSubNode()
 : <a class="el" href="classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03">SVF::Steensgaard</a>
@@ -831,13 +831,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">SVF::Andersen</a>
 </li>
 <li>addUnaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2020793d5013abd1300331302f0514d4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf">SVF::SVFIRBuilder</a>
 </li>
 <li>addUnaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a30409c96194976713b6b7728c072b8a5">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af2f469e83e719b55161d2e4e5aac8741">SVF::SVFIR</a>
 </li>
 <li>addUnaryOPVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#ae746db691e5c96dff1d590b109bffb7f">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
@@ -849,10 +849,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
 </li>
 <li>addVariantGepEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad7c282ef14cefd8abcc48ec0c2d504aa">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3fdaecda239de4e8d4178e01445c6ad2">SVF::SVFIRBuilder</a>
 </li>
 <li>addVariantGepPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a33d8fad47352f7ca8aac035eb2adb57e">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a82db2560583d6ff1d61d9512d142fa10">SVF::SVFIR</a>
 </li>
 <li>addVFEdge()
 : <a class="el" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">SVF::VFPathCond</a>

package/SVF-doxygen/html/html/functions_func_b.html

@@ -108,8 +108,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule</a>
 </li>
-<li>BinaryOPPE()
-: <a class="el" href="classSVF_1_1BinaryOPPE.html#a93f0e04b8b424dc85432b43b70027670">SVF::BinaryOPPE</a>
+<li>BinaryOPStmt()
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt</a>
 </li>
 <li>BinaryOPVFGNode()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7">SVF::BinaryOPVFGNode</a>