Skip to content
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.

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

Check for overflow in computing blob->rdl #1583

Closed

Conversation

DemiMarie
Copy link
Contributor

@DemiMarie DemiMarie commented Mar 17, 2021

By using GCC’s overflow-checking builtins, we avoid needing to reason
about overflow manually, which is error-prone. Having GCC do the
arithmetic in infinite signed precision is much nicer.

I am making this PR because this overflow was assigned CVE-2021-20249.

By using GCC’s overflow-checking builtins, we avoid needing to reason
about overflow manually, which is error-prone.  Having GCC do the
arithmetic in infinite signed precision is much nicer.

This was assigned CVE-2021-20249.  I do not believe it is practically
exploitable, but it should still be fixed.
@pmatilai
Copy link
Member

pmatilai commented Mar 18, 2021

That CVE is not even public yet! Besides that, we can't use random compiler specific helpers like that. NAK.

If you report a vulnerability through the security process, you need to let that process run its course. Please.

@pmatilai pmatilai closed this Mar 18, 2021
@DemiMarie DemiMarie deleted the check-offset branch February 7, 2022 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants