Add out of bounds check for offset intrinsics#3755

celinval merged 7 commits into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-1233-ptr-oobcelinval/kani-dev:issue-1233-ptr-oobCopy head branch name to clipboard