Skip to content

Challenge 13: safety of CStr - #638

Open
stefanzetzsche wants to merge 2 commits into
model-checking:mainfrom
stefanzetzsche:cstr-challenge-13
Open

Challenge 13: safety of CStr#638
stefanzetzsche wants to merge 2 commits into
model-checking:mainfrom
stefanzetzsche:cstr-challenge-13

fix(challenge-13): bound check_from_bytes_with_nul at 8 bytes — CI so…

8f76f56
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
upstream_test (ubuntu-latest)
succeeded Aug 20, 2026 in 3m 13s