Henny Sipma's repositories
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCamlMIT000
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Language:PythonMIT000
CodeHawk-C-Targets-Juliet
Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer
MIT000
openssl
TLS/SSL and crypto library
Language:CApache-2.0000