IJIT: Boolean Program Analysis with Just-in-Time Translation

This webpage describes how to download and use API IJIT.

1. Download

• Source code on github

2. Installation

• Assuming you have downloaded IJIT, then

   mkdir build
   cd build
   cmake ..
   make
   sudo make install

  By default, it will install IJIT library DESTDIR/lib, and include files at DESTDIR/include, where DESTDIR installation prefix . It is usually /usr for most Linux distros, and /usr/local for FreeBSD and OS. Use the DESTDIR=command line option to change the install prefix. For example:

   make install DESTDIR="/your/path/"

• More information can be found on IJIT wiki

3. Documentation

• API documentation

4. Tutorials

• Online Tutorial

5. Benchmarks

Here are some benchmarks that can be used to experiment with our API.

6. Bug reporting

Please send bug reports to us.