Cmdlineargs#227

Merged

sipma merged 21 commits into

static-analysis-engineering:masterfrom

sipma:cmdlineargs

Feb 26, 2026

Commits on Feb 11, 2026

Commits on Feb 12, 2026

Commits on Feb 13, 2026

Commits on Feb 15, 2026

CHC: adapt pointer basevar to include ref attributes
sipma
committed

Commits on Feb 16, 2026

Commits on Feb 17, 2026

CHC: incorporate memory reference attributes
sipma
committed

Commits on Feb 22, 2026

Commits on Feb 24, 2026

CHC: fix regression tests by switching to another memref representation
sipma
committed