Check out our CodeHawk analyzers on GitHub:
CodeHawk-Binary
Binary analyzer for malware analysis
and general
reverse engineering
(supporting x86 and mips)
CodeHawk-C
C Source Code analyzer to identify memory safety
vulnerabilities
(or, prove absence of undefined behavior)
