Static Value-Flow Analysis
Loading...
Searching...
No Matches
Here is a list of all variables with links to the classes they belong to:
- e -
e :
SVF::Z3Expr
EBNFSigns :
SVF::GrammarBase
edgeFlag :
SVF::GenericEdge< NodeTy >
edgeId :
SVF::ConstraintEdge
,
SVF::SVFStmt
edgeIndex :
SVF::ConstraintGraph
EdgeKindMask :
SVF::GenericEdge< NodeTy >
,
SVF::GrammarBase
EdgeKindMaskBits :
SVF::GenericEdge< NodeTy >
,
SVF::GrammarBase
edgeNum :
SVF::GenericGraph< NodeTy, EdgeTy >
edgeType :
SVF::CHEdge
ElementIndex :
SVF::SparseBitVectorElement< ElementSize >
elements :
SVF::CondStdSet< Element >
Elements :
SVF::SparseBitVector< ElementSize >
elemIdxVec :
SVF::StInfo
elemNum :
SVF::ObjTypeInfo
emptyData :
SVF::POCRSolver
EnableAliasCheck :
SVF::Options
EnableThreadCallGraph :
SVF::Options
EnableTypeCheck :
SVF::Options
end_iterator :
SVF::iter_range< IteratorT >
endTime :
SVF::SVFStat
entry :
SVF::CallPE
entryFuncSet :
SVF::TCT
entryICFGEdges :
SVF::SVFLoop
epsilonProds :
SVF::CFGrammar
equivalentObject :
SVF::VersionedFlowSensitive
EvalTime :
SVF::NodeIDAllocator::Clusterer
eventInst :
SVF::SVFBugEvent
exit :
SVF::RetPE
exitBlock :
SVF::FunObjVar
extAPIBufOverflowCheckRules :
SVF::BufOverflowDetector
ExtAPIPath :
SVF::Options
extBcPath :
SVF::ExtAPI
extended :
SVF::DCHGraph
ExtFun2Annotations :
SVF::LLVMModuleSet
ExtFuncsVec :
SVF::LLVMModuleSet
extOp :
SVF::ExtAPI
Generated by
1.9.8