Binary analyzer for malware analysis and general
(supporting x86 and mips)
C Source Code analyzer to identify memory safety
(or, prove absence of undefined behavior)
Targeted at embedded system and mission-critical system developers,
CodeHawk-C provides a sound and systematic way to demonstrate your C source
code is not subject to memory safety vulnerabilities.
Copyright © 2016-2020 Kestrel Technology LLC.
Wind River, the Wind River logo, Wind River Workbench, and VxWorks are trademarks or registered
trademarks of Wind River in the United States and other countries.
OASIS, SARIF, and "Security Analysis Results Interchange Format" are trademarks of OASIS,
the open standards consortium where the SARIF specification is owned and developed.
SARIF is a copyrighted © work of OASIS Open. All rights reserved.
Oracle and Java are registered trademarks of Oracle and/or its affiliates.