Repository navigation

Functionapis - #232

Merged

sipma merged 13 commits into

static-analysis-engineering:masterfrom

sipma:functionapis

Mar 25, 2026

Merged

Functionapis#232
sipma merged 13 commits into
static-analysis-engineering:masterfrom
sipma:functionapis

Commits on Mar 20, 2026
- CHUTIL: add comparison functions
  sipma
  committed
  b2ff92a
Commits on Mar 24, 2026
- CHB: one place for creating a default function name
  sipma
  committed
  cad0f42
- CHB:add attributes to BCFiles fundef
  sipma
  committed
  6a38e55
Commits on Mar 25, 2026
- CHB:summaries:strstr
  sipma
  committed
  9e0351c
- CHT: update tests
  sipma
  committed
  41335c5
- CHB:add types for function signature inference
  sipma
  committed
  d87ce4b
- CHB: don't abstract singleton meets and joins
  sipma
  committed
  36e4137
- CHB: construct function signature from type inference results
  sipma
  committed
  f6e5653
- CHB: add utilities for function signature inference
  sipma
  committed
  7818a3f
- CHB: constraints for function signature inference
  sipma
  committed
  b85040e
- CHB: updates types for function signature inference
  sipma
  committed
  7af3e14
- CHB:ARM:type constraints for function signature inference
  sipma
  committed
  9dd0878
- CHB:fix Makefile
  sipma
  committed
  71afc29