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

Merged

ccojocar merged 21 commits intosecurego:masterfrom czechbol:improvement/int-overflow-logic

Sep 4, 2024

+832-65

Commits on Sep 4, 2024

add test cases

czechbol
authored and
ccojocar
committed
fix bounds check logic

czechbol
authored and
ccojocar
committed
tweak test cases

czechbol
authored and
ccojocar
committed
fix codestyle

czechbol
authored and
ccojocar
committed
improve bounds check logic

czechbol
authored and
ccojocar
committed
max recursion depth

czechbol
authored and
ccojocar
committed
add test case for len function

czechbol
authored and
ccojocar
committed
relax len function bounds checks

authored and
ccojocar
committed
handle cases when convert instruction is after the if blocks

czechbol
authored and
ccojocar
committed
improve range check discovery, add tests

czechbol
authored and
ccojocar
committed
refactor for readability

czechbol
authored and
ccojocar
committed
add cap function test

czechbol
authored and
ccojocar
committed
calculate signed min without throwing overflow warnings

czechbol
authored and
ccojocar
committed
perform bounds checks int size calculations

czechbol
authored and
ccojocar
committed
basic equal operator logic

czechbol
authored and
ccojocar
committed
uintptr -> unsafe.Pointer test case

czechbol
authored and
ccojocar
committed
fix review comments

czechbol
authored and
ccojocar
committed
Rebase and fix go module
ccojocar
committed
fix false positive for negated value

czechbol
authored and
ccojocar
committed
fix range conditions

czechbol
authored and
ccojocar
committed
Ignore the golangci/gosec G115 warning
ccojocar
committed