Skip to content

Extend runtime bounds checks to handle relative alignment. #329

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
dtarditi opened this issue Jun 20, 2017 · 1 comment
Open

Extend runtime bounds checks to handle relative alignment. #329

dtarditi opened this issue Jun 20, 2017 · 1 comment
Labels
work item This labels issues that are not exactly bugs but are about improvements.

Comments

@dtarditi
Copy link
Member

If the relative alignment of a pointer p with array_ptr is not an integral multiple of sizeof(T), we need to adjust the bounds check slightly (as described in the Checked C specification).
@dtarditi dtarditi mentioned this issue Jun 20, 2017
Open
@dtarditi dtarditi added the work item This labels issues that are not exactly bugs but are about improvements. label Jun 20, 2017
@sulekhark sulekhark mentioned this issue Feb 4, 2021
Closed
@sulekhark
Copy link
Contributor

#937 contains an example where the runtime bounds check needs to be adjusted to handle relative alignment.

@secure-sw-dev-bot secure-sw-dev-bot mentioned this issue Jan 16, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
work item This labels issues that are not exactly bugs but are about improvements.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dtarditi @sulekhark