TheBinary Analysis Platform from Carnegie Mellon University.
Analyze binary code without reinventing the wheel. BAP lifts binary code into an easy to analyze language called BIL. BAP also comes with many popular analyses and program representations built-in.