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

- t -

• TCT() : SVF::TCT
• TCTEdge() : SVF::TCTEdge
• TCTNode() : SVF::TCTNode
• TDForkPE() : SVF::TDForkPE
• TDJoinPE() : SVF::TDJoinPE
• teq() : SVF::DCHGraph
• 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
• ThreadAPI() : SVF::ThreadAPI
• ThreadCallGraph() : SVF::ThreadCallGraph
• ThreadForkEdge() : SVF::ThreadForkEdge
• ThreadJoinEdge() : SVF::ThreadJoinEdge
• ThreadMHPIndSVFGEdge() : SVF::ThreadMHPIndSVFGEdge
• 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 >
• touchCxtStmt() : SVF::LockAnalysis
• toZ3Expr() : SVF::RelExeState
• traverseDendrogram() : SVF::NodeIDAllocator::Clusterer
• TreeNode() : SVF::POCRHybridSolver::TreeNode
• TypeAnalysis() : SVF::TypeAnalysis
• typeSizeDiffTest() : SVF::ObjTypeInference