PTATY.h

Go to the documentation of this file.

#ifndef PTATY_H
#define PTATY_H
 
namespace SVF
{
 
enum PTATY
{
    // Whole program analysis
    Andersen_BASE,      
    Andersen_WPA,       
    AndersenSCD_WPA,    
    AndersenSFR_WPA,    
    AndersenWaveDiff_WPA,   
    Steensgaard_WPA,      
    CSCallString_WPA,   
    CSSummary_WPA,      
    FSDATAFLOW_WPA, 
    FSSPARSE_WPA,       
    VFS_WPA,        
    FSCS_WPA,           
    CFLFICI_WPA,        
    CFLFSCI_WPA,        
    CFLFSCS_WPA,    
    TypeCPP_WPA, 
 
    // Demand driven analysis
    FieldS_DDA,     
    FlowS_DDA,      
    PathS_DDA,      
    Cxt_DDA,        
 
 
    Default_PTA     
};
 
enum PTAImplTy
{
    BaseImpl,   
    BVDataImpl, 
    CondImpl,   
};
 
enum PTBackingType
{
    Mutable,
    Persistent,
};
 
}  // namespace SVF
 
#endif // PTATY_H