0xKitsune / sstan

Solidity static analyzer
82 stars 7 forks source link

L: Subtraction may underflow if multiplication is too large #183

Open 0xOsiris opened 1 year ago

0xOsiris commented 1 year ago

Example scenario:

int256 r1 = (-bQuad*MULTIPLIER - disc*MULTIPLIER) / aQuad.mul(two).muli(MULTIPLIER);