svf-tools 1.0.330 → 1.0.331

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

@@ -12,7 +12,6 @@ var searchData=
   ['fenceinst',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
   ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#a78e48b3c3db39470ab47b92bbc577e7e',1,'SVF::AndersenSFR']]],
   ['fieldidx',['fieldIdx',['../classSVF_1_1GepValVar.html#a3a808d2401dd62833236b3466de6215d',1,'SVF::GepValVar']]],
-  ['fieldinfo',['FieldInfo',['../classSVF_1_1FieldInfo.html',1,'SVF::FieldInfo'],['../classSVF_1_1FieldInfo.html#a167925e2aadbcdbc3017c6dc98cb83b4',1,'SVF::FieldInfo::FieldInfo()']]],
   ['fieldreps',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR::FieldReps()'],['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR::fieldReps()']]],
   ['fields_5fdda',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
   ['fieldtypes',['fieldTypes',['../classSVF_1_1DCHGraph.html#a574ec14099f1112b394b00a79f3fdf1a',1,'SVF::DCHGraph']]],
@@ -38,7 +37,7 @@ var searchData=
   ['find_5fentry',['FIND_ENTRY',['../st_8c.html#a9fc5c02ec598b362bd1fd5ddb6442731',1,'st.c']]],
   ['find_5ffirst',['find_first',['../classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836',1,'SVF::PointsTo']]],
   ['findpt',['findPT',['../classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce',1,'SVF::DDAVFSolver']]],
-  ['finfo',['finfo',['../classSVF_1_1StInfo.html#ae4b2805df04f7fd4ea636460f8048a88',1,'SVF::StInfo']]],
+  ['finfo',['finfo',['../classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974',1,'SVF::StInfo']]],
   ['fiobjnode',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
   ['fiobjvar',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF::FIObjVar'],['../classSVF_1_1FIObjVar.html#ae77995bc46e4f7b1b17fa86aa601ffae',1,'SVF::FIObjVar::FIObjVar()']]],
   ['first',['first',['../structDdLevelQueue.html#abeda70ee389be7223f6a0ac4eb6cca82',1,'DdLevelQueue']]],
@@ -50,8 +49,11 @@ 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#ada56eaa1f91bf260b7b521adabc607fe',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()']]],
   ['flatten',['flatten',['../classSVF_1_1DCHGraph.html#ab96874bc8f6461fe0c3eb53b7f5cedce',1,'SVF::DCHGraph']]],
-  ['fldidx',['fldIdx',['../classSVF_1_1FieldInfo.html#a153c0796c619ff5b7c84c6c742851a7a',1,'SVF::FieldInfo::fldIdx()'],['../classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b',1,'SVF::LocationSet::fldIdx()']]],
-  ['fldidx2typemap',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#a08e0988d4cc980a1bfe8d8af5fdafbb4',1,'SVF::StInfo']]],
+  ['flattenedelemty',['flattenedElemTy',['../classSVF_1_1FlattenedFieldInfo.html#a186f54bc7c43d9ca8c6d1ab152fb36fe',1,'SVF::FlattenedFieldInfo']]],
+  ['flattenedfieldinfo',['FlattenedFieldInfo',['../classSVF_1_1FlattenedFieldInfo.html',1,'SVF::FlattenedFieldInfo'],['../classSVF_1_1FlattenedFieldInfo.html#a90af575af4fa8ed5646b790daaf421cd',1,'SVF::FlattenedFieldInfo::FlattenedFieldInfo()']]],
+  ['flattenedfldidx',['flattenedFldIdx',['../classSVF_1_1FlattenedFieldInfo.html#a14d271fe9ce4a7d989871088d9daf83a',1,'SVF::FlattenedFieldInfo']]],
+  ['fldidx',['fldIdx',['../classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b',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']]],
   ['flowdda',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF::FlowDDA'],['../classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a',1,'SVF::FlowDDA::FlowDDA()'],['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
@@ -66,7 +68,6 @@ var searchData=
   ['flowsensitivetbhc',['FlowSensitiveTBHC',['../classSVF_1_1FlowSensitiveTBHC.html',1,'SVF::FlowSensitiveTBHC'],['../classSVF_1_1FlowSensitiveTBHC.html#abb0d8712ec0f9d6ae4e4e0971eac07f4',1,'SVF::FlowSensitiveTBHC::FlowSensitiveTBHC()']]],
   ['flowsensitivetbhc_2ecpp',['FlowSensitiveTBHC.cpp',['../FlowSensitiveTBHC_8cpp.html',1,'']]],
   ['flowsensitivetbhc_2eh',['FlowSensitiveTBHC.h',['../FlowSensitiveTBHC_8h.html',1,'']]],
-  ['foffset',['foffset',['../classSVF_1_1StInfo.html#a33065d23c63a3a1919ad53a5e4f38f4a',1,'SVF::StInfo']]],
   ['followers',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],
   ['followersbegin',['followersBegin',['../classSVF_1_1PCG.html#aa3d0ccb72cf83c7227dc975d71865f7d',1,'SVF::PCG']]],
   ['followersend',['followersEnd',['../classSVF_1_1PCG.html#ad67d66001177055b0b534732d381afea',1,'SVF::PCG']]],

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

@@ -53,7 +53,7 @@ var searchData=
   ['gepisload',['gepIsLoad',['../classSVF_1_1FlowSensitiveTBHC.html#ad5b294dacf51a89306df9a22c6799bad',1,'SVF::FlowSensitiveTBHC']]],
   ['gepnodenumindex',['gepNodeNumIndex',['../PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40',1,'PAGBuilderFromFile.cpp']]],
   ['gepobjnode',['GepObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f',1,'SVF::SVFVar']]],
-  ['gepobjpn',['GepObjPN',['../classSVF_1_1GepObjPN.html',1,'SVF::GepObjPN'],['../classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1',1,'SVF::GepObjPN::GepObjPN()']]],
+  ['gepobjvar',['GepObjVar',['../classSVF_1_1GepObjVar.html',1,'SVF::GepObjVar'],['../classSVF_1_1GepObjVar.html#ae80d95a4d90ca64eca819e140445004c',1,'SVF::GepObjVar::GepObjVar()']]],
   ['gepobjvarmap',['GepObjVarMap',['../classSVF_1_1SVFIR.html#a148b51118eeba8117e033fea84b56be8',1,'SVF::SVFIR']]],
   ['gepoutedges',['gepOutEdges',['../classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024',1,'SVF::ConstraintNode']]],
   ['gepsrcnodes',['gepSrcNodes',['../classSVF_1_1AliasDDAClient.html#ab165537f4c9a318f31de8a272a529c9c',1,'SVF::AliasDDAClient']]],
@@ -100,7 +100,7 @@ var searchData=
   ['getargoperand',['getArgOperand',['../classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a',1,'SVF::CallSite']]],
   ['getargument',['getArgument',['../classSVF_1_1CallSite.html#a26a594d36bbb5b77e7085502812d9ca2',1,'SVF::CallSite']]],
   ['getbackwardslicesize',['getBackwardSliceSize',['../classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b',1,'SVF::ProgSlice']]],
-  ['getbasenode',['getBaseNode',['../classSVF_1_1GepObjPN.html#aefa0383972a9c68e487ccf989a7e500c',1,'SVF::GepObjPN']]],
+  ['getbasenode',['getBaseNode',['../classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c',1,'SVF::GepObjVar']]],
   ['getbaseobj',['getBaseObj',['../classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749',1,'SVF::SVFIR']]],
   ['getbaseobjvar',['getBaseObjVar',['../classSVF_1_1ConstraintGraph.html#a6e8c46641da751fe3369c9d5407ce415',1,'SVF::ConstraintGraph::getBaseObjVar()'],['../classSVF_1_1PointerAnalysis.html#a9f1c599cb9f6e2ae83e29bb84ef6831c',1,'SVF::PointerAnalysis::getBaseObjVar()'],['../classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08',1,'SVF::SVFIR::getBaseObjVar()']]],
   ['getbaseptr',['getBasePtr',['../MHP_8cpp.html#a04cfa4119d5964972799ae716951babe',1,'MHP.cpp']]],
@@ -128,7 +128,6 @@ var searchData=
   ['getbranchstmt',['getBranchStmt',['../classSVF_1_1BranchVFGNode.html#abbb429b521b54c2d7a6d8d7f52751455',1,'SVF::BranchVFGNode']]],
   ['getbranchvfgnode',['getBranchVFGNode',['../classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843',1,'SVF::VFG']]],
   ['getbvpointsto',['getBVPointsTo',['../classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43',1,'SVF::CondPTAImpl']]],
-  ['getbyteoffset',['getByteOffset',['../classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d',1,'SVF::LocationSet']]],
   ['getcachedadpointsto',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
   ['getcachedpointsto',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
   ['getcachedtlpointsto',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
@@ -271,7 +270,6 @@ var searchData=
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementptrinst',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
   ['getelementset',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
-  ['getelemnumstridepairvect',['getElemNumStridePairVect',['../classSVF_1_1FieldInfo.html#adb7b7aca7740ae0dcec583d3fbbbf020',1,'SVF::FieldInfo']]],
   ['getentrynode',['getEntryNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getEntryNode()']]],
   ['getentryprocs',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
   ['getenv',['getenv',['../util_8h.html#aee28fd8a0e40b6d958f7d20348e45368',1,'util.h']]],
@@ -282,26 +280,21 @@ var searchData=
   ['getextapi',['getExtAPI',['../classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec',1,'SVF::ExtAPI']]],
   ['getexternalnode',['getExternalNode',['../classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626',1,'SVF::PointsTo']]],
   ['getfalsecond',['getFalseCond',['../classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2',1,'SVF::PathCondAllocator::getFalseCond()'],['../classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d',1,'SVF::ProgSlice::getFalseCond()'],['../classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95',1,'SVF::BranchCondManager::getFalseCond()'],['../classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade',1,'SVF::CondManager::getFalseCond()']]],
-  ['getfattenfieldidxvec',['getFattenFieldIdxVec',['../classSVF_1_1SymbolTableInfo.html#ae57d9e939164a25bad4a84a25c9b35e6',1,'SVF::SymbolTableInfo']]],
-  ['getfattenfieldoffsetvec',['getFattenFieldOffsetVec',['../classSVF_1_1SymbolTableInfo.html#adfea906ce463903c365abca5ea1b45d1',1,'SVF::SymbolTableInfo']]],
   ['getfieldidx',['getFieldIdx',['../classSVF_1_1GepValVar.html#ae6965dc3d70ff6d1877d29b8e7aa4af8',1,'SVF::GepValVar']]],
-  ['getfieldidxvec',['getFieldIdxVec',['../classSVF_1_1StInfo.html#a219b42bae46d10dbeab28c6fd922dd68',1,'SVF::StInfo']]],
   ['getfieldobjnodenum',['getFieldObjNodeNum',['../classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f',1,'SVF::SVFIR']]],
-  ['getfieldoffsetvec',['getFieldOffsetVec',['../classSVF_1_1StInfo.html#a25a1d7b04738c9e3b60654992b897385',1,'SVF::StInfo']]],
   ['getfields',['getFields',['../classSVF_1_1SVFIRBuilder.html#a5c7cc40f0a9c89a8b9c21c65215dda29',1,'SVF::SVFIRBuilder']]],
   ['getfieldsaftercollapse',['getFieldsAfterCollapse',['../classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0',1,'SVF::SVFIR']]],
   ['getfieldtype',['getFieldType',['../classSVF_1_1DCHGraph.html#acaff636e6a9cf59363d6ee00435c04ff',1,'SVF::DCHGraph']]],
   ['getfieldtypes',['getFieldTypes',['../classSVF_1_1DCHGraph.html#ae9a0007299178912e2568dc7158d6824',1,'SVF::DCHGraph']]],
-  ['getfieldtypewithbyteoffset',['getFieldTypeWithByteOffset',['../classSVF_1_1StInfo.html#aed0d6af756950fa2db4f56c9ffe76355',1,'SVF::StInfo']]],
-  ['getfieldtypewithfldidx',['getFieldTypeWithFldIdx',['../classSVF_1_1StInfo.html#a913afa9bbdeb9cc54b0a9b9a062c0979',1,'SVF::StInfo']]],
   ['getfieldvalnodenum',['getFieldValNodeNum',['../classSVF_1_1SVFIR.html#a4b4592e3187bb6583aba63b2f374754e',1,'SVF::SVFIR']]],
   ['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']]],
-  ['getflattenbyteoffset',['getFlattenByteOffset',['../classSVF_1_1FieldInfo.html#a727d1ea8110a3239834f0aab134231d6',1,'SVF::FieldInfo']]],
-  ['getflattenelemty',['getFlattenElemTy',['../classSVF_1_1FieldInfo.html#a779ef81046fd403804f74a8562afad63',1,'SVF::FieldInfo']]],
-  ['getflattenfieldinfovec',['getFlattenFieldInfoVec',['../classSVF_1_1SymbolTableInfo.html#a3fa4043c6e33a5b1daaa65f206b6a843',1,'SVF::SymbolTableInfo::getFlattenFieldInfoVec()'],['../classSVF_1_1StInfo.html#a9bb25646a735d612cf777394fa3ba5d6',1,'SVF::StInfo::getFlattenFieldInfoVec()']]],
-  ['getflattenfldidx',['getFlattenFldIdx',['../classSVF_1_1FieldInfo.html#a4e9985c2915f086c034487ca4b3d71fc',1,'SVF::FieldInfo']]],
+  ['getflattenedfieldidxvec',['getFlattenedFieldIdxVec',['../classSVF_1_1SymbolTableInfo.html#ac50e1d8f8b8e514d098a55bfbac86010',1,'SVF::SymbolTableInfo::getFlattenedFieldIdxVec()'],['../classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05',1,'SVF::StInfo::getFlattenedFieldIdxVec()']]],
+  ['getflattenedfieldinfovec',['getFlattenedFieldInfoVec',['../classSVF_1_1SymbolTableInfo.html#a9ca564bdc1f40a2ccd30d98e0e4075b0',1,'SVF::SymbolTableInfo::getFlattenedFieldInfoVec()'],['../classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0',1,'SVF::StInfo::getFlattenedFieldInfoVec()']]],
+  ['getflattenelemty',['getFlattenElemTy',['../classSVF_1_1FlattenedFieldInfo.html#a92c1b65c36feeabf09541c9af4650f14',1,'SVF::FlattenedFieldInfo']]],
+  ['getflattenfldidx',['getFlattenFldIdx',['../classSVF_1_1FlattenedFieldInfo.html#a34759f793f0445d2941c9a7d1413b7b2',1,'SVF::FlattenedFieldInfo']]],
+  ['getflatternedfieldtype',['getFlatternedFieldType',['../classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4',1,'SVF::SymbolTableInfo::getFlatternedFieldType()'],['../classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764',1,'SVF::StInfo::getFlatternedFieldType()']]],
   ['getfollowers',['getFollowers',['../classSVF_1_1PCG.html#a1312d734609f82230d3c00a99b189db9',1,'SVF::PCG']]],
   ['getforkedfun',['getForkedFun',['../classSVF_1_1ThreadAPI.html#a7ddc0c71aeae315af21972a4905b3456',1,'SVF::ThreadAPI::getForkedFun(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aff38fda045d0016660710ab9124da13c',1,'SVF::ThreadAPI::getForkedFun(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac',1,'SVF::SVFUtil::getForkedFun(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a4cc8c549625712e006079642c656ec83',1,'SVF::SVFUtil::getForkedFun(const Instruction *inst)']]],
   ['getforkedgebegin',['getForkEdgeBegin',['../classSVF_1_1ThreadCallGraph.html#af33e1701215e9818b22f11789746821e',1,'SVF::ThreadCallGraph']]],
@@ -420,7 +413,7 @@ var searchData=
   ['getloadoutedges',['getLoadOutEdges',['../classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a',1,'SVF::ConstraintNode']]],
   ['getloadtomusetmap',['getLoadToMUSetMap',['../classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c',1,'SVF::MemSSA']]],
   ['getloc',['getLoc',['../classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9',1,'SVF::StmtDPItem']]],
-  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef',1,'SVF::NormalGepStmt::getLocationSet()'],['../classSVF_1_1GepObjPN.html#aeb05e3a512e89c7af36c675e0efeec7e',1,'SVF::GepObjPN::getLocationSet()']]],
+  ['getlocationset',['getLocationSet',['../classSVF_1_1NormalGepCGEdge.html#ac469605b74fa8cd38e1959c8b948864b',1,'SVF::NormalGepCGEdge::getLocationSet()'],['../classSVF_1_1NormalGepStmt.html#a7bf625581c4852212bcea89562ea9cef',1,'SVF::NormalGepStmt::getLocationSet()'],['../classSVF_1_1GepObjVar.html#a553e648804b39c503e7288dd0434c339',1,'SVF::GepObjVar::getLocationSet()']]],
   ['getlocationsetfrombasenode',['getLocationSetFromBaseNode',['../classSVF_1_1SVFIR.html#a8b36d077c30fb2830a253ded82413c2d',1,'SVF::SVFIR']]],
   ['getlockspan',['getLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a4e6207b3b64a60993e1e02f6ef125452',1,'SVF::SVFGNodeLockSpan']]],
   ['getlockval',['getLockVal',['../classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29',1,'SVF::LockAnalysis::getLockVal()'],['../classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9',1,'SVF::ThreadAPI::getLockVal(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48',1,'SVF::ThreadAPI::getLockVal(CallSite cs) const']]],
@@ -490,7 +483,6 @@ var searchData=
   ['getnumofoobquery',['getNumOfOOBQuery',['../classSVF_1_1DDAStat.html#ab508281a78749ec5d7b5dc8231a4be11',1,'SVF::DDAStat']]],
   ['getnumofparforsite',['getNumOfParForSite',['../classSVF_1_1ThreadCallGraph.html#ad883eb92aece6818a3a0a261fa3407ce',1,'SVF::ThreadCallGraph']]],
   ['getnumofresolvedindcalledge',['getNumOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#a3379185589e9bcafa4f961930aaf2694',1,'SVF::PTACallGraph::getNumOfResolvedIndCallEdge()'],['../classSVF_1_1PointerAnalysis.html#ac522df904e702381222a4d9b205c775b',1,'SVF::PointerAnalysis::getNumOfResolvedIndCallEdge()']]],
-  ['getnumstridepair',['getNumStridePair',['../classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241',1,'SVF::LocationSet']]],
   ['getnumsuccessors',['getNumSuccessors',['../classSVF_1_1BranchVFGNode.html#ad070e36a440deb982779cec18aa03ee6',1,'SVF::BranchVFGNode::getNumSuccessors()'],['../classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b',1,'SVF::BranchStmt::getNumSuccessors()']]],
   ['getobj',['getObj',['../classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906',1,'SVF::SymbolTableInfo']]],
   ['getobject',['getObject',['../classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f',1,'SVF::DummyVersionPropSVFGNode::getObject()'],['../classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1',1,'SVF::SVFIR::getObject(NodeID id) const'],['../classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae',1,'SVF::SVFIR::getObject(const ObjVar *node) const']]],
@@ -502,7 +494,8 @@ var searchData=
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],
   ['getocgrepmap',['getOCGRepMap',['../classSVF_1_1OfflineConsG.html#a4c27bd33977816db33d0e7d92036239a',1,'SVF::OfflineConsG']]],
   ['getofflinerep',['getOfflineRep',['../classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55',1,'SVF::AndersenHCD']]],
-  ['getoffset',['getOffset',['../classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3',1,'SVF::NormalGepCGEdge::getOffset()'],['../classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e',1,'SVF::LocationSet::getOffset()'],['../classSVF_1_1NormalGepStmt.html#a904919192ddbd054381c3b863531ab10',1,'SVF::NormalGepStmt::getOffset()'],['../classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3',1,'SVF::GepValVar::getOffset()'],['../classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d',1,'SVF::DCHEdge::getOffset()']]],
+  ['getoffset',['getOffset',['../classSVF_1_1NormalGepCGEdge.html#ac7dc9a2857ee020345ebe465ba0d08f3',1,'SVF::NormalGepCGEdge::getOffset()'],['../classSVF_1_1NormalGepStmt.html#a904919192ddbd054381c3b863531ab10',1,'SVF::NormalGepStmt::getOffset()'],['../classSVF_1_1GepValVar.html#a149d738115af2bcd815306ee6eb91bb3',1,'SVF::GepValVar::getOffset()'],['../classSVF_1_1GepObjVar.html#aae0159e4e93e3607e425933b8ce0a66c',1,'SVF::GepObjVar::getOffset()'],['../classSVF_1_1DCHEdge.html#a228405631dd68eeeb274581865e4d13d',1,'SVF::DCHEdge::getOffset()']]],
+  ['getoffsetvaluevec',['getOffsetValueVec',['../classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c',1,'SVF::LocationSet']]],
   ['getopcode',['getOpcode',['../classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f',1,'SVF::BinaryOPStmt::getOpcode()'],['../classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6',1,'SVF::UnaryOPStmt::getOpcode()']]],
   ['getoperand',['getOperand',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['getopincomingbb',['getOpIncomingBB',['../classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70',1,'SVF::IntraPHIVFGNode']]],
@@ -520,9 +513,8 @@ var searchData=
   ['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#a2f89ca8d506f90f0b90d18b0f63d8481',1,'SVF::ICFGBuilder']]],
   ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
   ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9',1,'SVF::TCT']]],
+  ['getoriginalfieldtype',['getOriginalFieldType',['../classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49',1,'SVF::SymbolTableInfo::getOriginalFieldType()'],['../classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85',1,'SVF::StInfo::getOriginalFieldType()']]],
   ['getoriginalobj',['getOriginalObj',['../classSVF_1_1TypeBasedHeapCloning.html#aeea7089c6f54b44f0509d41686b649f6',1,'SVF::TypeBasedHeapCloning']]],
-  ['getorigsubtypewithbyteoffset',['getOrigSubTypeWithByteOffset',['../classSVF_1_1SymbolTableInfo.html#a573bd5208467b2f905f5b2b1684feac8',1,'SVF::SymbolTableInfo']]],
-  ['getorigsubtypewithfldinx',['getOrigSubTypeWithFldInx',['../classSVF_1_1SymbolTableInfo.html#ad7dec8a89931ef96a26c7f1d23062702',1,'SVF::SymbolTableInfo']]],
   ['getoutedges',['getOutEdges',['../classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009',1,'SVF::GenericNode']]],
   ['getoutgoingedges',['getOutgoingEdges',['../classSVF_1_1SVFVar.html#a927733580b47be5ffcfced44ba9fd6c3',1,'SVF::SVFVar']]],
   ['getoutgoingedgesbegin',['getOutgoingEdgesBegin',['../classSVF_1_1SVFVar.html#a9e40eafe55a2c1448b830b56ae72e17f',1,'SVF::SVFVar']]],
@@ -674,7 +666,7 @@ var searchData=
   ['gettotalnodenum',['getTotalNodeNum',['../classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858',1,'SVF::GenericGraph']]],
   ['gettotalsymnum',['getTotalSymNum',['../classSVF_1_1SymbolTableInfo.html#a7dda4943de0ed174a1d20fcdfde6c61c',1,'SVF::SymbolTableInfo']]],
   ['gettruecond',['getTrueCond',['../classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a',1,'SVF::PathCondAllocator::getTrueCond()'],['../classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3',1,'SVF::ProgSlice::getTrueCond()'],['../classSVF_1_1BranchCondManager.html#ac6fb7493ceb44406a4bd6a62a60a6363',1,'SVF::BranchCondManager::getTrueCond()'],['../classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc',1,'SVF::CondManager::getTrueCond()']]],
-  ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff',1,'SVF::GepObjPN::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
+  ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14',1,'SVF::GepObjVar::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
   ['gettypedefs',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
   ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()']]],
   ['gettypeofheapalloc',['getTypeOfHeapAlloc',['../namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce',1,'SVF::SVFUtil']]],
@@ -685,7 +677,7 @@ var searchData=
   ['getvalsym',['getValSym',['../classSVF_1_1SymbolTableInfo.html#aec7ee137f828c9d61a11df7fc2241161',1,'SVF::SymbolTableInfo']]],
   ['getvalue',['getValue',['../classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898',1,'SVF::VFGNode::getValue()'],['../classSVF_1_1StmtVFGNode.html#ab51f462a26bc03cd5e2379be98a4dd3b',1,'SVF::StmtVFGNode::getValue()'],['../classSVF_1_1CmpVFGNode.html#a166ac2df82ebfcb77d50b71ce573e1eb',1,'SVF::CmpVFGNode::getValue()'],['../classSVF_1_1BinaryOPVFGNode.html#ad4c45bbfd044502106c41ba70f568463',1,'SVF::BinaryOPVFGNode::getValue()'],['../classSVF_1_1PHIVFGNode.html#a188a4d3ae95fe01dc59784d076f28aef',1,'SVF::PHIVFGNode::getValue()'],['../classSVF_1_1ArgumentVFGNode.html#aaf6a78630b0365d50dd7b4394215d3a1',1,'SVF::ArgumentVFGNode::getValue()'],['../classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882',1,'SVF::SVFStmt::getValue()'],['../classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40',1,'SVF::SVFVar::getValue()'],['../classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3',1,'SVF::MemObj::getValue()'],['../classSVF_1_1SVFValue.html#a50f77757ac9c37a9501eb48deccdfef1',1,'SVF::SVFValue::getValue()']]],
   ['getvalueedges',['getValueEdges',['../classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8',1,'SVF::IRGraph']]],
-  ['getvaluename',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa',1,'SVF::ValVar::getValueName()'],['../classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3',1,'SVF::ObjVar::getValueName()'],['../classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3',1,'SVF::GepValVar::getValueName()'],['../classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5',1,'SVF::GepObjPN::getValueName()'],['../classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08',1,'SVF::FIObjVar::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd',1,'SVF::DummyValVar::getValueName()'],['../classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd',1,'SVF::DummyObjVar::getValueName()'],['../classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931',1,'SVF::CloneDummyObjVar::getValueName()'],['../classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e',1,'SVF::CloneGepObjVar::getValueName()'],['../classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803',1,'SVF::CloneFIObjVar::getValueName()']]],
+  ['getvaluename',['getValueName',['../classSVF_1_1SVFVar.html#a54b2a5ed3ed21e54eaf04182f0338333',1,'SVF::SVFVar::getValueName()'],['../classSVF_1_1ValVar.html#aeaccfd3bf5f968ad12d7e1a2426e5faa',1,'SVF::ValVar::getValueName()'],['../classSVF_1_1ObjVar.html#ac1609e2e3b6843c6f7992e425771fce3',1,'SVF::ObjVar::getValueName()'],['../classSVF_1_1GepValVar.html#ae89482e674768298f49e51df4ebe63e3',1,'SVF::GepValVar::getValueName()'],['../classSVF_1_1GepObjVar.html#a88f86fe8abcb0550d838e5de11ae3ef7',1,'SVF::GepObjVar::getValueName()'],['../classSVF_1_1FIObjVar.html#a330b28f8488de9e186bedf73e5576a08',1,'SVF::FIObjVar::getValueName()'],['../classSVF_1_1RetPN.html#a48c099d2b441b4cc298166e2c5866c8f',1,'SVF::RetPN::getValueName()'],['../classSVF_1_1VarArgPN.html#aec7ac87f5fff58b24daea998aaf0cc2a',1,'SVF::VarArgPN::getValueName()'],['../classSVF_1_1DummyValVar.html#a188ddcb95f842245fb97362ff8a06efd',1,'SVF::DummyValVar::getValueName()'],['../classSVF_1_1DummyObjVar.html#aec23bc498cf78ed065565681e14dd2dd',1,'SVF::DummyObjVar::getValueName()'],['../classSVF_1_1CloneDummyObjVar.html#a2ddf5e4067c537a7dfd9bf74f7195931',1,'SVF::CloneDummyObjVar::getValueName()'],['../classSVF_1_1CloneGepObjVar.html#a9d4cf31155950c889b5965566ab3d45e',1,'SVF::CloneGepObjVar::getValueName()'],['../classSVF_1_1CloneFIObjVar.html#abac4095a6a60c321caa40f837a752803',1,'SVF::CloneFIObjVar::getValueName()']]],
   ['getvaluenode',['getValueNode',['../classSVF_1_1ConstraintGraph.html#a00242eb1c1204abf1f5eb0cae759a38c',1,'SVF::ConstraintGraph::getValueNode()'],['../classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624',1,'SVF::IRGraph::getValueNode()'],['../classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6',1,'SVF::SVFIRBuilder::getValueNode()']]],
   ['getvaluenodenum',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a4c8ef6e30a33ecbdc4024e201237ae22',1,'SVF::IRGraph']]],
   ['getvarargnode',['getVarargNode',['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()'],['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()']]],

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

@@ -53,7 +53,6 @@ var searchData=
   ['incomingloadsend',['incomingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48',1,'SVF::ConstraintNode']]],
   ['incomingstoresbegin',['incomingStoresBegin',['../classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714',1,'SVF::ConstraintNode']]],
   ['incomingstoresend',['incomingStoresEnd',['../classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6',1,'SVF::ConstraintNode']]],
-  ['increaseifnotreachupperbound',['increaseIfNotReachUpperBound',['../classSVF_1_1LocationSet.html#a7e2081a930eafaee4c68c9dd9e70e2bd',1,'SVF::LocationSet']]],
   ['increasestacksize',['increaseStackSize',['../namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1',1,'SVF::SVFUtil']]],
   ['incycle',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
   ['indcallsitetofunptrmap',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
@@ -246,7 +245,7 @@ var searchData=
   ['isconstantdata',['isConstantData',['../classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0',1,'SVF::SVFVar::isConstantData()'],['../namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388',1,'SVF::SVFUtil::isConstantData()']]],
   ['isconstantobj',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
   ['isconstantobjsym',['isConstantObjSym',['../classSVF_1_1SymbolTableInfo.html#a61bda1c1c52fb765d0027d8141d35c35',1,'SVF::SymbolTableInfo']]],
-  ['isconstantoffset',['isConstantOffset',['../classSVF_1_1LocationSet.html#a464c14d79a64dc403c2757b3b8520cbd',1,'SVF::LocationSet']]],
+  ['isconstantoffset',['isConstantOffset',['../classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d',1,'SVF::LocationSet']]],
   ['isconstarray',['isConstArray',['../classSVF_1_1MemObj.html#ae30d2d8f6f621795a70ba046ca25af2d',1,'SVF::MemObj::isConstArray()'],['../classSVF_1_1ObjTypeInfo.html#ad90ea6a01cca9c370b7f17b408dcc5a7',1,'SVF::ObjTypeInfo::isConstArray()']]],
   ['isconstructor',['isConstructor',['../namespaceSVF_1_1cppUtil.html#ad6f9578cdce518141772a11617160da8',1,'SVF::cppUtil']]],
   ['isconststruct',['isConstStruct',['../classSVF_1_1MemObj.html#a0f5283e512d6c749b33ba9cfc2d70d17',1,'SVF::MemObj::isConstStruct()'],['../classSVF_1_1ObjTypeInfo.html#a5d4afc5e1ba5cbcedf049467f75ef7c4',1,'SVF::ObjTypeInfo::isConstStruct()']]],

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

@@ -63,7 +63,7 @@ var searchData=
   ['loadvfgnode',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF::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)']]],
   ['localcaches',['localCaches',['../structDdManager.html#a8f62071184b231f7320214e735b7fd0d',1,'DdManager']]],
   ['localvarinrecursion',['localVarInRecursion',['../classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea',1,'SVF::PTAStat']]],
-  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html',1,'SVF::LocationSet'],['../classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182',1,'SVF::LocationSet::LocationSet(Size_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)'],['../classSVF_1_1LocationSet.html#afd3b135453644cd42e869d378c270d23',1,'SVF::LocationSet::LocationSet(const FieldInfo &fi)']]],
+  ['locationset',['LocationSet',['../classSVF_1_1LocationSet.html',1,'SVF::LocationSet'],['../classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182',1,'SVF::LocationSet::LocationSet(Size_t o=0)'],['../classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9',1,'SVF::LocationSet::LocationSet(const LocationSet &ls)'],['../classSVF_1_1LocationSet.html#aa19807a258fc673e6885eafb924ecc91',1,'SVF::LocationSet::LocationSet(const FlattenedFieldInfo &fi)']]],
   ['locationset_2ecpp',['LocationSet.cpp',['../LocationSet_8cpp.html',1,'']]],
   ['locationset_2eh',['LocationSet.h',['../LocationSet_8h.html',1,'']]],
   ['locdpitem',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
@@ -105,7 +105,7 @@ var searchData=
   ['looseupto',['looseUpTo',['../structDdManager.html#a08442885cc19bd4e63ee8ca294669efa',1,'DdManager']]],
   ['low',['low',['../structMtrNode.html#a589c940a5262c8da11bf843a369bb2db',1,'MtrNode']]],
   ['lowlink',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1NormalGepStmt.html#a5dd71e9aea01d5dc2bf8fc070e67cadd',1,'SVF::NormalGepStmt::ls()'],['../classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6',1,'SVF::GepValVar::ls()'],['../classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b',1,'SVF::GepObjPN::ls()']]],
+  ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1NormalGepStmt.html#a5dd71e9aea01d5dc2bf8fc070e67cadd',1,'SVF::NormalGepStmt::ls()'],['../classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6',1,'SVF::GepValVar::ls()'],['../classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b',1,'SVF::GepObjVar::ls()']]],
   ['lsa',['lsa',['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()'],['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()']]],
   ['lsrelation',['LSRelation',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f',1,'SVF::LocationSet']]]
 ];

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

@@ -102,7 +102,7 @@ var searchData=
   ['memregtocountermap',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
   ['memregtoverstackmap',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
   ['memset',['memset',['../util_8h.html#a311babf232e543aa49200c238d683486',1,'util.h']]],
-  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
+  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
   ['memssa_2ecpp',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
   ['memssa_2eh',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
   ['memssadf',['MemSSADF',['../classSVF_1_1MemSSADF.html',1,'SVF::MemSSADF'],['../classSVF_1_1MemSSADF.html#aabae3337a22fc441fd2fdc2cf30b009c',1,'SVF::MemSSADF::MemSSADF()']]],

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

@@ -63,7 +63,7 @@ var searchData=
   ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
   ['nodetorefmap',['nodeToRefMap',['../classSVF_1_1OfflineConsG.html#aebeb8a44fcfbb677a738fa04c8e9c5e1',1,'SVF::OfflineConsG']]],
   ['nodetorepmap',['NodeToRepMap',['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()']]],
-  ['nodetosubsmap',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()']]],
+  ['nodetosubsmap',['NodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
   ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits< CHGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits< ICFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7',1,'llvm::DOTGraphTraits< IRGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits< OfflineConsG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits< SVFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits< VFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits< TCT * >::NodeType()']]],
   ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],
   ['noncandidatefuncmhprelmap',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
@@ -214,7 +214,6 @@ var searchData=
   ['numsgtbsu',['numSGTBSU',['../classSVF_1_1TypeBasedHeapCloning.html#a51d2baff54d05cba59fa270c32cce87c',1,'SVF::TypeBasedHeapCloning']]],
   ['numsgtbwu',['numSGTBWU',['../classSVF_1_1TypeBasedHeapCloning.html#afca6afa06a1072e7a452ed42bcd666d3',1,'SVF::TypeBasedHeapCloning']]],
   ['numstatmap',['NUMStatMap',['../classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6',1,'SVF::PTAStat']]],
-  ['numstridepair',['numStridePair',['../classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790',1,'SVF::LocationSet']]],
   ['numsymbols',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
   ['numtbssu',['numTBSSU',['../classSVF_1_1TypeBasedHeapCloning.html#af5cf059dea30a0b422321e3a792ea447',1,'SVF::TypeBasedHeapCloning']]],
   ['numtbsu',['numTBSU',['../classSVF_1_1TypeBasedHeapCloning.html#ab3fa2223ad8d8b23d78aa02892f0be2c',1,'SVF::TypeBasedHeapCloning']]],

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

@@ -20,7 +20,8 @@ var searchData=
   ['offlineconsg_2ecpp',['OfflineConsG.cpp',['../OfflineConsG_8cpp.html',1,'']]],
   ['offlineconsg_2eh',['OfflineConsG.h',['../OfflineConsG_8h.html',1,'']]],
   ['offset',['offset',['../classSVF_1_1DCHEdge.html#a16869c90d4e735bc09b8bceda90b99ed',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()']]],
-  ['offset2typemap',['offset2TypeMap',['../classSVF_1_1StInfo.html#a2fc773eac63f959c78957dc407cccaa2',1,'SVF::StInfo']]],
+  ['offsetvalues',['offsetValues',['../classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30',1,'SVF::LocationSet']]],
+  ['offsetvaluevec',['OffsetValueVec',['../classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5',1,'SVF::LocationSet']]],
   ['one',['one',['../structDdManager.html#a239bd99ee654742adc79b8299c2bc92e',1,'DdManager::one()'],['../cuddInt_8c.html#a49e3c7508be54a84ae83273ed240e31c',1,'one(): cuddInt.c']]],
   ['onstack',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
   ['ontheflycallgraphsolve',['onTheFlyCallGraphSolve',['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl']]],
@@ -46,7 +47,7 @@ var searchData=
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
   ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()']]],
-  ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
+  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
@@ -67,7 +68,7 @@ var searchData=
   ['originalsbvnumwords',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['originalsize',['originalSize',['../cuddInt_8c.html#afcdd597b50055b996a49d9e265965d01',1,'cuddInt.c']]],
   ['oscc',['OSCC',['../classSVF_1_1OfflineConsG.html#ab7ce6d127d85cedfdeb6501195b8818f',1,'SVF::OfflineConsG::OSCC()'],['../classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356',1,'SVF::AndersenHCD::OSCC()']]],
-  ['out',['out',['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()'],['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()']]],
+  ['out',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()'],['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()']]],
   ['outedgebegin',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
   ['outedgeend',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
   ['outedgekindtosetmap',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],

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

@@ -1,6 +1,5 @@
 var searchData=
 [
-  ['fieldinfo',['FieldInfo',['../classSVF_1_1FieldInfo.html',1,'SVF']]],
   ['fifoworklist',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
   ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
   ['fifoworklist_3c_20cxtlockproc_20_3e',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
@@ -12,6 +11,7 @@ var searchData=
   ['filechecker',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF']]],
   ['filoworklist',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF']]],
   ['fiobjvar',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF']]],
+  ['flattenedfieldinfo',['FlattenedFieldInfo',['../classSVF_1_1FlattenedFieldInfo.html',1,'SVF']]],
   ['flowdda',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF']]],
   ['flowsensitive',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF']]],
   ['flowsensitivestat',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF']]],

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

@@ -11,7 +11,7 @@ var searchData=
   ['genericnode_3c_20constraintnode_2c_20constraintedge_20_3e',['GenericNode< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['genericnode_3c_20dchnode_2c_20dchedge_20_3e',['GenericNode< DCHNode, DCHEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html',1,'SVF']]],
-  ['gepobjpn',['GepObjPN',['../classSVF_1_1GepObjPN.html',1,'SVF']]],
+  ['gepobjvar',['GepObjVar',['../classSVF_1_1GepObjVar.html',1,'SVF']]],
   ['gepstmt',['GepStmt',['../classSVF_1_1GepStmt.html',1,'SVF']]],
   ['gepvalvar',['GepValVar',['../classSVF_1_1GepValVar.html',1,'SVF']]],
   ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF']]],

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

@@ -4,6 +4,7 @@ var searchData=
   ['accessglobal',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
   ['accesspair',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair']]],
   ['accesssamearrayindex',['accessSameArrayIndex',['../MHP_8cpp.html#a1a6f1ed70075da459ab275eb5c099144',1,'MHP.cpp']]],
+  ['accumulateconstantoffset',['accumulateConstantOffset',['../classSVF_1_1LocationSet.html#ac098bc95299002b9016684fa7f2799ca',1,'SVF::LocationSet']]],
   ['actualinofindcs',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
   ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326',1,'SVF::ActualINSVFGNode']]],
   ['actualoutofindcs',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
@@ -81,10 +82,9 @@ var searchData=
   ['adddummyvalnode',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
   ['adddummyversionpropsvfgnode',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
   ['addedge',['addEdge',['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#ac6bfe0ed1a75be19b3f10db9a95952ef',1,'SVF::PAGBuilderFromFile::addEdge()'],['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#ada73b0a14d4f545a59c37e11d6bd9d81',1,'SVF::SVFIRBuilder::addEdge()']]],
-  ['addelemnumstridepair',['addElemNumStridePair',['../classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b',1,'SVF::LocationSet']]],
   ['addextactualparmsvfgnodes',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
   ['addfiobjnode',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
-  ['addfldwithtype',['addFldWithType',['../classSVF_1_1StInfo.html#ac8483f7707339d3ba53fa2ae0127ec98',1,'SVF::StInfo']]],
+  ['addfldwithtype',['addFldWithType',['../classSVF_1_1StInfo.html#a7011600965de6fe5401b87f5c71e684f',1,'SVF::StInfo']]],
   ['addfollowerfun',['addFollowerFun',['../classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00',1,'SVF::PCG']]],
   ['addforksite',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04',1,'SVF::ThreadCallGraph']]],
   ['addformalinsvfgnode',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30',1,'SVF::SVFG']]],
@@ -172,6 +172,7 @@ var searchData=
   ['addnullptrnode',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
   ['addnullptrvfgnode',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
   ['addobjnode',['addObjNode',['../classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d',1,'SVF::SVFIR::addObjNode(const Value *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a3a5d8b7f6286ec31b5a9038c88779151',1,'SVF::SVFIR::addObjNode(const Value *, SVFVar *node, NodeID i)']]],
+  ['addoffsetvalue',['addOffsetValue',['../classSVF_1_1LocationSet.html#ac544fa84eff20dfe043b7d0c771dec2b',1,'SVF::LocationSet']]],
   ['addopvar',['addOpVar',['../classSVF_1_1PhiStmt.html#ae20d273a8afe603395b6621f04e6cb65',1,'SVF::PhiStmt']]],
   ['addoutedge',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
   ['addoutgoingaddredge',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],

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

@@ -15,11 +15,10 @@ var searchData=
   ['setactualindef',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
   ['setallocationsite',['setAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a006243a1416f4950de254d0d62ba40b0',1,'SVF::TypeBasedHeapCloning']]],
   ['setallreachable',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
-  ['setbasenode',['setBaseNode',['../classSVF_1_1GepObjPN.html#acf31acd60973d04b047fbc2e8d4ad4bf',1,'SVF::GepObjPN']]],
+  ['setbasenode',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
   ['setbb',['setBB',['../classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623',1,'SVF::SVFStmt']]],
   ['setbranchcond',['setBranchCond',['../classSVF_1_1PathCondAllocator.html#aaec323fc8a3f83da4596ed7d447ab6f1',1,'SVF::PathCondAllocator']]],
   ['setbranchcondtion',['setBranchCondtion',['../classSVF_1_1IntraCFGEdge.html#a97402e3c122618d5be189dce1b58cd8f',1,'SVF::IntraCFGEdge']]],
-  ['setbyteoffset',['setByteOffset',['../classSVF_1_1LocationSet.html#a6c5b8c1a9f765de8bcbefb681ca6a92c',1,'SVF::LocationSet']]],
   ['setcallgraph',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
   ['setcallgraphscc',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
   ['setcfcond',['setCFCond',['../classSVF_1_1PathCondAllocator.html#a4cb61914dff693e284091e97ab8c8878',1,'SVF::PathCondAllocator']]],
@@ -199,7 +198,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
   ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder']]],
   ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule']]],

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

@@ -23,7 +23,7 @@ var searchData=
   ['tmpfile',['tmpfile',['../util_8h.html#aea1f76217ad348e25dc0ee4d078554c5',1,'util.h']]],
   ['tonodebs',['toNodeBS',['../classSVF_1_1PointsTo.html#ae4749cf6dc43645e2479cefbcc246637',1,'SVF::PointsTo']]],
   ['toponodestack',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalBlockNode.html#af5e1261e34359955150337c61073e76a',1,'SVF::GlobalBlockNode::toString()'],['../classSVF_1_1IntraBlockNode.html#a5be129203e65edc4e1222b5e04d1c148',1,'SVF::IntraBlockNode::toString()'],['../classSVF_1_1FunEntryBlockNode.html#a9ee511954fe72f47c247dc481fd5d751',1,'SVF::FunEntryBlockNode::toString()'],['../classSVF_1_1FunExitBlockNode.html#aea51f9cb9a1563dfb375962a9a4b8f65',1,'SVF::FunExitBlockNode::toString()'],['../classSVF_1_1CallBlockNode.html#ae4ea32a63a095f27e973bc8bf6e38262',1,'SVF::CallBlockNode::toString()'],['../classSVF_1_1RetBlockNode.html#ae1d596a9a6ad9f5d4cdaaab0a8a931a2',1,'SVF::RetBlockNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ab748bb83004550944c6abca7150aec14',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1NormalGepStmt.html#a1c56ef0156531ba4c81391e1eddc12e6',1,'SVF::NormalGepStmt::toString()'],['../classSVF_1_1VariantGepStmt.html#a975f7049b4445765b75d0558364d11a4',1,'SVF::VariantGepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjPN.html#ab7229c3e69880a6872fddac805bd6ee8',1,'SVF::GepObjPN::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b',1,'SVF::CloneDummyObjVar::toString()'],['../classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5',1,'SVF::CloneGepObjVar::toString()'],['../classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc',1,'SVF::CloneFIObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()'],['../classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c',1,'SVF::VFPathCond::toString()']]],
+  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalBlockNode.html#af5e1261e34359955150337c61073e76a',1,'SVF::GlobalBlockNode::toString()'],['../classSVF_1_1IntraBlockNode.html#a5be129203e65edc4e1222b5e04d1c148',1,'SVF::IntraBlockNode::toString()'],['../classSVF_1_1FunEntryBlockNode.html#a9ee511954fe72f47c247dc481fd5d751',1,'SVF::FunEntryBlockNode::toString()'],['../classSVF_1_1FunExitBlockNode.html#aea51f9cb9a1563dfb375962a9a4b8f65',1,'SVF::FunExitBlockNode::toString()'],['../classSVF_1_1CallBlockNode.html#ae4ea32a63a095f27e973bc8bf6e38262',1,'SVF::CallBlockNode::toString()'],['../classSVF_1_1RetBlockNode.html#ae1d596a9a6ad9f5d4cdaaab0a8a931a2',1,'SVF::RetBlockNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ab748bb83004550944c6abca7150aec14',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1NormalGepStmt.html#a1c56ef0156531ba4c81391e1eddc12e6',1,'SVF::NormalGepStmt::toString()'],['../classSVF_1_1VariantGepStmt.html#a975f7049b4445765b75d0558364d11a4',1,'SVF::VariantGepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b',1,'SVF::CloneDummyObjVar::toString()'],['../classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5',1,'SVF::CloneGepObjVar::toString()'],['../classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc',1,'SVF::CloneFIObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()'],['../classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c',1,'SVF::VFPathCond::toString()']]],
   ['touchcxtstmt',['touchCxtStmt',['../classSVF_1_1LockAnalysis.html#aaa0f33f19d9f80eee98289119ba907d2',1,'SVF::LockAnalysis']]],
   ['traversedendrogram',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['traverseonicfg',['traverseOnICFG',['../svf-ex_8cpp.html#af45b449c07f1c975eea45d40d1cc37f6',1,'svf-ex.cpp']]],

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

@@ -8,7 +8,7 @@ var searchData=
   ['wpasccsolver',['WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#aa2c15ca2f8fba1a5d77f0332e4ddf9e8',1,'SVF::WPASCCSolver']]],
   ['wpasolver',['WPASolver',['../classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd',1,'SVF::WPASolver']]],
   ['writegraphtofile',['WriteGraphToFile',['../classllvm_1_1GraphPrinter.html#a53b3809728c30389a594076097884b82',1,'llvm::GraphPrinter']]],
-  ['writepaggepnode',['writePAGgepNode',['../classSVF_1_1IRAnnotator.html#a9499823922861d3d150daa41f6f5dd6b',1,'SVF::IRAnnotator']]],
+  ['writepaggepnode',['writePAGgepNode',['../classSVF_1_1IRAnnotator.html#a958e9af846c882ef3eeba4d71ff7ef7d',1,'SVF::IRAnnotator']]],
   ['writetofile',['writeToFile',['../classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b',1,'SVF::BVDataPTAImpl']]],
   ['writetomodule',['writeToModule',['../classSVF_1_1BVDataPTAImpl.html#aa0ca07204a31004fb876c6e18d1ac1ca',1,'SVF::BVDataPTAImpl']]],
   ['writewrnmsg',['writeWrnMsg',['../namespaceSVF_1_1SVFUtil.html#a077caa1b10ab84d101d79fc7ea50db2d',1,'SVF::SVFUtil']]],