Here is a list of all variables with links to the classes they belong to:
- p -
- pag : SVF::ConstraintGraph, SVF::DDAClient, SVF::PAGBuilderFromFile, SVF::PointerAnalysis, SVF::SVFIR, SVF::SVFIRBuilder, SVF::VFG
- PAGDotGraph : SVF::Options
- pagEdge : SVF::StmtVFGNode
- pagEdges : SVF::ICFGNode
- pagEdgeToFunMap : SVF::MRGenerator
- PAGEdgeToStmtVFGNodeMap : SVF::VFG
- PAGNodeToActualParmMap : SVF::VFG
- PAGNodeToActualRetMap : SVF::VFG
- PAGNodeToBinaryOPVFGNodeMap : SVF::VFG
- PAGNodeToBranchVFGNodeMap : SVF::VFG
- PAGNodeToCmpVFGNodeMap : SVF::VFG
- PAGNodeToDefMap : SVF::VFG
- PAGNodeToFormalParmMap : SVF::VFG
- PAGNodeToFormalRetMap : SVF::VFG
- PAGNodeToIntraPHIVFGNodeMap : SVF::VFG
- PAGNodeToUnaryOPVFGNodeMap : SVF::VFG
- PAGPrint : SVF::Options
- pagReadFromTxt : SVF::SVFIR
- param : SVF::ArgumentVFGNode
- params : SVF::SVFFunctionType
- parForSites : SVF::ThreadCallGraph
- partialJoin : SVF::ForkJoinAnalysis
- partialReachable : SVF::ProgSlice
- PASelected : SVF::Options
- pathAllocator : SVF::ProgSlice
- pdtBBsMap : SVF::SVFLoopAndDomInfo
- PEGTransfer : SVF::Options
- persPTData : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
- phiNodeMap : SVF::SVFIR
- phiTime : SVF::FlowSensitive
- PlainMappingFs : SVF::Options
- POCRAlias : SVF::Options
- POCRHybrid : SVF::Options
- position : error
- possibilities : OptionMap< T >, OptionMultiple< T >
- possibilityDescriptions : OptionBase
- predBBs : SVF::SVFBasicBlock
- predicate : SVF::CmpStmt
- PredictPtOcc : SVF::Options
- predMap : SVF::POCRSolver
- preemptiveComplements : SVF::PersistentPointsToCache< Data >
- preemptiveIntersections : SVF::PersistentPointsToCache< Data >
- preemptiveUnions : SVF::PersistentPointsToCache< Data >
- prelabeledObjects : SVF::VersionedFlowSensitive
- prelabelingTime : SVF::VersionedFlowSensitive
- preProcessed : SVF::LLVMModuleSet
- prev : cJSON
- primaryVTable : SVF::DCHNode
- print_stat : SVF::PointerAnalysis
- PrintAliases : SVF::Options
- PrintCFL : SVF::Options
- PrintCGGraph : SVF::Options
- PrintCPts : SVF::Options
- PrintDCHG : SVF::Options
- PrintFieldWithBasePrefix : SVF::Options
- printGeneralStats : SVF::SVFStat
- PrintInterLev : SVF::Options
- PrintLockSpan : SVF::Options
- PrintPathCond : SVF::Options
- PrintQueryPts : SVF::Options
- processTime : SVF::FlowSensitive
- propagationTime : SVF::FlowSensitive
- propaPtsMap : SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
- propertyComplements : SVF::PersistentPointsToCache< Data >
- propertyIntersections : SVF::PersistentPointsToCache< Data >
- propertyUnions : SVF::PersistentPointsToCache< Data >
- PStat : SVF::Options
- pt : SVF::PointsTo::PointsToIterator
- pta : SVF::AndersenStat, SVF::CFLStat, SVF::MemSSA, SVF::MRGenerator, SVF::PTAStat, SVF::SVFG, SVF::TCT
- ptaImplTy : SVF::PointerAnalysis
- ptaTy : SVF::PointerAnalysis
- ptaVector : SVF::WPAPass
- ptCache : SVF::BVDataPTAImpl, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >
- ptD : SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >
- ptDataBacking : SVF::Options
- ptdTy : SVF::PTData< Key, KeySet, Data, DataSet >
- PTNumStatMap : SVF::SVFStat
- Ptr : SVF::pointer_iterator< WrappedIteratorT, T >
- ptrOnlyMSSA : SVF::MRGenerator
- ptrToBVPtsMap : SVF::CondPTAImpl< Cond >
- ptrToCPtsMap : SVF::CondPTAImpl< Cond >
- PTSAllPrint : SVF::Options
- ptsMap : SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >
- PTSPrint : SVF::Options
- ptsToId : SVF::PersistentPointsToCache< Data >
- PtType : SVF::Options
- pwcReps : SVF::AndersenSCD
