Skip to content

@static-analysis-engineering static-analysis-engineering

Change the repository type filter

All

    Repositories list

    12 repositories

    • codehawk

      Public
      CodeHawk Abstract Interpretation Engine and Analyzers
      OCaml
      •
      MIT License
      •11•69•9•0•Updated Aug 18, 2025Aug 18, 2025

    • CodeHawk-Binary

      Public
      CodeHawk Binary Analyzer for malware analysis and general reverse engineering
      Python
      •
      MIT License
      •10•36•12•0•Updated Aug 18, 2025Aug 18, 2025

    • CodeHawk-C

      Public
      CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
      Python
      •
      MIT License
      •9•29•6•0•Updated Jun 2, 2025Jun 2, 2025

    • CodeHawk-CR

      Public
      CodeHawk C Analyzer: sound static analysis of undefined behavior (Rust migration)
      Python
      •
      MIT License
      •9•0•0•0•Updated Aug 5, 2024Aug 5, 2024

    • CodeHawk-Java

      Public
      CodeHawk Java Byte Code Static Analyzer
      Python
      •
      MIT License
      •6•2•0•0•Updated Mar 16, 2022Mar 16, 2022

    • CodeHawk-C-Targets-Juliet

      Public
      Juliet Test Suite 1.3 prepared for analysis by the CodeHawk-C Analyzer
      MIT License
      •1•2•0•0•Updated Sep 13, 2020Sep 13, 2020

    • CodeHawk-C-Targets-A

      Public
      Preparsed C applications as demonstration targets for the CodeHawk C Analyzer
      MIT License
      •0•0•0•0•Updated Aug 11, 2020Aug 11, 2020

    • CodeHawk-C-Targets-Misc

      Public
      Small C projects as demonstration targets for the CodeHawk-C Analyzer
      MIT License
      •1•0•0•0•Updated Aug 10, 2020Aug 10, 2020

    • CodeHawk-C-Targets-SATE

      Public
      NIST SATE test cases prepared for analysis by the CodeHawk-C analyzer
      MIT License
      •0•0•0•0•Updated Jun 4, 2020Jun 4, 2020

    • CodeHawk-Java-Platform-Summaries

      Public
      Platform-dependent library method summaries for the JDK and third-party libraries
      Java
      •
      MIT License
      •0•0•0•0•Updated May 31, 2020May 31, 2020

    • CodeHawk-Binary-MIPS-ELF-Targets

      Public
      Analysis Targets for the CodeHawk Binary Analyzer (32-bit mips)
      MIT License
      •0•0•0•0•Updated Mar 23, 2020Mar 23, 2020

    • CodeHawk-Binary-X86-PE-Targets

      Public
      Analysis targets for the CodeHawk Binary Analyzer (32-bit PE)
      MIT License
      •0•0•0•0•Updated Jan 16, 2020Jan 16, 2020