Here is a list of all variables with links to the classes they belong to:
- t -
- tail : SVF::List< Data >
- tcg : SVF::MHP, SVF::MTA, SVF::TCT
- tcgSCC : SVF::TCT
- tct : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP, SVF::MTA
- TCTDotGraph : SVF::Options
- TCTEdgeNum : SVF::TCT
- TCTNodeNum : SVF::TCT
- TCTTime : SVF::MTAStat
- tdAPI : SVF::ThreadAPI, SVF::ThreadCallGraph
- tdAPIMap : SVF::SaberCheckerAPI, SVF::ThreadAPI
- templateNameToInstancesMap : SVF::CHGraph
- terminals : SVF::GrammarBase
- TheoreticalNumWords : SVF::NodeIDAllocator::Clusterer
- threadStmtToTheadInterLeav : SVF::MHP
- tid : SVF::CxtThreadProc, SVF::CxtThreadStmt
- time : SVF::SVFBugReport
- timeOfBuildCFLGrammar : SVF::CFLBase
- timeOfBuildCFLGraph : SVF::CFLBase
- timeOfBuildingLLVMModule : SVF::SVFStat
- timeOfBuildingSVFIR : SVF::SVFStat
- timeOfBuildingSymbolTable : SVF::SVFStat
- timeOfCollapse : SVF::AndersenBase
- timeOfCreateMUCHI : SVF::MemSSA
- TimeOfCreateMUCHI : SVF::MemSSAStat
- timeOfGeneratingMemRegions : SVF::MemSSA
- TimeOfGeneratingMemRegions : SVF::MemSSAStat
- timeOfInsertingPHI : SVF::MemSSA
- TimeOfInsertingPHI : SVF::MemSSAStat
- timeOfNormalizeGrammar : SVF::CFLBase
- timeOfProcessCopyGep : SVF::AndersenBase
- timeOfProcessLoadStore : SVF::AndersenBase
- timeOfSCCDetection : SVF::AndersenBase
- timeOfSCCMerges : SVF::AndersenBase
- timeOfSolving : SVF::CFLBase
- timeOfSSARenaming : SVF::MemSSA
- TimeOfSSARenaming : SVF::MemSSAStat
- timeOfUpdateCallGraph : SVF::AndersenBase
- Timeout : SVF::Options
- timeStatMap : SVF::SVFStat
- tlPTData : SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
- totalCallSiteNum : SVF::CallGraph
- totalComplements : SVF::PersistentPointsToCache< Data >
- totalCondNum : SVF::SaberCondAllocator
- totalDirCallEdge : SVF::SVFGStat
- totalDirRetEdge : SVF::SVFGStat
- totalEdgeNum : SVF::SVFStmt
- totalICFGNode : SVF::ICFG
- totalIndCallEdge : SVF::SVFGStat
- totalIndEdgeLabels : SVF::SVFGStat
- totalIndInEdge : SVF::SVFGStat
- totalIndOutEdge : SVF::SVFGStat
- totalIndRetEdge : SVF::SVFGStat
- totalInEdge : SVF::SVFGStat
- totalIntersections : SVF::PersistentPointsToCache< Data >
- totalKind : SVF::GrammarBase
- totalMRNum : SVF::MemRegion
- totalOutEdge : SVF::SVFGStat
- totalPTAPAGEdge : SVF::IRGraph
- totalSymNum : SVF::IRGraph
- TotalTime : SVF::NodeIDAllocator::Clusterer
- TotalTimeOfConstructMemSSA : SVF::MemSSAStat
- totalUnions : SVF::PersistentPointsToCache< Data >
- totalVERNum : SVF::MRVer
- totalVFGNode : SVF::VFG
- type : cJSON, SVF::MSSADEF, SVF::MSSAMU< Cond >, SVF::ObjTypeInfo, SVF::PointsTo, SVF::SVFValue
- Type2TypeInfo : SVF::LLVMModuleSet
- typeAndInfoFlag : SVF::SVFBugEvent
- typedefs : SVF::DCHNode
- typeInference : SVF::LLVMModuleSet
- typeInfo : SVF::BaseObjVar
- typeinfo : SVF::SVFType
- typeLocSetsMap : SVF::SVFIR
- typeName : SVF::DCHNode
- typeOfElement : SVF::SVFArrayType
- TypePrint : SVF::Options
