Pinned Repositories
ktadvance
KT Advance Memory Safety Analyzer for C
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
CodeHawk-C-Targets-Juliet
Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer
CodeHawk-C-Targets-Misc
Small C projects as demonstration targets for the CodeHawk-C Analyzer
openssl
TLS/SSL and crypto library
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
sipma's Repositories
sipma/CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
sipma/codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
sipma/CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
sipma/CodeHawk-C-Targets-Juliet
Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer
sipma/CodeHawk-C-Targets-Misc
Small C projects as demonstration targets for the CodeHawk-C Analyzer
sipma/openssl
TLS/SSL and crypto library