Skip to content

v0.2.4

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 Jun 09:04
· 58 commits to main since this release
v0.2.4
67b6d03 
Release v0.2.4

Bump project version and add CHANGELOG entry covering 3 soundness fixes
since v0.2.3: reject writes to read-only context pointer fields, havoc
offsets on non-singleton-typeset pointer add/sub, and forget truncated
ALU32 pointer-arithmetic results. Also brings the using_installed_package
example version requirement up to date.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>
Assets 5
Loading