Skip to content
@static-analysis-engineering

static-analysis-engineering

Pinned Loading

  1. codehawk codehawk Public

    CodeHawk Abstract Interpretation Engine and Analyzers

    OCaml 65 11

  2. CodeHawk-C CodeHawk-C Public

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

    Python 27 7

  3. CodeHawk-Binary CodeHawk-Binary Public

    CodeHawk Binary Analyzer for malware analysis and general reverse engineering

    Python 26 10

  4. CodeHawk-Java CodeHawk-Java Public

    CodeHawk Java Byte Code Static Analyzer

    Python 2 6

Repositories

Showing 10 of 12 repositories
  • codehawk Public

    CodeHawk Abstract Interpretation Engine and Analyzers

    static-analysis-engineering/codehawk’s past year of commit activity
    OCaml 65 MIT 11 5 0 Updated Mar 15, 2025
  • CodeHawk-Binary Public

    CodeHawk Binary Analyzer for malware analysis and general reverse engineering

    static-analysis-engineering/CodeHawk-Binary’s past year of commit activity
    Python 26 MIT 10 9 0 Updated Mar 15, 2025
  • CodeHawk-C Public

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

    static-analysis-engineering/CodeHawk-C’s past year of commit activity
    Python 27 MIT 7 6 0 Updated Dec 17, 2024
  • CodeHawk-CR Public Forked from static-analysis-engineering/CodeHawk-C

    CodeHawk C Analyzer: sound static analysis of undefined behavior (Rust migration)

    static-analysis-engineering/CodeHawk-CR’s past year of commit activity
    Python 0 MIT 7 0 0 Updated Aug 5, 2024
  • CodeHawk-Java Public

    CodeHawk Java Byte Code Static Analyzer

    static-analysis-engineering/CodeHawk-Java’s past year of commit activity
    Python 2 MIT 6 0 0 Updated Mar 16, 2022
  • CodeHawk-C-Targets-Juliet Public

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

    static-analysis-engineering/CodeHawk-C-Targets-Juliet’s past year of commit activity
    2 MIT 1 0 0 Updated Sep 13, 2020
  • CodeHawk-C-Targets-A Public

    Preparsed C applications as demonstration targets for the CodeHawk C Analyzer

    static-analysis-engineering/CodeHawk-C-Targets-A’s past year of commit activity
    0 MIT 0 0 0 Updated Aug 11, 2020
  • CodeHawk-C-Targets-Misc Public

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

    static-analysis-engineering/CodeHawk-C-Targets-Misc’s past year of commit activity
    0 MIT 1 0 0 Updated Aug 10, 2020
  • CodeHawk-C-Targets-SATE Public

    NIST SATE test cases prepared for analysis by the CodeHawk-C analyzer

    static-analysis-engineering/CodeHawk-C-Targets-SATE’s past year of commit activity
    0 MIT 0 0 0 Updated Jun 4, 2020
  • CodeHawk-Java-Platform-Summaries Public

    Platform-dependent library method summaries for the JDK and third-party libraries

    static-analysis-engineering/CodeHawk-Java-Platform-Summaries’s past year of commit activity
    Java 0 MIT 0 0 0 Updated May 31, 2020
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…