Here is a list of all variables with links to the classes they belong to:
- a -
- abstractTrace : SVF::AbsExtAPI, SVF::AbstractInterpretation
- accessLowerBound : SVF::BufferOverflowBug
- accessUpperBound : SVF::BufferOverflowBug
- actualInToDefMap : SVF::SVFGOPT
- actualRet : SVF::RetICFGNode
- addAddrTakenNodeTimeEnd : SVF::SVFGStat
- addAddrTakenNodeTimeStart : SVF::SVFGStat
- AddrCGEdgeSet : SVF::ConstraintGraph
- addressInEdges : SVF::ConstraintNode
- addressOutEdges : SVF::ConstraintNode
- addrs : SVF::AbstractValue
- AddrSpace : llvm::generic_bridge_gep_type_iterator< ItTy >
- addrTime : SVF::FlowSensitive
- addTopLevelNodeTimeEnd : SVF::SVFGStat
- addTopLevelNodeTimeStart : SVF::SVFGStat
- AEPrecision : SVF::Options
- alias_validation : SVF::PointerAnalysis
- AliasRule : SVF::Options
- aliasTestFailMayAlias : SVF::PointerAnalysis
- aliasTestFailMayAliasMangled : SVF::PointerAnalysis
- aliasTestFailNoAlias : SVF::PointerAnalysis
- aliasTestFailNoAliasMangled : SVF::PointerAnalysis
- aliasTestMayAlias : SVF::PointerAnalysis
- aliasTestMayAliasMangled : SVF::PointerAnalysis
- aliasTestMustAlias : SVF::PointerAnalysis
- aliasTestMustAliasMangled : SVF::PointerAnalysis
- aliasTestNoAlias : SVF::PointerAnalysis
- aliasTestNoAliasMangled : SVF::PointerAnalysis
- aliasTestPartialAlias : SVF::PointerAnalysis
- aliasTestPartialAliasMangled : SVF::PointerAnalysis
- allArgs : SVF::FunObjVar
- allGlobals : SVF::MRGenerator
- allICFGNodes : SVF::SVFBasicBlock
- allocator : SVF::NodeIDAllocator
- allocLowerBound : SVF::BufferOverflowBug
- allocUpperBound : SVF::BufferOverflowBug
- AllPairMHP : SVF::Options
- ander : SVF::FlowSensitive
- AnderSVFG : SVF::Options
- AnderTimeLimit : SVF::Options
- AnnotationTime : SVF::MTAStat
- ap : SVF::GepStmt, SVF::GepValVar, SVF::NormalGepCGEdge
- api : SVF::AbstractInterpretation
- APNodes : SVF::CallICFGNode
- apOffset : SVF::GepObjVar
- argNo : SVF::ArgValVar
- arrSize : SVF::AddrStmt
- atEnd : SVF::CondPointsToSet< Cond >::CondPtsSetIterator
- AtEnd : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
- atPTData : SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
- attribute : SVF::GrammarBase::Symbol
- AttributedKindMaskBits : SVF::GrammarBase
- attributeKinds : SVF::GrammarBase
- AveragePointsToSetSize : SVF::AndersenBase
- avgInDegree : SVF::SVFGStat
- avgIndInDegree : SVF::SVFGStat
- avgIndOutDegree : SVF::SVFGStat
- avgOutDegree : SVF::SVFGStat
- avgWeight : SVF::SVFGStat
