Issues

• zstd analysis failure: pointer-difference expression lowering and 64-bit constants

  static-analysis-engineering/CodeHawk-C#80 · Filter by author mgordon opened on Jun 2, 2026

• Crash on invalid astr attribute parameter index [codex]

  static-analysis-engineering/CodeHawk-C#77 · Filter by author mgordon opened on May 29, 2026
  1

• Null-terminated proof check crashes on cast startof stack buffer expression

  static-analysis-engineering/CodeHawk-C#74 · Filter by author mgordon opened on May 29, 2026
  1

• initialized-range over casted startof can abort on missing memory reference

  static-analysis-engineering/CodeHawk-C#73 · Filter by author mgordon opened on May 29, 2026
  1

• Initialized field proof obligation can crash on missing memory reference

  static-analysis-engineering/CodeHawk-C#72 · Filter by author mgordon opened on May 29, 2026
  1

• Empty Diagnostic Invariant List Crash [codex]

  static-analysis-engineering/CodeHawk-C#70 · Filter by author mgordon opened on May 29, 2026

• Mismatch between line numbers and sourcelines content in JSON when using preprocessed code

  static-analysis-engineering/CodeHawk-C#52 · Filter by author waskyo opened on Dec 4, 2024
  2

• CIL: incorporate change to enum item

  api compliance
  static-analysis-engineering/CodeHawk-C#51 · Filter by author sipma opened on Dec 2, 2024
  

• Add more program context to json output

  enhancement
  static-analysis-engineering/CodeHawk-C#49 · Filter by author waskyo opened on Oct 28, 2024
  2

  

• Project fails to parse when compile_commands.json refers to files in a parent directory

  static-analysis-engineering/CodeHawk-C#42 · Filter by author Databean opened on May 26, 2024

• AttributeError: 'CGlobalDeclarations' object has no attribute 'capp'

  static-analysis-engineering/CodeHawk-C#37 · Filter by author restarre opened on Apr 3, 2023

• chc_analyze_file.py: Unable to find function with global vid 111

  static-analysis-engineering/CodeHawk-C#34 · Filter by author bergkvist opened on Oct 7, 2021