Skip to content

fix: bound array insert/fill/slice indices and reject diverging security symbol rebinds#105

Merged
luisleo526 merged 3 commits into
mainfrom
fix/array-bounds-and-security-symbol-rebind
Jul 25, 2026
Merged

fix: bound array insert/fill/slice indices and reject diverging security symbol rebinds#105
luisleo526 merged 3 commits into
mainfrom
fix/array-bounds-and-security-symbol-rebind

fix: reject a request.security symbol whose := rebind diverges

159619c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar