The CodeHawk Tool Suite, originally developed by Kestrel Technology, is a sound static analysis platform based on the mathematical theory of abstract interpretation developed by Patrick and Radhia Cousot. CodeHawk consists of a programming-language independent abstract interpretation engine and three language front ends, as shown .
This repository contains the source code for the abstract interpretation engine and the three analyzer front ends:
- CH: Abstract Interpretation Engine and utilities
- CHB: Binary analyzer (x86, mips) front end
- CHC: C source code analyzer front end
- CHJ: Java byte code analyzer (in preparation)
This repository is intended to be for reference only. The actual analyzers are provided in separate repositories with an extensive Python API to run the analyzer and report results:
- CodeHawk-Binary: Binary Analyzer
- CodeHawk-C: C Source Code Analyzer
- CodeHawk-Java: Java byte code Analyzer