PTATY.h File Reference

Go to the source code of this file.

Namespaces
namespace	SVF
	for isBitcode

Enumerations
enum	SVF::PTATY {   SVF::Andersen_BASE , SVF::Andersen_WPA , SVF::AndersenSCD_WPA , SVF::AndersenSFR_WPA ,   SVF::AndersenWaveDiff_WPA , SVF::Steensgaard_WPA , SVF::CSCallString_WPA , SVF::CSSummary_WPA ,   SVF::FSDATAFLOW_WPA , SVF::FSSPARSE_WPA , SVF::VFS_WPA , SVF::FSCS_WPA ,   SVF::CFLFICI_WPA , SVF::CFLFSCI_WPA , SVF::CFLFSCS_WPA , SVF::TypeCPP_WPA ,   SVF::FieldS_DDA , SVF::FlowS_DDA , SVF::PathS_DDA , SVF::Cxt_DDA ,   SVF::Default_PTA }
	Pointer analysis type list. More...
enum	SVF::PTAImplTy { SVF::BaseImpl , SVF::BVDataImpl , SVF::CondImpl }
	Implementation type: BVDataPTAImpl or CondPTAImpl. More...
enum	SVF::PTBackingType { SVF::Mutable , SVF::Persistent }
	How the PTData used is implemented. More...