Program analysis tools developed at Draper on the CBAT project. - View it on GitHub