svf-tools 1.0.811 → 1.0.813

package/SVF-doxygen/html/functions.html

@@ -211,12 +211,12 @@ $(function() {
 <li>_lb
 : <a class="el" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue</a>
 </li>
+<li>_locToAddrs
+: <a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState</a>
+</li>
 <li>_locToItvVal
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState</a>
 </li>
-<li>_locToVAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">SVF::ExeState</a>
-</li>
 <li>_locToVal
 : <a class="el" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
@@ -512,12 +512,12 @@ $(function() {
 <li>_ub
 : <a class="el" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">SVF::IntervalValue</a>
 </li>
+<li>_varToAddrs
+: <a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState</a>
+</li>
 <li>_varToItvVal
 : <a class="el" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">SVF::IntervalExeState</a>
 </li>
-<li>_varToVAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">SVF::ExeState</a>
-</li>
 <li>_varToVal
 : <a class="el" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState</a>

package/SVF-doxygen/html/functions_a.html

@@ -894,6 +894,11 @@ $(function() {
 <li>addRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>Addrs
+: <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7c892fb77ff402212af4ab30301f0f9d">SVF::SVFIR2ConsExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a85f206bddccb2d644ef20f60ea17c9f3">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>AddrSet
 : <a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">SVF::AddressValue</a>
 </li>
@@ -901,7 +906,7 @@ $(function() {
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
 <li>AddrStmt()
-: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
+: <a class="el" href="classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487">SVF::AddrStmt</a>
 </li>
 <li>addrTaken
 : <a class="el" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction</a>
@@ -1102,7 +1107,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
@@ -1139,16 +1144,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
@@ -1265,7 +1270,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9">SVF::RaceResultValidator</a>
@@ -1446,7 +1451,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>

package/SVF-doxygen/html/functions_b.html

@@ -379,12 +379,12 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>BugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
-</li>
 <li>bugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
 </li>
+<li>BugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
+</li>
 <li>BugType
 : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
 </li>

package/SVF-doxygen/html/functions_e.html

@@ -304,8 +304,8 @@ $(function() {
 <li>equivalentObject
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f">SVF::VersionedFlowSensitive</a>
 </li>
-<li>eqVarToVAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25">SVF::ExeState</a>
+<li>eqVarToAddrs()
+: <a class="el" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">SVF::ExeState</a>
 </li>
 <li>eqVarToValMap()
 : <a class="el" href="classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052">SVF::ConsExeState</a>

package/SVF-doxygen/html/functions_func_e.html

@@ -167,8 +167,8 @@ $(function() {
 <li>equalVar()
 : <a class="el" href="classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b">SVF::ConsExeState</a>
 </li>
-<li>eqVarToVAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25">SVF::ExeState</a>
+<li>eqVarToAddrs()
+: <a class="el" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">SVF::ExeState</a>
 </li>
 <li>eqVarToValMap()
 : <a class="el" href="classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052">SVF::ConsExeState</a>

package/SVF-doxygen/html/functions_func_g.html

@@ -200,6 +200,12 @@ $(function() {
 <li>getAddrOutEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">SVF::ConstraintNode</a>
 </li>
+<li>getAddrs()
+: <a class="el" href="classSVF_1_1ConsExeState.html#a17ba209c5045d53c7df66d5cf031f8a4">SVF::ConsExeState</a>
+, <a class="el" href="classSVF_1_1ExeState.html#a3b340ae2aad86f6125d24b42ec8901d0">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getAggs()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b">SVF::DCHGraph</a>
 </li>
@@ -382,9 +388,6 @@ $(function() {
 <li>getByteOffset()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a335922caf105ee72cd9d66a451ae3d4e">SVF::SVFIR2ItvExeState</a>
 </li>
-<li>getByteOffsetfromGepTypePair()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad49576a7192c87d41f4dc923cd3d0efe">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>getByteSize()
 : <a class="el" href="classSVF_1_1SVFType.html#a95b8031f1e15d49c7d68628be1d05aae">SVF::SVFType</a>
 </li>
@@ -1137,7 +1140,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#a03bfeee0406c7e54557e74f3a8e848b7">SVF::StInfo</a>
 </li>
 <li>getFlattenFieldTypes()
-: <a class="el" href="classSVF_1_1StInfo.html#ac0a9f85f90524abfd519d3cd2ac95a56">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#aa4639bb40482af4e7c8bc1503a32c215">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1f65ce2d46190ef85a572a2471d3586b">SVF::SymbolTableInfo</a>
 </li>
 <li>getFlatternedElemType()
@@ -1285,8 +1288,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">SVF::ConstraintNode</a>
 </li>
 <li>getGepObjAddress()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#afc9c3372eb142afdb3eb8956adf53c33">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a67532bdc1e4a49cf4d9da4b99b38e69a">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">SVF::SVFIR2ConsExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af8d06156bcbb61beb305ed8096319966">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>getGepObjNodeMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#ac1674bd25a17cae24141e6bff24a411e">SVF::SVFIR</a>
@@ -1387,6 +1390,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">SVF::MRVer</a>
 , <a class="el" href="classSVF_1_1WriterPtrPool.html#a5ffe6cb527e45fcd7626c972cebb9d36">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
+<li>getIdxOperandPairVec()
+: <a class="el" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">SVF::AccessPath</a>
+</li>
 <li>getImplTy()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e">SVF::PointerAnalysis</a>
 </li>
@@ -1518,9 +1524,6 @@ $(function() {
 <li>getItvOfFlattenedElemIndex()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a6e4e3eeca9d25fb5eab496faeb6264c3">SVF::SVFIR2ItvExeState</a>
 </li>
-<li>getItvOfFlattenedElemIndexFromGepTypePair()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a678a5278fd485eea65093add11b8a7c3">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>getJoinEdgeBegin()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84">SVF::ThreadCallGraph</a>
 </li>
@@ -1624,6 +1627,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericBug.html#abbc86875488c27e53e5c36e95c472b20">SVF::GenericBug</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
+<li>getLocAddrs()
+: <a class="el" href="classSVF_1_1IntervalExeState.html#ab2ca8fade3399ebbffd3cc32e52604d5">SVF::IntervalExeState</a>
+</li>
 <li>getLockAnalysis()
 : <a class="el" href="classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570">SVF::MTA</a>
 </li>
@@ -1634,25 +1640,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa3c4548e8f8e47cd716081bda2574ff3">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a3b81d6d51c286adf406d7597f9d51edc">SVF::ThreadAPI</a>
 </li>
+<li>getLocToAddrs()
+: <a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">SVF::ExeState</a>
+</li>
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>getLocToItv()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a653efb144c1f508a91142540b9023de3">SVF::IntervalExeState</a>
-</li>
-<li>getLocToVAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#afcb9e71dc8686d5c125d63596bd4f442">SVF::ExeState</a>
-</li>
 <li>getLocToVal()
 : <a class="el" href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#ae0d4b22023ce63327f55484cffb051cf">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9">SVF::RelExeState</a>
 </li>
-<li>getLocVAddrs()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#aea4e2221b11824ac6b37667ac0bf25f3">SVF::IntervalExeState</a>
-</li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#af227b820ee93765e6b5c9eb9aad30c91">SVF::TCT</a>
 </li>
 <li>getLoopAndDomInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a5798ecc742ee74e357d13eea751258c4">SVF::SVFFunction</a>
@@ -1720,7 +1720,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a3604b6e29860be15ea5b5dc028b84af8">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
@@ -1797,7 +1797,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1958,8 +1958,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a7cf19b236d4e44f8ae8da9b303466b36">SVF::SymbolTableInfo</a>
 </li>
 <li>getOffsetVarAndGepTypePairVec()
-: <a class="el" href="classSVF_1_1AccessPath.html#ac4f6bf6b6b257eb6b97b34f22d52eaf6">SVF::AccessPath</a>
-, <a class="el" href="classSVF_1_1GepStmt.html#a0572909694bf47d9448a0f1e5e14a50b">SVF::GepStmt</a>
+: <a class="el" href="classSVF_1_1GepStmt.html#a348de09a7ccd04d1fa76fa6b250249ba">SVF::GepStmt</a>
 </li>
 <li>getOpcode()
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt</a>
@@ -2061,11 +2060,11 @@ $(function() {
 </li>
 <li>getOutput()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a829e59b4f8cf01c125cf8a9b45f7b7d0">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -2163,7 +2162,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
 </li>
 <li>getPredInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
 </li>
 <li>getPredMap()
 : <a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver</a>
@@ -2238,7 +2237,7 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">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>
@@ -2246,12 +2245,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a4d27be04d38089e86b8b6a1d22e9d8f8">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#ab4680948b690b4e04d19a133d825b849">SVF::WPAPass</a>
 </li>
 <li>getPtsMap()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -2260,7 +2259,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+</li>
+<li>getRangeLimitFromType()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afbb9ff1f2c47d2afda117bf63a80a1a7">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>getRawProductions()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase</a>
@@ -2327,7 +2329,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2359,7 +2361,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</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>
@@ -2520,6 +2522,9 @@ $(function() {
 <li>getStrongUpdateStores()
 : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
 </li>
+<li>getStructFieldOffset()
+: <a class="el" href="classSVF_1_1AccessPath.html#a1f279344b4061838d7b3498631bc907c">SVF::AccessPath</a>
+</li>
 <li>getSubNodes()
 : <a class="el" href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard</a>
 </li>
@@ -2543,7 +2548,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
@@ -2655,10 +2660,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2672,7 +2677,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2767,12 +2772,6 @@ $(function() {
 <li>getUnifyExit()
 : <a class="el" href="classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca">SVF::MergeFunctionRets</a>
 </li>
-<li>getVAddrs()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a6205eb8ceaba400a2ad5a554abaed096">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a789f023e4b5938324993b37021265f53">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>getVals()
 : <a class="el" href="classSVF_1_1AddressValue.html#a3115c89c7f98cc2e737ce87fd7420ca3">SVF::AddressValue</a>
 </li>
@@ -2824,8 +2823,8 @@ $(function() {
 <li>getVariabledKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">SVF::GrammarBase</a>
 </li>
-<li>getVarToVAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#aebbcf15653f00e07cb7a754d1e314d69">SVF::ExeState</a>
+<li>getVarToAddrs()
+: <a class="el" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">SVF::ExeState</a>
 </li>
 <li>getVarToVal()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState</a>
@@ -2918,7 +2917,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</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#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>

package/SVF-doxygen/html/functions_func_i.html

@@ -282,11 +282,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#ad675e973daeb7d366cf7e3cd3c0b13fb">SVF::IntervalExeState</a>
 </li>
-<li>inLocalLocToIValTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a25c1369d7d38469ecde6022cf367c009">SVF::IntervalExeState</a>
-</li>
-<li>inLocalLocToVal()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">SVF::ConsExeState</a>
+<li>inLocalLocToValTable()
+: <a class="el" href="classSVF_1_1ConsExeState.html#a8da7bf977911ca6d3bd27f38ef852321">SVF::ConsExeState</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a6fdad70e3a0b39e146f0b93f24f055c6">SVF::IntervalExeState</a>
 </li>
 <li>inLocToAddrsTable()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f">SVF::ConsExeState</a>
@@ -295,15 +293,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">SVF::SVFIR2ItvExeState</a>
 </li>
-<li>inLocToIValTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#aeac953e77360627da7426b2619d509cc">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">SVF::SVFIR2ItvExeState</a>
-</li>
-<li>inLocToVal()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a6cf5a55374178b2d538b79c3efed3f34">SVF::ConsExeState</a>
-</li>
 <li>inLocToValTable()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2">SVF::SVFIR2ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#a4481c80fcf9c64f23e8a216dfc01869a">SVF::ConsExeState</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2">SVF::SVFIR2ConsExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a808fdc8ff7637d1c9515e71815548983">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>inNodeToCycleDepth()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d">SVF::CFBasicBlockGWTO</a>
@@ -439,15 +433,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">SVF::SVFIR2ItvExeState</a>
 </li>
-<li>inVarToIValTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a884199a26d43d09bc7e33369fceb8274">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">SVF::SVFIR2ItvExeState</a>
-</li>
-<li>inVarToVal()
-: <a class="el" href="classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2">SVF::ConsExeState</a>
-</li>
 <li>inVarToValTable()
-: <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f">SVF::SVFIR2ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850">SVF::ConsExeState</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f">SVF::SVFIR2ConsExeState</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8380eb5e2424c8c7bd290962f04a17ba">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>Inverse()
 : <a class="el" href="structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0">SVF::Inverse&lt; GraphType &gt;</a>
@@ -1289,7 +1279,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6">SVF::ConstraintGraph</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_range()
 : <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>

package/SVF-doxygen/html/functions_func_l.html

@@ -98,8 +98,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5">SVF::RelExeState</a>
 </li>
+<li>loadAddrs()
+: <a class="el" href="classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55">SVF::ConsExeState</a>
+, <a class="el" href="classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">SVF::IntervalExeState</a>
+</li>
 <li>LoadCGEdge()
-: <a class="el" href="classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7">SVF::LoadCGEdge</a>
+: <a class="el" href="classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019">SVF::LoadCGEdge</a>
 </li>
 <li>loadExtAPIModules()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#aa7992d03a48ec79bde169ddceb6ef67b">SVF::LLVMModuleSet</a>
@@ -113,11 +118,6 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2">SVF::LoadStmt</a>
 </li>
-<li>loadVAddrs()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a6d954f4aef6af30852bdc7ddb67a9d55">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a3c1ea75e3a97aa18d4d10a85c1829d83">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066">SVF::IntervalExeState</a>
-</li>
 <li>LoadVFGNode()
 : <a class="el" href="classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039">SVF::LoadVFGNode</a>
 </li>

package/SVF-doxygen/html/functions_func_n.html

@@ -70,12 +70,12 @@ $(function() {
 <li>narrow_with()
 : <a class="el" href="classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f">SVF::IntervalValue</a>
 </li>
+<li>narrowAddrs()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a103b55536f1cec38edb2f169d3f94675">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>narrowing()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">SVF::IntervalExeState</a>
 </li>
-<li>narrowVAddrs()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a584e5b2285a2980fc57cf84b06a76e0c">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>narrowWith()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">SVF::IntervalExeState</a>
 </li>

package/SVF-doxygen/html/functions_func_p.html

@@ -345,7 +345,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>printTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#adbfb716c41fdc758f792e8ffb81a17fa">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalExeState.html#a4d22ccce6915c9fe8238e20433b9d5b8">SVF::IntervalExeState</a>
 </li>
 <li>printTDFuns()
 : <a class="el" href="classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e">SVF::PCG</a>

package/SVF-doxygen/html/functions_func_s.html

@@ -708,17 +708,17 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
 </li>
+<li>storeAddrs()
+: <a class="el" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">SVF::ExeState</a>
+</li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
-</li>
-<li>storeVAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">SVF::StoreVFGNode</a>
@@ -872,7 +872,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4">SVF::SVFType</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
@@ -893,7 +893,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#a144f6ac7ce41d228c42f92a27b3bdd60">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#a92acf30a884f531f7bdba2b4d4528085">SVF::SymState</a>
 </li>
 <li>symToStrDump()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">SVF::GrammarBase</a>

package/SVF-doxygen/html/functions_func_w.html

@@ -70,12 +70,12 @@ $(function() {
 <li>widen_with()
 : <a class="el" href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">SVF::IntervalValue</a>
 </li>
+<li>widenAddrs()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>widening()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">SVF::IntervalExeState</a>
 </li>
-<li>widenVAddrs()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>widenWith()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">SVF::IntervalExeState</a>
 </li>