- p -

• p : klee::ExprSMTLIBPrinter
• parent : klee::CallPathNode, klee::MemoryObject, klee::PTreeNode
• partialBranches : klee::StatsTracker
• path : klee::TreeStreamWriter
• pathOS : klee::ExecutionState
• paths : klee::CallPathManager
• pathWriter : klee::Executor
• pausedStates : klee::IterativeDeepeningTimeSearcher, klee::MergingSearcher
• pc : klee::ExecutionState
• point : klee::time::Point
• PointerWidth : klee::Context
• pos : klee::compressed_fd_ostream, klee::FixedStack< T >, PrintContext
• possibleContents : CexObjectData
• preboundFunctions : klee::ExternalDispatcherImpl
• prevPC : klee::ExecutionState
• primary : klee::StagedSolverImpl
• printer : KQueryLoggingSolver, SMTLIBLoggingSolver
• processTree : klee::Executor, klee::RandomPathSearcher
• ptr : klee::ref< T >
• ptreeNode : klee::ExecutionState