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

Commits on May 29, 2026

Fix divide-before-multiply false positive when divided variable is reassigned
MarkLee131
committed
Add test snapshot and compile archive for divide_before_multiply_reassignment
MarkLee131
committed

Commits on Jul 28, 2026

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