Security context

What an agent needs to avoid regressing past fixes and find the next vuln in this repo.

openzeppelin/cairo-contracts
main @ fccc433
32
Fixes
0
CVEs
CRITICAL
Peak severity
93.1%
Coverage
Highlights
Auth Bypass: 16 prior fixes. Scrutinize any change in this area.
contracts/token/ERC20.cairo: most-fixed (8 issues). Treat as high-risk during review.
27 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns

The bug types that recur here, drawn from past fixes, not open vulnerabilities.

Auth Bypass: Signature verification could be bypassed in execution flows by sourcing signatures from user-supplied parameters rather than the official system call (get_tx_signature), or by failing to bind the verification to the contract's actual stored address.
Integer Overflow: In Cairo, Uint256 elements consist of two 128-bit felts. Failing to validate that inputs do not exceed the 128-bit boundary per field allows attackers to bypass boundary checks, leading to math overflows and logic bypasses during mint or transfer operations.
Signature Replay: Account execution was vulnerable to cross-account replays and out-of-order transaction submission if the signature validation did not strictly enforce the contract's internally tracked nonce or target contract address.