** This code is totally unfinished. I kept it here just in case, someone wants to have some bootstrapping**

Implements LiSTT project-- Static taintflow on binaries. The original work is presented in the paper:

S. Rawat, L. Mounier and M. Potet, "LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis," 2014 Ninth International Conference on Availability, Reliability and Security, Fribourg, 2014, pp. 498-505, doi: 10.1109/ARES.2014.74.

The implementation is based on BinNavi-- a binary static analysis framework, which works on IDA.

This implementation was tested with BinNavi 3.x (in 2012).

In order to run the code, you will need to setup/configure BinNavi. Also need to change few lines in the main python file taint-analysisV6.py

The tool is launched with the following commands:

$ jython BOPFunctionRecognition.py and then

$ jython taint-analysisV6.py

For more information about the tool, please see tool-description.docx