Math & Accounting

This section contains detectors related to mathematical operations and accounting issues, which are some of the most common and critical vulnerabilities in smart contracts.

Smart contracts often involve the handling of tokens, ether transfers, and precise arithmetic. Errors in these operations can lead to incorrect balances, token loss, unexpected behavior, or vulnerabilities that attackers can exploit to drain funds. These detectors help identify flaws in contract logic that stem from incorrect math operations, unsafe assumptions, or insufficient checks.

Detectors in This Category

The following detectors fall under the Math & Accounting category:

• Arithmetic Safety Issues:
  Detects unsafe operations like unchecked math, integer overflows/underflows, and rounding errors that can alter control flow or cause financial loss.

• Incorrect Logic:
  Catches flawed token transfer calculations, incorrect balance checks, and logic that fails to account for edge cases like division before multiplication.

• Slippage and Token Handling:
  Flags missing or ineffective slippage parameters, ether/token leaking, and repayment logic that causes token oversupply.

These checks are critical for ensuring contracts handle funds safely and predictably, and that they operate correctly under real-world usage conditions.

Click on a detector below to learn more about the specific vulnerability it targets.