Here is a list of all variables with links to the classes they belong to:
- i -
- I : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
- icfg : SVF::AbsExtAPI, SVF::AbstractInterpretation, SVF::ICFGBuilder, SVF::ICFGStat, SVF::PointerAnalysis, SVF::SVFIR
- ICFGMergeAdjacentNodes : SVF::Options
- icfgNode : SVF::BaseObjVar, SVF::SVFStmt, SVF::ValVar, SVF::VFGNode
- icfgNode2PTASVFStmtsMap : SVF::SVFIR
- icfgNode2SVFStmtsMap : SVF::SVFIR
- icfgNodes : SVF::SVFLoop
- icfgNodeToSVFLoopVec : SVF::ICFG
- id : SVF::BasicBlockGraph
- ID : SVF::BreakConstantGEPs, SVF::DDAPass, SVF::MergeFunctionRets
- id : SVF::POCRHybridSolver::TreeNode, SVF::SVFValue
- ID : SVF::WPAPass
- idCounter : SVF::PersistentPointsToCache< Data >
- idToCSMap : SVF::CallGraph
- IDToNodeMap : SVF::GenericGraph< NodeTy, EdgeTy >
- idToPts : SVF::PersistentPointsToCache< Data >
- idToTermInstMap : SVF::SaberCondAllocator
- idxOperandPairs : SVF::AccessPath
- IgnoreDeadFun : SVF::Options
- INCDFPTData : SVF::Options
- inCFLEdges : SVF::CFLNode
- incycle : SVF::CxtThread
- indCallSiteToFunPtrMap : SVF::SVFIR
- index : SVF::VersionedFlowSensitive::SCC::NodeData
- IndirectCallLimit : SVF::Options
- indirectCallMap : SVF::CallGraph
- indirectCalls : SVF::CallGraphEdge
- indirectPropaTime : SVF::FlowSensitive
- indMap : SVF::POCRHybridSolver
- InEdgeKindToSetMap : SVF::SVFVar
- InEdges : SVF::GenericNode< NodeTy, EdgeTy >
- inICFGEdges : SVF::SVFLoop
- inloop : SVF::CxtThread
- inRecurJoinSites : SVF::TCT
- InsenCycle : SVF::Options
- InsenRecur : SVF::Options
- insensitveEdges : SVF::ContextDDA
- inst : SVF::CxtStmt, SVF::LoadMU< Cond >, SVF::StoreCHI< Cond >
- inst2LabelMap : SVF::SVFStmt
- instCILocksMap : SVF::LockAnalysis
- InstToBlockNodeMap : SVF::LLVMModuleSet
- instTocondCILocksMap : SVF::LockAnalysis
- instToCxtStmtSet : SVF::LockAnalysis
- instToTSMap : SVF::MHP
- interleavingQueriesTime : SVF::MHP
- interleavingTime : SVF::MHP
- inters : SVF::InterDisjointMRG
- intersectionCache : SVF::PersistentPointsToCache< Data >
- interval : SVF::AbstractValue
- IntraLock : SVF::Options
- intrinsic : SVF::FunObjVar
- inUpdatedVarMap : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
- invalidVersion : SVF::VersionedFlowSensitive
- isAddrTaken : SVF::FunObjVar
- isDecl : SVF::FunObjVar
- isExplicitlySet : Option< T >, OptionMap< T >
- isLoadMap : SVF::VersionedFlowSensitive
- isNotRet : SVF::FunObjVar
- isRet : SVF::IntraICFGNode
- IsSimple : SVF::DefaultDOTGraphTraits
- isSingleValTy : SVF::SVFType
- isStoreMap : SVF::VersionedFlowSensitive
- isThunkFunc : SVF::cppUtil::DemangledName
- isUncalled : SVF::FunObjVar
- isvararg : SVF::CallICFGNode
- isVirCallInst : SVF::CallICFGNode
- Iter : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
- iter_facade_base : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
- iterationForPrintStat : SVF::WPASolver< GraphType >
