Issues

• CHB:ARM: add support for functions with multiple return values (R0, R1)

  static-analysis-engineering/codehawk#197 · Filter by author sipma opened on May 5, 2025

• CHB: C-Expr: address of struct field array element not recognized

  static-analysis-engineering/codehawk#194 · Filter by author sipma opened on May 2, 2025
  

• CHB: C-Expr: add support for recognizing stack arrays

  static-analysis-engineering/codehawk#193 · Filter by author sipma opened on May 2, 2025
  

• CHB: add postcondition attribute for non-returning to gcc attribute support

  static-analysis-engineering/codehawk#191 · Filter by author sipma opened on Apr 28, 2025
  

• CHB: Associate struct field signatures with indirect calls

  enhancement
  static-analysis-engineering/codehawk#167 · Filter by author sipma opened on Nov 13, 2024
  

• CHC: Produce more structured output

  enhancement
  static-analysis-engineering/codehawk#163 · Filter by author waskyo opened on Nov 6, 2024
  

• CHC: Include global variable in global requests output

  enhancement
  static-analysis-engineering/codehawk#162 · Filter by author waskyo opened on Nov 6, 2024
  

• CHB: Trampoline path sensitivity

  enhancement
  static-analysis-engineering/codehawk#160 · Filter by author sipma opened on Oct 28, 2024
  

• Build error on Mac OS X

  static-analysis-engineering/codehawk#24 · Filter by author juli1 opened on Dec 29, 2020
  1