CBAT is a collection of tools for analyzing the behavior of binary programs. Its primary purpose is to compare the behavior of programs. For example, CBAT can be used to verify that a patch has not introduced any new bugs, or that an optimization has not changed the behavior of a function. It also has features for single-program analysis.
CBAT is built on Carnegie Mellon's Binary Analysis Platform (BAP).
This work is sponsored by ONR/NAWC Contract N6833518C0107. Its content does not necessarily reflect the position or policy of the US Government and no official endorsement should be inferred.