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::AEWTO, SVF::ICFGBuilder, SVF::ICFGStat, SVF::PointerAnalysis, SVF::SlicedICFGView, SVF::SparseObjGraph, SVF::SVFIR
- ICFGMergeAdjacentNodes : SVF::Options
- icfgNode : SVF::BaseObjVar, SVF::SVFStmt, SVF::ValVar, SVF::VFGNode
- icfgNode2PTASVFStmtsMap : SVF::SVFIR
- icfgNode2SVFStmtsMap : SVF::SVFIR
- icfgNodes : SVF::SVFLoop, SVF::ValueFlowSlice
- icfgNodeToSVFLoopVec : SVF::ICFG
- icfgView : SVF::SlicedSVFIRView
- ID : SVF::BreakConstantGEPs, SVF::DDAPass, SVF::MergeFunctionRets, SVF::WPAPass
- id : SVF::BasicBlockGraph, SVF::POCRHybridSolver::TreeNode, SVF::SVFType, SVF::SVFValue
- 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
- indFunPtr : SVF::CallICFGNode
- IndirectCallLimit : SVF::Options
- indirectCallMap : SVF::CallGraph
- indirectCalls : SVF::CallGraphEdge
- indirectPropaTime : SVF::FlowSensitive
- indirectSitesWithEmptyTargets : SVF::SlicedThreadCallGraphView
- indMap : SVF::POCRHybridSolver
- InEdgeKindToSetMap : SVF::SVFVar
- InEdges : SVF::GenericNode< NodeTy, EdgeTy >
- inICFGEdges : SVF::SVFLoop
- inloop : SVF::CxtThread
- inputs : SVF::SparseObjGraph
- 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
- instToCxtStmt : SVF::ForkJoinAnalysis
- instToCxtStmtSet : SVF::LockAnalysis
- instToThreadSummary : SVF::MHP
- instToTSMap : SVF::MHP
- interleaving : SVF::MTA::RaceClassKey, SVF::MTA::RaceOccurrence
- interleavingByTid : SVF::MHP::NodeThreadSummary
- 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 >
- isFilteredGraph : SVF::GenericGraphTraits< const SlicedSVFGView * >, SVF::GenericGraphTraits< SVF::SVFG * >
- isLoadMap : SVF::VersionedFlowSensitive
- isNotRet : SVF::FunObjVar
- isRet : SVF::IntraICFGNode
- IsSimple : SVF::DefaultDOTGraphTraits
- isSingleValTy : SVF::SVFType
- isStore : SVF::MTA::RaceClass, SVF::MTA::RaceClassKey, SVF::MTA::RaceOccurrence
- isStoreMap : SVF::VersionedFlowSensitive
- isThunkFunc : SVF::cppUtil::DemangledName
- isUncalled : SVF::FunObjVar
- isvararg : SVF::CallICFGNode
- isVirCallInst : SVF::CallICFGNode
- it : SVF::SlicedCGNodeIter, SVF::SlicedICFGNodeIter, SVF::SlicedPAGNodeIter, SVF::SlicedSVFGNodeIter
- Iter : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
- iter_facade_base : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
- iterationForPrintStat : SVF::WPASolver< GraphType >