bannerc

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Live Template
templatetool


Show If
spacePermissionedit
Panel

7/5/2018 - Updated

  • Name - Changed from "CodeHawk" to "CodeHawk C Analyzer"
  • Description updated from "A tunable static source code analyzer. CodeHawk uses a semantic analysis based on Abstract Interpretation technology to calculate invariants at relevant code locations for the targeted vulnerability. CodeHawk can perform analysis with no input but the code itself. It can also be customized for code architectures and tuned based on feedback." to "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."