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.

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

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

Merged
merged 21 commits into from
Sep 4, 2024
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
d2b4d2f
add test cases
czechbol Aug 28, 2024
fb90989
fix bounds check logic
czechbol Aug 28, 2024
9236690
tweak test cases
czechbol Aug 28, 2024
ed4e600
fix codestyle
czechbol Aug 28, 2024
97552d6
improve bounds check logic
czechbol Aug 28, 2024
1ab8ce6
max recursion depth
czechbol Aug 28, 2024
dd2f56b
add test case for len function
czechbol Aug 28, 2024
945c388
relax len function bounds checks
czechbol Aug 28, 2024
0ad7744
handle cases when convert instruction is after the if blocks
czechbol Aug 28, 2024
6fdff93
improve range check discovery, add tests
czechbol Aug 30, 2024
51f95f8
refactor for readability
czechbol Aug 30, 2024
1c4433c
add cap function test
czechbol Aug 30, 2024
665036b
calculate signed min without throwing overflow warnings
czechbol Aug 30, 2024
7b4830a
perform bounds checks int size calculations
czechbol Aug 30, 2024
553d10f
basic equal operator logic
czechbol Aug 30, 2024
b8160ea
uintptr -> unsafe.Pointer test case
czechbol Sep 2, 2024
f490e90
fix review comments
czechbol Sep 2, 2024
1c8555a
Rebase and fix go module
ccojocar Sep 2, 2024
3c8f85f
fix false positive for negated value
czechbol Sep 4, 2024
58dc764
fix range conditions
czechbol Sep 4, 2024
9f0427a
Ignore the golangci/gosec G115 warning
ccojocar Sep 4, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading