Skip to content

Fix use-after-free between ZipperHead readers and writers - #150

Open
imlvts wants to merge 3 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-reader-writer-uaf
Open

Fix use-after-free between ZipperHead readers and writers#150
imlvts wants to merge 3 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-reader-writer-uaf

Adding some new tests to cover potential unsoundness with witness calls

eb8f7c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Oct 1, 2026 in 9s