svf-tools 1.0.348 → 1.0.352

package/SVF-doxygen/html/html/functions_r.html

@@ -288,7 +288,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a2f3ba283779cbb388d903a6a7a0d0108">SVF::ConstraintNode</a>
 </li>
 <li>removeIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>removeIncomingLoadEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aaf84d10aaa0baabb8387fd8ccfdcfa9d">SVF::ConstraintNode</a>
@@ -315,7 +315,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#adeb6adc882fe3470fff5483773070d19">SVF::ConstraintNode</a>
 </li>
 <li>removeOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>removeOutgoingLoadEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a7df4be1a889fdfb2240394304fcf1a1f">SVF::ConstraintNode</a>

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

@@ -112,11 +112,13 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>SCC
+: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -281,7 +283,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49">SVF::ObjTypeInfo</a>
 </li>
 <li>setFldIdx()
-: <a class="el" href="classSVF_1_1LocationSet.html#acc8d400f4715e05d8d4174d7bf722346">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a15f6175372a785205c5f959b370c83b5">SVF::LocationSet</a>
 </li>
 <li>setFormalOUTDef()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1">SVF::SVFGOPT</a>
@@ -830,12 +832,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
 </li>
-<li>Strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
-</li>
 <li>strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
 </li>
+<li>Strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
+</li>
 <li>strides
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">SVF::ConstraintNode</a>
 </li>

package/SVF-doxygen/html/html/functions_t.html

@@ -452,7 +452,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921">SVF::MRSVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1NormalGepStmt.html#a1c56ef0156531ba4c81391e1eddc12e6">SVF::NormalGepStmt</a>
 , <a class="el" href="classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9">SVF::NullPtrVFGNode</a>
 , <a class="el" href="classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3">SVF::ObjVar</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a">SVF::PhiStmt</a>
@@ -480,7 +479,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ab748bb83004550944c6abca7150aec14">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>
-, <a class="el" href="classSVF_1_1VariantGepStmt.html#a975f7049b4445765b75d0558364d11a4">SVF::VariantGepStmt</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>
 , <a class="el" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">SVF::VFPathCond</a>
@@ -504,7 +502,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6">SVF::SVFGStat</a>
 </li>
 <li>totalEdgeNum
-: <a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9">SVF::SVFStmt</a>
 </li>
 <li>totalICFGNode
 : <a class="el" href="classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052">SVF::ICFG</a>
@@ -531,7 +529,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>totalMRNum
-: <a class="el" href="classSVF_1_1MemRegion.html#a8556bee344c108815adad4a405ac0ffb">SVF::MemRegion</a>
+: <a class="el" href="classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398">SVF::MemRegion</a>
 </li>
 <li>TotalNumOfEdges
 : <a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">SVF::PTAStat</a>
@@ -564,7 +562,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>totalVERNum
-: <a class="el" href="classSVF_1_1MRVer.html#aa89979685cbca9279d32c7512c9d3c16">SVF::MRVer</a>
+: <a class="el" href="classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc">SVF::MRVer</a>
 </li>
 <li>totalVFGNode
 : <a class="el" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">SVF::VFG</a>
@@ -603,13 +601,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
-<li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-</li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_type_g.html

@@ -69,7 +69,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>GEdgeKind
-: <a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">SVF::GenericEdge&lt; NodeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>GEdgeSetTy
 : <a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
@@ -100,8 +100,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>GNodeK
-: <a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1SVFValue.html#a7e98da47d88c46dfd2c7124c43f6a885">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">SVF::SVFValue</a>
 </li>
 <li>GNODESCCInfoMap
 : <a class="el" href="classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec">SVF::SCCDetection&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/functions_type_n.html

@@ -90,7 +90,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4">SVF::SVFIR</a>
 </li>
 <li>NodeOffset
-: <a class="el" href="classSVF_1_1SVFIR.html#ab0d0aa216dbf7cc8f5b8030d5217e89c">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ad69ce40d95681d1bd8503e08228609c4">SVF::SVFIR</a>
 </li>
 <li>NodeOffsetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">SVF::SVFIR</a>

package/SVF-doxygen/html/html/functions_type_o.html

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0">SVF::VersionedFlowSensitive</a>
 </li>
 <li>OffsetValueVec
-: <a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">SVF::LocationSet</a>
 </li>
 <li>OpCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</a>

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

@@ -129,12 +129,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751">SVF::PointsTo::PointsToIterator</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>
@@ -179,16 +179,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>variantField
+: <a class="el" href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">SVF::GepStmt</a>
+</li>
 <li>VariantGep
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3a8902fc2aa68428e271012861a2a2">SVF::SVFStmt</a>
 </li>
 <li>VariantGepCGEdge()
 : <a class="el" href="classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02">SVF::VariantGepCGEdge</a>
 </li>
-<li>VariantGepStmt()
-: <a class="el" href="classSVF_1_1VariantGepStmt.html#a261c46d418397cf2aeca93d92e87a91d">SVF::VariantGepStmt</a>
-</li>
 <li>varKills
 : <a class="el" href="classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43">SVF::MemSSA</a>
 </li>
@@ -305,7 +304,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db">SVF::VFG</a>
 </li>
 <li>vfID
-: <a class="el" href="classSVF_1_1CHGraph.html#a1cf155a56d1a3b3c3ab1a3d593e1afcd">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#ac3be8c8dfee16d7508b73b6f2270eb2d">SVF::CHGraph</a>
 </li>
 <li>vfnVectors
 : <a class="el" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode</a>
@@ -350,13 +349,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aa7fb5d1cd8e42058120758a990ed471d">SVF::TypeAnalysis</a>
 </li>
 <li>virtualFunctionToIDMap
-: <a class="el" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">SVF::CHGraph</a>
 </li>
 <li>virtualFunctionVectors
 : <a class="el" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode</a>
 </li>
 <li>visit()
-: <a class="el" href="classSVF_1_1CSC.html#ae2cf80e57c85add6e68bf282e833e0e7">SVF::CSC</a>
+: <a class="el" href="classSVF_1_1CSC.html#a2e595f5584ac62cddb45b70d8865f100">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#af7ba77d72962b930a8107752e259008b">SVF::VersionedFlowSensitive::SCC</a>
 </li>
@@ -391,7 +390,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder</a>
 </li>
 <li>visited()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitedCTPs

package/SVF-doxygen/html/html/functions_vars_a.html

@@ -240,7 +240,7 @@ $(function() {
 : <a class="el" href="structDdManager.html#a988678149a1dc49fe41c29846575a056">DdManager</a>
 </li>
 <li>AveragePointsToSetSize
-: <a class="el" href="classSVF_1_1AndersenBase.html#abdc249ea291d0247f6b91a8fcc7df341">SVF::AndersenBase</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1PTAStat.html#adb0edbe88a74e5e89921bcfafa4759c6">SVF::PTAStat</a>
 </li>
 <li>AverageTopLevPointsToSetSize

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

@@ -109,7 +109,7 @@ $(function() {
 , <a class="el" href="structMtrNode.html#a729ce47dfa70a8e041a89d478c6565f5">MtrNode</a>
 , <a class="el" href="classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">SVF::DCHNode</a>
-, <a class="el" href="classSVF_1_1ObjTypeInfo.html#ada56eaa1f91bf260b7b521adabc607fe">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1">SVF::ObjTypeInfo</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9">SVF::RaceResultValidator::AccessPair</a>
 </li>
 <li>flattenedElemTy
@@ -119,7 +119,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a14d271fe9ce4a7d989871088d9daf83a">SVF::FlattenedFieldInfo</a>
 </li>
 <li>fldIdx
-: <a class="el" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet</a>
 </li>
 <li>fldIdx2TypeMap
 : <a class="el" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo</a>

package/SVF-doxygen/html/html/functions_vars_m.html

@@ -178,14 +178,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">SVF::Options</a>
 </li>
 <li>MaxPointsToSetSize
-: <a class="el" href="classSVF_1_1AndersenBase.html#a7cfafe54d564c9401f435362d44d3f9c">SVF::AndersenBase</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2">SVF::PTAStat</a>
 </li>
 <li>maxReorderings
 : <a class="el" href="structDdManager.html#a61170edf6d08bb1c4bacab68823a825d">DdManager</a>
 </li>
 <li>maxSCCSize
-: <a class="el" href="classSVF_1_1FlowSensitive.html#a90deaa3c1afa762f568ceab0fe174353">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4">SVF::FlowSensitive</a>
 </li>
 <li>maxsize
 : <a class="el" href="structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248">DdHashTable</a>

package/SVF-doxygen/html/html/functions_vars_n.html

@@ -290,7 +290,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">SVF::ICFGStat</a>
 </li>
 <li>numOfFieldExpand
-: <a class="el" href="classSVF_1_1AndersenBase.html#ad21fc4e60abc4e6030880f8197e1c93f">SVF::AndersenBase</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259">SVF::AndersenBase</a>
 </li>
 <li>NumOfFieldExpand
 : <a class="el" href="classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1">SVF::PTAStat</a>
@@ -402,7 +402,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5">SVF::PTAStat</a>
 </li>
 <li>numOfNodesInSCC
-: <a class="el" href="classSVF_1_1FlowSensitive.html#ad2a7c4ec5e08b6ae423e305d01d432e4">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75">SVF::FlowSensitive</a>
 </li>
 <li>numOfNonLocalLd
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3">SVF::MTAAnnotator</a>
@@ -435,48 +435,48 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a218748b401bdd3d5eebd45eea0026b12">SVF::PTAStat</a>
 </li>
 <li>numOfProcessedActualParam
-: <a class="el" href="classSVF_1_1FlowSensitive.html#ab4ebfae609e467ea9316de9764151889">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedAddr
-: <a class="el" href="classSVF_1_1AndersenBase.html#a70e60ce2e6f4cfd575c6f5c974ca1081">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#aae57c806e973735cdae52622c73b85ae">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">SVF::AndersenBase</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7">SVF::FlowSensitive</a>
 </li>
 <li>NumOfProcessedAddrs
 : <a class="el" href="classSVF_1_1PTAStat.html#a0de03cdb382b353c6c1495c0f80cfe19">SVF::PTAStat</a>
 </li>
 <li>numOfProcessedCopy
-: <a class="el" href="classSVF_1_1AndersenBase.html#a9d7b6e602e1764f76583824dddebf985">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#abbc5289ac5600ae96a2b4cf4e16fc849">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130">SVF::AndersenBase</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54">SVF::FlowSensitive</a>
 </li>
 <li>NumOfProcessedCopys
 : <a class="el" href="classSVF_1_1PTAStat.html#ad30b36fb1884d1ef0b01c3b36a245211">SVF::PTAStat</a>
 </li>
 <li>numOfProcessedFormalRet
-: <a class="el" href="classSVF_1_1FlowSensitive.html#a9c2d3c7f9c2ace0c478114d18408946b">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedGep
-: <a class="el" href="classSVF_1_1AndersenBase.html#a25de7638a692832f0d4727815ff270f6">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#a30ef94f44ad3ec0a5ab91da29ce1ee86">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9">SVF::AndersenBase</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e">SVF::FlowSensitive</a>
 </li>
 <li>NumOfProcessedGeps
 : <a class="el" href="classSVF_1_1PTAStat.html#aaa9d98f868c0724cb57c6934e783d1e5">SVF::PTAStat</a>
 </li>
 <li>numOfProcessedLoad
-: <a class="el" href="classSVF_1_1AndersenBase.html#a5f1b0711583aa8947dfb4619658f1904">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#afd1b49d94168d5353611e6adbdf8e1c0">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e">SVF::AndersenBase</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268">SVF::FlowSensitive</a>
 </li>
 <li>NumOfProcessedLoads
 : <a class="el" href="classSVF_1_1PTAStat.html#a17531fa1df42df0b19191d61853380d9">SVF::PTAStat</a>
 </li>
 <li>numOfProcessedMSSANode
-: <a class="el" href="classSVF_1_1FlowSensitive.html#a67d008a8316996c8743f8dbb3082d3c7">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedPhi
-: <a class="el" href="classSVF_1_1FlowSensitive.html#aea6b283c4e0078655ba22fde3548689a">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedStore
-: <a class="el" href="classSVF_1_1AndersenBase.html#ae18183a5d8ebd46fcdb9246bd643b150">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#ae0cfed89e63939da4ee9bbdf4a4e2837">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6">SVF::AndersenBase</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d">SVF::FlowSensitive</a>
 </li>
 <li>NumOfProcessedStores
 : <a class="el" href="classSVF_1_1PTAStat.html#a5b9bc0e9dac6ac97199476f6b7ea1edf">SVF::PTAStat</a>
@@ -491,7 +491,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed">SVF::MTASVFGBuilder</a>
 </li>
 <li>numOfResolvedIndCallEdge
-: <a class="el" href="classSVF_1_1PTACallGraph.html#ad73bc2f0669ff2a28ccabb5355278826">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92">SVF::PTACallGraph</a>
 </li>
 <li>numOfRetEdges
 : <a class="el" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">SVF::ICFGStat</a>
@@ -506,10 +506,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514">SVF::PTAStat</a>
 </li>
 <li>numOfSCC
-: <a class="el" href="classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3">SVF::FlowSensitive</a>
 </li>
 <li>numOfSCCDetection
-: <a class="el" href="classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490">SVF::AndersenBase</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968">SVF::AndersenBase</a>
 </li>
 <li>NumOfSCCDetection
 : <a class="el" href="classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699">SVF::PTAStat</a>
@@ -518,7 +518,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135">SVF::PTAStat</a>
 </li>
 <li>numOfSfrs
-: <a class="el" href="classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12">SVF::AndersenBase</a>
+: <a class="el" href="classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5">SVF::AndersenBase</a>
 </li>
 <li>NumOfStackObjs
 : <a class="el" href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">SVF::PTAStat</a>
@@ -543,10 +543,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9">SVF::DDAStat</a>
 </li>
 <li>numPrelabeledNodes
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a593177519a6bfab63dbb12dbc1ffbc20">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6">SVF::VersionedFlowSensitive</a>
 </li>
 <li>numPrelabelVersions
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9235db71172dcdf277050f6ca5f344c6">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af">SVF::VersionedFlowSensitive</a>
 </li>
 <li>NumRegions
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_vars_t.html

@@ -212,7 +212,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6">SVF::SVFGStat</a>
 </li>
 <li>totalEdgeNum
-: <a class="el" href="classSVF_1_1SVFStmt.html#aa306e817648ab5def47e83473e99b3d3">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9">SVF::SVFStmt</a>
 </li>
 <li>totalICFGNode
 : <a class="el" href="classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052">SVF::ICFG</a>
@@ -239,7 +239,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>totalMRNum
-: <a class="el" href="classSVF_1_1MemRegion.html#a8556bee344c108815adad4a405ac0ffb">SVF::MemRegion</a>
+: <a class="el" href="classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398">SVF::MemRegion</a>
 </li>
 <li>TotalNumOfEdges
 : <a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">SVF::PTAStat</a>
@@ -272,7 +272,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>totalVERNum
-: <a class="el" href="classSVF_1_1MRVer.html#aa89979685cbca9279d32c7512c9d3c16">SVF::MRVer</a>
+: <a class="el" href="classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc">SVF::MRVer</a>
 </li>
 <li>totalVFGNode
 : <a class="el" href="classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8">SVF::VFG</a>

package/SVF-doxygen/html/html/functions_vars_v.html

@@ -91,6 +91,9 @@ $(function() {
 <li>varHandled
 : <a class="el" href="structDdSubtable.html#a2f1c152de785a48b24c773724fd6f564">DdSubtable</a>
 </li>
+<li>variantField
+: <a class="el" href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">SVF::GepStmt</a>
+</li>
 <li>varKills
 : <a class="el" href="classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43">SVF::MemSSA</a>
 </li>
@@ -134,7 +137,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3">SVF::ICFGNode</a>
 </li>
 <li>vfID
-: <a class="el" href="classSVF_1_1CHGraph.html#a1cf155a56d1a3b3c3ab1a3d593e1afcd">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#ac3be8c8dfee16d7508b73b6f2270eb2d">SVF::CHGraph</a>
 </li>
 <li>vfnVectors
 : <a class="el" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode</a>
@@ -153,7 +156,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aa7fb5d1cd8e42058120758a990ed471d">SVF::TypeAnalysis</a>
 </li>
 <li>virtualFunctionToIDMap
-: <a class="el" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">SVF::CHGraph</a>
 </li>
 <li>virtualFunctionVectors
 : <a class="el" href="classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90">SVF::CHNode</a>

package/SVF-doxygen/html/html/functions_w.html

@@ -79,14 +79,12 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
@@ -94,16 +92,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
-<li>worklist
-: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>