Government agencies
KT has leading edge near-sound static analysis technology. The CodeHawk tool has been engineered over several generations resulting in a working prototype that has been tested on programs of tens of thousands of lines of code. We believe the scalability and flexibility of our near-sound static analysis tool is unique and should be futher developed via research programs that are targeted at proving the absence of security vulnerabilities and attempting to minimize false negatives not just false positives.
Commercial entities
KT has leading edge near-sound static analysis technology. The CodeHawk tool has been engineered over several generations resulting in a working prototype that has been tested on programs of tens of thousands of lines of code. For commercial entities wishing to develop their next-generation of products or services using near-sound static analysis, KT is interested in discussing commercial partnerships.
End user customers
Customers can obtain an evaluation license for KT's CodeHawk C Source Code Tool to use in their security code review process. Contact KT for details.
Customers evaluating binary code
Customers using IDA Pro will find CodeHawk a valuable compliment in providing additional information useful in identifying security vulnerabilities.