Skip to content

Verify memory safety of String functions (Challenge 10) - #558

Open
jrey8343 wants to merge 7 commits into
model-checking:mainfrom
jrey8343:challenge-10-string
Open

Verify memory safety of String functions (Challenge 10)#558
jrey8343 wants to merge 7 commits into
model-checking:mainfrom
jrey8343:challenge-10-string

Verify real String function bodies with bounded symbolic UTF-8 inputs

000ac80
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify std library
succeeded Aug 19, 2026 in 33s