Taint checker for LLVM

March 23, 2016 ยท View on GitHub

This project implements an efficient flow-sensitive, context-sensitive, field-sensitive taint analyzer on top of LLVM.

TODO: Add more description