📄️ Attacker Balance Gain
Detects scenarios where an attacker can increase their balance by exploiting faulty accounting logic.
📄️ Divide Before Multiply
Detects calculations that divide values before multiplying, leading to precision loss.
📄️ Ether/Token Leaking
Detects unintentional loss of ether or tokens from a contract due to logic mistakes.
📄️ Explicit Balance Checks
Detects missing or incorrect balance validations before performing value transfers.
📄️ Incorrect Calculation of Token Transfer
Detects errors in transfer formulas that credit or debit the wrong amount of tokens.
📄️ Incorrectly Payable
Detects functions marked payable that should not accept ether or tokens.
📄️ Integer Overflow/Underflow
Detects arithmetic operations that wrap around due to exceeding uint256 limits.
📄️ Integer Overflow
Detects arithmetic that exceeds the maximum value of an unsigned integer and wraps around.
📄️ Integer Underflow
Detects subtraction that goes below zero and wraps to a large value.
📄️ Rounding Errors
Detects loss of precision when performing integer division or modulus operations in Solidity.
📄️ Slippage Parameter Missing or Ineffective
Detects token swaps or sales without a working slippage protection parameter.
📄️ Token Loss
Detects operations that accidentally burn or lock tokens beyond recovery.
📄️ Token Oversupply by Repayment Without Burn
Detects lending protocols that return collateral without burning representative tokens, inflating supply.
📄️ Unchecked Math
Detects use of the `unchecked` keyword that disables overflow and underflow protections.
📄️ Math & Accounting
This section contains detectors related to mathematical operations and accounting issues.