What: Audit all arithmetic operations for overflow/underflow protection.
Why: Overflow can cause critical vulnerabilities. Audit ensures safety.
Scope: Review all arithmetic operations. Verify overflow checks. Add missing checks. Test edge cases.
Acceptance criteria:
- All arithmetic is reviewed
- Overflow is prevented
- Underflow is prevented
- Edge cases are tested
Technical context: All contract source files.
What: Audit all arithmetic operations for overflow/underflow protection.
Why: Overflow can cause critical vulnerabilities. Audit ensures safety.
Scope: Review all arithmetic operations. Verify overflow checks. Add missing checks. Test edge cases.
Acceptance criteria:
Technical context: All contract source files.