bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

Tool title

Title of page above

Type

COTS

Owner/Source

Kestrel Technology

Link

https://www.tekspedite.com/technology_profile/30

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


  • No labels