svf-tools 1.0.403 → 1.0.406

package/SVF-doxygen/html/html/functions_a.html

@@ -74,11 +74,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#a8436ecde1e34bca7cef86a320ad42162">SVF::RaceResultValidator</a>
 </li>
 <li>accumulateConstantFieldIdx()
-: <a class="el" href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a63c5c8e03b35e0d0cea94137d309c853">SVF::LocationSet</a>
 </li>
 <li>accumulateConstantOffset()
-: <a class="el" href="classSVF_1_1GepStmt.html#a33b3b9ef0cf7e2ea6400aef74a399adf">SVF::GepStmt</a>
-, <a class="el" href="classSVF_1_1LocationSet.html#a216afe1a2481c57b278549732d5e185e">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1GepStmt.html#a6ededc6dab6691afd1b355dd5d0ffdae">SVF::GepStmt</a>
+, <a class="el" href="classSVF_1_1LocationSet.html#ad8e250859aa1cf6ce18c6c0b7bbb2710">SVF::LocationSet</a>
 </li>
 <li>actualInOfIndCS()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6">SVF::SVFGOPT</a>
@@ -265,7 +265,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957">SVF::LockAnalysis</a>
 </li>
 <li>addConditionalIntraEdge()
-: <a class="el" href="classSVF_1_1ICFG.html#a6436c2e6ab117007db80b9936fd4b5fe">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#aa4517b497891823eccbad2e790e2a440">SVF::ICFG</a>
 </li>
 <li>addConstantObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b">SVF::SVFIR</a>
@@ -348,9 +348,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def">SVF::DCHGraph</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">SVF::IRGraph</a>
-, <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#ac34cd4f9426da0325e67bc1b3d7bcecd">SVF::PAGBuilderFromFile</a>
+, <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#afe42e4086de6688002afd144507b0b62">SVF::PAGBuilderFromFile</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750">SVF::PTACallGraph</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#abd980f840b613171e879eb03f6089eeb">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ae07ab1c2549151d95114a9600399ffc3">SVF::SVFIRBuilder</a>
 </li>
 <li>ADDEDGE_ALLOPT
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5">SVF::MTASVFGBuilder</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -297,7 +297,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondManager.html#af2cf8e42c15d6a0640f13c55050f616f">SVF::CondManager</a>
 </li>
 <li>branchCondVal
-: <a class="el" href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge</a>
+: <a class="el" href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">SVF::IntraCFGEdge</a>
 </li>
 <li>BranchK
 : <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6ab2a0481a51dd867e2d2f196556c24521">SVF::CondExpr</a>

package/SVF-doxygen/html/html/functions_e.html

@@ -230,6 +230,9 @@ $(function() {
 <li>elemIdxVec
 : <a class="el" href="classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea">SVF::StInfo</a>
 </li>
+<li>elemNum
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d">SVF::ObjTypeInfo</a>
+</li>
 <li>emplacePts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>

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

@@ -72,7 +72,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>fieldExpand()
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a7995774ea0e6434a8f4f2b243c0064c2">SVF::AndersenSFR</a>
+: <a class="el" href="classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf">SVF::AndersenSFR</a>
 </li>
 <li>FieldReps
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d">SVF::AndersenSFR</a>
@@ -176,7 +176,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd">SVF::StInfo</a>
 </li>
 <li>fldIdx
-: <a class="el" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a5c2c1baa17a70b997824002e4c159cbd">SVF::LocationSet</a>
 </li>
 <li>fldIdx2TypeMap
 : <a class="el" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo</a>

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

@@ -68,11 +68,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea">SVF::RaceResultValidator::AccessPair</a>
 </li>
 <li>accumulateConstantFieldIdx()
-: <a class="el" href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a63c5c8e03b35e0d0cea94137d309c853">SVF::LocationSet</a>
 </li>
 <li>accumulateConstantOffset()
-: <a class="el" href="classSVF_1_1GepStmt.html#a33b3b9ef0cf7e2ea6400aef74a399adf">SVF::GepStmt</a>
-, <a class="el" href="classSVF_1_1LocationSet.html#a216afe1a2481c57b278549732d5e185e">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1GepStmt.html#a6ededc6dab6691afd1b355dd5d0ffdae">SVF::GepStmt</a>
+, <a class="el" href="classSVF_1_1LocationSet.html#ad8e250859aa1cf6ce18c6c0b7bbb2710">SVF::LocationSet</a>
 </li>
 <li>actualInOfIndCS()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6">SVF::SVFGOPT</a>
@@ -232,7 +232,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0cc6e4b4ab78f3c54b68fe35adb02957">SVF::LockAnalysis</a>
 </li>
 <li>addConditionalIntraEdge()
-: <a class="el" href="classSVF_1_1ICFG.html#a6436c2e6ab117007db80b9936fd4b5fe">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#aa4517b497891823eccbad2e790e2a440">SVF::ICFG</a>
 </li>
 <li>addConstantObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b">SVF::SVFIR</a>
@@ -315,9 +315,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def">SVF::DCHGraph</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">SVF::IRGraph</a>
-, <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#ac34cd4f9426da0325e67bc1b3d7bcecd">SVF::PAGBuilderFromFile</a>
+, <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#afe42e4086de6688002afd144507b0b62">SVF::PAGBuilderFromFile</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750">SVF::PTACallGraph</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#abd980f840b613171e879eb03f6089eeb">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ae07ab1c2549151d95114a9600399ffc3">SVF::SVFIRBuilder</a>
 </li>
 <li>AddExtActualParmSVFGNodes()
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SVF::SaberSVFGBuilder</a>

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

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>fieldExpand()
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a7995774ea0e6434a8f4f2b243c0064c2">SVF::AndersenSFR</a>
+: <a class="el" href="classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf">SVF::AndersenSFR</a>
 </li>
 <li>FIFOWorkList()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac">SVF::FIFOWorkList&lt; Data &gt;</a>

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

@@ -516,10 +516,10 @@ $(function() {
 </li>
 <li>getConstantFieldIdx()
 : <a class="el" href="classSVF_1_1DCHEdge.html#a500ccfa8f8327ab792844698423d8578">SVF::DCHEdge</a>
-, <a class="el" href="classSVF_1_1GepObjVar.html#a0ec94a6e2833d6cc3cfe3da6a643ead2">SVF::GepObjVar</a>
-, <a class="el" href="classSVF_1_1GepStmt.html#adf6912f8ddae4f765b685a4f9d3be602">SVF::GepStmt</a>
-, <a class="el" href="classSVF_1_1GepValVar.html#a911472d25ea95f2625d2f09470e3ffb2">SVF::GepValVar</a>
-, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a710e0791e92cca74da3df03ad5278c55">SVF::NormalGepCGEdge</a>
+, <a class="el" href="classSVF_1_1GepObjVar.html#aaf2ab86c43e4f33183289f9bdead36c1">SVF::GepObjVar</a>
+, <a class="el" href="classSVF_1_1GepStmt.html#a959a9c95d25f90fd7acc8e6e36056b56">SVF::GepStmt</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#a0e5084d3fc54a70ace07075f846395ef">SVF::GepValVar</a>
+, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a0c67a58a8ef22a07a1f45968ae0dfe4f">SVF::NormalGepCGEdge</a>
 </li>
 <li>getConstantNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91">SVF::IRGraph</a>
@@ -859,7 +859,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
 <li>getFlattenedElemIdx()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6fe89e9d6c18a6aff6dffc1c78d08dff">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8">SVF::SymbolTableInfo</a>
 </li>
 <li>getFlattenedElemIdxVec()
 : <a class="el" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo</a>
@@ -1303,9 +1303,6 @@ $(function() {
 <li>getMaxCxtSize()
 : <a class="el" href="classSVF_1_1TCT.html#a49f0672760c29b9be7b6f99a4c82ab7e">SVF::TCT</a>
 </li>
-<li>getMaxFieldLimit()
-: <a class="el" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo</a>
-</li>
 <li>getMaxFieldOffsetLimit()
 : <a class="el" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">SVF::ObjTypeInfo</a>
@@ -1345,7 +1342,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1419,7 +1416,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#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1502,6 +1499,9 @@ $(function() {
 <li>getNumOfCxtLocks()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5">SVF::LockAnalysis</a>
 </li>
+<li>getNumOfElements()
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a357e0965ff2a6d5468c87809fcdb2eb9">SVF::ObjTypeInfo</a>
+</li>
 <li>getNumOfFlattenElements()
 : <a class="el" href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#aec579894eed558ea89740b68360187aa">SVF::SymbolTableInfo</a>
@@ -2059,8 +2059,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccessorCondValue()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a7d2fa666602e0444d3e019563c0e7556">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1IntraCFGEdge.html#a40fab1a6b75f29cb629bfc05fb3a86b1">SVF::IntraCFGEdge</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a0881e8decb0bfe2066995d9d729d1aad">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1IntraCFGEdge.html#af7320c95bdc66e37153a79b9e38cfdb4">SVF::IntraCFGEdge</a>
 </li>
 <li>getSuccessors()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt</a>
@@ -2118,7 +2118,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2311,10 +2311,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#a0669b995c4fe72f206154f5cf6889fe8">SVF::DCHNode</a>
 </li>
 <li>getVirtualFunctionBasedonID()
-: <a class="el" href="classSVF_1_1CHGraph.html#a32f56db316a2a70940cf24435cff4965">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a7b678b4362a93e969f11b110b85d35ca">SVF::CHGraph</a>
 </li>
 <li>getVirtualFunctionID()
-: <a class="el" href="classSVF_1_1CHGraph.html#a913889c72bb8d6637ab7cef4c34613c5">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a7151563857b7b6bdf8195aa571df7516">SVF::CHGraph</a>
 </li>
 <li>getVirtualFunctions()
 : <a class="el" href="classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d">SVF::CHNode</a>
@@ -2333,7 +2333,7 @@ $(function() {
 : <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>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -141,7 +141,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>inferFieldIdxFromByteOffset()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a0dca1ee5a6ef5f109e6d9637e5b04a57">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a543276371db0120cabe8f63993a4839c">SVF::SVFIRBuilder</a>
 </li>
 <li>inferFromCallGraph()
 : <a class="el" href="classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137">SVF::PCG</a>

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

@@ -131,7 +131,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#aaec323fc8a3f83da4596ed7d447ab6f1">SVF::PathCondAllocator</a>
 </li>
 <li>setBranchCondition()
-: <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1da3dd867c2cbae9776c80cc4ab98a0f">SVF::IntraCFGEdge</a>
+: <a class="el" href="classSVF_1_1IntraCFGEdge.html#ab2b93e36ccce4bf1fde9a58b547fd1de">SVF::IntraCFGEdge</a>
 </li>
 <li>setCallGraph()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -210,7 +210,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#a15f6175372a785205c5f959b370c83b5">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#abe990543374ebd8c1b3ee0d37c83eb8f">SVF::LocationSet</a>
 </li>
 <li>setFormalOUTDef()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1">SVF::SVFGOPT</a>
@@ -244,9 +244,6 @@ $(function() {
 <li>setMaxCxtLen()
 : <a class="el" href="classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071">SVF::ContextCond</a>
 </li>
-<li>setMaxFieldLimit()
-: <a class="el" href="classSVF_1_1StInfo.html#aed9399cfe3ace00289f2a5265df80199">SVF::StInfo</a>
-</li>
 <li>setMaxFieldOffsetLimit()
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092">SVF::ObjTypeInfo</a>
 </li>
@@ -290,6 +287,9 @@ $(function() {
 <li>setNorRep()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a3cb6384160b50bd0a94de3fd2eb6facd">SVF::OfflineConsG</a>
 </li>
+<li>setNumOfElements()
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#aff17d13e520a731accedd06350af6221">SVF::ObjTypeInfo</a>
+</li>
 <li>setNumOfFieldsAndElems()
 : <a class="el" href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo</a>
 </li>

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

@@ -165,7 +165,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#af9dfd6804b5ebda0d4a963b1ce5e6887">SVF::SVFFunction</a>
 </li>
 <li>visit()
-: <a class="el" href="classSVF_1_1CSC.html#a2e595f5584ac62cddb45b70d8865f100">SVF::CSC</a>
+: <a class="el" href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">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>

package/SVF-doxygen/html/html/functions_g.html

@@ -593,10 +593,10 @@ $(function() {
 </li>
 <li>getConstantFieldIdx()
 : <a class="el" href="classSVF_1_1DCHEdge.html#a500ccfa8f8327ab792844698423d8578">SVF::DCHEdge</a>
-, <a class="el" href="classSVF_1_1GepObjVar.html#a0ec94a6e2833d6cc3cfe3da6a643ead2">SVF::GepObjVar</a>
-, <a class="el" href="classSVF_1_1GepStmt.html#adf6912f8ddae4f765b685a4f9d3be602">SVF::GepStmt</a>
-, <a class="el" href="classSVF_1_1GepValVar.html#a911472d25ea95f2625d2f09470e3ffb2">SVF::GepValVar</a>
-, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a710e0791e92cca74da3df03ad5278c55">SVF::NormalGepCGEdge</a>
+, <a class="el" href="classSVF_1_1GepObjVar.html#aaf2ab86c43e4f33183289f9bdead36c1">SVF::GepObjVar</a>
+, <a class="el" href="classSVF_1_1GepStmt.html#a959a9c95d25f90fd7acc8e6e36056b56">SVF::GepStmt</a>
+, <a class="el" href="classSVF_1_1GepValVar.html#a0e5084d3fc54a70ace07075f846395ef">SVF::GepValVar</a>
+, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a0c67a58a8ef22a07a1f45968ae0dfe4f">SVF::NormalGepCGEdge</a>
 </li>
 <li>getConstantNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91">SVF::IRGraph</a>
@@ -936,7 +936,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
 <li>getFlattenedElemIdx()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6fe89e9d6c18a6aff6dffc1c78d08dff">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8">SVF::SymbolTableInfo</a>
 </li>
 <li>getFlattenedElemIdxVec()
 : <a class="el" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo</a>
@@ -1380,9 +1380,6 @@ $(function() {
 <li>getMaxCxtSize()
 : <a class="el" href="classSVF_1_1TCT.html#a49f0672760c29b9be7b6f99a4c82ab7e">SVF::TCT</a>
 </li>
-<li>getMaxFieldLimit()
-: <a class="el" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo</a>
-</li>
 <li>getMaxFieldOffsetLimit()
 : <a class="el" href="classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4">SVF::ObjTypeInfo</a>
@@ -1421,7 +1418,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#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
@@ -1496,7 +1493,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>
@@ -1579,6 +1576,9 @@ $(function() {
 <li>getNumOfCxtLocks()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5">SVF::LockAnalysis</a>
 </li>
+<li>getNumOfElements()
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a357e0965ff2a6d5468c87809fcdb2eb9">SVF::ObjTypeInfo</a>
+</li>
 <li>getNumOfFlattenElements()
 : <a class="el" href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#aec579894eed558ea89740b68360187aa">SVF::SymbolTableInfo</a>
@@ -2136,15 +2136,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccessorCondValue()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a7d2fa666602e0444d3e019563c0e7556">SVF::BranchStmt</a>
-, <a class="el" href="classSVF_1_1IntraCFGEdge.html#a40fab1a6b75f29cb629bfc05fb3a86b1">SVF::IntraCFGEdge</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a0881e8decb0bfe2066995d9d729d1aad">SVF::BranchStmt</a>
+, <a class="el" href="classSVF_1_1IntraCFGEdge.html#af7320c95bdc66e37153a79b9e38cfdb4">SVF::IntraCFGEdge</a>
 </li>
 <li>getSuccessors()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2209,7 +2209,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>
@@ -2388,10 +2388,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#a0669b995c4fe72f206154f5cf6889fe8">SVF::DCHNode</a>
 </li>
 <li>getVirtualFunctionBasedonID()
-: <a class="el" href="classSVF_1_1CHGraph.html#a32f56db316a2a70940cf24435cff4965">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a7b678b4362a93e969f11b110b85d35ca">SVF::CHGraph</a>
 </li>
 <li>getVirtualFunctionID()
-: <a class="el" href="classSVF_1_1CHGraph.html#a913889c72bb8d6637ab7cef4c34613c5">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a7151563857b7b6bdf8195aa571df7516">SVF::CHGraph</a>
 </li>
 <li>getVirtualFunctions()
 : <a class="el" href="classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d">SVF::CHNode</a>

package/SVF-doxygen/html/html/functions_i.html

@@ -268,7 +268,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>inferFieldIdxFromByteOffset()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a0dca1ee5a6ef5f109e6d9637e5b04a57">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a543276371db0120cabe8f63993a4839c">SVF::SVFIRBuilder</a>
 </li>
 <li>inferFromCallGraph()
 : <a class="el" href="classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137">SVF::PCG</a>

package/SVF-doxygen/html/html/functions_l.html

@@ -209,7 +209,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">SVF::PTAStat</a>
 </li>
 <li>LocationSet()
-: <a class="el" href="classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a40cc38cbc1a9433d1d83724767dc41ba">SVF::LocationSet</a>
 </li>
 <li>LocID
 : <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/html/functions_m.html

@@ -174,10 +174,6 @@ $(function() {
 <li>MaxFieldLimit
 : <a class="el" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">SVF::Options</a>
 </li>
-<li>maxFieldLimit
-: <a class="el" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26">SVF::SymbolTableInfo</a>
-</li>
 <li>maxGrowth
 : <a class="el" href="structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7">DdManager</a>
 </li>
@@ -591,7 +587,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt</a>
 </li>
 <li>MultiOpndStmt()
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#aad0c81aeb48e5d94dd8c60d87b41714c">SVF::MultiOpndStmt</a>
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6">SVF::MultiOpndStmt</a>
 </li>
 <li>MUSet
 : <a class="el" href="classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_n.html

@@ -189,7 +189,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598">SVF::IRGraph</a>
 </li>
 <li>NodeOffset
-: <a class="el" href="classSVF_1_1SVFIR.html#ad69ce40d95681d1bd8503e08228609c4">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a7e908658e66155313c3fbf5a52612b6a">SVF::SVFIR</a>
 </li>
 <li>NodeOffsetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d">SVF::SVFIR</a>

package/SVF-doxygen/html/html/functions_o.html

@@ -424,40 +424,40 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
-<li>opVers
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
-</li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
+<li>OPVers
+: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
+</li>
 <li>OR()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c">SVF::BranchCondManager</a>
 , <a class="el" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">SVF::CondManager</a>

package/SVF-doxygen/html/html/functions_p.html

@@ -172,12 +172,12 @@ $(function() {
 <li>PAGPrint
 : <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
 </li>
-<li>pagReadFromTXT()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
-</li>
 <li>pagReadFromTxt
 : <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTXT()
+: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -882,12 +882,12 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>PTATY
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
-</li>
 <li>ptaTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
 </li>
+<li>PTATY
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
@@ -950,12 +950,12 @@ $(function() {
 <li>PTRONLYSVFG_OPT
 : <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG</a>
 </li>
-<li>PtrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -1032,7 +1032,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>