Automatic generation of library bindings using static analysis
LLVM: a compilation framework for lifelong program analysis & transformation