Extracting high level semantic information from binary code
Scalable Validator for Binary Lifters
Clang based AST reformatting tool used for injecting instrumentation code in C/C++ programs. The goal is collecting profiles (run-times and execution frequencies) on C/C++ programs.