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