svf-tools 1.0.403 → 1.0.406

package/SVF-doxygen/html/html/search/functions_5.js

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['fc_5fisnan',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
-  ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#a7995774ea0e6434a8f4f2b243c0064c2',1,'SVF::AndersenSFR']]],
+  ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf',1,'SVF::AndersenSFR']]],
   ['fifoworklist',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList']]],
   ['filechecker',['FileChecker',['../classSVF_1_1FileChecker.html#a283b5e46aba5e964f0a54abc33fcb7b6',1,'SVF::FileChecker::FileChecker()'],['../saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472',1,'FILECHECKER(): saber.cpp']]],
   ['filoworklist',['FILOWorkList',['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList']]],

package/SVF-doxygen/html/html/search/functions_6.js

@@ -134,7 +134,7 @@ var searchData=
   ['getcondpointsto',['getCondPointsTo',['../classSVF_1_1CondPTAImpl.html#a454a998ef5a866f2a6f270e3283c6ebd',1,'SVF::CondPTAImpl']]],
   ['getcondvar',['getCondVar',['../classSVF_1_1CxtStmtDPItem.html#ab1098f5093419b62ea27a20933059270',1,'SVF::CxtStmtDPItem::getCondVar()'],['../classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56',1,'SVF::PathStmtDPItem::getCondVar()']]],
   ['getconservativecpts',['getConservativeCPts',['../classSVF_1_1ContextDDA.html#a32ce0085cb99f92f63b54df0f2ea2523',1,'SVF::ContextDDA::getConservativeCPts()'],['../classSVF_1_1DDAVFSolver.html#a38f5a6b666b2a427d55f1217f9c5595f',1,'SVF::DDAVFSolver::getConservativeCPts()'],['../classSVF_1_1FlowDDA.html#a086e428c83c2c3ed7fdfbbfd17abdf78',1,'SVF::FlowDDA::getConservativeCPts()']]],
-  ['getconstantfieldidx',['getConstantFieldIdx',['../classSVF_1_1NormalGepCGEdge.html#a710e0791e92cca74da3df03ad5278c55',1,'SVF::NormalGepCGEdge::getConstantFieldIdx()'],['../classSVF_1_1GepStmt.html#adf6912f8ddae4f765b685a4f9d3be602',1,'SVF::GepStmt::getConstantFieldIdx()'],['../classSVF_1_1GepValVar.html#a911472d25ea95f2625d2f09470e3ffb2',1,'SVF::GepValVar::getConstantFieldIdx()'],['../classSVF_1_1GepObjVar.html#a0ec94a6e2833d6cc3cfe3da6a643ead2',1,'SVF::GepObjVar::getConstantFieldIdx()'],['../classSVF_1_1DCHEdge.html#a500ccfa8f8327ab792844698423d8578',1,'SVF::DCHEdge::getConstantFieldIdx()']]],
+  ['getconstantfieldidx',['getConstantFieldIdx',['../classSVF_1_1NormalGepCGEdge.html#a0c67a58a8ef22a07a1f45968ae0dfe4f',1,'SVF::NormalGepCGEdge::getConstantFieldIdx()'],['../classSVF_1_1GepStmt.html#a959a9c95d25f90fd7acc8e6e36056b56',1,'SVF::GepStmt::getConstantFieldIdx()'],['../classSVF_1_1GepValVar.html#a0e5084d3fc54a70ace07075f846395ef',1,'SVF::GepValVar::getConstantFieldIdx()'],['../classSVF_1_1GepObjVar.html#aaf2ab86c43e4f33183289f9bdead36c1',1,'SVF::GepObjVar::getConstantFieldIdx()'],['../classSVF_1_1DCHEdge.html#a500ccfa8f8327ab792844698423d8578',1,'SVF::DCHEdge::getConstantFieldIdx()']]],
   ['getconstantnode',['getConstantNode',['../classSVF_1_1IRGraph.html#ac5da3a0cbe040a45d719b6f6a23aed91',1,'SVF::IRGraph']]],
   ['getconstantobj',['getConstantObj',['../classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb',1,'SVF::IRGraph::getConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a661eb9ff1839c3af942517808414202b',1,'SVF::SymbolTableInfo::getConstantObj()']]],
   ['getconstraintgraph',['getConstraintGraph',['../classSVF_1_1AndersenBase.html#aaec5125db063f8c1e7431ac7fe7a70f2',1,'SVF::AndersenBase']]],
@@ -232,7 +232,7 @@ var searchData=
   ['getfilename',['getFileName',['../classSVF_1_1PAGBuilderFromFile.html#aaaa1e516e5eeceece371a9178142c3ff',1,'SVF::PAGBuilderFromFile']]],
   ['getfilterset',['getFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356',1,'SVF::TypeBasedHeapCloning']]],
   ['getfiobjvar',['getFIObjVar',['../classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731',1,'SVF::ConstraintGraph::getFIObjVar()'],['../classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac',1,'SVF::PointerAnalysis::getFIObjVar()'],['../classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354',1,'SVF::SVFIR::getFIObjVar(const MemObj *obj) const'],['../classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628',1,'SVF::SVFIR::getFIObjVar(NodeID id) const']]],
-  ['getflattenedelemidx',['getFlattenedElemIdx',['../classSVF_1_1SymbolTableInfo.html#a6fe89e9d6c18a6aff6dffc1c78d08dff',1,'SVF::SymbolTableInfo']]],
+  ['getflattenedelemidx',['getFlattenedElemIdx',['../classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8',1,'SVF::SymbolTableInfo']]],
   ['getflattenedelemidxvec',['getFlattenedElemIdxVec',['../classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb',1,'SVF::StInfo']]],
   ['getflattenedfieldidxvec',['getFlattenedFieldIdxVec',['../classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05',1,'SVF::StInfo']]],
   ['getflattenelementtypes',['getFlattenElementTypes',['../classSVF_1_1StInfo.html#ae46e3a2f3eb02e9facf3e317faaf337d',1,'SVF::StInfo']]],
@@ -372,7 +372,6 @@ var searchData=
   ['getmaxbinomial',['getMaxBinomial',['../cuddInt_8c.html#a8d6e0a9b3d8a765f0f3cf2be553345a6',1,'cuddInt.c']]],
   ['getmaxbudget',['getMaxBudget',['../classSVF_1_1DPItem.html#af9d8f95249190e164131dc19b6db1b67',1,'SVF::DPItem']]],
   ['getmaxcxtsize',['getMaxCxtSize',['../classSVF_1_1TCT.html#a49f0672760c29b9be7b6f99a4c82ab7e',1,'SVF::TCT']]],
-  ['getmaxfieldlimit',['getMaxFieldLimit',['../classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2',1,'SVF::StInfo']]],
   ['getmaxfieldoffsetlimit',['getMaxFieldOffsetLimit',['../classSVF_1_1MemObj.html#a51be7ad70bc2c6a4230bd2f6b86bdc88',1,'SVF::MemObj::getMaxFieldOffsetLimit()'],['../classSVF_1_1ObjTypeInfo.html#a81bc3d785062c7e527ecf8e564cd52a4',1,'SVF::ObjTypeInfo::getMaxFieldOffsetLimit()']]],
   ['getmaxpathlen',['getMaxPathLen',['../classSVF_1_1ContextCond.html#a935415951bfc6f5089663980bf8e324d',1,'SVF::ContextCond']]],
   ['getmaxstructsize',['getMaxStructSize',['../classSVF_1_1SymbolTableInfo.html#abc7e567209010286a68634c700d76cca',1,'SVF::SymbolTableInfo']]],
@@ -423,6 +422,7 @@ var searchData=
   ['getnumfields',['getNumFields',['../classSVF_1_1DCHGraph.html#a0788694fbff155949fc4f4d6487c223e',1,'SVF::DCHGraph']]],
   ['getnumobjects',['getNumObjects',['../classSVF_1_1NodeIDAllocator.html#ad63e43c65cb7d7cac7824f5cede5ec89',1,'SVF::NodeIDAllocator']]],
   ['getnumofcxtlocks',['getNumOfCxtLocks',['../classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5',1,'SVF::LockAnalysis']]],
+  ['getnumofelements',['getNumOfElements',['../classSVF_1_1ObjTypeInfo.html#a357e0965ff2a6d5468c87809fcdb2eb9',1,'SVF::ObjTypeInfo']]],
   ['getnumofflattenelements',['getNumOfFlattenElements',['../classSVF_1_1SymbolTableInfo.html#aec579894eed558ea89740b68360187aa',1,'SVF::SymbolTableInfo::getNumOfFlattenElements()'],['../classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762',1,'SVF::StInfo::getNumOfFlattenElements()']]],
   ['getnumofflattenfields',['getNumOfFlattenFields',['../classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0',1,'SVF::StInfo']]],
   ['getnumofforksite',['getNumOfForksite',['../classSVF_1_1ThreadCallGraph.html#aa847760765aae18bcb93b260a881441b',1,'SVF::ThreadCallGraph']]],
@@ -582,7 +582,7 @@ var searchData=
   ['getsubnodes',['getSubNodes',['../classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f',1,'SVF::Steensgaard']]],
   ['getsubs',['getSubs',['../classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73',1,'SVF::ConstraintGraph']]],
   ['getsuccessor',['getSuccessor',['../classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30',1,'SVF::BranchVFGNode::getSuccessor()'],['../classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8',1,'SVF::BranchStmt::getSuccessor()']]],
-  ['getsuccessorcondvalue',['getSuccessorCondValue',['../classSVF_1_1IntraCFGEdge.html#a40fab1a6b75f29cb629bfc05fb3a86b1',1,'SVF::IntraCFGEdge::getSuccessorCondValue()'],['../classSVF_1_1BranchStmt.html#a7d2fa666602e0444d3e019563c0e7556',1,'SVF::BranchStmt::getSuccessorCondValue()']]],
+  ['getsuccessorcondvalue',['getSuccessorCondValue',['../classSVF_1_1IntraCFGEdge.html#af7320c95bdc66e37153a79b9e38cfdb4',1,'SVF::IntraCFGEdge::getSuccessorCondValue()'],['../classSVF_1_1BranchStmt.html#a0881e8decb0bfe2066995d9d729d1aad',1,'SVF::BranchStmt::getSuccessorCondValue()']]],
   ['getsuccessors',['getSuccessors',['../classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360',1,'SVF::BranchVFGNode::getSuccessors()'],['../classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd',1,'SVF::BranchStmt::getSuccessors()']]],
   ['getsuccnodes',['getSuccNodes',['../classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n)'],['../classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53',1,'SVF::MTASVFGBuilder::getSuccNodes(const StmtSVFGNode *n, NodeID o)']]],
   ['getsvffun',['getSVFFun',['../classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba',1,'SVF::PCG::getSVFFun()'],['../classSVF_1_1TCT.html#a21bcc063a406eb8650df42cf5ced68c9',1,'SVF::TCT::getSVFFun()']]],
@@ -651,8 +651,8 @@ var searchData=
   ['getvfnsfromvtbls',['getVFnsFromVtbls',['../classSVF_1_1CommonCHGraph.html#aae511b2ee7c2c7ea7be70c7884e92021',1,'SVF::CommonCHGraph::getVFnsFromVtbls()'],['../classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e',1,'SVF::CHGraph::getVFnsFromVtbls()'],['../classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa',1,'SVF::DCHGraph::getVFnsFromVtbls()']]],
   ['getvfnvector',['getVfnVector',['../classSVF_1_1DCHNode.html#a11ad6b4fc518f6307727f6b76f7f6f53',1,'SVF::DCHNode']]],
   ['getvfnvectors',['getVfnVectors',['../classSVF_1_1DCHNode.html#a0669b995c4fe72f206154f5cf6889fe8',1,'SVF::DCHNode']]],
-  ['getvirtualfunctionbasedonid',['getVirtualFunctionBasedonID',['../classSVF_1_1CHGraph.html#a32f56db316a2a70940cf24435cff4965',1,'SVF::CHGraph']]],
-  ['getvirtualfunctionid',['getVirtualFunctionID',['../classSVF_1_1CHGraph.html#a913889c72bb8d6637ab7cef4c34613c5',1,'SVF::CHGraph']]],
+  ['getvirtualfunctionbasedonid',['getVirtualFunctionBasedonID',['../classSVF_1_1CHGraph.html#a7b678b4362a93e969f11b110b85d35ca',1,'SVF::CHGraph']]],
+  ['getvirtualfunctionid',['getVirtualFunctionID',['../classSVF_1_1CHGraph.html#a7151563857b7b6bdf8195aa571df7516',1,'SVF::CHGraph']]],
   ['getvirtualfunctions',['getVirtualFunctions',['../classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d',1,'SVF::CHNode']]],
   ['getvirtualfunctionvectors',['getVirtualFunctionVectors',['../classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af',1,'SVF::CHNode']]],
   ['getvtable',['getVTable',['../classSVF_1_1CHNode.html#a600b63dac83e526c933c141d4e2bcc0c',1,'SVF::CHNode::getVTable()'],['../classSVF_1_1DCHNode.html#a1a75ca91148992166d42d245d6c51988',1,'SVF::DCHNode::getVTable()']]],

package/SVF-doxygen/html/html/search/functions_8.js

@@ -29,7 +29,7 @@ var searchData=
   ['indvfedgestart',['indVFEdgeStart',['../classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21',1,'SVF::SVFGStat']]],
   ['inedgebegin',['InEdgeBegin',['../classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7',1,'SVF::GenericNode::InEdgeBegin()'],['../classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39',1,'SVF::GenericNode::InEdgeBegin() const']]],
   ['inedgeend',['InEdgeEnd',['../classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900',1,'SVF::GenericNode::InEdgeEnd()'],['../classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07',1,'SVF::GenericNode::InEdgeEnd() const']]],
-  ['inferfieldidxfrombyteoffset',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a0dca1ee5a6ef5f109e6d9637e5b04a57',1,'SVF::SVFIRBuilder']]],
+  ['inferfieldidxfrombyteoffset',['inferFieldIdxFromByteOffset',['../classSVF_1_1SVFIRBuilder.html#a543276371db0120cabe8f63993a4839c',1,'SVF::SVFIRBuilder']]],
   ['inferfromcallgraph',['inferFromCallGraph',['../classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137',1,'SVF::PCG']]],
   ['infilter',['inFilter',['../classSVF_1_1LockResultValidator.html#a445dbda778198acac87fbbfa029b0dfb',1,'SVF::LockResultValidator']]],
   ['inforwardslice',['inForwardSlice',['../classSVF_1_1SVFGStat.html#adc6a5c3e430bdf942f1462e101ac6917',1,'SVF::SVFGStat::inForwardSlice()'],['../classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6',1,'SVF::ProgSlice::inForwardSlice()']]],

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

@@ -12,7 +12,7 @@ var searchData=
   ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
   ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567',1,'SVF::LoadVFGNode::LoadVFGNode()'],['../classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039',1,'SVF::LoadVFGNode::LoadVFGNode(const LoadVFGNode &)'],['../classSVF_1_1LoadVFGNode.html#a8ae07c41215e9c7544c45e581c18c29b',1,'SVF::LoadVFGNode::LoadVFGNode(NodeID id, const LoadStmt *edge)']]],
-  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47',1,'SVF::LocationSet::LocationSet(s64_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)']]],
+  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html#a40cc38cbc1a9433d1d83724767dc41ba',1,'SVF::LocationSet::LocationSet(s32_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)']]],
   ['lockanalysis',['LockAnalysis',['../classSVF_1_1LockAnalysis.html#af8aff31058caba691c127b8aef297b43',1,'SVF::LockAnalysis']]],
   ['lockresultvalidator',['LockResultValidator',['../classSVF_1_1LockResultValidator.html#acfe0b43eee73c5e02f5744d8993cb529',1,'SVF::LockResultValidator']]]
 ];

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

@@ -37,7 +37,7 @@ var searchData=
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],
   ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
-  ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
+  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
   ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(void)=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abe128c47fb16093756195f789e5f68d5',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
   ['pop',['pop',['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],

package/SVF-doxygen/html/html/search/typedefs_11.js

@@ -41,7 +41,7 @@ var searchData=
   ['structlayout',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
   ['structtype',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
   ['succ_5fconst_5fiterator',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
-  ['succandcondpairvec',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#ac486fb3a118e6153892b998b0ef46890',1,'SVF::BranchStmt']]],
+  ['succandcondpairvec',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
   ['super',['super',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aba9aa299a72307833598eca0ade33504',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['svfgedge',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
   ['svfgedgek',['SVFGEdgeK',['../classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b',1,'SVF::ICFGEdge::SVFGEdgeK()'],['../classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f',1,'SVF::VFGEdge::SVFGEdgeK()']]],

package/SVF-doxygen/html/html/search/typedefs_d.js

@@ -13,7 +13,7 @@ var searchData=
   ['nodelist',['NodeList',['../namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5',1,'SVF']]],
   ['nodelocationset',['NodeLocationSet',['../classSVF_1_1SVFIR.html#a323e459ca43e239ddcdc8d00c6a8db6d',1,'SVF::SVFIR']]],
   ['nodelocationsetmap',['NodeLocationSetMap',['../classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4',1,'SVF::SVFIR']]],
-  ['nodeoffset',['NodeOffset',['../classSVF_1_1SVFIR.html#ad69ce40d95681d1bd8503e08228609c4',1,'SVF::SVFIR']]],
+  ['nodeoffset',['NodeOffset',['../classSVF_1_1SVFIR.html#a7e908658e66155313c3fbf5a52612b6a',1,'SVF::SVFIR']]],
   ['nodeoffsetmap',['NodeOffsetMap',['../classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d',1,'SVF::SVFIR']]],
   ['nodepair',['NodePair',['../namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b',1,'SVF']]],
   ['nodepairmap',['NodePairMap',['../namespaceSVF.html#a56a7d652fccf3134748f3cb8e8334b76',1,'SVF']]],

package/SVF-doxygen/html/html/search/variables_14.js

@@ -26,13 +26,13 @@ var searchData=
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

package/SVF-doxygen/html/html/search/variables_15.js

@@ -8,7 +8,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
+  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/variables_16.js

@@ -20,14 +20,14 @@ var searchData=
   ['versionreliance',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
   ['vfedgesatindcallsite',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
   ['vfgnodes',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
-  ['vfid',['vfID',['../classSVF_1_1CHGraph.html#ac3be8c8dfee16d7508b73b6f2270eb2d',1,'SVF::CHGraph']]],
+  ['vfid',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
   ['vfnvectors',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
   ['vfpath',['vfpath',['../classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4',1,'SVF::PathStmtDPItem']]],
   ['vfspta',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
   ['vfunprelabel',['vfunPreLabel',['../CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b',1,'CPPUtil.cpp']]],
   ['vid',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
   ['virtualcallsites',['virtualCallSites',['../classSVF_1_1TypeAnalysis.html#aa7fb5d1cd8e42058120758a990ed471d',1,'SVF::TypeAnalysis']]],
-  ['virtualfunctiontoidmap',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a',1,'SVF::CHGraph']]],
+  ['virtualfunctiontoidmap',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],
   ['virtualfunctionvectors',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
   ['visitedctps',['visitedCTPs',['../classSVF_1_1LockAnalysis.html#aa9f27774c021f4d65fb6a97627355bd7',1,'SVF::LockAnalysis::visitedCTPs()'],['../classSVF_1_1TCT.html#a402dd078c46efc1d7348d81b45e347f2',1,'SVF::TCT::visitedCTPs()']]],
   ['visitedset',['visitedSet',['../classSVF_1_1SrcSnkDDA.html#a2349db6c540e418600e2fdbe2e665628',1,'SVF::SrcSnkDDA']]],

package/SVF-doxygen/html/html/search/variables_2.js

@@ -20,7 +20,7 @@ var searchData=
   ['branchcond',['branchCond',['../classSVF_1_1BranchCondExpr.html#a99b54ea1152131f8e0991374043ffced',1,'SVF::BranchCondExpr']]],
   ['branchcondmanager',['branchCondManager',['../classSVF_1_1CondManager.html#ac735eb27ed4328f97ced87494683f7f1',1,'SVF::CondManager']]],
   ['branchcondtocondexpr',['branchCondToCondExpr',['../classSVF_1_1CondManager.html#afd01891f45e085e990c9dbba5cbf3914',1,'SVF::CondManager']]],
-  ['branchcondval',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3',1,'SVF::IntraCFGEdge']]],
+  ['branchcondval',['branchCondVal',['../classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10',1,'SVF::IntraCFGEdge']]],
   ['briefconscgdotgraph',['BriefConsCGDotGraph',['../classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177',1,'SVF::Options']]],
   ['brinst',['brInst',['../classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a',1,'SVF::BranchStmt']]],
   ['brstmt',['brstmt',['../classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10',1,'SVF::BranchVFGNode']]],

package/SVF-doxygen/html/html/search/variables_5.js

@@ -14,6 +14,7 @@ var searchData=
   ['elder',['elder',['../structMtrNode.html#a7c8ed9787ec60487fad7b2fede53df98',1,'MtrNode']]],
   ['elements',['elements',['../classSVF_1_1CondStdSet.html#a1caece9a66b6617b89037fd8211f2934',1,'SVF::CondStdSet']]],
   ['elemidxvec',['elemIdxVec',['../classSVF_1_1StInfo.html#a807ae5cb4d277c79f8b2c9ecde5f12ea',1,'SVF::StInfo']]],
+  ['elemnum',['elemNum',['../classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d',1,'SVF::ObjTypeInfo']]],
   ['empty',['empty',['../cuddInt_8c.html#a5beb39637a978181c7c17714ac96672e',1,'cuddInt.c']]],
   ['enablealiascheck',['EnableAliasCheck',['../classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c',1,'SVF::Options']]],
   ['enablethreadcallgraph',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/variables_6.js

@@ -15,7 +15,7 @@ var searchData=
   ['fkjntoptascevmap',['fkjnToPTASCEVMap',['../classSVF_1_1ForkJoinAnalysis.html#a4207948054a0f98560922f3f07ada10f',1,'SVF::ForkJoinAnalysis']]],
   ['flags',['flags',['../structMove.html#a279868fb9de35a14b9b4a066487a5e68',1,'Move::flags()'],['../structMtrNode.html#a729ce47dfa70a8e041a89d478c6565f5',1,'MtrNode::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1',1,'SVF::ObjTypeInfo::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()']]],
   ['flattenelementtypes',['flattenElementTypes',['../classSVF_1_1StInfo.html#a8b24c6a35701a719cd5f1deef62421cd',1,'SVF::StInfo']]],
-  ['fldidx',['fldIdx',['../classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03',1,'SVF::LocationSet']]],
+  ['fldidx',['fldIdx',['../classSVF_1_1LocationSet.html#a5c2c1baa17a70b997824002e4c159cbd',1,'SVF::LocationSet']]],
   ['fldidx2typemap',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479',1,'SVF::StInfo']]],
   ['fldidxvec',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
   ['flowbudget',['FlowBudget',['../classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/variables_d.js

@@ -17,7 +17,7 @@ var searchData=
   ['maxcachehard',['maxCacheHard',['../structDdManager.html#a1b53bee9cf86fc1131c420c2aef7e473',1,'DdManager']]],
   ['maxcontextlen',['MaxContextLen',['../classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8',1,'SVF::Options']]],
   ['maxcxtsize',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()']]],
+  ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options']]],
   ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
   ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
   ['maximumbudget',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html

@@ -109,8 +109,8 @@ struct std::hash&lt; SVF::LocationSet &gt;</h3>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00139">139</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                                                      {</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;SVF::NodeID, SVF::NodeID&gt;</a>&gt; h;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        std::hash&lt;SVF::LocationSet::OffsetValueVec&gt; v;</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(ls.<a class="code" href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">accumulateConstantFieldIdx</a>(), v(ls.<a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>())));</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_ab987c41ffdae931d941f89d03ed09146"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">s64_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00090">LocationSet.h:90</a></div></div>
-<div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00052">SVFBasicTypes.h:52</a></div></div>
+<div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                                                      {</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;SVF::NodeID, SVF::NodeID&gt;</a>&gt; h;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        std::hash&lt;SVF::LocationSet::OffsetValueVec&gt; v;</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(ls.<a class="code" href="classSVF_1_1LocationSet.html#a63c5c8e03b35e0d0cea94137d309c853">accumulateConstantFieldIdx</a>(), v(ls.<a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>())));</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00052">SVFBasicTypes.h:52</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a63c5c8e03b35e0d0cea94137d309c853"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a63c5c8e03b35e0d0cea94137d309c853">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">s32_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00090">LocationSet.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00098">LocationSet.h:98</a></div></div>
 </div><!-- fragment -->
 </div>

package/include/Graphs/CHG.h

@@ -238,18 +238,18 @@ public:
     void view();
     void printCH();
 
-    inline s64_t getVirtualFunctionID(const SVFFunction* vfn) const
+    inline u32_t getVirtualFunctionID(const SVFFunction* vfn) const
     {
-        Map<const SVFFunction*, s64_t>::const_iterator it =
+        Map<const SVFFunction*, u32_t>::const_iterator it =
             virtualFunctionToIDMap.find(vfn);
         if (it != virtualFunctionToIDMap.end())
             return it->second;
         else
             return -1;
     }
-    inline const SVFFunction* getVirtualFunctionBasedonID(s64_t id) const
+    inline const SVFFunction* getVirtualFunctionBasedonID(u32_t id) const
     {
-        Map<const SVFFunction*, s64_t>::const_iterator it, eit;
+        Map<const SVFFunction*, u32_t>::const_iterator it, eit;
         for (it = virtualFunctionToIDMap.begin(), eit =
                     virtualFunctionToIDMap.end(); it != eit; ++it)
         {
@@ -309,7 +309,7 @@ public:
 private:
     SVFModule* svfMod;
     u32_t classNum;
-    s64_t vfID;
+    u32_t vfID;
     double buildingCHGTime;
     Map<std::string, CHNode *> classNameToNodeMap;
     NameToCHNodesMap classNameToDescendantsMap;
@@ -318,7 +318,7 @@ private:
     NameToCHNodesMap templateNameToInstancesMap;
     CallSiteToCHNodesMap csToClassesMap;
 
-    Map<const SVFFunction*, s64_t> virtualFunctionToIDMap;
+    Map<const SVFFunction*, u32_t> virtualFunctionToIDMap;
     CallSiteToVTableSetMap csToCHAVtblsMap;
     CallSiteToVFunSetMap csToCHAVFnsMap;
 };

package/include/Graphs/ConsGEdge.h

@@ -304,7 +304,7 @@ public:
     }
 
     /// Get location set of the gep edge
-    inline s64_t getConstantFieldIdx() const
+    inline s32_t getConstantFieldIdx() const
     {
         return ls.accumulateConstantFieldIdx();
     }

package/include/Graphs/ICFG.h

@@ -128,7 +128,7 @@ protected:
     /// Add control-flow edges for top level pointers
     //@{
     ICFGEdge* addIntraEdge(ICFGNode* srcNode, ICFGNode* dstNode);
-    ICFGEdge* addConditionalIntraEdge(ICFGNode* srcNode, ICFGNode* dstNode, const Value* condition, s64_t branchCondVal);
+    ICFGEdge* addConditionalIntraEdge(ICFGNode* srcNode, ICFGNode* dstNode, const Value* condition, s32_t branchCondVal);
     ICFGEdge* addCallEdge(ICFGNode* srcNode, ICFGNode* dstNode, const Instruction* cs);
     ICFGEdge* addRetEdge(ICFGNode* srcNode, ICFGNode* dstNode, const Instruction* cs);
     //@}

package/include/Graphs/ICFGEdge.h

@@ -138,12 +138,12 @@ public:
         return conditionVar;
     }
 
-    const s64_t getSuccessorCondValue() const{
+    const s32_t getSuccessorCondValue() const{
         assert(getCondition() && "this is not a conditional branch edge");
         return branchCondVal;
     }
 
-    void setBranchCondition(const Value* c, s64_t bVal){
+    void setBranchCondition(const Value* c, s32_t bVal){
         conditionVar = c;
         branchCondVal = bVal;
     }
@@ -156,7 +156,7 @@ private:
     /// e.g., Inst1: br %cmp label 0, label 1,  Inst2 is label 0 and Inst 3 is label 1;
     /// for edge between Inst1 and Inst 2, the first element is %cmp and second element is 0
     const Value* conditionVar;
-    s64_t branchCondVal;
+    s32_t branchCondVal;
 };
 
 /*!

package/include/MemoryModel/LocationSet.h

@@ -57,7 +57,7 @@ public:
     typedef std::vector<std::pair<const Value*, const Type*> > OffsetValueVec;
 
     /// Constructor
-    LocationSet(s64_t o = 0) : fldIdx(o)
+    LocationSet(s32_t o = 0) : fldIdx(o)
     {}
 
     /// Copy Constructor
@@ -87,11 +87,11 @@ public:
 
     /// Get methods
     //@{
-    inline s64_t accumulateConstantFieldIdx() const
+    inline s32_t accumulateConstantFieldIdx() const
     {
         return fldIdx;
     }
-    inline void setFldIdx(s64_t idx)
+    inline void setFldIdx(s32_t idx)
     {
         fldIdx = idx;
     }
@@ -102,7 +102,7 @@ public:
     //@}
 
     /// Return accumulated constant offset given OffsetValueVec
-    s64_t accumulateConstantOffset() const;
+    s32_t accumulateConstantOffset() const;
 
     /// Return element number of a type. 
     u32_t getElementNum(const Type* type) const;
@@ -129,7 +129,7 @@ private:
     /// Compute all possible locations according to offset and number-stride pairs.
     NodeBS computeAllLocations() const;
 
-    s64_t fldIdx;	///< Accumulated Constant Offsets
+    s32_t fldIdx;	///< Accumulated Constant Offsets
     OffsetValueVec offsetValues;	///< a vector of actual offset in the form of Values
 };
 

package/include/MemoryModel/PAGBuilderFromFile.h

@@ -71,7 +71,7 @@ public:
     SVFIR* build();
 
     // Add edges
-    void addEdge(NodeID nodeSrc, NodeID nodeDst, s64_t offset,
+    void addEdge(NodeID nodeSrc, NodeID nodeDst, s32_t offset,
                  std::string edge);
 };
 

package/include/MemoryModel/SVFIR.h

@@ -63,7 +63,7 @@ public:
     typedef Map<const SVFFunction*,SVFStmtSet> FunToPAGEdgeSetMap;
     typedef Map<const ICFGNode*,SVFStmtList> ICFGNode2SVFStmtsMap;
     typedef Map<NodeID, NodeID> NodeToNodeMap;
-    typedef std::pair<NodeID, s64_t> NodeOffset;
+    typedef std::pair<NodeID, s32_t> NodeOffset;
     typedef std::pair<NodeID, LocationSet> NodeLocationSet;
     typedef Map<NodeOffset,NodeID> NodeOffsetMap;
     typedef Map<NodeLocationSet,NodeID> NodeLocationSetMap;

package/include/MemoryModel/SVFStatements.h

@@ -445,12 +445,12 @@ public:
         return getLocationSet().isConstantOffset();
     }
     /// Return accumulated constant offset (when accessing array or struct) if this offset is a constant.
-    inline s64_t accumulateConstantOffset() const
+    inline s32_t accumulateConstantOffset() const
     {
         return getLocationSet().accumulateConstantOffset();
     }
     /// Field index of the gep statement if it access the field of a struct
-    inline s64_t getConstantFieldIdx() const
+    inline s32_t getConstantFieldIdx() const
     {
         assert(isVariantFieldGep()==false && "Can't retrieve the LocationSet if using a variable field index (pointer arithmetic) for struct field access ");
         return getLocationSet().accumulateConstantFieldIdx();
@@ -921,7 +921,7 @@ public:
 class BranchStmt: public SVFStmt
 {
 public:
-    typedef std::vector<std::pair<const ICFGNode*, s64_t> > SuccAndCondPairVec;
+    typedef std::vector<std::pair<const ICFGNode*, s32_t> > SuccAndCondPairVec;
 private:
     BranchStmt();                      ///< place holder
     BranchStmt(const BranchStmt &);  ///< place holder
@@ -987,7 +987,7 @@ public:
     const ICFGNode* getSuccessor (u32_t i) const{
         return successors.at(i).first;
     }
-    s64_t getSuccessorCondValue (u32_t i) const{ 
+    s32_t getSuccessorCondValue (u32_t i) const{ 
         return successors.at(i).second;
     }
     //@}

package/include/MemoryModel/SVFVariables.h

@@ -413,7 +413,7 @@ public:
     }
 
     /// offset of the base value variable
-    inline s64_t getConstantFieldIdx() const
+    inline s32_t getConstantFieldIdx() const
     {
         return ls.accumulateConstantFieldIdx();
     }
@@ -483,7 +483,7 @@ public:
     }
 
     /// offset of the mem object
-    inline s64_t getConstantFieldIdx() const
+    inline s32_t getConstantFieldIdx() const
     {
         return ls.accumulateConstantFieldIdx();
     }

package/include/MemoryModel/SymbolTableInfo.h

@@ -98,9 +98,6 @@ private:
     /// Module
     SVFModule* mod;
 
-    /// Max field limit
-    static u32_t maxFieldLimit;
-
     /// Clean up memory
     void destroy();
 
@@ -350,7 +347,7 @@ public:
     /// Number of flattenned elements of an array or struct
     u32_t getNumOfFlattenElements(const Type *T);
     /// Flatterned element idx of an array or struct by considering stride
-    u32_t getFlattenedElemIdx(const Type *T, s64_t origId);
+    u32_t getFlattenedElemIdx(const Type *T, u32_t origId);
 
     ///  struct A { int id; int salary; }; struct B { char name[20]; struct A a;}   B b;
     ///  OriginalElemType of b with field_idx 1 : Struct A
@@ -513,7 +510,6 @@ private:
     /// Type vector of fields
     std::vector<const Type*> flattenElementTypes;
     /// Max field limit
-    static u32_t maxFieldLimit;
 
     StInfo(); ///< place holder
     StInfo(const StInfo& st); ///< place holder
@@ -529,16 +525,6 @@ public:
     {
     }
 
-    static inline void setMaxFieldLimit(u32_t limit)
-    {
-        maxFieldLimit = limit;
-    }
-
-    static inline u32_t getMaxFieldLimit()
-    {
-        return maxFieldLimit;
-    }
-
     ///  struct A { int id; int salary; }; struct B { char name[20]; struct A a;}   B b;
     ///  OriginalFieldType of b with field_idx 1 : Struct A
     ///  FlatternedFieldType of b with field_idx 1 : int
@@ -620,6 +606,8 @@ private:
     /// maximum number of field object can be created
     /// minimum number is 0 (field insensitive analysis)
     u32_t maxOffsetLimit;
+    /// Size of the object or number of elements
+    u32_t elemNum;
 
     void resetTypeForHeapStaticObj(const Type* type);
 public:
@@ -650,6 +638,19 @@ public:
         maxOffsetLimit = limit;
     }
 
+    /// Set the number of elements of this object 
+    inline void setNumOfElements(u32_t num)
+    {
+        elemNum = num;
+        setMaxFieldOffsetLimit(num);
+    }
+
+    /// Get the number of elements of this object 
+    inline u32_t getNumOfElements()
+    {
+        return elemNum;
+    }
+
     /// Flag for this object type
     //@{
     inline void setFlag(MEMTYPE mask)

package/include/SVF-FE/SVFIRBuilder.h

@@ -74,7 +74,7 @@ public:
     //@{
     void initialiseNodes();
     void addEdge(NodeID src, NodeID dst, SVFStmt::PEDGEK kind,
-                 s64_t offset = 0, Instruction* cs = nullptr);
+                 s32_t offset = 0, Instruction* cs = nullptr);
     // @}
 
     /// Sanity check for SVFIR
@@ -220,7 +220,7 @@ protected:
     void processCE(const Value *val);
 
     /// Infer field index from byteoffset.
-    u32_t inferFieldIdxFromByteOffset(const llvm::GEPOperator* gepOp, DataLayout *dl, LocationSet& ls, s64_t idx);
+    u32_t inferFieldIdxFromByteOffset(const llvm::GEPOperator* gepOp, DataLayout *dl, LocationSet& ls, s32_t idx);
 
     /// Compute offset of a gep instruction or gep constant expression
     bool computeGepOffset(const User *V, LocationSet& ls);

package/include/Util/IRAnnotator.h

@@ -85,7 +85,7 @@ private:
         {
             std::string label = it->getName().str();
             std::string toErase = "gepnode-";
-            SVF::s64_t pos = label.find(toErase);
+            SVF::s32_t pos = label.find(toErase);
             if (pos == std::string::npos)
             {
                 continue;
@@ -96,7 +96,7 @@ private:
             auto mdNode = it->getOperand(0);
 
             SVF::NodeID baseNodeId = std::stoi(llvm::cast<llvm::MDString>(mdNode->getOperand(0))->getString().str());
-            SVF::s64_t locationSetOffset = std::stoi(llvm::cast<llvm::MDString>(mdNode->getOperand(1))->getString().str());
+            SVF::s32_t locationSetOffset = std::stoi(llvm::cast<llvm::MDString>(mdNode->getOperand(1))->getString().str());
 
             LocationSet locationSet = LocationSet(locationSetOffset);
             SVF::NodeID gepnodeId = pag->getGepObjVar(baseNodeId, locationSet);

package/include/WPA/AndersenSFR.h

@@ -149,7 +149,7 @@ public:
 protected:
     void initialize();
     void PWCDetect();
-    void fieldExpand(NodeSet& initials, s64_t offset, NodeBS& strides, PointsTo& expandPts);
+    void fieldExpand(NodeSet& initials, s32_t offset, NodeBS& strides, PointsTo& expandPts);
     bool processGepPts(PointsTo& pts, const GepCGEdge* edge);
     bool mergeSrcToTgt(NodeID nodeId, NodeID newRepId);
 

package/include/WPA/CSC.h

@@ -69,7 +69,7 @@ public:
         : _consG(g), _scc(c), _I(0) {}
 
     void find(NodeStack& candidates);
-    void visit(NodeID nodeId, s64_t _w);
+    void visit(NodeID nodeId, s32_t _w);
     void clear();
 
     bool isVisited(NodeID nId)

package/lib/Graphs/ICFG.cpp

@@ -352,7 +352,7 @@ ICFGEdge* ICFG::addIntraEdge(ICFGNode* srcNode, ICFGNode* dstNode)
 /*!
  * Add conditional intraprocedural edges between two nodes
  */
-ICFGEdge* ICFG::addConditionalIntraEdge(ICFGNode* srcNode, ICFGNode* dstNode, const Value* condition, s64_t branchCondVal){
+ICFGEdge* ICFG::addConditionalIntraEdge(ICFGNode* srcNode, ICFGNode* dstNode, const Value* condition, s32_t branchCondVal){
 
     checkIntraEdgeParents(srcNode, dstNode);
     if(ICFGEdge* edge = hasIntraICFGEdge(srcNode,dstNode, ICFGEdge::IntraCF))