svf-tools 1.0.913 → 1.0.914

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

@@ -1,96 +1,96 @@
 var searchData=
 [
-  ['sabercondallocator_12131',['saberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#ad7902869f6565f92a4c5af61bd895235',1,'SVF::SaberSVFGBuilder::saberCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44',1,'SVF::SrcSnkDDA::saberCondAllocator()']]],
-  ['saberfullsvfg_12132',['SABERFULLSVFG',['../classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b',1,'SVF::Options']]],
-  ['sb_5ffesible_12133',['SB_FESIBLE',['../classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5',1,'SVF::Annotator']]],
-  ['sb_5finfesible_12134',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
-  ['sb_5fslicesink_12135',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
-  ['sb_5fslicesource_12136',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
-  ['sbv_12137',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo']]],
-  ['sbvit_12138',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
-  ['scc_12139',['scc',['../classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e',1,'SVF::WPASolver']]],
-  ['scccandidates_12140',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
-  ['scctime_12141',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
-  ['scdandersen_12142',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
-  ['secondrhstoprods_12143',['secondRHSToProds',['../classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f',1,'SVF::CFGrammar']]],
-  ['selectedvalidationscenarios_12144',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
-  ['selfcycle_12145',['SelfCycle',['../classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc',1,'SVF::Options']]],
-  ['sfrandersen_12146',['sfrAndersen',['../classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb',1,'SVF::AndersenSFR']]],
-  ['sfrobjnodes_12147',['sfrObjNodes',['../classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75',1,'SVF::AndersenSFR']]],
-  ['showhiddennode_12148',['ShowHiddenNode',['../classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3',1,'SVF::Options']]],
-  ['showsvfirvalue_12149',['ShowSVFIRValue',['../classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353',1,'SVF::Options']]],
-  ['signandwidth_12150',['signAndWidth',['../classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87',1,'SVF::SVFIntegerType']]],
-  ['singlerhstoprods_12151',['singleRHSToProds',['../classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346',1,'SVF::CFGrammar']]],
-  ['sinks_12152',['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_12153',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
-  ['solver_12154',['solver',['../classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17',1,'SVF::CFLBase::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
-  ['solvetime_12155',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
-  ['sourceloc_12156',['sourceLoc',['../classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd',1,'SVF::SVFValue']]],
-  ['sources_12157',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
-  ['spawncallsites_12158',['spawnCallSites',['../classSVF_1_1PCG.html#a859545671beab2a85c721ce98b785452',1,'SVF::PCG']]],
-  ['spawnees_12159',['spawnees',['../classSVF_1_1PCG.html#a7191718edabfd8ce2df5bfbea683c1fa',1,'SVF::PCG']]],
-  ['spawners_12160',['spawners',['../classSVF_1_1PCG.html#a3f7f0c7aaa768f7e834b4763b18d8223',1,'SVF::PCG']]],
-  ['src_12161',['src',['../classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71',1,'SVF::GenericEdge']]],
-  ['srctocsidmap_12162',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
-  ['startkind_12163',['startKind',['../classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af',1,'SVF::GrammarBase::startKind()'],['../classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2',1,'SVF::CFLGraph::startKind()']]],
-  ['starttime_12164',['startTime',['../classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669',1,'SVF::SVFStat']]],
-  ['stat_12165',['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_12166',['StatBudget',['../classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2',1,'SVF::Options']]],
-  ['steens_12167',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],
-  ['stinfopool_12168',['stInfoPool',['../classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3',1,'SVF::SVFModuleWriter::stInfoPool()'],['../classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76',1,'SVF::SVFModuleReader::stInfoPool()']]],
-  ['stinfos_12169',['stInfos',['../classSVF_1_1SymbolTableInfo.html#a9df4f1df1e5638ab6c9cc8147c7b8efb',1,'SVF::SymbolTableInfo']]],
-  ['stmtreliance_12170',['stmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438',1,'SVF::VersionedFlowSensitive']]],
-  ['stnodeset_12171',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
-  ['store2chisetmap_12172',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
-  ['storebar_12173',['storebar',['../PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c',1,'PAGGrammar.txt']]],
-  ['storecgedgeset_12174',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storedstnodes_12175',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
-  ['storeedgelabelcounter_12176',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
-  ['storeinedges_12177',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
-  ['storeoutedges_12178',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
-  ['storeset_12179',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
-  ['storestomrsmap_12180',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator']]],
-  ['storestopointstomap_12181',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator']]],
-  ['storetime_12182',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
-  ['storetodpms_12183',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
-  ['strategy_12184',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator']]],
-  ['stride_12185',['stride',['../classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2',1,'SVF::StInfo']]],
-  ['strides_12186',['strides',['../classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278',1,'SVF::ConstraintNode']]],
-  ['string_12187',['string',['../structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983',1,'cJSON::string()'],['../cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458',1,'string(): cJSON.h'],['../cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24',1,'string(): cJSON.cpp']]],
-  ['structname_12188',['structName',['../CppUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821',1,'CppUtil.cpp']]],
-  ['succbbs_12189',['succBBs',['../classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd',1,'SVF::SVFBasicBlock']]],
-  ['successors_12190',['successors',['../classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5',1,'SVF::BranchStmt']]],
-  ['succinsts_12191',['succInsts',['../classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679',1,'SVF::SVFInstruction']]],
-  ['succmap_12192',['succMap',['../classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36',1,'SVF::POCRSolver']]],
-  ['succset_12193',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
-  ['sval_12194',['sval',['../classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671',1,'SVF::SVFConstantInt']]],
-  ['svfg_12195',['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_12196',['svfgBuilder',['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver']]],
-  ['svfghassu_12197',['svfgHasSU',['../classSVF_1_1FlowSensitive.html#a43e8ca2e69e6e8643c9abd1fa231d305',1,'SVF::FlowSensitive']]],
-  ['svfgnode_12198',['SVFGNode',['../classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7',1,'SVF::SVFGNodeLockSpan']]],
-  ['svfgnodetocondmap_12199',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice']]],
-  ['svfgopttimeend_12200',['svfgOptTimeEnd',['../classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35',1,'SVF::SVFGStat']]],
-  ['svfgopttimestart_12201',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
-  ['svfgwithindcall_12202',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
-  ['svfgwithindirectcall_12203',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0',1,'SVF::Options']]],
-  ['svfi8ty_12204',['svfI8Ty',['../classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c',1,'SVF::SVFType']]],
-  ['svfir_12205',['svfir',['../classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::svfir()'],['../classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8',1,'SVF::SVFIRWriter::svfIR()']]],
-  ['svflooppool_12206',['svfLoopPool',['../classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9',1,'SVF::ICFGWriter::svfLoopPool()'],['../classSVF_1_1ICFGReader.html#a366fa1cfec101c723e36582d80125194',1,'SVF::ICFGReader::svfLoopPool()']]],
-  ['svfmain_12207',['SVFMain',['../classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d',1,'SVF::Options']]],
-  ['svfmod_12208',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()']]],
-  ['svfmodule_12209',['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_12210',['svfModuleFieldJson',['../classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c',1,'SVF::SVFModuleReader']]],
-  ['svfmodulereader_12211',['svfModuleReader',['../classSVF_1_1SVFIRReader.html#a2414da27b56b86d2e6266693c66963cd',1,'SVF::SVFIRReader']]],
-  ['svfmodulewriter_12212',['svfModuleWriter',['../classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858',1,'SVF::SVFIRWriter']]],
-  ['svfptrty_12213',['svfPtrTy',['../classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81',1,'SVF::SVFType']]],
-  ['svftypepool_12214',['svfTypePool',['../classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d',1,'SVF::SVFModuleWriter::svfTypePool()'],['../classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d',1,'SVF::SVFModuleReader::svfTypePool()']]],
-  ['svftypes_12215',['svfTypes',['../classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9',1,'SVF::SymbolTableInfo']]],
-  ['svfvalue2llvmvalue_12216',['SVFValue2LLVMValue',['../classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be',1,'SVF::LLVMModuleSet']]],
-  ['svfvaluepool_12217',['svfValuePool',['../classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd',1,'SVF::SVFModuleWriter::svfValuePool()'],['../classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe',1,'SVF::SVFModuleReader::svfValuePool()']]],
-  ['symabs_12218',['SYMABS',['../ae_8cpp.html#acf883aea11ed083025935a7257b5967d',1,'ae.cpp']]],
-  ['symid_12219',['symId',['../classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046',1,'SVF::MemObj']]],
-  ['syminfo_12220',['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_12221',['symTabFieldJson',['../classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c',1,'SVF::SymbolTableInfoReader']]],
-  ['symtablereader_12222',['symTableReader',['../classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c',1,'SVF::SVFIRReader']]],
-  ['symtabprint_12223',['SymTabPrint',['../classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3',1,'SVF::Options']]]
+  ['sabercondallocator_12105',['saberCondAllocator',['../classSVF_1_1SaberSVFGBuilder.html#ad7902869f6565f92a4c5af61bd895235',1,'SVF::SaberSVFGBuilder::saberCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44',1,'SVF::SrcSnkDDA::saberCondAllocator()']]],
+  ['saberfullsvfg_12106',['SABERFULLSVFG',['../classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b',1,'SVF::Options']]],
+  ['sb_5ffesible_12107',['SB_FESIBLE',['../classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5',1,'SVF::Annotator']]],
+  ['sb_5finfesible_12108',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
+  ['sb_5fslicesink_12109',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
+  ['sb_5fslicesource_12110',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
+  ['sbv_12111',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo']]],
+  ['sbvit_12112',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
+  ['scc_12113',['scc',['../classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e',1,'SVF::WPASolver']]],
+  ['scccandidates_12114',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
+  ['scctime_12115',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
+  ['scdandersen_12116',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
+  ['secondrhstoprods_12117',['secondRHSToProds',['../classSVF_1_1CFGrammar.html#acc33ac845314730a896c0c3459088e4f',1,'SVF::CFGrammar']]],
+  ['selectedvalidationscenarios_12118',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
+  ['selfcycle_12119',['SelfCycle',['../classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc',1,'SVF::Options']]],
+  ['sfrandersen_12120',['sfrAndersen',['../classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb',1,'SVF::AndersenSFR']]],
+  ['sfrobjnodes_12121',['sfrObjNodes',['../classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75',1,'SVF::AndersenSFR']]],
+  ['showhiddennode_12122',['ShowHiddenNode',['../classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3',1,'SVF::Options']]],
+  ['showsvfirvalue_12123',['ShowSVFIRValue',['../classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353',1,'SVF::Options']]],
+  ['signandwidth_12124',['signAndWidth',['../classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87',1,'SVF::SVFIntegerType']]],
+  ['singlerhstoprods_12125',['singleRHSToProds',['../classSVF_1_1CFGrammar.html#a727061855e5c86525e7ea1a165b97346',1,'SVF::CFGrammar']]],
+  ['sinks_12126',['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_12127',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
+  ['solver_12128',['solver',['../classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17',1,'SVF::CFLBase::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
+  ['solvetime_12129',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
+  ['sourceloc_12130',['sourceLoc',['../classSVF_1_1SVFValue.html#a88b280a4377ee8e7c633bfa963cc45fd',1,'SVF::SVFValue']]],
+  ['sources_12131',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
+  ['spawncallsites_12132',['spawnCallSites',['../classSVF_1_1PCG.html#a859545671beab2a85c721ce98b785452',1,'SVF::PCG']]],
+  ['spawnees_12133',['spawnees',['../classSVF_1_1PCG.html#a7191718edabfd8ce2df5bfbea683c1fa',1,'SVF::PCG']]],
+  ['spawners_12134',['spawners',['../classSVF_1_1PCG.html#a3f7f0c7aaa768f7e834b4763b18d8223',1,'SVF::PCG']]],
+  ['src_12135',['src',['../classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71',1,'SVF::GenericEdge']]],
+  ['srctocsidmap_12136',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
+  ['startkind_12137',['startKind',['../classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af',1,'SVF::GrammarBase::startKind()'],['../classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2',1,'SVF::CFLGraph::startKind()']]],
+  ['starttime_12138',['startTime',['../classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669',1,'SVF::SVFStat']]],
+  ['stat_12139',['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_12140',['StatBudget',['../classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2',1,'SVF::Options']]],
+  ['steens_12141',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],
+  ['stinfopool_12142',['stInfoPool',['../classSVF_1_1SVFModuleWriter.html#acffe2e3f6d2275e06da728233a974ec3',1,'SVF::SVFModuleWriter::stInfoPool()'],['../classSVF_1_1SVFModuleReader.html#a6400335a26214622331a4a4a6ad07f76',1,'SVF::SVFModuleReader::stInfoPool()']]],
+  ['stinfos_12143',['stInfos',['../classSVF_1_1SymbolTableInfo.html#a9df4f1df1e5638ab6c9cc8147c7b8efb',1,'SVF::SymbolTableInfo']]],
+  ['stmtreliance_12144',['stmtReliance',['../classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438',1,'SVF::VersionedFlowSensitive']]],
+  ['stnodeset_12145',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
+  ['store2chisetmap_12146',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
+  ['storebar_12147',['storebar',['../PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c',1,'PAGGrammar.txt']]],
+  ['storecgedgeset_12148',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
+  ['storedstnodes_12149',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
+  ['storeedgelabelcounter_12150',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
+  ['storeinedges_12151',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
+  ['storeoutedges_12152',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
+  ['storeset_12153',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
+  ['storestomrsmap_12154',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator']]],
+  ['storestopointstomap_12155',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator']]],
+  ['storetime_12156',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
+  ['storetodpms_12157',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
+  ['strategy_12158',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator']]],
+  ['stride_12159',['stride',['../classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2',1,'SVF::StInfo']]],
+  ['strides_12160',['strides',['../classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278',1,'SVF::ConstraintNode']]],
+  ['string_12161',['string',['../structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983',1,'cJSON::string()'],['../cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458',1,'string(): cJSON.h'],['../cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24',1,'string(): cJSON.cpp']]],
+  ['structname_12162',['structName',['../CppUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821',1,'CppUtil.cpp']]],
+  ['succbbs_12163',['succBBs',['../classSVF_1_1SVFBasicBlock.html#a7c3a69644f5e1351aad5d0ce0048abfd',1,'SVF::SVFBasicBlock']]],
+  ['successors_12164',['successors',['../classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5',1,'SVF::BranchStmt']]],
+  ['succinsts_12165',['succInsts',['../classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679',1,'SVF::SVFInstruction']]],
+  ['succmap_12166',['succMap',['../classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36',1,'SVF::POCRSolver']]],
+  ['succset_12167',['succset',['../classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262',1,'SVF::MTASVFGBuilder']]],
+  ['sval_12168',['sval',['../classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671',1,'SVF::SVFConstantInt']]],
+  ['svfg_12169',['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_12170',['svfgBuilder',['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver']]],
+  ['svfghassu_12171',['svfgHasSU',['../classSVF_1_1FlowSensitive.html#a43e8ca2e69e6e8643c9abd1fa231d305',1,'SVF::FlowSensitive']]],
+  ['svfgnode_12172',['SVFGNode',['../classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7',1,'SVF::SVFGNodeLockSpan']]],
+  ['svfgnodetocondmap_12173',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice']]],
+  ['svfgopttimeend_12174',['svfgOptTimeEnd',['../classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35',1,'SVF::SVFGStat']]],
+  ['svfgopttimestart_12175',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
+  ['svfgwithindcall_12176',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
+  ['svfgwithindirectcall_12177',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0',1,'SVF::Options']]],
+  ['svfi8ty_12178',['svfI8Ty',['../classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c',1,'SVF::SVFType']]],
+  ['svfir_12179',['svfIR',['../classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8',1,'SVF::SVFIRWriter::svfIR()'],['../classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::svfir()']]],
+  ['svflooppool_12180',['svfLoopPool',['../classSVF_1_1ICFGWriter.html#a79f4edaff02404f518ffeaeab136c0a9',1,'SVF::ICFGWriter::svfLoopPool()'],['../classSVF_1_1ICFGReader.html#a366fa1cfec101c723e36582d80125194',1,'SVF::ICFGReader::svfLoopPool()']]],
+  ['svfmain_12181',['SVFMain',['../classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d',1,'SVF::Options']]],
+  ['svfmod_12182',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()']]],
+  ['svfmodule_12183',['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_12184',['svfModuleFieldJson',['../classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c',1,'SVF::SVFModuleReader']]],
+  ['svfmodulereader_12185',['svfModuleReader',['../classSVF_1_1SVFIRReader.html#a2414da27b56b86d2e6266693c66963cd',1,'SVF::SVFIRReader']]],
+  ['svfmodulewriter_12186',['svfModuleWriter',['../classSVF_1_1SVFIRWriter.html#a9fd47674ea5736f069d994e59c24e858',1,'SVF::SVFIRWriter']]],
+  ['svfptrty_12187',['svfPtrTy',['../classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81',1,'SVF::SVFType']]],
+  ['svftypepool_12188',['svfTypePool',['../classSVF_1_1SVFModuleWriter.html#ad7636d8ee53d13d06bc5c5712fb4837d',1,'SVF::SVFModuleWriter::svfTypePool()'],['../classSVF_1_1SVFModuleReader.html#a8db477eba6a3886e63dfd13cfabd5c8d',1,'SVF::SVFModuleReader::svfTypePool()']]],
+  ['svftypes_12189',['svfTypes',['../classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9',1,'SVF::SymbolTableInfo']]],
+  ['svfvalue2llvmvalue_12190',['SVFValue2LLVMValue',['../classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be',1,'SVF::LLVMModuleSet']]],
+  ['svfvaluepool_12191',['svfValuePool',['../classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd',1,'SVF::SVFModuleWriter::svfValuePool()'],['../classSVF_1_1SVFModuleReader.html#a2993c4358d71036440325001163731fe',1,'SVF::SVFModuleReader::svfValuePool()']]],
+  ['symabs_12192',['SYMABS',['../ae_8cpp.html#acf883aea11ed083025935a7257b5967d',1,'ae.cpp']]],
+  ['symid_12193',['symId',['../classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046',1,'SVF::MemObj']]],
+  ['syminfo_12194',['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_12195',['symTabFieldJson',['../classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c',1,'SVF::SymbolTableInfoReader']]],
+  ['symtablereader_12196',['symTableReader',['../classSVF_1_1SVFIRReader.html#af86d67ef511b844e11a7d4f20756385c',1,'SVF::SVFIRReader']]],
+  ['symtabprint_12197',['SymTabPrint',['../classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3',1,'SVF::Options']]]
 ];

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

@@ -1,79 +1,79 @@
 var searchData=
 [
-  ['tail_12224',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
-  ['tailmap_12225',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
-  ['tcg_12226',['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_12227',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct_12228',['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_12229',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
-  ['tctdotgraph_12230',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
-  ['tctedgenum_12231',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
-  ['tctnodenum_12232',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
-  ['tcttime_12233',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
-  ['tdapi_12234',['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_12235',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
-  ['templatenametoinstancesmap_12236',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
-  ['terminals_12237',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
-  ['terminator_12238',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
-  ['theoreticalnumwords_12239',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['threadstmttointerleaving_12240',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
-  ['threadstmttotheadinterleav_12241',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
-  ['tid_12242',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
-  ['time_12243',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
-  ['timeofbuildcflgrammar_12244',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
-  ['timeofbuildcflgraph_12245',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
-  ['timeofbuildingllvmmodule_12246',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
-  ['timeofbuildingsvfir_12247',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
-  ['timeofbuildingsymboltable_12248',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
-  ['timeofcollapse_12249',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi_12250',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions_12251',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi_12252',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
-  ['timeofnormalizegrammar_12253',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
-  ['timeofprocesscopygep_12254',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
-  ['timeofprocessloadstore_12255',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
-  ['timeofsccdetection_12256',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
-  ['timeofsccmerges_12257',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofsolving_12258',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
-  ['timeofssarenaming_12259',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
-  ['timeofupdatecallgraph_12260',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timeout_12261',['Timeout',['../classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b',1,'SVF::Options']]],
-  ['timestatmap_12262',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat']]],
-  ['tlptdata_12263',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
-  ['totalcallsitenum_12264',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
-  ['totalcomplements_12265',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
-  ['totalcondnum_12266',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
-  ['totaldircalledge_12267',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
-  ['totaldirretedge_12268',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
-  ['totaledgenum_12269',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
-  ['totalicfgnode_12270',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
-  ['totalindcalledge_12271',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
-  ['totalindedgelabels_12272',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
-  ['totalindinedge_12273',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
-  ['totalindoutedge_12274',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
-  ['totalindretedge_12275',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
-  ['totalinedge_12276',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
-  ['totalintersections_12277',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
-  ['totalkind_12278',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
-  ['totalmrnum_12279',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
-  ['totaloutedge_12280',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
-  ['totalptapagedge_12281',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
-  ['totalsymnum_12282',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
-  ['totaltime_12283',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['totaltimeofconstructmemssa_12284',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
-  ['totalunions_12285',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
-  ['totalvernum_12286',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
-  ['totalvfgnode_12287',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
-  ['true_12288',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]],
-  ['type_12289',['type',['../structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613',1,'SVF::AbstractValue::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_12290',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
-  ['typeandinfoflag_12291',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
-  ['typedefs_12292',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
-  ['typeinference_12293',['typeInference',['../classSVF_1_1LLVMModuleSet.html#a2eb76d2c787a9a02f7d37c790d647e9c',1,'SVF::LLVMModuleSet']]],
-  ['typeinfo_12294',['typeinfo',['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()'],['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()']]],
-  ['typelocsetsmap_12295',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR']]],
-  ['typemalloc_12296',['TYPEMALLOC',['../ObjTypeInference_8cpp.html#a5f334de99eb942058f27a1025c346f70',1,'ObjTypeInference.cpp']]],
-  ['typename_12297',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
-  ['typeofelement_12298',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
-  ['typeprint_12299',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]]
+  ['tail_12198',['tail',['../classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125',1,'SVF::List']]],
+  ['tailmap_12199',['tailmap',['../classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599',1,'SVF::MTASVFGBuilder']]],
+  ['tcg_12200',['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_12201',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
+  ['tct_12202',['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_12203',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
+  ['tctdotgraph_12204',['TCTDotGraph',['../classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce',1,'SVF::Options']]],
+  ['tctedgenum_12205',['TCTEdgeNum',['../classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57',1,'SVF::TCT']]],
+  ['tctnodenum_12206',['TCTNodeNum',['../classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799',1,'SVF::TCT']]],
+  ['tcttime_12207',['TCTTime',['../classSVF_1_1MTAStat.html#a3298dd910e731fdabc87bbcf65371a4a',1,'SVF::MTAStat']]],
+  ['tdapi_12208',['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_12209',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['templatenametoinstancesmap_12210',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
+  ['terminals_12211',['terminals',['../classSVF_1_1GrammarBase.html#a079915fce4eb8e63433b06d79127261a',1,'SVF::GrammarBase']]],
+  ['terminator_12212',['terminator',['../classSVF_1_1SVFInstruction.html#ab092c00376cf697bc4a3b7baa9f3a2f3',1,'SVF::SVFInstruction']]],
+  ['theoreticalnumwords_12213',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['threadstmttointerleaving_12214',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
+  ['threadstmttotheadinterleav_12215',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
+  ['tid_12216',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
+  ['time_12217',['time',['../classSVF_1_1SVFBugReport.html#a529dfbc5ea68061897e84af9cf248bcf',1,'SVF::SVFBugReport']]],
+  ['timeofbuildcflgrammar_12218',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
+  ['timeofbuildcflgraph_12219',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
+  ['timeofbuildingllvmmodule_12220',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
+  ['timeofbuildingsvfir_12221',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
+  ['timeofbuildingsymboltable_12222',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
+  ['timeofcollapse_12223',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
+  ['timeofcreatemuchi_12224',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions_12225',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi_12226',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['timeofnormalizegrammar_12227',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
+  ['timeofprocesscopygep_12228',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
+  ['timeofprocessloadstore_12229',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
+  ['timeofsccdetection_12230',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
+  ['timeofsccmerges_12231',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
+  ['timeofsolving_12232',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
+  ['timeofssarenaming_12233',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofupdatecallgraph_12234',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
+  ['timeout_12235',['Timeout',['../classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b',1,'SVF::Options']]],
+  ['timestatmap_12236',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat']]],
+  ['tlptdata_12237',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
+  ['totalcallsitenum_12238',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
+  ['totalcomplements_12239',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
+  ['totalcondnum_12240',['totalCondNum',['../classSVF_1_1SaberCondAllocator.html#a76fad4d58db94d7c572876ba6f1adf83',1,'SVF::SaberCondAllocator']]],
+  ['totaldircalledge_12241',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
+  ['totaldirretedge_12242',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
+  ['totaledgenum_12243',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
+  ['totalicfgnode_12244',['totalICFGNode',['../classSVF_1_1ICFG.html#a5df6061b65d021cd73c66592ec79f052',1,'SVF::ICFG']]],
+  ['totalindcalledge_12245',['totalIndCallEdge',['../classSVF_1_1SVFGStat.html#a0f37f7f530e3fd494c9d6bb477ca68d5',1,'SVF::SVFGStat']]],
+  ['totalindedgelabels_12246',['totalIndEdgeLabels',['../classSVF_1_1SVFGStat.html#a0a39eb7aab584cc285c32545ddb57ad8',1,'SVF::SVFGStat']]],
+  ['totalindinedge_12247',['totalIndInEdge',['../classSVF_1_1SVFGStat.html#a8cd6254435994d9aea27b5519491fc6a',1,'SVF::SVFGStat']]],
+  ['totalindoutedge_12248',['totalIndOutEdge',['../classSVF_1_1SVFGStat.html#a982ce49695344bcde4cbbb445de69c8d',1,'SVF::SVFGStat']]],
+  ['totalindretedge_12249',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
+  ['totalinedge_12250',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
+  ['totalintersections_12251',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
+  ['totalkind_12252',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
+  ['totalmrnum_12253',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
+  ['totaloutedge_12254',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
+  ['totalptapagedge_12255',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymnum_12256',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
+  ['totaltime_12257',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['totaltimeofconstructmemssa_12258',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],
+  ['totalunions_12259',['totalUnions',['../classSVF_1_1PersistentPointsToCache.html#a7a1c296f9c2dfd49e5b60f52fb1901c2',1,'SVF::PersistentPointsToCache']]],
+  ['totalvernum_12260',['totalVERNum',['../classSVF_1_1MRVer.html#ad746973fdd724b71ebb251eb6930fccc',1,'SVF::MRVer']]],
+  ['totalvfgnode_12261',['totalVFGNode',['../classSVF_1_1VFG.html#acb181d4f9faa40578c80e2018e2742b8',1,'SVF::VFG']]],
+  ['true_12262',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'cJSON.cpp']]],
+  ['type_12263',['type',['../structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613',1,'SVF::AbstractValue::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_12264',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
+  ['typeandinfoflag_12265',['typeAndInfoFlag',['../classSVF_1_1SVFBugEvent.html#a33496918c5f2adaf48a64f39d9c49567',1,'SVF::SVFBugEvent']]],
+  ['typedefs_12266',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
+  ['typeinference_12267',['typeInference',['../classSVF_1_1LLVMModuleSet.html#a2eb76d2c787a9a02f7d37c790d647e9c',1,'SVF::LLVMModuleSet']]],
+  ['typeinfo_12268',['typeinfo',['../classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e',1,'SVF::SVFType::typeinfo()'],['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj::typeInfo()']]],
+  ['typelocsetsmap_12269',['typeLocSetsMap',['../classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288',1,'SVF::SVFIR']]],
+  ['typemalloc_12270',['TYPEMALLOC',['../ObjTypeInference_8cpp.html#a5f334de99eb942058f27a1025c346f70',1,'ObjTypeInference.cpp']]],
+  ['typename_12271',['typeName',['../classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc',1,'SVF::DCHNode']]],
+  ['typeofelement_12272',['typeOfElement',['../classSVF_1_1SVFArrayType.html#a395841ef9448d7d78df53aff374e6f7a',1,'SVF::SVFArrayType']]],
+  ['typeprint_12273',['TypePrint',['../classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd',1,'SVF::Options']]]
 ];

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['uncalled_12300',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
-  ['unioncache_12301',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
-  ['uniquecomplements_12302',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueintersections_12303',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
-  ['uniqueunions_12304',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
-  ['unlocksites_12305',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime_12306',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
-  ['updatetime_12307',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
-  ['usedmrvers_12308',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
-  ['usedregs_12309',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
-  ['usepcg_12310',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
-  ['useprecompfieldsensitive_12311',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
-  ['userinput_12312',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
-  ['userinputquery_12313',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]]
+  ['uncalled_12274',['uncalled',['../classSVF_1_1SVFArgument.html#a758fa3cd9354ec069f0fe569251da7cd',1,'SVF::SVFArgument']]],
+  ['unioncache_12275',['unionCache',['../classSVF_1_1PersistentPointsToCache.html#a6b601ce2055d83f2c1df0c7af039ce05',1,'SVF::PersistentPointsToCache']]],
+  ['uniquecomplements_12276',['uniqueComplements',['../classSVF_1_1PersistentPointsToCache.html#a5c1afbaebce46eac6b1172aa5f2824ee',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueintersections_12277',['uniqueIntersections',['../classSVF_1_1PersistentPointsToCache.html#a474023fe293b080fbda7da06ef380531',1,'SVF::PersistentPointsToCache']]],
+  ['uniqueunions_12278',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
+  ['unlocksites_12279',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
+  ['updatecallgraphtime_12280',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive']]],
+  ['updatetime_12281',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
+  ['usedmrvers_12282',['usedMRVers',['../classSVF_1_1MemSSA.html#a6e5ac4f390528f8ee3cdc8e0e221ee71',1,'SVF::MemSSA']]],
+  ['usedregs_12283',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
+  ['usepcg_12284',['UsePCG',['../classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746',1,'SVF::Options']]],
+  ['useprecompfieldsensitive_12285',['UsePreCompFieldSensitive',['../classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021',1,'SVF::Options']]],
+  ['userinput_12286',['userInput',['../classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3',1,'SVF::DDAClient']]],
+  ['userinputquery_12287',['UserInputQuery',['../classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b',1,'SVF::Options']]]
 ];