Fix conversion overflow false positive when value is explicitly checked #1193

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

Closed

ben-krieger wants to merge 1 commit into securego:master from ben-krieger:g115-fix-range-check

Contributor

ben-krieger commented Aug 27, 2024

Fixes #1187

TO DO:

Iterate blocks backwards to exclude checks performed after the conversion?
Validate comparisons ensure proper bounds?
Allow for equality comparisons?


          Fix conversion overflow false positive when value is explicitly checked

0dbb7f4

ben-krieger mentioned this pull request

Improvement the int conversion overflow logic to handle bound checks #1194

Merged

Contributor Author

ben-krieger commented Aug 27, 2024

Closing in favor of #1194.

ben-krieger closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet