Here is a list of all class members with links to the classes they belong to:

- p -

• pag : SVF::ConstraintGraph, SVF::DDAClient, SVF::PAGBuilderFromFile, SVF::PointerAnalysis, SVF::SVFIR, SVF::SVFIRBuilder, SVF::VFG
• PAGBuilderFromFile() : SVF::PAGBuilderFromFile, SVF::SVFIR
• PAGDotGraph : SVF::Options
• pagEdge : SVF::StmtVFGNode
• pagEdges : SVF::ICFGNode
• PAGEdgeSetTy : SVF::SVFStmt
• PAGEdgeToFunMap : SVF::MRGenerator
• pagEdgeToFunMap : SVF::MRGenerator
• PAGEdgeToSetMapTy : SVF::SVFStmt
• PAGEdgeToStmtVFGNodeMap : SVF::VFG
• PAGEdgeToStmtVFGNodeMapTy : SVF::VFG
• pagFileName() : SVF::SVFIR
• PAGNodeSet : SVF::AliasDDAClient, SVF::VFG
• PAGNodeToActualParmMap : SVF::VFG
• PAGNodeToActualParmMapTy : SVF::VFG
• PAGNodeToActualRetMap : SVF::VFG
• PAGNodeToActualRetMapTy : SVF::VFG
• PAGNodeToBinaryOPVFGNodeMap : SVF::VFG
• PAGNodeToBinaryOPVFGNodeMapTy : SVF::VFG
• PAGNodeToBranchVFGNodeMap : SVF::VFG
• PAGNodeToBranchVFGNodeMapTy : SVF::VFG
• PAGNodeToCmpVFGNodeMap : SVF::VFG
• PAGNodeToCmpVFGNodeMapTy : SVF::VFG
• PAGNodeToDefMap : SVF::VFG
• PAGNodeToDefMapTy : SVF::SVFG, SVF::VFG
• PAGNodeToFormalParmMap : SVF::VFG
• PAGNodeToFormalParmMapTy : SVF::VFG
• PAGNodeToFormalRetMap : SVF::VFG
• PAGNodeToFormalRetMapTy : SVF::VFG
• PAGNodeToIntraPHIVFGNodeMap : SVF::VFG
• PAGNodeToPHIVFGNodeMapTy : SVF::VFG
• PAGNodeToUnaryOPVFGNodeMap : SVF::VFG
• PAGNodeToUnaryOPVFGNodeMapTy : SVF::VFG
• PAGPrint : SVF::Options
• pagReadFromTXT() : SVF::SVFIR
• pagReadFromTxt : SVF::SVFIR
• PairTy : SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >
• param : SVF::ArgumentVFGNode
• params : SVF::SVFFunctionType
• ParForEdgeSet : SVF::HareParForEdge, SVF::ThreadCallGraph
• parForSites : SVF::ThreadCallGraph
• parForSitesBegin() : SVF::ThreadCallGraph
• parForSitesEnd() : SVF::ThreadCallGraph
• parseAndSetValue() : Option< T >, OptionBase, OptionMap< T >, OptionMultiple< T >
• parseOptions() : OptionBase
• parseProductionsString() : SVF::GrammarBuilder
• parseSelfCycleHandleOption() : SVF::SVFGOPT
• PartialBufferOverflowBug() : SVF::PartialBufferOverflowBug
• PARTIALBUFOVERFLOW : SVF::GenericBug
• partialJoin : SVF::ForkJoinAnalysis
• PARTIALLEAK : SVF::GenericBug
• PartialLeakBug() : SVF::PartialLeakBug
• PARTIALNULLPTRDEREFERENCE : SVF::GenericBug
• PartialNullPtrDereferenceBug() : SVF::PartialNullPtrDereferenceBug
• partialReachable : SVF::ProgSlice
• partitionMRs() : SVF::DistinctMRG, SVF::InterDisjointMRG, SVF::IntraDisjointMRG, SVF::MRGenerator
• PASelected : SVF::Options
• PATH_LEAK : SVF::LeakChecker
• pathAllocator : SVF::ProgSlice
• PathS_DDA : SVF::PointerAnalysis
• pdtBBsMap : SVF::SVFLoopAndDomInfo
• PEDGEK : SVF::SVFStmt
• PEGTransfer : SVF::Options
• performAPIStat() : SVF::ThreadAPI
• performMHPPairStat() : SVF::MTAStat
• performSCCStat() : SVF::SVFGStat
• performStat() : SVF::AEStat, SVF::AliasDDAClient, SVF::AndersenStat, SVF::CFLStat, SVF::DDAClient, SVF::DDAStat, SVF::FlowSensitiveStat, SVF::FunptrDDAClient, SVF::ICFGStat, SVF::MemSSA, SVF::MemSSAStat, SVF::PTAStat, SVF::SVFG, SVF::SVFGStat, SVF::SVFStat, SVF::VersionedFlowSensitiveStat
• performStatforIFDS() : SVF::ICFGStat
• performStatPerQuery() : SVF::DDAStat, SVF::SVFStat
• performTCTStat() : SVF::MTAStat
• performThreadCallGraphStat() : SVF::MTAStat
• PersBase : SVF::PTData< Key, KeySet, Data, DataSet >
• PersDataFlow : SVF::PTData< Key, KeySet, Data, DataSet >
• PersDFPTDataTy : SVF::BVDataPTAImpl
• PersDiff : SVF::PTData< Key, KeySet, Data, DataSet >
• PersDiffPTDataTy : SVF::BVDataPTAImpl
• PersIncDataFlow : SVF::PTData< Key, KeySet, Data, DataSet >
• PersIncDFPTDataTy : SVF::BVDataPTAImpl
• Persistent : SVF::BVDataPTAImpl
• PersistentDFPTData() : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• PersistentDFPTData< Key, KeySet, Data, DataSet > : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• PersistentDiffPTData() : SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• PersistentIncDFPTData() : SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• PersistentIncDFPTData< Key, KeySet, Data, DataSet > : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• PersistentPointsToCache() : SVF::PersistentPointsToCache< Data >
• PersistentPTData() : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• PersistentVersionedPTData : SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• persPTData : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• PersPTDataTy : SVF::BVDataPTAImpl
• PersVersioned : SVF::PTData< Key, KeySet, Data, DataSet >
• PersVersionedPTDataTy : SVF::BVDataPTAImpl
• PHI : SVF::MemSSA
• Phi : SVF::SVFStmt
• PHINodeMap : SVF::SVFIR
• phiNodeMap : SVF::SVFIR
• PHISet : SVF::MemSSA, SVF::SVFG
• PhiStmt() : SVF::PhiStmt
• phiTime : SVF::FlowSensitive
• PHIVFGNode() : SVF::PHIVFGNode
• plainMap() : SVF::FlowSensitive
• PlainMappingFs : SVF::Options
• plus_infinity() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
• PNODEK : SVF::SVFVar
• POCRAlias : SVF::Options, SVF::POCRAlias
• POCRHybrid : SVF::Options, SVF::POCRHybrid
• POCRHybridSolver() : SVF::POCRHybridSolver
• POCRSolver() : SVF::POCRSolver
• pointee_iter() : SVF::pointee_iter< WrappedIteratorT, T >
• pointer : SVF::CoreBitVector::CoreBitVectorIterator, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo::PointsToIterator
• pointer_iterator() : SVF::pointer_iterator< WrappedIteratorT, T >
• PointerAnalysis() : SVF::PointerAnalysis
• PointerType : SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >
• pointsTo() : SVF::CondPointsToSet< Cond >
• PointsTo() : SVF::PointsTo
• PointsToIterator() : SVF::PointsTo::PointsToIterator
• PointsToList : SVF::MRGenerator
• pop() : SVF::CFLFIFOWorkList< Data >, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >, SVF::List< Data >, SVF::WTO< GraphT >
• popFromCTPWorkList() : SVF::LockAnalysis, SVF::TCT
• popFromCTSWorkList() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
• popFromWorklist() : SVF::CFLSolver, SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPASolver< GraphType >
• popRecursiveCallSites() : SVF::ContextDDA
• position : error
• possibilities : OptionMap< T >, OptionMultiple< T >
• PossibilityDescription : OptionBase
• PossibilityDescriptions : OptionBase
• possibilityDescriptions : OptionBase
• postDominate() : SVF::FunObjVar, SVF::SaberCondAllocator, SVF::SVFLoopAndDomInfo
• postProcessNode() : SVF::AndersenWaveDiff
• Precise : SVF::WPAPass
• predBBs : SVF::SVFBasicBlock
• Predicate : SVF::CmpStmt
• predicate : SVF::CmpStmt
• PredictPtOcc : SVF::Options
• predMap : SVF::POCRSolver
• preemptiveComplements : SVF::PersistentPointsToCache< Data >
• preemptiveIntersections : SVF::PersistentPointsToCache< Data >
• preemptiveUnions : SVF::PersistentPointsToCache< Data >
• prelabel() : SVF::VersionedFlowSensitive
• prelabeledObjects : SVF::VersionedFlowSensitive
• prelabelingTime : SVF::VersionedFlowSensitive
• prePassSchedule() : SVF::LLVMModuleSet
• preProcessBCs() : SVF::LLVMModuleSet
• preProcessed : SVF::LLVMModuleSet
• prev : cJSON
• primaryVTable : SVF::DCHNode
• print() : SVF::ConstraintGraph, SVF::DCHGraph, SVF::SVFArrayType, SVF::SVFFunctionType, SVF::SVFIntegerType, SVF::SVFIR, SVF::SVFOtherType, SVF::SVFPointerType, SVF::SVFStructType, SVF::SVFType, SVF::TCT
• print_stat : SVF::PointerAnalysis
• printAbstractState() : SVF::AbstractState
• PrintAliases : SVF::Options
• PrintAliasPairs() : SVF::WPAPass
• printBugToTerminal() : SVF::BufferOverflowBug, SVF::DoubleFreeBug, SVF::FileNeverCloseBug, SVF::FilePartialCloseBug, SVF::FullNullPtrDereferenceBug, SVF::GenericBug, SVF::NeverFreeBug, SVF::PartialLeakBug, SVF::PartialNullPtrDereferenceBug
• PrintCFL : SVF::Options
• PrintCGGraph : SVF::Options
• printCH() : SVF::CHGraph
• PrintCPts : SVF::Options
• PrintDCHG : SVF::Options
• printExprValues() : SVF::RelExeState
• PrintFieldWithBasePrefix : SVF::Options
• printFlattenFields() : SVF::IRGraph
• printGeneralStats : SVF::SVFStat
• PrintGraph() : SVF::GraphPrinter
• printIndCSTargets() : SVF::PointerAnalysis
• printInterleaving() : SVF::MHP
• PrintInterLev : SVF::Options
• printLocks() : SVF::LockAnalysis
• PrintLockSpan : SVF::Options
• PrintPathCond : SVF::Options
• printPathCond() : SVF::SaberCondAllocator
• printQueryPTS() : SVF::DDAPass
• PrintQueryPts : SVF::Options
• printStat() : SVF::AndersenBase, SVF::DDAStat, SVF::ICFGStat, SVF::MemSSAStat, SVF::PointerAnalysis, SVF::SVFGStat, SVF::SVFStat
• printStatPerQuery() : SVF::DDAStat, SVF::SVFStat
• printStats() : SVF::NodeIDAllocator::Clusterer, SVF::PersistentPointsToCache< Data >
• printZ3Stat() : SVF::SrcSnkDDA
• processAddr() : SVF::Andersen, SVF::AndersenSCD, SVF::FlowSensitive
• processAllAddr() : SVF::Andersen, SVF::Steensgaard
• processCE() : SVF::SVFIRBuilder
• processCFLEdge() : SVF::CFLSolver, SVF::POCRHybridSolver, SVF::POCRSolver
• processCopy() : SVF::Andersen, SVF::FlowSensitive
• processFunBody() : SVF::ICFGBuilder
• processFunEntry() : SVF::ICFGBuilder
• processFunExit() : SVF::ICFGBuilder
• processGep() : SVF::Andersen, SVF::FlowSensitive
• processGepPts() : SVF::Andersen, SVF::AndersenSFR, SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FlowDDA
• processGraph() : SVF::SVFGStat
• processLoad() : SVF::Andersen, SVF::FlowSensitive, SVF::VersionedFlowSensitive
• processNode() : SVF::Andersen, SVF::AndersenWaveDiff, SVF::FlowSensitive, SVF::VersionedFlowSensitive, SVF::WPASolver< GraphType >
• processPhi() : SVF::FlowSensitive
• processPWC() : SVF::AndersenSCD
• processStore() : SVF::Andersen, SVF::FlowSensitive, SVF::VersionedFlowSensitive
• processSVFGNode() : SVF::FlowSensitive
• processTime : SVF::FlowSensitive
• processUnreachableFromEntry() : SVF::ICFGBuilder
• Production : SVF::CFLSolver, SVF::GrammarBase
• Productions : SVF::GrammarBase
• ProgSlice() : SVF::ProgSlice
• propagate() : SVF::WPASCCSolver< GraphType >, SVF::WPASolver< GraphType >
• propagateFromAPToFP() : SVF::FlowSensitive
• propagateFromFRToAR() : SVF::FlowSensitive
• propagateVersion() : SVF::VersionedFlowSensitive
• propagateViaObj() : SVF::ContextDDA, SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• propagationTime : SVF::FlowSensitive
• propAlongDirectEdge() : SVF::FlowSensitive
• propAlongIndirectEdge() : SVF::FlowSensitive, SVF::VersionedFlowSensitive
• propaPtsMap : SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• propDFInToIn() : SVF::FlowSensitive
• propDFOutToIn() : SVF::FlowSensitive
• propertyComplements : SVF::PersistentPointsToCache< Data >
• propertyIntersections : SVF::PersistentPointsToCache< Data >
• propertyUnions : SVF::PersistentPointsToCache< Data >
• propFromSrcToDst() : SVF::FlowSensitive, SVF::WPASolver< GraphType >
• propVarPtsAfterCGUpdated() : SVF::FlowSensitive
• propVarPtsFromSrcToDst() : SVF::FlowSensitive
• PStat : SVF::Options
• pt : SVF::PointsTo::PointsToIterator
• pta : SVF::AndersenStat, SVF::CFLStat, SVF::MemSSA, SVF::MRGenerator, SVF::PTAStat, SVF::SVFG, SVF::TCT
• PTACGNodeSet : SVF::TCT
• ptaImplTy : SVF::PointerAnalysis
• PTAImplTy : SVF::PointerAnalysis
• PTAName() : SVF::Andersen, SVF::ContextDDA, SVF::FlowDDA, SVF::FlowSensitive, SVF::PointerAnalysis, SVF::VersionedFlowSensitive
• PTAStat() : SVF::PTAStat
• ptaTy : SVF::PointerAnalysis
• PTATY : SVF::PointerAnalysis
• PTAVector : SVF::DDAPass, SVF::WPAPass
• ptaVector : SVF::WPAPass
• PTBackingType : SVF::BVDataPTAImpl
• 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 >
• PTData() : SVF::PTData< Key, KeySet, Data, DataSet >
• ptDataBacking : SVF::Options
• PTDataTy : SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >, SVF::DFPTData< Key, KeySet, Data, DataSet >, SVF::DiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >, SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >, SVF::PTData< Key, KeySet, Data, DataSet >, SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• ptdTy : SVF::PTData< Key, KeySet, Data, DataSet >
• PTNumStatMap : SVF::SVFStat
• Ptr : SVF::pointer_iterator< WrappedIteratorT, T >
• ptrInUncalledFunction() : SVF::GepObjVar, SVF::GepValVar, SVF::SVFVar
• ptrOnlyMSSA : SVF::MRGenerator
• PTRONLYSVFG : SVF::VFG
• PTRONLYSVFG_OPT : SVF::VFG
• ptrToBVPtsMap : SVF::CondPTAImpl< Cond >
• PtrToBVPtsMap : SVF::CondPTAImpl< Cond >
• PtrToCPtsMap : SVF::CondPTAImpl< Cond >
• ptrToCPtsMap : SVF::CondPTAImpl< Cond >
• PTRTOINT : SVF::CopyStmt
• PtrToNSMap : SVF::CondPTAImpl< Cond >
• ptrType() : SVF::ObjTypeInference
• PTSAllPrint : SVF::Options
• PtsMap : SVF::FlowSensitive, SVF::FlowSensitiveStat, SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >
• ptsMap : SVF::MutablePTData< Key, KeySet, Data, DataSet >, SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• PtsMapConstIter : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutablePTData< Key, KeySet, Data, DataSet >
• PtsMapIter : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• PTSPrint : SVF::Options
• ptsSizeStat() : SVF::VersionedFlowSensitiveStat
• ptsToId : SVF::PersistentPointsToCache< Data >
• PTSToIDMap : SVF::PersistentPointsToCache< Data >
• PtsToRepPtsSetMap : SVF::MRGenerator
• PtsToSubPtsMap : SVF::IntraDisjointMRG
• PtType : SVF::Options
• PURE_ABSTRACT : SVF::CHNode, SVF::DCHNode
• push() : SVF::CFLFIFOWorkList< Data >, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >, SVF::List< Data >, SVF::WTO< GraphT >
• pushContext() : SVF::ContextCond, SVF::CxtDPItem, SVF::CxtStmtDPItem< LocCond >
• pushCxt() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP, SVF::TCT
• pushIntoWorklist() : SVF::CFLSolver, SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPASolver< GraphType >
• pushToCTPWorkList() : SVF::LockAnalysis, SVF::TCT
• pushToCTSWorkList() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP
• PWCDetect() : SVF::AndersenSCD, SVF::AndersenSFR
• pwcReps : SVF::AndersenSCD