Tool title |
Title of page above |
Type |
COTS |
Owner/Source |
Kestrel Technology |
Link |
|
Description |
CodeHawk C analyzer is a software assurance tool capable of proving the absence of all memory access vulnerabilities in C source code by leveraging KT’s abstract interpretation engine, a static analysis technology able to mathematically model program behavior. |
User |
ARC |
SWE |
SWE-060, SWE-061, SWE-087, SWE-135 |
