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."