svf-tools 1.0.853 → 1.0.855

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

@@ -1,93 +1,94 @@
 var searchData=
 [
-  ['sabercondallocator_11904',['saberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#ad7902869f6565f92a4c5af61bd895235',1,'SVF::SaberSVFGBuilder::saberCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44',1,'SVF::SrcSnkDDA::saberCondAllocator()']]],
-  ['saberfullsvfg_11905',['SABERFULLSVFG',['../classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b',1,'SVF::Options']]],
-  ['sb_5ffesible_11906',['SB_FESIBLE',['../classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5',1,'SVF::Annotator']]],
-  ['sb_5finfesible_11907',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
-  ['sb_5fslicesink_11908',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
-  ['sb_5fslicesource_11909',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
-  ['sbv_11910',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo']]],
-  ['sbvit_11911',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
-  ['scc_11912',['scc',['../classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e',1,'SVF::WPASolver']]],
-  ['scccandidates_11913',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
-  ['scctime_11914',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
-  ['scdandersen_11915',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
-  ['secondrhstoprods_11916',['secondRHSToProds',['../classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f',1,'SVF::CFGrammar']]],
-  ['selectedvalidationscenarios_11917',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
-  ['selfcycle_11918',['SelfCycle',['../classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc',1,'SVF::Options']]],
-  ['sfrandersen_11919',['sfrAndersen',['../classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb',1,'SVF::AndersenSFR']]],
-  ['sfrobjnodes_11920',['sfrObjNodes',['../classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75',1,'SVF::AndersenSFR']]],
-  ['showhiddennode_11921',['ShowHiddenNode',['../classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3',1,'SVF::Options']]],
-  ['showsvfirvalue_11922',['ShowSVFIRValue',['../classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353',1,'SVF::Options']]],
-  ['signandwidth_11923',['signAndWidth',['../classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87',1,'SVF::SVFIntegerType']]],
-  ['singlerhstoprods_11924',['singleRHSToProds',['../classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346',1,'SVF::CFGrammar']]],
-  ['sinks_11925',['sinks',['../classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202',1,'SVF::SVFGStat::sinks()'],['../classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80',1,'SVF::ProgSlice::sinks()'],['../classSVF_1_1SrcSnkDDA.html#aaffd4b48be1f99e0450b23f20f034b1e',1,'SVF::SrcSnkDDA::sinks()']]],
-  ['solveall_11926',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
-  ['solver_11927',['solver',['../classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17',1,'SVF::CFLBase::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
-  ['solvetime_11928',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
-  ['sourceloc_11929',['sourceLoc',['../classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd',1,'SVF::SVFValue']]],
-  ['sources_11930',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
-  ['spawncallsites_11931',['spawnCallSites',['../classSVF_1_1PCG.html#a859545671beab2a85c721ce98b785452',1,'SVF::PCG']]],
-  ['spawnees_11932',['spawnees',['../classSVF_1_1PCG.html#a7191718edabfd8ce2df5bfbea683c1fa',1,'SVF::PCG']]],
-  ['spawners_11933',['spawners',['../classSVF_1_1PCG.html#a3f7f0c7aaa768f7e834b4763b18d8223',1,'SVF::PCG']]],
-  ['src_11934',['src',['../classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71',1,'SVF::GenericEdge']]],
-  ['srctocsidmap_11935',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
-  ['startkind_11936',['startKind',['../classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af',1,'SVF::GrammarBase::startKind()'],['../classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2',1,'SVF::CFLGraph::startKind()']]],
-  ['starttime_11937',['startTime',['../classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669',1,'SVF::SVFStat']]],
-  ['stat_11938',['stat',['../classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3',1,'SVF::SVFG::stat()'],['../classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f',1,'SVF::PointerAnalysis::stat()'],['../classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04',1,'SVF::MemSSA::stat()'],['../classSVF_1_1MTA.html#abd4addbfd11a9479edd8625ed1947b9f',1,'SVF::MTA::stat()']]],
-  ['statbudget_11939',['StatBudget',['../classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2',1,'SVF::Options']]],
-  ['steens_11940',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],
-  ['stinfopool_11941',['stInfoPool',['../classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3',1,'SVF::SVFModuleWriter::stInfoPool()'],['../classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76',1,'SVF::SVFModuleReader::stInfoPool()']]],
-  ['stinfos_11942',['stInfos',['../classSVF_1_1SymbolTableInfo.html#a9df4f1df1e5638ab6c9cc8147c7b8efb',1,'SVF::SymbolTableInfo']]],
-  ['stmtreliance_11943',['stmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438',1,'SVF::VersionedFlowSensitive']]],
-  ['stnodeset_11944',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
-  ['store2chisetmap_11945',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
-  ['storebar_11946',['storebar',['../PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c',1,'PAGGrammar.txt']]],
-  ['storecgedgeset_11947',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storedstnodes_11948',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
-  ['storeedgelabelcounter_11949',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
-  ['storeinedges_11950',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
-  ['storeoutedges_11951',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
-  ['storeset_11952',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
-  ['storestomrsmap_11953',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator']]],
-  ['storestopointstomap_11954',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator']]],
-  ['storetime_11955',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
-  ['storetodpms_11956',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
-  ['strategy_11957',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator']]],
-  ['stride_11958',['stride',['../classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2',1,'SVF::StInfo']]],
-  ['strides_11959',['strides',['../classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278',1,'SVF::ConstraintNode']]],
-  ['string_11960',['string',['../structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983',1,'cJSON::string()'],['../cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458',1,'string(): cJSON.h'],['../cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24',1,'string(): cJSON.cpp']]],
-  ['structname_11961',['structName',['../LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821',1,'LLVMUtil.cpp']]],
-  ['succbbs_11962',['succBBs',['../classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd',1,'SVF::SVFBasicBlock']]],
-  ['successors_11963',['successors',['../classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5',1,'SVF::BranchStmt']]],
-  ['succinsts_11964',['succInsts',['../classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679',1,'SVF::SVFInstruction']]],
-  ['succmap_11965',['succMap',['../classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36',1,'SVF::POCRSolver']]],
-  ['succset_11966',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
-  ['sval_11967',['sval',['../classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671',1,'SVF::SVFConstantInt']]],
-  ['svfg_11968',['svfg',['../classSVF_1_1CFLVF.html#aed71ea423497a4f64c8b62ee4187210e',1,'SVF::CFLVF::svfg()'],['../classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
-  ['svfgbuilder_11969',['svfgBuilder',['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver']]],
-  ['svfghassu_11970',['svfgHasSU',['../classSVF_1_1FlowSensitive.html#a43e8ca2e69e6e8643c9abd1fa231d305',1,'SVF::FlowSensitive']]],
-  ['svfgnode_11971',['SVFGNode',['../classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7',1,'SVF::SVFGNodeLockSpan']]],
-  ['svfgnodetocondmap_11972',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice']]],
-  ['svfgopttimeend_11973',['svfgOptTimeEnd',['../classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35',1,'SVF::SVFGStat']]],
-  ['svfgopttimestart_11974',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
-  ['svfgwithindcall_11975',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
-  ['svfgwithindirectcall_11976',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0',1,'SVF::Options']]],
-  ['svfir_11977',['svfIR',['../classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8',1,'SVF::SVFIRWriter::svfIR()'],['../classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::svfir()']]],
-  ['svflooppool_11978',['svfLoopPool',['../classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9',1,'SVF::ICFGWriter::svfLoopPool()'],['../classSVF_1_1ICFGReader.html#a366fa1cfec101c723e36582d80125194',1,'SVF::ICFGReader::svfLoopPool()']]],
-  ['svfmain_11979',['SVFMain',['../classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d',1,'SVF::Options']]],
-  ['svfmod_11980',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()']]],
-  ['svfmodule_11981',['svfModule',['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()'],['../classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc',1,'SVF::SVFIRBuilder::svfModule()'],['../classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9',1,'SVF::SVFIR::svfModule()'],['../classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189',1,'SVF::SVFModule::svfModule()']]],
-  ['svfmodulefieldjson_11982',['svfModuleFieldJson',['../classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c',1,'SVF::SVFModuleReader']]],
-  ['svfmodulereader_11983',['svfModuleReader',['../classSVF_1_1SVFIRReader.html#a2414da27b56b86d2e6266693c66963cd',1,'SVF::SVFIRReader']]],
-  ['svfmodulewriter_11984',['svfModuleWriter',['../classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858',1,'SVF::SVFIRWriter']]],
-  ['svftypepool_11985',['svfTypePool',['../classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d',1,'SVF::SVFModuleWriter::svfTypePool()'],['../classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d',1,'SVF::SVFModuleReader::svfTypePool()']]],
-  ['svftypes_11986',['svfTypes',['../classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9',1,'SVF::SymbolTableInfo']]],
-  ['svfvalue2llvmvalue_11987',['SVFValue2LLVMValue',['../classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be',1,'SVF::LLVMModuleSet']]],
-  ['svfvaluepool_11988',['svfValuePool',['../classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd',1,'SVF::SVFModuleWriter::svfValuePool()'],['../classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe',1,'SVF::SVFModuleReader::svfValuePool()']]],
-  ['symid_11989',['symId',['../classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046',1,'SVF::MemObj']]],
-  ['syminfo_11990',['symInfo',['../classSVF_1_1LLVMModuleSet.html#a5552135a27684cbe4d2a5ed346f64644',1,'SVF::LLVMModuleSet::symInfo()'],['../classSVF_1_1SymbolTableBuilder.html#a3100246d9b0a58e53f2dbc8acf231afb',1,'SVF::SymbolTableBuilder::symInfo()'],['../classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1',1,'SVF::IRGraph::symInfo()'],['../classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c',1,'SVF::SymbolTableInfo::symInfo()']]],
-  ['symtabfieldjson_11991',['symTabFieldJson',['../classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c',1,'SVF::SymbolTableInfoReader']]],
-  ['symtablereader_11992',['symTableReader',['../classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c',1,'SVF::SVFIRReader']]],
-  ['symtabprint_11993',['SymTabPrint',['../classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3',1,'SVF::Options']]]
+  ['sabercondallocator_11946',['saberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#ad7902869f6565f92a4c5af61bd895235',1,'SVF::SaberSVFGBuilder::saberCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44',1,'SVF::SrcSnkDDA::saberCondAllocator()']]],
+  ['saberfullsvfg_11947',['SABERFULLSVFG',['../classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b',1,'SVF::Options']]],
+  ['sb_5ffesible_11948',['SB_FESIBLE',['../classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5',1,'SVF::Annotator']]],
+  ['sb_5finfesible_11949',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
+  ['sb_5fslicesink_11950',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
+  ['sb_5fslicesource_11951',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
+  ['sbv_11952',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo']]],
+  ['sbvit_11953',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
+  ['scc_11954',['scc',['../classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e',1,'SVF::WPASolver']]],
+  ['scccandidates_11955',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
+  ['scctime_11956',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
+  ['scdandersen_11957',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
+  ['secondrhstoprods_11958',['secondRHSToProds',['../classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f',1,'SVF::CFGrammar']]],
+  ['selectedvalidationscenarios_11959',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
+  ['selfcycle_11960',['SelfCycle',['../classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc',1,'SVF::Options']]],
+  ['sfrandersen_11961',['sfrAndersen',['../classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb',1,'SVF::AndersenSFR']]],
+  ['sfrobjnodes_11962',['sfrObjNodes',['../classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75',1,'SVF::AndersenSFR']]],
+  ['showhiddennode_11963',['ShowHiddenNode',['../classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3',1,'SVF::Options']]],
+  ['showsvfirvalue_11964',['ShowSVFIRValue',['../classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353',1,'SVF::Options']]],
+  ['signandwidth_11965',['signAndWidth',['../classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87',1,'SVF::SVFIntegerType']]],
+  ['singlerhstoprods_11966',['singleRHSToProds',['../classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346',1,'SVF::CFGrammar']]],
+  ['sinks_11967',['sinks',['../classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202',1,'SVF::SVFGStat::sinks()'],['../classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80',1,'SVF::ProgSlice::sinks()'],['../classSVF_1_1SrcSnkDDA.html#aaffd4b48be1f99e0450b23f20f034b1e',1,'SVF::SrcSnkDDA::sinks()']]],
+  ['solveall_11968',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
+  ['solver_11969',['solver',['../classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17',1,'SVF::CFLBase::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
+  ['solvetime_11970',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
+  ['sourceloc_11971',['sourceLoc',['../classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd',1,'SVF::SVFValue']]],
+  ['sources_11972',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
+  ['spawncallsites_11973',['spawnCallSites',['../classSVF_1_1PCG.html#a859545671beab2a85c721ce98b785452',1,'SVF::PCG']]],
+  ['spawnees_11974',['spawnees',['../classSVF_1_1PCG.html#a7191718edabfd8ce2df5bfbea683c1fa',1,'SVF::PCG']]],
+  ['spawners_11975',['spawners',['../classSVF_1_1PCG.html#a3f7f0c7aaa768f7e834b4763b18d8223',1,'SVF::PCG']]],
+  ['src_11976',['src',['../classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71',1,'SVF::GenericEdge']]],
+  ['srctocsidmap_11977',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
+  ['startkind_11978',['startKind',['../classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af',1,'SVF::GrammarBase::startKind()'],['../classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2',1,'SVF::CFLGraph::startKind()']]],
+  ['starttime_11979',['startTime',['../classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669',1,'SVF::SVFStat']]],
+  ['stat_11980',['stat',['../classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3',1,'SVF::SVFG::stat()'],['../classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f',1,'SVF::PointerAnalysis::stat()'],['../classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04',1,'SVF::MemSSA::stat()'],['../classSVF_1_1MTA.html#abd4addbfd11a9479edd8625ed1947b9f',1,'SVF::MTA::stat()']]],
+  ['statbudget_11981',['StatBudget',['../classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2',1,'SVF::Options']]],
+  ['steens_11982',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],
+  ['stinfopool_11983',['stInfoPool',['../classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3',1,'SVF::SVFModuleWriter::stInfoPool()'],['../classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76',1,'SVF::SVFModuleReader::stInfoPool()']]],
+  ['stinfos_11984',['stInfos',['../classSVF_1_1SymbolTableInfo.html#a9df4f1df1e5638ab6c9cc8147c7b8efb',1,'SVF::SymbolTableInfo']]],
+  ['stmtreliance_11985',['stmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438',1,'SVF::VersionedFlowSensitive']]],
+  ['stnodeset_11986',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
+  ['store2chisetmap_11987',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
+  ['storebar_11988',['storebar',['../PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c',1,'PAGGrammar.txt']]],
+  ['storecgedgeset_11989',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
+  ['storedstnodes_11990',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
+  ['storeedgelabelcounter_11991',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
+  ['storeinedges_11992',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
+  ['storeoutedges_11993',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
+  ['storeset_11994',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
+  ['storestomrsmap_11995',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator']]],
+  ['storestopointstomap_11996',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator']]],
+  ['storetime_11997',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
+  ['storetodpms_11998',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
+  ['strategy_11999',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator']]],
+  ['stride_12000',['stride',['../classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2',1,'SVF::StInfo']]],
+  ['strides_12001',['strides',['../classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278',1,'SVF::ConstraintNode']]],
+  ['string_12002',['string',['../structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983',1,'cJSON::string()'],['../cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458',1,'string(): cJSON.h'],['../cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24',1,'string(): cJSON.cpp']]],
+  ['structname_12003',['structName',['../LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821',1,'LLVMUtil.cpp']]],
+  ['succbbs_12004',['succBBs',['../classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd',1,'SVF::SVFBasicBlock']]],
+  ['successors_12005',['successors',['../classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5',1,'SVF::BranchStmt']]],
+  ['succinsts_12006',['succInsts',['../classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679',1,'SVF::SVFInstruction']]],
+  ['succmap_12007',['succMap',['../classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36',1,'SVF::POCRSolver']]],
+  ['succset_12008',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
+  ['sval_12009',['sval',['../classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671',1,'SVF::SVFConstantInt']]],
+  ['svfg_12010',['svfg',['../classSVF_1_1CFLVF.html#aed71ea423497a4f64c8b62ee4187210e',1,'SVF::CFLVF::svfg()'],['../classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
+  ['svfgbuilder_12011',['svfgBuilder',['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver']]],
+  ['svfghassu_12012',['svfgHasSU',['../classSVF_1_1FlowSensitive.html#a43e8ca2e69e6e8643c9abd1fa231d305',1,'SVF::FlowSensitive']]],
+  ['svfgnode_12013',['SVFGNode',['../classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7',1,'SVF::SVFGNodeLockSpan']]],
+  ['svfgnodetocondmap_12014',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice']]],
+  ['svfgopttimeend_12015',['svfgOptTimeEnd',['../classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35',1,'SVF::SVFGStat']]],
+  ['svfgopttimestart_12016',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
+  ['svfgwithindcall_12017',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
+  ['svfgwithindirectcall_12018',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0',1,'SVF::Options']]],
+  ['svfir_12019',['svfir',['../classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::svfir()'],['../classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8',1,'SVF::SVFIRWriter::svfIR()']]],
+  ['svflooppool_12020',['svfLoopPool',['../classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9',1,'SVF::ICFGWriter::svfLoopPool()'],['../classSVF_1_1ICFGReader.html#a366fa1cfec101c723e36582d80125194',1,'SVF::ICFGReader::svfLoopPool()']]],
+  ['svfmain_12021',['SVFMain',['../classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d',1,'SVF::Options']]],
+  ['svfmod_12022',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()']]],
+  ['svfmodule_12023',['svfModule',['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()'],['../classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc',1,'SVF::SVFIRBuilder::svfModule()'],['../classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9',1,'SVF::SVFIR::svfModule()'],['../classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189',1,'SVF::SVFModule::svfModule()']]],
+  ['svfmodulefieldjson_12024',['svfModuleFieldJson',['../classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c',1,'SVF::SVFModuleReader']]],
+  ['svfmodulereader_12025',['svfModuleReader',['../classSVF_1_1SVFIRReader.html#a2414da27b56b86d2e6266693c66963cd',1,'SVF::SVFIRReader']]],
+  ['svfmodulewriter_12026',['svfModuleWriter',['../classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858',1,'SVF::SVFIRWriter']]],
+  ['svftypepool_12027',['svfTypePool',['../classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d',1,'SVF::SVFModuleWriter::svfTypePool()'],['../classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d',1,'SVF::SVFModuleReader::svfTypePool()']]],
+  ['svftypes_12028',['svfTypes',['../classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9',1,'SVF::SymbolTableInfo']]],
+  ['svfvalue2llvmvalue_12029',['SVFValue2LLVMValue',['../classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be',1,'SVF::LLVMModuleSet']]],
+  ['svfvaluepool_12030',['svfValuePool',['../classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd',1,'SVF::SVFModuleWriter::svfValuePool()'],['../classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe',1,'SVF::SVFModuleReader::svfValuePool()']]],
+  ['symabs_12031',['SYMABS',['../ae_8cpp.html#acf883aea11ed083025935a7257b5967d',1,'ae.cpp']]],
+  ['symid_12032',['symId',['../classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046',1,'SVF::MemObj']]],
+  ['syminfo_12033',['symInfo',['../classSVF_1_1LLVMModuleSet.html#a5552135a27684cbe4d2a5ed346f64644',1,'SVF::LLVMModuleSet::symInfo()'],['../classSVF_1_1SymbolTableBuilder.html#a3100246d9b0a58e53f2dbc8acf231afb',1,'SVF::SymbolTableBuilder::symInfo()'],['../classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1',1,'SVF::IRGraph::symInfo()'],['../classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c',1,'SVF::SymbolTableInfo::symInfo()']]],
+  ['symtabfieldjson_12034',['symTabFieldJson',['../classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c',1,'SVF::SymbolTableInfoReader']]],
+  ['symtablereader_12035',['symTableReader',['../classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c',1,'SVF::SVFIRReader']]],
+  ['symtabprint_12036',['SymTabPrint',['../classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3',1,'SVF::Options']]]
 ];

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

@@ -1,77 +1,77 @@
 var searchData=
 [
-  ['tail_11994',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
-  ['tailmap_11995',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
-  ['tcg_11996',['tcg',['../classSVF_1_1MTAResultValidator.html#a08d80c69c8cd11222233e0e88a41f58d',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
-  ['tcgscc_11997',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct_11998',['tct',['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()']]],
-  ['tct_5faccess_11999',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
-  ['tctdotgraph_12000',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
-  ['tctedgenum_12001',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
-  ['tctnodenum_12002',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
-  ['tcttime_12003',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
-  ['tdapi_12004',['tdAPI',['../classSVF_1_1MTAResultValidator.html#a3539af55e9ba2343e576f7e14f42994f',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap_12005',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
-  ['templatenametoinstancesmap_12006',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
-  ['terminals_12007',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
-  ['terminator_12008',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
-  ['theoreticalnumwords_12009',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['threadstmttointerleaving_12010',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
-  ['threadstmttotheadinterleav_12011',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
-  ['tid_12012',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
-  ['time_12013',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
-  ['timeofbuildcflgrammar_12014',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
-  ['timeofbuildcflgraph_12015',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
-  ['timeofbuildingllvmmodule_12016',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
-  ['timeofbuildingsvfir_12017',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
-  ['timeofbuildingsymboltable_12018',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
-  ['timeofcollapse_12019',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi_12020',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions_12021',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi_12022',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
-  ['timeofnormalizegrammar_12023',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
-  ['timeofprocesscopygep_12024',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
-  ['timeofprocessloadstore_12025',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
-  ['timeofsccdetection_12026',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
-  ['timeofsccmerges_12027',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofsolving_12028',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
-  ['timeofssarenaming_12029',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
-  ['timeofupdatecallgraph_12030',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap_12031',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat']]],
-  ['tlptdata_12032',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
-  ['totalcallsitenum_12033',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
-  ['totalcomplements_12034',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
-  ['totalcondnum_12035',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
-  ['totaldircalledge_12036',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
-  ['totaldirretedge_12037',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
-  ['totaledgenum_12038',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
-  ['totalicfgnode_12039',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
-  ['totalindcalledge_12040',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
-  ['totalindedgelabels_12041',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
-  ['totalindinedge_12042',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
-  ['totalindoutedge_12043',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
-  ['totalindretedge_12044',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
-  ['totalinedge_12045',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
-  ['totalintersections_12046',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
-  ['totalkind_12047',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
-  ['totalmrnum_12048',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
-  ['totaloutedge_12049',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
-  ['totalptapagedge_12050',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
-  ['totalsymnum_12051',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
-  ['totaltime_12052',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['totaltimeofconstructmemssa_12053',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
-  ['totalunions_12054',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
-  ['totalvernum_12055',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
-  ['totalvfgnode_12056',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
-  ['true_12057',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]],
-  ['type_12058',['type',['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
-  ['type2typeinfo_12059',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
-  ['typeandinfoflag_12060',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
-  ['typedefs_12061',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
-  ['typeinfo_12062',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()'],['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()']]],
-  ['typelocsetsmap_12063',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR']]],
-  ['typename_12064',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
-  ['typeofelement_12065',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
-  ['typeprint_12066',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
-  ['typesystem_12067',['typeSystem',['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis']]]
+  ['tail_12037',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
+  ['tailmap_12038',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
+  ['tcg_12039',['tcg',['../classSVF_1_1MTAResultValidator.html#a08d80c69c8cd11222233e0e88a41f58d',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
+  ['tcgscc_12040',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
+  ['tct_12041',['tct',['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()']]],
+  ['tct_5faccess_12042',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
+  ['tctdotgraph_12043',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
+  ['tctedgenum_12044',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
+  ['tctnodenum_12045',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
+  ['tcttime_12046',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
+  ['tdapi_12047',['tdAPI',['../classSVF_1_1MTAResultValidator.html#a3539af55e9ba2343e576f7e14f42994f',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
+  ['tdapimap_12048',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['templatenametoinstancesmap_12049',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
+  ['terminals_12050',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
+  ['terminator_12051',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
+  ['theoreticalnumwords_12052',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['threadstmttointerleaving_12053',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
+  ['threadstmttotheadinterleav_12054',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
+  ['tid_12055',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
+  ['time_12056',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
+  ['timeofbuildcflgrammar_12057',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
+  ['timeofbuildcflgraph_12058',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
+  ['timeofbuildingllvmmodule_12059',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
+  ['timeofbuildingsvfir_12060',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
+  ['timeofbuildingsymboltable_12061',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
+  ['timeofcollapse_12062',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
+  ['timeofcreatemuchi_12063',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions_12064',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi_12065',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofnormalizegrammar_12066',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
+  ['timeofprocesscopygep_12067',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
+  ['timeofprocessloadstore_12068',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
+  ['timeofsccdetection_12069',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
+  ['timeofsccmerges_12070',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
+  ['timeofsolving_12071',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
+  ['timeofssarenaming_12072',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofupdatecallgraph_12073',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
+  ['timestatmap_12074',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat']]],
+  ['tlptdata_12075',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
+  ['totalcallsitenum_12076',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
+  ['totalcomplements_12077',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
+  ['totalcondnum_12078',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
+  ['totaldircalledge_12079',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
+  ['totaldirretedge_12080',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
+  ['totaledgenum_12081',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
+  ['totalicfgnode_12082',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
+  ['totalindcalledge_12083',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
+  ['totalindedgelabels_12084',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
+  ['totalindinedge_12085',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
+  ['totalindoutedge_12086',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
+  ['totalindretedge_12087',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
+  ['totalinedge_12088',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
+  ['totalintersections_12089',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
+  ['totalkind_12090',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
+  ['totalmrnum_12091',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
+  ['totaloutedge_12092',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
+  ['totalptapagedge_12093',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymnum_12094',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
+  ['totaltime_12095',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['totaltimeofconstructmemssa_12096',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
+  ['totalunions_12097',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
+  ['totalvernum_12098',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
+  ['totalvfgnode_12099',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
+  ['true_12100',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]],
+  ['type_12101',['type',['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
+  ['type2typeinfo_12102',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
+  ['typeandinfoflag_12103',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
+  ['typedefs_12104',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
+  ['typeinfo_12105',['typeinfo',['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()'],['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()']]],
+  ['typelocsetsmap_12106',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR']]],
+  ['typename_12107',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
+  ['typeofelement_12108',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
+  ['typeprint_12109',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
+  ['typesystem_12110',['typeSystem',['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['uncalled_12068',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
-  ['unioncache_12069',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
-  ['uniquecomplements_12070',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueintersections_12071',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueunions_12072',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
-  ['unlocksites_12073',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime_12074',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
-  ['updatetime_12075',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
-  ['usedmrvers_12076',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
-  ['usedregs_12077',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
-  ['usepcg_12078',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
-  ['useprecompfieldsensitive_12079',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
-  ['userinput_12080',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
-  ['userinputquery_12081',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]]
+  ['uncalled_12111',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
+  ['unioncache_12112',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
+  ['uniquecomplements_12113',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueintersections_12114',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueunions_12115',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
+  ['unlocksites_12116',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
+  ['updatecallgraphtime_12117',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
+  ['updatetime_12118',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
+  ['usedmrvers_12119',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
+  ['usedregs_12120',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
+  ['usepcg_12121',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
+  ['useprecompfieldsensitive_12122',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
+  ['userinput_12123',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
+  ['userinputquery_12124',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]]
 ];