Security context
What an agent needs to avoid regressing past fixes and find the next vuln in this repo.
gnosis/conditional-tokens-contracts
master @ eeefca6
9
Fixes
0
CVEs
HIGH
Peak severity
75.0%
Coverage
Highlights
Integer Overflow: 3 prior fixes. Scrutinize any change in this area.
contracts/ConditionalTokens.sol: most-fixed (2 issues). Treat as high-risk during review.
8 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.
Integer Overflow: Unchecked balance arithmetic allowed silent overflow/underflow, corrupting token accounting.
Integer Overflow: Market maker calculations used unsafe arithmetic on netOutcomeTokensSold and offset, risking manipulation.
Integer Overflow: Multiple contracts shared unsafe arithmetic on balances, winnings, and contributions, enabling fund theft.