Taint checker for LLVM

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

TODO: Add more description