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

- p -

• PARTIALBUFOVERFLOW : SVF::GenericBug
• PARTIALLEAK : SVF::GenericBug
• PARTIALNULLPTRDEREFERENCE : SVF::GenericBug
• PATH_LEAK : SVF::LeakChecker
• PathS_DDA : SVF::PointerAnalysis
• PersBase : SVF::PTData< Key, KeySet, Data, DataSet >
• PersDataFlow : SVF::PTData< Key, KeySet, Data, DataSet >
• PersDiff : SVF::PTData< Key, KeySet, Data, DataSet >
• PersIncDataFlow : SVF::PTData< Key, KeySet, Data, DataSet >
• Persistent : SVF::BVDataPTAImpl
• PersVersioned : SVF::PTData< Key, KeySet, Data, DataSet >
• Phi : SVF::SVFStmt
• Precise : SVF::WPAPass
• PTRONLYSVFG : SVF::VFG
• PTRONLYSVFG_OPT : SVF::VFG
• PTRTOINT : SVF::CopyStmt
• PURE_ABSTRACT : SVF::CHNode, SVF::DCHNode