Package EDU.purdue.cs.bloat.tbaa

package EDU.purdue.cs.bloat.tbaa

Performs type-base alias analysis (TBAA) on a control flow graph. Type-based alias analysis considers the types of variables when deciding whether or not two variable can refer to the same object. Before TBAA can occur, the types of variables are inferred. Type inference requires information about the class hierarchy of classes being BLOATed.

  • Classes
    Class
    Description
    TBAA
    Performs Type-Based Alias Analysis (TBAA) to determine if one expression can alias another.
    TypeInference
    Typed-based alias analysis requires that we know the types of all entities in a method.