Value-set Analysis on x86 assembly

This is a PoC type project to implement points-to /alias analysis on REIL code.

This prototype is implemented on REIL, which is the intermediate representation of x86 ISA as is used by Binanavi. The main technique is described in this doc

Software Requirements:

1. BinNavi Version 4. Note: This is the version of BinNavi from Zynamics. Currently BinNavi is maintainted by Google, which can be downloaded from here (you will need to change the code to make it work with this version.)
2. IDA Pro >= v6
3. Jython