Alias Analysis

Basic Alias Analysis implementation

Table of Contents

• Getting Started
  • Building from source
• Usage

Getting Started

Basic implementation of alias analysis in LLVM.
[x] Flow-insensitive Intra-procedural variant
[x] Flow-sensitive Inter-procedural variant
[x] Context-Sensitive Flow-sensitive Inter-procedural variant

Building from source

$ git clone this_repository.git
$ cd this_repository
$ mkdir build; cd build
$ cmake .. && make

Usage

Use AADriver to run the analysis on any LLVM IR file.
Run the flow-insensitive variant by AADriver test.ll
For now the first argument should be the LLVM IR file
Use -fs for the flow-sensitive variant AADriver test.ll -fs
Use -cs for the control-sensitive variant AADriver test.ll -fs -cs