Popular repositories Loading

1. CodeHawk-Binary CodeHawk-Binary Public

   Forked from static-analysis-engineering/CodeHawk-Binary

   CodeHawk Binary Analyzer for malware analysis and general reverse engineering

   Python 1

2. codehawk codehawk Public

   Forked from static-analysis-engineering/codehawk

   CodeHawk Abstract Interpretation Engine and Analyzers

   OCaml

3. CodeHawk-C CodeHawk-C Public

   Forked from static-analysis-engineering/CodeHawk-C

   CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)

   Python

4. CodeHawk-C-Targets-Juliet CodeHawk-C-Targets-Juliet Public

   Forked from static-analysis-engineering/CodeHawk-C-Targets-Juliet

   Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer

5. openssl openssl Public

   Forked from openssl/openssl

   TLS/SSL and crypto library

   C

6. CodeHawk-C-Targets-Misc CodeHawk-C-Targets-Misc Public

   Forked from static-analysis-engineering/CodeHawk-C-Targets-Misc

   Small C projects as demonstration targets for the CodeHawk-C Analyzer