13 docs tagged with "math"

Detects scenarios where an attacker can increase their balance by exploiting faulty accounting or unchecked value assignments.

Detects calculations that divide values before multiplying, leading to precision loss.

Detects unintentional loss of ether or tokens from a contract due to logic mistakes.

Detects missing or incorrect balance validations before performing value transfers.

Detects errors in transfer formulas that credit or debit the wrong amount of tokens.

Detects functions marked payable that should not accept ether or tokens.

Detects arithmetic that exceeds the maximum value of an unsigned integer and wraps around.

Detects subtraction that goes below zero and wraps to a large value.

Detects loss of precision when performing integer division or modulus operations in Solidity.

Detects token swaps or sales without a working slippage protection parameter.

Detects operations that accidentally burn or lock tokens beyond recovery.

Detects lending protocols that return collateral without burning representative tokens, inflating supply.

Detects use of the `unchecked` keyword that disables overflow and underflow protections.