svf-tools 1.0.819 → 1.0.821

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

@@ -1,95 +1,95 @@
 var searchData=
 [
-  ['sabercondallocator_11846',['saberCondAllocator',['../classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44',1,'SVF::SrcSnkDDA']]],
-  ['saberfullsvfg_11847',['SABERFULLSVFG',['../classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b',1,'SVF::Options']]],
-  ['sb_5ffesible_11848',['SB_FESIBLE',['../classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5',1,'SVF::Annotator']]],
-  ['sb_5finfesible_11849',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
-  ['sb_5fslicesink_11850',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
-  ['sb_5fslicesource_11851',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
-  ['sbv_11852',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo']]],
-  ['sbvit_11853',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
-  ['scc_11854',['scc',['../classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e',1,'SVF::WPASolver']]],
-  ['scccandidates_11855',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
-  ['scctime_11856',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
-  ['scdandersen_11857',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
-  ['secondrhstoprods_11858',['secondRHSToProds',['../classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f',1,'SVF::CFGrammar']]],
-  ['selectedvalidationscenarios_11859',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
-  ['selfcycle_11860',['SelfCycle',['../classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc',1,'SVF::Options']]],
-  ['sfrandersen_11861',['sfrAndersen',['../classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb',1,'SVF::AndersenSFR']]],
-  ['sfrobjnodes_11862',['sfrObjNodes',['../classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75',1,'SVF::AndersenSFR']]],
-  ['showhiddennode_11863',['ShowHiddenNode',['../classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3',1,'SVF::Options']]],
-  ['showsvfirvalue_11864',['ShowSVFIRValue',['../classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353',1,'SVF::Options']]],
-  ['signandwidth_11865',['signAndWidth',['../classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87',1,'SVF::SVFIntegerType']]],
-  ['singleload_11866',['SingleLoad',['../classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e',1,'SVF::Options']]],
-  ['singlerhstoprods_11867',['singleRHSToProds',['../classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346',1,'SVF::CFGrammar']]],
-  ['singlestride_11868',['SingleStride',['../classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2',1,'SVF::Options']]],
-  ['sinks_11869',['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_11870',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
-  ['solver_11871',['solver',['../classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17',1,'SVF::CFLBase::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
-  ['solvetime_11872',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
-  ['sourceloc_11873',['sourceLoc',['../classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd',1,'SVF::SVFValue']]],
-  ['sources_11874',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
-  ['spawncallsites_11875',['spawnCallSites',['../classSVF_1_1PCG.html#a859545671beab2a85c721ce98b785452',1,'SVF::PCG']]],
-  ['spawnees_11876',['spawnees',['../classSVF_1_1PCG.html#a7191718edabfd8ce2df5bfbea683c1fa',1,'SVF::PCG']]],
-  ['spawners_11877',['spawners',['../classSVF_1_1PCG.html#a3f7f0c7aaa768f7e834b4763b18d8223',1,'SVF::PCG']]],
-  ['src_11878',['src',['../classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71',1,'SVF::GenericEdge']]],
-  ['srctocsidmap_11879',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
-  ['startkind_11880',['startKind',['../classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af',1,'SVF::GrammarBase::startKind()'],['../classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2',1,'SVF::CFLGraph::startKind()']]],
-  ['starttime_11881',['startTime',['../classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669',1,'SVF::SVFStat']]],
-  ['stat_11882',['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_11883',['StatBudget',['../classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2',1,'SVF::Options']]],
-  ['steens_11884',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],
-  ['stinfopool_11885',['stInfoPool',['../classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3',1,'SVF::SVFModuleWriter::stInfoPool()'],['../classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76',1,'SVF::SVFModuleReader::stInfoPool()']]],
-  ['stinfos_11886',['stInfos',['../classSVF_1_1SymbolTableInfo.html#a9df4f1df1e5638ab6c9cc8147c7b8efb',1,'SVF::SymbolTableInfo']]],
-  ['stmtreliance_11887',['stmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438',1,'SVF::VersionedFlowSensitive']]],
-  ['stnodeset_11888',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
-  ['store2chisetmap_11889',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
-  ['storebar_11890',['storebar',['../PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c',1,'PAGGrammar.txt']]],
-  ['storecgedgeset_11891',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storedstnodes_11892',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
-  ['storeedgelabelcounter_11893',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
-  ['storeinedges_11894',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
-  ['storeoutedges_11895',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
-  ['storeset_11896',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
-  ['storestomrsmap_11897',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator']]],
-  ['storestopointstomap_11898',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator']]],
-  ['storetime_11899',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
-  ['storetodpms_11900',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
-  ['strategy_11901',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator']]],
-  ['stride_11902',['stride',['../classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2',1,'SVF::StInfo']]],
-  ['strides_11903',['strides',['../classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278',1,'SVF::ConstraintNode']]],
-  ['string_11904',['string',['../structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983',1,'cJSON::string()'],['../cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458',1,'string(): cJSON.h'],['../cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24',1,'string(): cJSON.cpp']]],
-  ['structname_11905',['structName',['../LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821',1,'LLVMUtil.cpp']]],
-  ['succbbs_11906',['succBBs',['../classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd',1,'SVF::SVFBasicBlock']]],
-  ['successors_11907',['successors',['../classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5',1,'SVF::BranchStmt']]],
-  ['succinsts_11908',['succInsts',['../classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679',1,'SVF::SVFInstruction']]],
-  ['succmap_11909',['succMap',['../classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36',1,'SVF::POCRSolver']]],
-  ['succset_11910',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
-  ['sval_11911',['sval',['../classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671',1,'SVF::SVFConstantInt']]],
-  ['svfg_11912',['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_11913',['svfgBuilder',['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver']]],
-  ['svfghassu_11914',['svfgHasSU',['../classSVF_1_1FlowSensitive.html#a43e8ca2e69e6e8643c9abd1fa231d305',1,'SVF::FlowSensitive']]],
-  ['svfgnode_11915',['SVFGNode',['../classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7',1,'SVF::SVFGNodeLockSpan']]],
-  ['svfgnodetocondmap_11916',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice']]],
-  ['svfgopttimeend_11917',['svfgOptTimeEnd',['../classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35',1,'SVF::SVFGStat']]],
-  ['svfgopttimestart_11918',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
-  ['svfgwithindcall_11919',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
-  ['svfgwithindirectcall_11920',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0',1,'SVF::Options']]],
-  ['svfir_11921',['svfir',['../classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::svfir()'],['../classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8',1,'SVF::SVFIRWriter::svfIR()']]],
-  ['svflooppool_11922',['svfLoopPool',['../classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9',1,'SVF::ICFGWriter::svfLoopPool()'],['../classSVF_1_1ICFGReader.html#a366fa1cfec101c723e36582d80125194',1,'SVF::ICFGReader::svfLoopPool()']]],
-  ['svfmain_11923',['SVFMain',['../classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d',1,'SVF::Options']]],
-  ['svfmod_11924',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()']]],
-  ['svfmodule_11925',['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_11926',['svfModuleFieldJson',['../classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c',1,'SVF::SVFModuleReader']]],
-  ['svfmodulereader_11927',['svfModuleReader',['../classSVF_1_1SVFIRReader.html#a2414da27b56b86d2e6266693c66963cd',1,'SVF::SVFIRReader']]],
-  ['svfmodulewriter_11928',['svfModuleWriter',['../classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858',1,'SVF::SVFIRWriter']]],
-  ['svftypepool_11929',['svfTypePool',['../classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d',1,'SVF::SVFModuleWriter::svfTypePool()'],['../classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d',1,'SVF::SVFModuleReader::svfTypePool()']]],
-  ['svftypes_11930',['svfTypes',['../classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9',1,'SVF::SymbolTableInfo']]],
-  ['svfvalue2llvmvalue_11931',['SVFValue2LLVMValue',['../classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be',1,'SVF::LLVMModuleSet']]],
-  ['svfvaluepool_11932',['svfValuePool',['../classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd',1,'SVF::SVFModuleWriter::svfValuePool()'],['../classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe',1,'SVF::SVFModuleReader::svfValuePool()']]],
-  ['symid_11933',['symId',['../classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046',1,'SVF::MemObj']]],
-  ['syminfo_11934',['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_11935',['symTabFieldJson',['../classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c',1,'SVF::SymbolTableInfoReader']]],
-  ['symtablereader_11936',['symTableReader',['../classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c',1,'SVF::SVFIRReader']]],
-  ['symtabprint_11937',['SymTabPrint',['../classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3',1,'SVF::Options']]]
+  ['sabercondallocator_11851',['saberCondAllocator',['../classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44',1,'SVF::SrcSnkDDA']]],
+  ['saberfullsvfg_11852',['SABERFULLSVFG',['../classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b',1,'SVF::Options']]],
+  ['sb_5ffesible_11853',['SB_FESIBLE',['../classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5',1,'SVF::Annotator']]],
+  ['sb_5finfesible_11854',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
+  ['sb_5fslicesink_11855',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
+  ['sb_5fslicesource_11856',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
+  ['sbv_11857',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo']]],
+  ['sbvit_11858',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
+  ['scc_11859',['scc',['../classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e',1,'SVF::WPASolver']]],
+  ['scccandidates_11860',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
+  ['scctime_11861',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
+  ['scdandersen_11862',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
+  ['secondrhstoprods_11863',['secondRHSToProds',['../classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f',1,'SVF::CFGrammar']]],
+  ['selectedvalidationscenarios_11864',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
+  ['selfcycle_11865',['SelfCycle',['../classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc',1,'SVF::Options']]],
+  ['sfrandersen_11866',['sfrAndersen',['../classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb',1,'SVF::AndersenSFR']]],
+  ['sfrobjnodes_11867',['sfrObjNodes',['../classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75',1,'SVF::AndersenSFR']]],
+  ['showhiddennode_11868',['ShowHiddenNode',['../classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3',1,'SVF::Options']]],
+  ['showsvfirvalue_11869',['ShowSVFIRValue',['../classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353',1,'SVF::Options']]],
+  ['signandwidth_11870',['signAndWidth',['../classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87',1,'SVF::SVFIntegerType']]],
+  ['singleload_11871',['SingleLoad',['../classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e',1,'SVF::Options']]],
+  ['singlerhstoprods_11872',['singleRHSToProds',['../classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346',1,'SVF::CFGrammar']]],
+  ['singlestride_11873',['SingleStride',['../classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2',1,'SVF::Options']]],
+  ['sinks_11874',['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_11875',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
+  ['solver_11876',['solver',['../classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17',1,'SVF::CFLBase::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
+  ['solvetime_11877',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
+  ['sourceloc_11878',['sourceLoc',['../classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd',1,'SVF::SVFValue']]],
+  ['sources_11879',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
+  ['spawncallsites_11880',['spawnCallSites',['../classSVF_1_1PCG.html#a859545671beab2a85c721ce98b785452',1,'SVF::PCG']]],
+  ['spawnees_11881',['spawnees',['../classSVF_1_1PCG.html#a7191718edabfd8ce2df5bfbea683c1fa',1,'SVF::PCG']]],
+  ['spawners_11882',['spawners',['../classSVF_1_1PCG.html#a3f7f0c7aaa768f7e834b4763b18d8223',1,'SVF::PCG']]],
+  ['src_11883',['src',['../classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71',1,'SVF::GenericEdge']]],
+  ['srctocsidmap_11884',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
+  ['startkind_11885',['startKind',['../classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af',1,'SVF::GrammarBase::startKind()'],['../classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2',1,'SVF::CFLGraph::startKind()']]],
+  ['starttime_11886',['startTime',['../classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669',1,'SVF::SVFStat']]],
+  ['stat_11887',['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_11888',['StatBudget',['../classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2',1,'SVF::Options']]],
+  ['steens_11889',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],
+  ['stinfopool_11890',['stInfoPool',['../classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3',1,'SVF::SVFModuleWriter::stInfoPool()'],['../classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76',1,'SVF::SVFModuleReader::stInfoPool()']]],
+  ['stinfos_11891',['stInfos',['../classSVF_1_1SymbolTableInfo.html#a9df4f1df1e5638ab6c9cc8147c7b8efb',1,'SVF::SymbolTableInfo']]],
+  ['stmtreliance_11892',['stmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438',1,'SVF::VersionedFlowSensitive']]],
+  ['stnodeset_11893',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
+  ['store2chisetmap_11894',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
+  ['storebar_11895',['storebar',['../PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c',1,'PAGGrammar.txt']]],
+  ['storecgedgeset_11896',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
+  ['storedstnodes_11897',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
+  ['storeedgelabelcounter_11898',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
+  ['storeinedges_11899',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
+  ['storeoutedges_11900',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
+  ['storeset_11901',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
+  ['storestomrsmap_11902',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator']]],
+  ['storestopointstomap_11903',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator']]],
+  ['storetime_11904',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
+  ['storetodpms_11905',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
+  ['strategy_11906',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator']]],
+  ['stride_11907',['stride',['../classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2',1,'SVF::StInfo']]],
+  ['strides_11908',['strides',['../classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278',1,'SVF::ConstraintNode']]],
+  ['string_11909',['string',['../structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983',1,'cJSON::string()'],['../cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458',1,'string(): cJSON.h'],['../cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24',1,'string(): cJSON.cpp']]],
+  ['structname_11910',['structName',['../LLVMUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821',1,'LLVMUtil.cpp']]],
+  ['succbbs_11911',['succBBs',['../classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd',1,'SVF::SVFBasicBlock']]],
+  ['successors_11912',['successors',['../classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5',1,'SVF::BranchStmt']]],
+  ['succinsts_11913',['succInsts',['../classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679',1,'SVF::SVFInstruction']]],
+  ['succmap_11914',['succMap',['../classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36',1,'SVF::POCRSolver']]],
+  ['succset_11915',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
+  ['sval_11916',['sval',['../classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671',1,'SVF::SVFConstantInt']]],
+  ['svfg_11917',['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_11918',['svfgBuilder',['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver']]],
+  ['svfghassu_11919',['svfgHasSU',['../classSVF_1_1FlowSensitive.html#a43e8ca2e69e6e8643c9abd1fa231d305',1,'SVF::FlowSensitive']]],
+  ['svfgnode_11920',['SVFGNode',['../classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7',1,'SVF::SVFGNodeLockSpan']]],
+  ['svfgnodetocondmap_11921',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice']]],
+  ['svfgopttimeend_11922',['svfgOptTimeEnd',['../classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35',1,'SVF::SVFGStat']]],
+  ['svfgopttimestart_11923',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
+  ['svfgwithindcall_11924',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
+  ['svfgwithindirectcall_11925',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0',1,'SVF::Options']]],
+  ['svfir_11926',['svfIR',['../classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8',1,'SVF::SVFIRWriter::svfIR()'],['../classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::svfir()']]],
+  ['svflooppool_11927',['svfLoopPool',['../classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9',1,'SVF::ICFGWriter::svfLoopPool()'],['../classSVF_1_1ICFGReader.html#a366fa1cfec101c723e36582d80125194',1,'SVF::ICFGReader::svfLoopPool()']]],
+  ['svfmain_11928',['SVFMain',['../classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d',1,'SVF::Options']]],
+  ['svfmod_11929',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()']]],
+  ['svfmodule_11930',['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_11931',['svfModuleFieldJson',['../classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c',1,'SVF::SVFModuleReader']]],
+  ['svfmodulereader_11932',['svfModuleReader',['../classSVF_1_1SVFIRReader.html#a2414da27b56b86d2e6266693c66963cd',1,'SVF::SVFIRReader']]],
+  ['svfmodulewriter_11933',['svfModuleWriter',['../classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858',1,'SVF::SVFIRWriter']]],
+  ['svftypepool_11934',['svfTypePool',['../classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d',1,'SVF::SVFModuleWriter::svfTypePool()'],['../classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d',1,'SVF::SVFModuleReader::svfTypePool()']]],
+  ['svftypes_11935',['svfTypes',['../classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9',1,'SVF::SymbolTableInfo']]],
+  ['svfvalue2llvmvalue_11936',['SVFValue2LLVMValue',['../classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be',1,'SVF::LLVMModuleSet']]],
+  ['svfvaluepool_11937',['svfValuePool',['../classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd',1,'SVF::SVFModuleWriter::svfValuePool()'],['../classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe',1,'SVF::SVFModuleReader::svfValuePool()']]],
+  ['symid_11938',['symId',['../classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046',1,'SVF::MemObj']]],
+  ['syminfo_11939',['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_11940',['symTabFieldJson',['../classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c',1,'SVF::SymbolTableInfoReader']]],
+  ['symtablereader_11941',['symTableReader',['../classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c',1,'SVF::SVFIRReader']]],
+  ['symtabprint_11942',['SymTabPrint',['../classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3',1,'SVF::Options']]]
 ];

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

@@ -1,78 +1,79 @@
 var searchData=
 [
-  ['tail_11938',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
-  ['tailmap_11939',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
-  ['taintuninitheap_11940',['TaintUninitHeap',['../classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f',1,'SVF::Options']]],
-  ['taintuninitstack_11941',['TaintUninitStack',['../classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34',1,'SVF::Options']]],
-  ['tcg_11942',['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_11943',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct_11944',['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_11945',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
-  ['tctdotgraph_11946',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
-  ['tctedgenum_11947',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
-  ['tctnodenum_11948',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
-  ['tcttime_11949',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
-  ['tdapi_11950',['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_11951',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
-  ['templatenametoinstancesmap_11952',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
-  ['terminals_11953',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
-  ['terminator_11954',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
-  ['theoreticalnumwords_11955',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['threadstmttointerleaving_11956',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
-  ['threadstmttotheadinterleav_11957',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
-  ['tid_11958',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
-  ['timeofbuildcflgrammar_11959',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
-  ['timeofbuildcflgraph_11960',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
-  ['timeofbuildingllvmmodule_11961',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
-  ['timeofbuildingsvfir_11962',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
-  ['timeofbuildingsymboltable_11963',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
-  ['timeofcollapse_11964',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi_11965',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions_11966',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi_11967',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
-  ['timeofnormalizegrammar_11968',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
-  ['timeofprocesscopygep_11969',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
-  ['timeofprocessloadstore_11970',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
-  ['timeofsccdetection_11971',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
-  ['timeofsccmerges_11972',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofsolving_11973',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
-  ['timeofssarenaming_11974',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
-  ['timeofupdatecallgraph_11975',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap_11976',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat']]],
-  ['tlptdata_11977',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
-  ['totalcallsitenum_11978',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
-  ['totalcomplements_11979',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
-  ['totalcondnum_11980',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
-  ['totaldircalledge_11981',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
-  ['totaldirretedge_11982',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
-  ['totaledgenum_11983',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
-  ['totalicfgnode_11984',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
-  ['totalindcalledge_11985',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
-  ['totalindedgelabels_11986',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
-  ['totalindinedge_11987',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
-  ['totalindoutedge_11988',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
-  ['totalindretedge_11989',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
-  ['totalinedge_11990',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
-  ['totalintersections_11991',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
-  ['totalkind_11992',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
-  ['totalmrnum_11993',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
-  ['totaloutedge_11994',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
-  ['totalptapagedge_11995',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
-  ['totalsymnum_11996',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
-  ['totaltime_11997',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['totaltimeofconstructmemssa_11998',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
-  ['totalunions_11999',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
-  ['totalvernum_12000',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
-  ['totalvfgnode_12001',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
-  ['true_12002',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]],
-  ['type_12003',['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_12004',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
-  ['typeandinfoflag_12005',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
-  ['typedefs_12006',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
-  ['typeinfo_12007',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()'],['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()']]],
-  ['typelocsetsmap_12008',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR']]],
-  ['typename_12009',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
-  ['typeofelement_12010',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
-  ['typeprint_12011',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
-  ['typesystem_12012',['typeSystem',['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis']]]
+  ['tail_11943',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
+  ['tailmap_11944',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
+  ['taintuninitheap_11945',['TaintUninitHeap',['../classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f',1,'SVF::Options']]],
+  ['taintuninitstack_11946',['TaintUninitStack',['../classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34',1,'SVF::Options']]],
+  ['tcg_11947',['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_11948',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
+  ['tct_11949',['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_11950',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
+  ['tctdotgraph_11951',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
+  ['tctedgenum_11952',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
+  ['tctnodenum_11953',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
+  ['tcttime_11954',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
+  ['tdapi_11955',['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_11956',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['templatenametoinstancesmap_11957',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
+  ['terminals_11958',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
+  ['terminator_11959',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
+  ['theoreticalnumwords_11960',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['threadstmttointerleaving_11961',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
+  ['threadstmttotheadinterleav_11962',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
+  ['tid_11963',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
+  ['time_11964',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
+  ['timeofbuildcflgrammar_11965',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
+  ['timeofbuildcflgraph_11966',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
+  ['timeofbuildingllvmmodule_11967',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
+  ['timeofbuildingsvfir_11968',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
+  ['timeofbuildingsymboltable_11969',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
+  ['timeofcollapse_11970',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
+  ['timeofcreatemuchi_11971',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions_11972',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi_11973',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofnormalizegrammar_11974',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
+  ['timeofprocesscopygep_11975',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
+  ['timeofprocessloadstore_11976',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
+  ['timeofsccdetection_11977',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
+  ['timeofsccmerges_11978',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
+  ['timeofsolving_11979',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
+  ['timeofssarenaming_11980',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofupdatecallgraph_11981',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
+  ['timestatmap_11982',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat']]],
+  ['tlptdata_11983',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
+  ['totalcallsitenum_11984',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
+  ['totalcomplements_11985',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
+  ['totalcondnum_11986',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
+  ['totaldircalledge_11987',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
+  ['totaldirretedge_11988',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
+  ['totaledgenum_11989',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
+  ['totalicfgnode_11990',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
+  ['totalindcalledge_11991',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
+  ['totalindedgelabels_11992',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
+  ['totalindinedge_11993',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
+  ['totalindoutedge_11994',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
+  ['totalindretedge_11995',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
+  ['totalinedge_11996',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
+  ['totalintersections_11997',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
+  ['totalkind_11998',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
+  ['totalmrnum_11999',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
+  ['totaloutedge_12000',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
+  ['totalptapagedge_12001',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymnum_12002',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
+  ['totaltime_12003',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['totaltimeofconstructmemssa_12004',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
+  ['totalunions_12005',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
+  ['totalvernum_12006',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
+  ['totalvfgnode_12007',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
+  ['true_12008',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]],
+  ['type_12009',['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_12010',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
+  ['typeandinfoflag_12011',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
+  ['typedefs_12012',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
+  ['typeinfo_12013',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()'],['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()']]],
+  ['typelocsetsmap_12014',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR']]],
+  ['typename_12015',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
+  ['typeofelement_12016',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
+  ['typeprint_12017',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]],
+  ['typesystem_12018',['typeSystem',['../classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed',1,'SVF::PointerAnalysis']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['uncalled_12013',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
-  ['unioncache_12014',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
-  ['uniquecomplements_12015',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueintersections_12016',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueunions_12017',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
-  ['unlocksites_12018',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime_12019',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
-  ['updatetime_12020',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
-  ['usedmrvers_12021',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
-  ['usedregs_12022',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
-  ['usepcg_12023',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
-  ['useprecompfieldsensitive_12024',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
-  ['userinput_12025',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
-  ['userinputquery_12026',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]]
+  ['uncalled_12019',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
+  ['unioncache_12020',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
+  ['uniquecomplements_12021',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueintersections_12022',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueunions_12023',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
+  ['unlocksites_12024',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
+  ['updatecallgraphtime_12025',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
+  ['updatetime_12026',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
+  ['usedmrvers_12027',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
+  ['usedregs_12028',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
+  ['usepcg_12029',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
+  ['useprecompfieldsensitive_12030',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
+  ['userinput_12031',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
+  ['userinputquery_12032',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]]
 ];