Skip to content

Add out of bounds check for offset intrinsics#3755

Merged
celinval merged 7 commits into
model-checking:mainfrom
celinval:issue-1233-ptr-oob
Dec 11, 2024
Merged

Add out of bounds check for offset intrinsics#3755
celinval merged 7 commits into
model-checking:mainfrom
celinval:issue-1233-ptr-oob

Merge branch 'main' into issue-1233-ptr-oob

cd21766
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs