Here is a list of all class members with links to the classes they belong to:

- t -

• tail : SVF::List< Data >
• TaintSVFGBuilder : SVF::SVFG
• tcg : SVF::MHP, SVF::MTA, SVF::TCT
• tcgSCC : SVF::TCT
• tct : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP, SVF::MTA
• TCT() : SVF::TCT
• TCTDotGraph : SVF::Options
• TCTEdge() : SVF::TCTEdge
• TCTEdgeNum : SVF::TCT
• TCTNode() : SVF::TCTNode
• TCTNodeIter : SVF::TCT
• TCTNodeKd : SVF::SVFValue
• TCTNodeNum : SVF::TCT
• TCTTime : SVF::MTAStat
• TD_ACQUIRE : SVF::ThreadAPI
• TD_BAR_INIT : SVF::ThreadAPI
• TD_BAR_WAIT : SVF::ThreadAPI
• TD_CANCEL : SVF::ThreadAPI
• TD_COND_BROADCAST : SVF::ThreadAPI
• TD_COND_SIGNAL : SVF::ThreadAPI
• TD_COND_WAIT : SVF::ThreadAPI
• TD_CONDVAR_DESTROY : SVF::ThreadAPI
• TD_CONDVAR_INI : SVF::ThreadAPI
• TD_DETACH : SVF::ThreadAPI
• TD_DUMMY : SVF::ThreadAPI
• TD_EXIT : SVF::ThreadAPI
• TD_FORK : SVF::ThreadAPI
• TD_JOIN : SVF::ThreadAPI
• TD_MUTEX_DESTROY : SVF::ThreadAPI
• TD_MUTEX_INI : SVF::ThreadAPI
• TD_RELEASE : SVF::ThreadAPI
• TD_TRY_ACQUIRE : SVF::ThreadAPI
• TD_TYPE : SVF::ThreadAPI
• TDAlive : SVF::ForkJoinAnalysis
• tdAPI : SVF::ThreadAPI, SVF::ThreadCallGraph
• TDAPIMap : SVF::SaberCheckerAPI
• tdAPIMap : SVF::SaberCheckerAPI
• TDAPIMap : SVF::ThreadAPI
• tdAPIMap : SVF::ThreadAPI
• TDDead : SVF::ForkJoinAnalysis
• TDForkEdge : SVF::CallGraphEdge
• TDForkPE() : SVF::TDForkPE
• TDJoinEdge : SVF::CallGraphEdge
• TDJoinPE() : SVF::TDJoinPE
• TDLocked : SVF::LockAnalysis
• TDUnlocked : SVF::LockAnalysis
• TEMPLATE : SVF::CHNode, SVF::DCHNode
• templateNameToInstancesMap : SVF::CHGraph
• teq() : SVF::DCHGraph
• terminals : SVF::GrammarBase
• test() : SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• test_and_set() : SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• test_print() : SymblicAbstractionTest
• testAbsState() : AETest
• testBinaryOpStmt() : AETest
• testIndCallReachability() : SVF::ContextDDA, SVF::FlowDDA
• testOutOfBudget() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• testRelExeState1_1() : SymblicAbstractionTest
• testRelExeState1_2() : SymblicAbstractionTest
• testRelExeState2_1() : SymblicAbstractionTest
• testRelExeState2_2() : SymblicAbstractionTest
• testRelExeState2_3() : SymblicAbstractionTest
• testRelExeState2_4() : SymblicAbstractionTest
• testRelExeState2_5() : SymblicAbstractionTest
• testRelExeState3_1() : SymblicAbstractionTest
• testRelExeState3_2() : SymblicAbstractionTest
• testRelExeState3_3() : SymblicAbstractionTest
• testRelExeState3_4() : SymblicAbstractionTest
• testRelExeState4_1() : SymblicAbstractionTest
• testsValidation() : SVF::DoubleFreeChecker, SVF::LeakChecker, SymblicAbstractionTest
• ThdCallGraph : SVF::CallGraph
• TheadMHPIndirectVF : SVF::VFGEdge
• TheoreticalNumWords : SVF::NodeIDAllocator::Clusterer
• ThreadAPI() : SVF::ThreadAPI
• ThreadCallGraph() : SVF::ThreadCallGraph
• ThreadCallGraphSCC : SVF::TCT
• ThreadCreateEdge : SVF::TCTEdge
• ThreadCreateEdgeSet : SVF::TCT, SVF::TCTEdge
• ThreadFork : SVF::SVFStmt
• ThreadForkEdge() : SVF::ThreadForkEdge
• ThreadJoin : SVF::SVFStmt
• ThreadJoinEdge() : SVF::ThreadJoinEdge
• ThreadMHPIndSVFGEdge() : SVF::ThreadMHPIndSVFGEdge
• ThreadPairSet : SVF::ForkJoinAnalysis
• threadStmtToTheadInterLeav : SVF::MHP
• ThreadStmtToThreadInterleav : 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
• timeStatMap : SVF::SVFStat
• TInterPhi : SVF::SVFValue
• TIntraPhi : SVF::SVFValue
• tlPTData : SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• TLVFNodeEnd() : SVF::SVFGStat
• TLVFNodeStart() : SVF::SVFGStat
• to_string() : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr
• toIntVal() : SVF::RelationSolver
• toIntZ3Expr() : SVF::RelationSolver
• toNodeBS() : SVF::PointsTo
• top() : SVF::AbstractState, SVF::IntervalValue
• topoNodeStack() : SVF::SCCDetection< GraphType >
• toRealVal() : SVF::RelationSolver
• toString() : SVF::AbstractState, SVF::AbstractValue, SVF::ActualINSVFGNode, SVF::ActualOUTSVFGNode, SVF::ActualParmVFGNode, SVF::ActualRetVFGNode, SVF::AddressValue, SVF::AddrStmt, SVF::AddrVFGNode, SVF::ArgumentVFGNode, SVF::ArgValVar, SVF::AssignStmt, SVF::BaseObjVar, SVF::BasicBlockEdge, SVF::BinaryOPStmt, SVF::BinaryOPVFGNode, SVF::BlackHoleValVar, SVF::BranchStmt, SVF::BranchVFGNode, SVF::CallCFGEdge, SVF::CallDirSVFGEdge, SVF::CallGraphEdge, SVF::CallGraphNode, SVF::CallICFGNode, SVF::CallIndSVFGEdge, SVF::CallPE, SVF::CDGEdge, SVF::CDGNode, SVF::CmpStmt, SVF::CmpVFGNode, SVF::CondStdSet< Element >, SVF::CondVar< Cond >, SVF::ConstAggObjVar, SVF::ConstAggValVar, SVF::ConstDataObjVar, SVF::ConstDataValVar, SVF::ConstFPObjVar, SVF::ConstFPValVar, SVF::ConstIntObjVar, SVF::ConstIntValVar, SVF::ConstNullPtrObjVar, SVF::ConstNullPtrValVar, SVF::ConstraintNode, SVF::ContextCond, SVF::CopyStmt, SVF::CopyVFGNode, SVF::DirectSVFGEdge, SVF::DummyObjVar, SVF::DummyValVar, SVF::FormalINSVFGNode, SVF::FormalOUTSVFGNode, SVF::FormalParmVFGNode, SVF::FormalRetVFGNode, SVF::FunEntryICFGNode, SVF::FunExitICFGNode, SVF::FunObjVar, SVF::FunValVar, SVF::GepObjVar, SVF::GepStmt, SVF::GepValVar, SVF::GepVFGNode, SVF::GlobalICFGNode, SVF::GlobalObjVar, SVF::GlobalValVar, SVF::HeapObjVar, SVF::ICFGEdge, SVF::ICFGNode, SVF::IndirectSVFGEdge, SVF::InterMSSAPHISVFGNode, SVF::InterPHIVFGNode, SVF::IntervalValue, SVF::IntraCFGEdge, SVF::IntraDirSVFGEdge, SVF::IntraICFGNode, SVF::IntraIndSVFGEdge, SVF::IntraMSSAPHISVFGNode, SVF::IntraPHIVFGNode, SVF::LoadStmt, SVF::LoadVFGNode, SVF::MRSVFGNode, SVF::MSSAPHISVFGNode, SVF::NullPtrVFGNode, SVF::ObjVar, SVF::PhiStmt, SVF::PHIVFGNode, SVF::RetCFGEdge, SVF::RetDirSVFGEdge, SVF::RetICFGNode, SVF::RetIndSVFGEdge, SVF::RetPE, SVF::RetValPN, SVF::SelectStmt, SVF::StackObjVar, SVF::StmtVFGNode, SVF::StoreStmt, SVF::StoreVFGNode, SVF::SVFBasicBlock, SVF::SVFStmt, SVF::SVFType, SVF::SVFVar, SVF::TDForkPE, SVF::TDJoinPE, SVF::ThreadForkEdge, SVF::ThreadJoinEdge, SVF::ThreadMHPIndSVFGEdge, SVF::UnaryOPStmt, SVF::UnaryOPVFGNode, SVF::ValVar, SVF::VarArgValPN, SVF::VFGEdge, SVF::VFGNode, SVF::WTO< GraphT >, SVF::WTOComponent< GraphT >, SVF::WTOCycle< GraphT >, SVF::WTOCycleDepth< GraphT >, SVF::WTONode< GraphT >
• 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
• touchCxtStmt() : SVF::LockAnalysis
• toZ3Expr() : SVF::RelExeState
• TPhi : SVF::SVFValue
• traverseDendrogram() : SVF::NodeIDAllocator::Clusterer
• TreeNode() : SVF::POCRHybridSolver::TreeNode
• TRUNC : SVF::CopyStmt
• type : cJSON, SVF::MSSADEF, SVF::MSSAMU< Cond >, SVF::ObjTypeInfo
• Type : SVF::PointsTo
• type : SVF::PointsTo, SVF::SVFUtil::add_const_past_pointer< T, Enable >, SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >, SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, Enable >, SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >, SVF::SVFUtil::make_void< Ts >, SVF::SVFValue
• Type2TypeInfo : SVF::LLVMModuleSet
• Type2TypeInfoMap : SVF::LLVMModuleSet
• TypeAnalysis() : SVF::TypeAnalysis
• typeAndInfoFlag : SVF::SVFBugEvent
• TypeBasedHeapCloning : SVF::SVFIR
• TypeCPP_WPA : SVF::PointerAnalysis
• typedefs : SVF::DCHNode
• typeInference : SVF::LLVMModuleSet
• typeInfo : SVF::BaseObjVar
• typeinfo : SVF::SVFType
• typeLocSetsMap : SVF::SVFIR
• TypeLocSetsMap : SVF::SVFIR
• TypeMap : SVF::POCRSolver
• typeName : SVF::DCHNode
• typeOfElement : SVF::SVFArrayType
• TypePrint : SVF::Options
• typeSizeDiffTest() : SVF::ObjTypeInference