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

- p -

• PAGBuilderFromFile() : SVF::PAGBuilderFromFile
• pagFileName() : SVF::SVFIR
• pagReadFromTXT() : SVF::SVFIR
• 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
• PartialLeakBug() : SVF::PartialLeakBug
• PartialNullPtrDereferenceBug() : SVF::PartialNullPtrDereferenceBug
• partitionMRs() : SVF::DistinctMRG, SVF::InterDisjointMRG, SVF::IntraDisjointMRG, SVF::MRGenerator
• 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
• PersistentDFPTData() : SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >
• PersistentDiffPTData() : SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >
• PersistentIncDFPTData() : SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• PersistentPointsToCache() : SVF::PersistentPointsToCache< Data >
• PersistentPTData() : SVF::PersistentPTData< Key, KeySet, Data, DataSet >
• PersistentVersionedPTData() : SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• PhiStmt() : SVF::PhiStmt
• PHIVFGNode() : SVF::PHIVFGNode
• plainMap() : SVF::FlowSensitive
• plus_infinity() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
• POCRAlias() : SVF::POCRAlias
• POCRHybrid() : SVF::POCRHybrid
• POCRHybridSolver() : SVF::POCRHybridSolver
• POCRSolver() : SVF::POCRSolver
• pointee_iter() : SVF::pointee_iter< WrappedIteratorT, T >
• pointer_iterator() : SVF::pointer_iterator< WrappedIteratorT, T >
• PointerAnalysis() : SVF::PointerAnalysis
• pointsTo() : SVF::CondPointsToSet< Cond >
• PointsTo() : SVF::PointsTo
• PointsToIterator() : SVF::PointsTo::PointsToIterator
• 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
• postDominate() : SVF::FunObjVar, SVF::SaberCondAllocator, SVF::SVFLoopAndDomInfo
• postProcessNode() : SVF::AndersenWaveDiff
• prelabel() : SVF::VersionedFlowSensitive
• prePassSchedule() : SVF::LLVMModuleSet
• preProcessBCs() : SVF::LLVMModuleSet
• print() : SVF::ConstraintGraph, SVF::DCHGraph, SVF::SVFArrayType, SVF::SVFFunctionType, SVF::SVFIntegerType, SVF::SVFIR, SVF::SVFOtherType, SVF::SVFPointerType, SVF::SVFStructType, SVF::SVFType, SVF::TCT
• printAbstractState() : SVF::AbstractState
• PrintAliasPairs() : SVF::WPAPass
• printBugToTerminal() : SVF::BufferOverflowBug, SVF::DoubleFreeBug, SVF::FileNeverCloseBug, SVF::FilePartialCloseBug, SVF::FullNullPtrDereferenceBug, SVF::GenericBug, SVF::NeverFreeBug, SVF::PartialLeakBug, SVF::PartialNullPtrDereferenceBug
• printCH() : SVF::CHGraph
• printExprValues() : SVF::RelExeState
• printFlattenFields() : SVF::IRGraph
• PrintGraph() : SVF::GraphPrinter
• printIndCSTargets() : SVF::PointerAnalysis
• printInterleaving() : SVF::MHP
• printLocks() : SVF::LockAnalysis
• printPathCond() : SVF::SaberCondAllocator
• printQueryPTS() : SVF::DDAPass
• 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
• processUnreachableFromEntry() : SVF::ICFGBuilder
• 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 >
• propAlongDirectEdge() : SVF::FlowSensitive
• propAlongIndirectEdge() : SVF::FlowSensitive, SVF::VersionedFlowSensitive
• propDFInToIn() : SVF::FlowSensitive
• propDFOutToIn() : SVF::FlowSensitive
• propFromSrcToDst() : SVF::FlowSensitive, SVF::WPASolver< GraphType >
• propVarPtsAfterCGUpdated() : SVF::FlowSensitive
• propVarPtsFromSrcToDst() : SVF::FlowSensitive
• PTAName() : SVF::Andersen, SVF::ContextDDA, SVF::FlowDDA, SVF::FlowSensitive, SVF::PointerAnalysis, SVF::VersionedFlowSensitive
• PTAStat() : SVF::PTAStat
• PTData() : SVF::PTData< Key, KeySet, Data, DataSet >
• ptrInUncalledFunction() : SVF::GepObjVar, SVF::GepValVar, SVF::SVFVar
• ptrType() : SVF::ObjTypeInference
• ptsSizeStat() : SVF::VersionedFlowSensitiveStat
• 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