Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jun 7, 2026

• CHC: redo usual arithmetic conversions

  sipma

  committed
  1d8bd65

  Copy full SHA for 1d8bd65

• CHC: control loglevel via cmdline option

  sipma

  committed
  e859d4f

  Copy full SHA for e859d4f

• CHT:CHC: move cCHPOCheckInitializedTest to regression tests in CodeHawk-C

  sipma

  committed
  8272ffe

  Copy full SHA for 8272ffe

Commits on Jun 5, 2026

• CHC: fixes Integer promotion rejection of enum operands (CodeHawk-C issue #71)

  sipma

  committed
  fa7d96d

  Copy full SHA for fa7d96d

Commits on Jun 4, 2026

• CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69)

  sipma

  committed
  222e3e8

  Copy full SHA for 222e3e8

• GIT: update compiler to 5.2.0 and remove makefiles workflow

  sipma

  committed
  9fc6ecd

  Copy full SHA for 9fc6ecd

• CHB: add include_callees to metrics

  sipma

  committed
  b3ff9fd

  Copy full SHA for b3ff9fd

• CHB:INV: restrict removing invariants to side-effect expressions

  sipma

  committed
  56ec63a

  Copy full SHA for 56ec63a

• CHB: handle scanf arguments side effects

  sipma

  committed
  ace8b97

  Copy full SHA for ace8b97

• CHB: remove invariants subject to delayed side effects

  sipma

  committed
  d5d09ef

  Copy full SHA for d5d09ef

• CHB:ARM: add usedefs and rdefs for preconditions and side effects

  sipma

  committed
  0c2ff6a

  Copy full SHA for 0c2ff6a

Commits on May 28, 2026

• CHB: update version

  sipma

  committed
  cf0e105

  Copy full SHA for cf0e105

• CHB:add cmdline option to include callees with fns_included

  sipma

  committed
  e2787ca

  Copy full SHA for e2787ca

• CHB:SUMMARIES:add precondition to popen

  sipma

  committed
  23146bd

  Copy full SHA for 23146bd

Commits on May 27, 2026

• CHB:PO: delegate BlockWrite without external length term

  sipma

  committed
  2d42553

  Copy full SHA for 2d42553

• CHB: add format arguments to trusted-os-cmd-fmt-string po

  sipma

  committed
  82278a4

  Copy full SHA for 82278a4

• CHB: update sprintf summaries

  sipma

  committed
  8333590

  Copy full SHA for 8333590

• CHB: move conversion to attributes to separate file

  sipma

  committed
  104f201

  Copy full SHA for 104f201

• CHB:replace BCAttributes with AttributesFunctionSemantics

  sipma

  committed
  52d2a5e

  Copy full SHA for 52d2a5e

• CHB: update for proof obligation discharge

  sipma

  committed
  7841281

  Copy full SHA for 7841281

• CHB:ARM: add reaching definitions for string buffers

  sipma

  committed
  3e3bf8d

  Copy full SHA for 3e3bf8d

• CHB: consolidate proof obligation discharge

  sipma

  committed
  66a47bc

  Copy full SHA for 66a47bc

• CHB: introduce command injection predicates

  sipma

  committed
  5685214

  Copy full SHA for 5685214

• CHB: consolidate proof obligation discharge

  sipma

  committed
  8dd5427

  Copy full SHA for 8dd5427

• CHB: convert preconditions to attributes

  sipma

  committed
  f662710

  Copy full SHA for f662710

• CHB: add format string to function capabilities

  sipma

  committed
  0802e9e

  Copy full SHA for 0802e9e

• CHB: delegate format-string po to api

  sipma

  committed
  dc07687

  Copy full SHA for dc07687

• CHB: proof obligation discharge of TrustedOsCmdString with constant strings

  sipma

  committed
  f94ecba

  Copy full SHA for f94ecba

• CHB: add infrastructure for TrustedOsCmdString

  sipma

  committed
  492e6af

  Copy full SHA for 492e6af

Commits on Apr 21, 2026

• CHB: recognize function signature with varargs and printf/scanf format attribute

  sipma

  committed
  568d90d

  Copy full SHA for 568d90d

Commits on Apr 18, 2026

• CHB:SUM: fix returntype for inet_addr

  sipma

  committed
  4afc104

  Copy full SHA for 4afc104

Commits on Apr 15, 2026

• Outputparameters (#237)

  Show description for 5a300fa
  sipma

  authored
  5a300fa

  Copy full SHA for 5a300fa

Commits on Apr 10, 2026

• CHC: Errno dependency analysis (#233)

  abakst

  authored
  7e01d90

  Copy full SHA for 7e01d90

• CHB: update strcpy summary

  sipma

  committed
  d6b080c

  Copy full SHA for d6b080c

• CHB: remove non-negative length precondition

  sipma

  committed
  7eca777

  Copy full SHA for 7eca777