svf-tools 1.0.330 → 1.0.334

package/SVF-doxygen/html/html/functions_func_c.html

@@ -136,7 +136,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a43b0c126c2e32cb3d286a78b14e09a96">SVF::VFG</a>
 </li>
 <li>checkRelation()
-: <a class="el" href="classSVF_1_1LocationSet.html#a6962903a24f540c6bc58b8ae6a0cc757">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a4e839125b32c7cb3ad07fbec6f203c10">SVF::LocationSet</a>
 </li>
 <li>checkSelfCycleEdges()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#afb068fd46dfbf993decd7d6c8ca2c9ba">SVF::SVFGOPT</a>
@@ -172,9 +172,10 @@ $(function() {
 , <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_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt</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_1BranchCondExpr.html#a410279631ba4a555a6b823be2465b0de">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
@@ -190,7 +191,7 @@ $(function() {
 , <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_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713">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>
@@ -200,8 +201,8 @@ $(function() {
 , <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_1DummyObjVar.html#a9552d717a869b0ec6678843a56fc8695">SVF::DummyObjVar</a>
-, <a class="el" href="classSVF_1_1DummyValVar.html#a06c603907dce56bea44f9a4f9da4d6c7">SVF::DummyValVar</a>
+, <a class="el" href="classSVF_1_1DummyObjVar.html#a543ca59bd39740d1080fe4702bc2fd69">SVF::DummyObjVar</a>
+, <a class="el" href="classSVF_1_1DummyValVar.html#ac09e183185b178f16547bb355ccb01f3">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_1FIObjVar.html#a1801ca6c6cf3367eff5621fa7c788619">SVF::FIObjVar</a>
@@ -214,7 +215,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158">SVF::FunEntryBlockNode</a>
 , <a class="el" href="classSVF_1_1FunExitBlockNode.html#a5fdc1edafbd26a57c1c563f8df439cfc">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_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe">SVF::GepObjVar</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>
@@ -278,9 +279,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d">SVF::ThreadForkEdge</a>
 , <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_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f">SVF::TypeAnalysis</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_1UnaryOPVFGNode.html#a11ff85d796e547f0258ec30cf23b7310">SVF::UnaryOPVFGNode</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#aba0cc74af291252bc8911c81832bef68">SVF::VariantGepCGEdge</a>
@@ -345,11 +346,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ab345e148997b9e1c6e4c2c76267880b7">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a8b6e2e5e016a5ae00ae440e3f383bb16">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a9f985ff2daee53fb661e4b2bcfd17f05">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf3df7501f84233f6a687ef9f2f0ae90">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -368,11 +369,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae0495fcba25d4baffda9f85254591ae1">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a65028f1634a18f6adbd4cfdb526d1d20">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a5ca2c5a8908d003b7ec2c17f949ae6aa">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#ab20b71c9e2f31439c95071c375bf89e0">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a21e823484199946541b8b79d736b2601">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab01a663b665d629c15f3531f18b5abc2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe724603022a8fed7469f9ecd633febc">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9f5bb9d2020973660268c4e5ac98cb61">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a3f78f60e1947a6d6fbcd3a0ee11e262a">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -411,10 +412,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aedd12e894fb2c17d2201f4049e5f3793">SVF::VersionedFlowSensitive</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode</a>
 </li>
 <li>collapseField()
 : <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
@@ -561,7 +562,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -622,7 +623,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">SVF::VFPathCond</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPTAImpl()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a60678dda5071557483b27d09d26dc270">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -631,10 +632,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -722,19 +723,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">SVF::CopyStmt</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -835,7 +836,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>CxtProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
@@ -853,7 +854,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadStmt()
 : <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>

package/SVF-doxygen/html/html/functions_func_d.html

@@ -241,7 +241,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">SVF::IRGraph</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329">SVF::LoadMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1LocationSet.html#a4e5f29661da66367cea70a0d3fa108b4">SVF::LocationSet</a>
+, <a class="el" href="classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca">SVF::MSSACHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5">SVF::MSSAMU&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_func_e.html

@@ -76,12 +76,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>elemStridePairBegin()
-: <a class="el" href="classSVF_1_1FieldInfo.html#aee954809b1338d8a49670b6ac6cf25f3">SVF::FieldInfo</a>
-</li>
-<li>elemStridePairEnd()
-: <a class="el" href="classSVF_1_1FieldInfo.html#aafa9f1bdaf361ca00dfdf6b34fb5dfd4">SVF::FieldInfo</a>
-</li>
 <li>emplacePts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
@@ -109,7 +103,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule</a>
+, <a class="el" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule</a>
 </li>
 <li>endClk()
 : <a class="el" href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">SVF::PTAStat</a>
@@ -148,7 +142,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
 </li>
 <li>expandFIObjs()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a3af0297eb75ac4009433be44bb286d30">SVF::FlowSensitiveTBHC</a>
 </li>

package/SVF-doxygen/html/html/functions_func_f.html

@@ -64,9 +64,6 @@ $(function() {
 <li>fieldExpand()
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a78e48b3c3db39470ab47b92bbc577e7e">SVF::AndersenSFR</a>
 </li>
-<li>FieldInfo()
-: <a class="el" href="classSVF_1_1FieldInfo.html#a167925e2aadbcdbc3017c6dc98cb83b4">SVF::FieldInfo</a>
-</li>
 <li>FIFOWorkList()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac">SVF::FIFOWorkList&lt; Data &gt;</a>
 </li>
@@ -115,6 +112,9 @@ $(function() {
 <li>flatten()
 : <a class="el" href="classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce">SVF::DCHGraph</a>
 </li>
+<li>FlattenedFieldInfo()
+: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a90af575af4fa8ed5646b790daaf421cd">SVF::FlattenedFieldInfo</a>
+</li>
 <li>FlowDDA()
 : <a class="el" href="classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a">SVF::FlowDDA</a>
 </li>
@@ -158,7 +158,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272">SVF::FormalParmVFGNode</a>
 </li>
 <li>FormalRetVFGNode()
-: <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef">SVF::FormalRetVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3">SVF::FormalRetVFGNode</a>
 </li>
 <li>forwardSliceBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895">SVF::ProgSlice</a>

package/SVF-doxygen/html/html/functions_func_g.html

@@ -88,8 +88,8 @@ $(function() {
 <li>gepIsLoad()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad">SVF::FlowSensitiveTBHC</a>
 </li>
-<li>GepObjPN()
-: <a class="el" href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">SVF::GepObjPN</a>
+<li>GepObjVar()
+: <a class="el" href="classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c">SVF::GepObjVar</a>
 </li>
 <li>GepStmt()
 : <a class="el" href="classSVF_1_1GepStmt.html#a9877729d1b82317d6e5d28bea9741586">SVF::GepStmt</a>
@@ -216,7 +216,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b">SVF::ProgSlice</a>
 </li>
 <li>getBaseNode()
-: <a class="el" href="classSVF_1_1GepObjPN.html#aefa0383972a9c68e487ccf989a7e500c">SVF::GepObjPN</a>
+: <a class="el" href="classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c">SVF::GepObjVar</a>
 </li>
 <li>getBaseObj()
 : <a class="el" href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR</a>
@@ -287,9 +287,6 @@ $(function() {
 <li>getBVPointsTo()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>getByteOffset()
-: <a class="el" href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">SVF::LocationSet</a>
-</li>
 <li>getCachedADPointsTo()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -344,7 +341,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a1693ccdb6c1b57418316c29cde05cad2">SVF::VFG</a>
 </li>
 <li>getCallGraphNode()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#ae3ee76be0e959a736c868dc7e0128077">SVF::PTACallGraph</a>
 </li>
 <li>getCallGraphSCC()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248">SVF::PointerAnalysis</a>
@@ -744,19 +741,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a6c32a1cdcdbea0151c8cf17ffe598f29">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getDstID()
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a038040bb8f22fc56a595fb10c21f4e32">SVF::BinaryOPStmt</a>
-, <a class="el" href="classSVF_1_1BranchStmt.html#a308157a390c01cd68dd870f3e94624e7">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpStmt.html#a4849faf9aff64d966ef2303389e43d31">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a99963aa3c401031b040168284eee5f2e">SVF::AssignStmt</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#ad188174084e4d1e641de4c7270e15d71">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiStmt.html#a54ca12e0375a19a655f57f91bf899593">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1UnaryOPStmt.html#aaea063a340f2e4a8949178406d9cd33b">SVF::UnaryOPStmt</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#a4b5273864f38ae2e7337cdd624a351ab">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#ab6bbdbe6674680665f0f4b68169c81c1">SVF::UnaryOPStmt</a>
 </li>
 <li>getDstNode()
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a5b9991fd0aa583d5f8df7f3e19c1687f">SVF::BinaryOPStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a52c818fa2a43f283e492cf687c23591b">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#ade327625e74b717697340c9a78444757">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpStmt.html#a1f2f847bbff70e43f65cf06b1b41f99d">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiStmt.html#aabae1e97422bd9b6c861e45b3153946e">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#aebcdd46f666ae9e6f0b0bf1a792a145a">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a46207ce57a8fb0551faad1f5ccc8b8ce">SVF::UnaryOPStmt</a>
 </li>
 <li>getDT()
@@ -804,9 +799,6 @@ $(function() {
 <li>getElementSet()
 : <a class="el" href="classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
-<li>getElemNumStridePairVect()
-: <a class="el" href="classSVF_1_1FieldInfo.html#adb7b7aca7740ae0dcec583d3fbbbf020">SVF::FieldInfo</a>
-</li>
 <li>getEntryNode()
 : <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
@@ -839,23 +831,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d">SVF::ProgSlice</a>
 </li>
-<li>getFattenFieldIdxVec()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ae57d9e939164a25bad4a84a25c9b35e6">SVF::SymbolTableInfo</a>
-</li>
-<li>getFattenFieldOffsetVec()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#adfea906ce463903c365abca5ea1b45d1">SVF::SymbolTableInfo</a>
-</li>
 <li>getFieldIdx()
 : <a class="el" href="classSVF_1_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8">SVF::GepValVar</a>
 </li>
-<li>getFieldIdxVec()
-: <a class="el" href="classSVF_1_1StInfo.html#a219b42bae46d10dbeab28c6fd922dd68">SVF::StInfo</a>
-</li>
 <li>getFieldObjNodeNum()
 : <a class="el" href="classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f">SVF::SVFIR</a>
 </li>
-<li>getFieldOffsetVec()
-: <a class="el" href="classSVF_1_1StInfo.html#a25a1d7b04738c9e3b60654992b897385">SVF::StInfo</a>
+<li>getFieldOffset()
+: <a class="el" href="classSVF_1_1DCHEdge.html#a38963d42db8215b954391781116b47cd">SVF::DCHEdge</a>
+, <a class="el" href="classSVF_1_1GepObjVar.html#a8daba70e9cc23d2411f5be0b1cd1054d">SVF::GepObjVar</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#a5592f18160d398ae126a67c193e5f09d">SVF::GepValVar</a>
+, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#aaa1db7a684bb6ddbeb02e5ffad4d6f0f">SVF::NormalGepCGEdge</a>
+, <a class="el" href="classSVF_1_1NormalGepStmt.html#a5f68b485fb5d60deef2ca33da40c69ef">SVF::NormalGepStmt</a>
 </li>
 <li>getFields()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5c7cc40f0a9c89a8b9c21c65215dda29">SVF::SVFIRBuilder</a>
@@ -869,12 +856,6 @@ $(function() {
 <li>getFieldTypes()
 : <a class="el" href="classSVF_1_1DCHGraph.html#ae9a0007299178912e2568dc7158d6824">SVF::DCHGraph</a>
 </li>
-<li>getFieldTypeWithByteOffset()
-: <a class="el" href="classSVF_1_1StInfo.html#aed0d6af756950fa2db4f56c9ffe76355">SVF::StInfo</a>
-</li>
-<li>getFieldTypeWithFldIdx()
-: <a class="el" href="classSVF_1_1StInfo.html#a913afa9bbdeb9cc54b0a9b9a062c0979">SVF::StInfo</a>
-</li>
 <li>getFieldValNodeNum()
 : <a class="el" href="classSVF_1_1SVFIR.html#a4b4592e3187bb6583aba63b2f374754e">SVF::SVFIR</a>
 </li>
@@ -889,18 +870,23 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
-<li>getFlattenByteOffset()
-: <a class="el" href="classSVF_1_1FieldInfo.html#a727d1ea8110a3239834f0aab134231d6">SVF::FieldInfo</a>
+<li>getFlattenedFieldIdxVec()
+: <a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#ac50e1d8f8b8e514d098a55bfbac86010">SVF::SymbolTableInfo</a>
 </li>
-<li>getFlattenElemTy()
-: <a class="el" href="classSVF_1_1FieldInfo.html#a779ef81046fd403804f74a8562afad63">SVF::FieldInfo</a>
+<li>getFlattenedFieldInfoVec()
+: <a class="el" href="classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9ca564bdc1f40a2ccd30d98e0e4075b0">SVF::SymbolTableInfo</a>
 </li>
-<li>getFlattenFieldInfoVec()
-: <a class="el" href="classSVF_1_1StInfo.html#a9bb25646a735d612cf777394fa3ba5d6">SVF::StInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a3fa4043c6e33a5b1daaa65f206b6a843">SVF::SymbolTableInfo</a>
+<li>getFlattenElemTy()
+: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a92c1b65c36feeabf09541c9af4650f14">SVF::FlattenedFieldInfo</a>
 </li>
 <li>getFlattenFldIdx()
-: <a class="el" href="classSVF_1_1FieldInfo.html#a4e9985c2915f086c034487ca4b3d71fc">SVF::FieldInfo</a>
+: <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a34759f793f0445d2941c9a7d1413b7b2">SVF::FlattenedFieldInfo</a>
+</li>
+<li>getFlatternedFieldType()
+: <a class="el" href="classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4">SVF::SymbolTableInfo</a>
 </li>
 <li>getFollowers()
 : <a class="el" href="classSVF_1_1PCG.html#a1312d734609f82230d3c00a99b189db9">SVF::PCG</a>
@@ -1238,6 +1224,12 @@ $(function() {
 <li>getLHSTopLevPtr()
 : <a class="el" href="classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac">SVF::VFG</a>
 </li>
+<li>getLHSVar()
+: <a class="el" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">SVF::AssignStmt</a>
+</li>
+<li>getLHSVarID()
+: <a class="el" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt</a>
+</li>
 <li>getLLVMCallSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ad4dfe9563de352bb40fb1028a2851512">SVF::ThreadAPI</a>
 </li>
@@ -1281,9 +1273,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>getLocationSet()
-: <a class="el" href="classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e">SVF::GepObjPN</a>
+: <a class="el" href="classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339">SVF::GepObjVar</a>
+, <a class="el" href="classSVF_1_1GepStmt.html#abec33091e0dac0cdd5b95b6d7b0db3d8">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef">SVF::NormalGepStmt</a>
 </li>
 <li>getLocationSetFromBaseNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a8b36d077c30fb2830a253ded82413c2d">SVF::SVFIR</a>
@@ -1535,9 +1527,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac522df904e702381222a4d9b205c775b">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a3379185589e9bcafa4f961930aaf2694">SVF::PTACallGraph</a>
 </li>
-<li>getNumStridePair()
-: <a class="el" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet</a>
-</li>
 <li>getNumSuccessors()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6">SVF::BranchVFGNode</a>
@@ -1547,7 +1536,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">SVF::IRGraph</a>
@@ -1574,12 +1563,8 @@ $(function() {
 <li>getOfflineRep()
 : <a class="el" href="classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55">SVF::AndersenHCD</a>
 </li>
-<li>getOffset()
-: <a class="el" href="classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d">SVF::DCHEdge</a>
-, <a class="el" href="classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3">SVF::GepValVar</a>
-, <a class="el" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet</a>
-, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3">SVF::NormalGepCGEdge</a>
-, <a class="el" href="classSVF_1_1NormalGepStmt.html#a904919192ddbd054381c3b863531ab10">SVF::NormalGepStmt</a>
+<li>getOffsetValueVec()
+: <a class="el" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet</a>
 </li>
 <li>getOpcode()
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt</a>
@@ -1647,15 +1632,13 @@ $(function() {
 <li>getOrCreateTCTNode()
 : <a class="el" href="classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9">SVF::TCT</a>
 </li>
+<li>getOriginalFieldType()
+: <a class="el" href="classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49">SVF::SymbolTableInfo</a>
+</li>
 <li>getOriginalObj()
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#aeea7089c6f54b44f0509d41686b649f6">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>getOrigSubTypeWithByteOffset()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a573bd5208467b2f905f5b2b1684feac8">SVF::SymbolTableInfo</a>
-</li>
-<li>getOrigSubTypeWithFldInx()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad7dec8a89931ef96a26c7f1d23062702">SVF::SymbolTableInfo</a>
-</li>
 <li>getOutEdges()
 : <a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
@@ -1701,9 +1684,6 @@ $(function() {
 <li>getPAGEdgeNum()
 : <a class="el" href="classSVF_1_1IRGraph.html#a2fda1df53e53c0098d99f36d8f6f0998">SVF::IRGraph</a>
 </li>
-<li>getPAGEdges()
-: <a class="el" href="classSVF_1_1ICFGNode.html#a23707d08fd5cfcb5db72ff4ef0b864ff">SVF::ICFGNode</a>
-</li>
 <li>getPAGEdgeSet()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a08478529524005aba86660f031cf55af">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1VFG.html#a77c2855e80d85ee122e3ee076402d864">SVF::VFG</a>
@@ -1827,7 +1807,7 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1932,7 +1912,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1944,6 +1924,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>getRHSVar()
+: <a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">SVF::AssignStmt</a>
+</li>
+<li>getRHSVarID()
+: <a class="el" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt</a>
+</li>
 <li>getSCCDetector()
 : <a class="el" href="classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
@@ -1990,19 +1976,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4">SVF::LeakChecker</a>
 </li>
 <li>getSrcID()
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a7ceeaffe5aae4bf572b0e21d33331035">SVF::BinaryOPStmt</a>
-, <a class="el" href="classSVF_1_1BranchStmt.html#ab9c4a6190ecc1aead171c828450d69cb">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpStmt.html#a9c725b7a6c7386b2892d82b70f1bec05">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990">SVF::AssignStmt</a>
+, <a class="el" href="classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiStmt.html#a723bca50c50179c17c6ce53b738c3414">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1UnaryOPStmt.html#ac6ee43abe0ca33efe4caf84ef67323dd">SVF::UnaryOPStmt</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79">SVF::MultiOpndStmt</a>
+, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d">SVF::UnaryOPStmt</a>
 </li>
 <li>getSrcNode()
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0fd752e4cb3eabdc7cdd61a4a4f17253">SVF::BinaryOPStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1CmpStmt.html#a342ba9fd88195b90e2419fd44afef23d">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="classSVF_1_1PhiStmt.html#a6d45d49e58717c72b9cc8cb4f36133c0">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92">SVF::UnaryOPStmt</a>
 </li>
 <li>getSSAVersion()
@@ -2076,7 +2060,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abed63cf10f8e8cb9bb4b01772e4b0c6d">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2117,11 +2101,14 @@ $(function() {
 <li>getSVFStmtList()
 : <a class="el" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">SVF::SVFIR</a>
 </li>
+<li>getSVFStmts()
+: <a class="el" href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">SVF::ICFGNode</a>
+</li>
 <li>getSVFStmtSet()
 : <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
@@ -2185,7 +2172,7 @@ $(function() {
 <li>getType()
 : <a class="el" href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153">SVF::DCHNode</a>
-, <a class="el" href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN</a>
+, <a class="el" href="classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">SVF::MSSADEF</a>
@@ -2241,7 +2228,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd">SVF::DummyObjVar</a>
 , <a class="el" href="classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd">SVF::DummyValVar</a>
 , <a class="el" href="classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08">SVF::FIObjVar</a>
-, <a class="el" href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN</a>
+, <a class="el" href="classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3">SVF::ObjVar</a>
 , <a class="el" href="classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f">SVF::RetPN</a>
@@ -2333,10 +2320,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>GlobalBlockNode()
 : <a class="el" href="classSVF_1_1GlobalBlockNode.html#a233fceb667e517862fd97d50832a4d7e">SVF::GlobalBlockNode</a>