Skip to content

Fix divide-before-multiply false positive when the divided variable is reassigned - #3040

Merged
smonicas merged 3 commits into
crytic:masterfrom
MarkLee131:fix/divide-before-multiply-reassignment-kill
Jul 28, 2026
Merged

Fix divide-before-multiply false positive when the divided variable is reassigned#3040
smonicas merged 3 commits into
crytic:masterfrom
MarkLee131:fix/divide-before-multiply-reassignment-kill

Merge branch 'master' into fix/divide-before-multiply-reassignment-kill

5cc0603
Select commit
Loading
Failed to load commit list.
Sign in for the full log view