DD - Alias Analysis

Basic Demand Driven Alias Analysis implementation

Table of Contents

• Getting Started
  • Building from source
• Usage

Getting Started

Basic implementation of demand driven alias analysis in LLVM.
[x] Uses simple demand generation technique
[x] The driver gets activated on virtual function call sites

Building from source

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

Usage

Use DDAADriver to run the analysis on any LLVM IR file.
Example: DDAADriver test.ll