Constraint generation for LLVM IR

Dependencies

• LLVM (>=4.0)
• g++
• cmake (>=3.1)
• doxygen

Building

Follow these steps to build this project,

1. Clone the repository

  git clone https://github.com/princedhaliwal/points-to-constraintgen

2. Generate Makefiles

  mkdir build
  cd build
  cmake ..

3. Build

  make

4. Generating documentation

  cd docs
  doxygen Doxyfile

Running & Testing

There is a test pass built using this library in the tests/ directory. You can use the opt tools provided by LLVM to run the pass.

opt -load <build-dir>/lib/libTestPass.so -test-pass -analyze a.ll

You can test the pass using check target as

make check