Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all related symbols with links to the classes they belong to:
- s -
SaberSVFGBuilder :
SVF::SVFG
shl :
SVF::Z3Expr
SVFGBuilder :
SVF::SVFG
SVFIR :
SVF::SVFVar
SVFIR2AbsState :
SVF::AbstractState
,
SVF::RelExeState
SVFIRBuilder :
SVF::BaseObjVar
,
SVF::ExtAPI
,
SVF::FunObjVar
,
SVF::IntraCFGEdge
,
SVF::IRGraph
,
SVF::LLVMModuleSet
,
SVF::SVFBasicBlock
,
SVF::SVFIR
,
SVF::SVFVar
,
SVF::SymbolTableBuilder
SVFIRReader :
SVF::AccessPath
,
SVF::AddrStmt
,
SVF::ArgValVar
,
SVF::AssignStmt
,
SVF::BaseObjVar
,
SVF::BasicBlockEdge
,
SVF::BinaryOPStmt
,
SVF::BlackHoleValVar
,
SVF::BranchStmt
,
SVF::CallCFGEdge
,
SVF::CallICFGNode
,
SVF::CallPE
,
SVF::CHEdge
,
SVF::CHGraph
,
SVF::CHNode
,
SVF::CmpStmt
,
SVF::ConstAggObjVar
,
SVF::ConstAggValVar
,
SVF::ConstDataObjVar
,
SVF::ConstDataValVar
,
SVF::ConstFPObjVar
,
SVF::ConstFPValVar
,
SVF::ConstIntObjVar
,
SVF::ConstIntValVar
,
SVF::ConstNullPtrObjVar
,
SVF::ConstNullPtrValVar
,
SVF::CopyStmt
,
SVF::DummyObjVar
,
SVF::DummyValVar
,
SVF::FunEntryICFGNode
,
SVF::FunExitICFGNode
,
SVF::FunObjVar
,
SVF::FunValVar
,
SVF::GenericEdge< NodeTy >
,
SVF::GenericGraph< NodeTy, EdgeTy >
,
SVF::GenericNode< NodeTy, EdgeTy >
,
SVF::GepObjVar
,
SVF::GepStmt
,
SVF::GepValVar
,
SVF::GlobalObjVar
,
SVF::GlobalValVar
,
SVF::HeapObjVar
,
SVF::ICFG
,
SVF::ICFGEdge
,
SVF::ICFGNode
,
SVF::IntraCFGEdge
,
SVF::IntraICFGNode
,
SVF::IRGraph
,
SVF::LoadStmt
,
SVF::MultiOpndStmt
,
SVF::NodeIDAllocator
,
SVF::ObjTypeInfo
,
SVF::ObjVar
,
SVF::PhiStmt
,
SVF::RetCFGEdge
,
SVF::RetICFGNode
,
SVF::RetPE
,
SVF::RetValPN
,
SVF::SelectStmt
,
SVF::SparseBitVector< ElementSize >
,
SVF::SparseBitVectorElement< ElementSize >
,
SVF::StackObjVar
,
SVF::StInfo
,
SVF::StoreStmt
,
SVF::SVFArrayType
,
SVF::SVFBasicBlock
,
SVF::SVFFunctionType
,
SVF::SVFIntegerType
,
SVF::SVFIR
,
SVF::SVFLoop
,
SVF::SVFLoopAndDomInfo
,
SVF::SVFOtherType
,
SVF::SVFPointerType
,
SVF::SVFStmt
,
SVF::SVFStructType
,
SVF::SVFType
,
SVF::SVFVar
,
SVF::TDForkPE
,
SVF::TDJoinPE
,
SVF::UnaryOPStmt
,
SVF::ValVar
,
SVF::VarArgValPN
SVFIRWriter :
SVF::AccessPath
,
SVF::AddrStmt
,
SVF::ArgValVar
,
SVF::AssignStmt
,
SVF::BaseObjVar
,
SVF::BasicBlockEdge
,
SVF::BinaryOPStmt
,
SVF::BlackHoleValVar
,
SVF::BranchStmt
,
SVF::CallCFGEdge
,
SVF::CallICFGNode
,
SVF::CallPE
,
SVF::CHEdge
,
SVF::CHGraph
,
SVF::CHNode
,
SVF::CmpStmt
,
SVF::ConstAggObjVar
,
SVF::ConstAggValVar
,
SVF::ConstDataObjVar
,
SVF::ConstDataValVar
,
SVF::ConstFPObjVar
,
SVF::ConstFPValVar
,
SVF::ConstIntObjVar
,
SVF::ConstIntValVar
,
SVF::ConstNullPtrObjVar
,
SVF::ConstNullPtrValVar
,
SVF::CopyStmt
,
SVF::DummyObjVar
,
SVF::DummyValVar
,
SVF::FunEntryICFGNode
,
SVF::FunExitICFGNode
,
SVF::FunObjVar
,
SVF::FunValVar
,
SVF::GenericEdge< NodeTy >
,
SVF::GenericGraph< NodeTy, EdgeTy >
,
SVF::GenericNode< NodeTy, EdgeTy >
,
SVF::GepObjVar
,
SVF::GepStmt
,
SVF::GepValVar
,
SVF::GlobalObjVar
,
SVF::GlobalValVar
,
SVF::HeapObjVar
,
SVF::ICFG
,
SVF::ICFGEdge
,
SVF::ICFGNode
,
SVF::IntraCFGEdge
,
SVF::IntraICFGNode
,
SVF::IRGraph
,
SVF::LoadStmt
,
SVF::MultiOpndStmt
,
SVF::NodeIDAllocator
,
SVF::ObjTypeInfo
,
SVF::ObjVar
,
SVF::PhiStmt
,
SVF::RetCFGEdge
,
SVF::RetICFGNode
,
SVF::RetPE
,
SVF::RetValPN
,
SVF::SelectStmt
,
SVF::SparseBitVector< ElementSize >
,
SVF::SparseBitVectorElement< ElementSize >
,
SVF::StackObjVar
,
SVF::StInfo
,
SVF::StoreStmt
,
SVF::SVFArrayType
,
SVF::SVFBasicBlock
,
SVF::SVFFunctionType
,
SVF::SVFIntegerType
,
SVF::SVFIR
,
SVF::SVFLoop
,
SVF::SVFLoopAndDomInfo
,
SVF::SVFOtherType
,
SVF::SVFPointerType
,
SVF::SVFStmt
,
SVF::SVFStructType
,
SVF::SVFType
,
SVF::SVFVar
,
SVF::TDForkPE
,
SVF::TDJoinPE
,
SVF::UnaryOPStmt
,
SVF::ValVar
,
SVF::VarArgValPN
SymbolTableBuilder :
SVF::IRGraph
,
SVF::LLVMModuleSet
,
SVF::ObjTypeInfo
Generated by
1.9.8