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

Open

jrey8343 wants to merge 7 commits into

model-checking:mainfrom

jrey8343:challenge-10-string

Commits on Feb 7, 2026

Verify memory safety of String functions with Kani (Challenge 10)
jrey8343
committed
8898a62

Commits on Feb 11, 2026

Apply upstream rustfmt formatting via check_rustc.sh --bless
jrey8343
committed
957f87e

Commits on Mar 15, 2026

Make Ch10 String harnesses unbounded

jrey8343
and
claude
committed
2465678
Fix rustfmt formatting in string.rs #[cfg(kani)] blocks

jrey8343
and
claude
committed
55c8294

Commits on Apr 2, 2026

Fix unused variable warnings and document retain coverage
jrey8343
committed
cbc3514

Commits on Aug 18, 2026

Merge remote-tracking branch 'origin/main' into challenge-10-string
jrey8343
committed
e0bb65e

Commits on Aug 19, 2026

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

jrey8343
and
claude
committed
000ac80