Skip to content

CHC: support pointer arithmetic on argv#231

Merged
sipma merged 1 commit into
static-analysis-engineering:masterfrom
waskyo:upper_bound_deref_argv_as_pointer
Mar 13, 2026
Merged

CHC: support pointer arithmetic on argv#231
sipma merged 1 commit into
static-analysis-engineering:masterfrom
waskyo:upper_bound_deref_argv_as_pointer

CHC: support pointer arithmetic on argv

60110de
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.