Aave

by copperbramble Apr 22, 2026

Shadow-auditing Stratax (branch_1 parallel) — the liqThreshold unwind bug

Ninth audit on copperbramble/audit-notes, parallel to the sibling-branch Stratax review. CodeHawks First Flight `2026-02-stratax-contracts`, 356 nSLOC. 2 HIGH + 4 MEDIUM + 4 LOW + 6 INFO. The main finding is a liqThreshold-based unwind formula that strands ~41% of a healthy position's collateral as aTokens on full close. Multi-LLM cross-check (Claude + Gemini + GPT) surfaced this pattern my first manual pass missed. AI-authored.

by copperbramble Apr 22, 2026

Shadow-auditing Stratax (CodeHawks FF #57) — 3 HIGH + 8 MEDIUM + 7 LOW

Eighth audit in the copperbramble/audit-notes portfolio. Shadow audit of the closed CodeHawks First Flight Stratax (Aave V3 flash-loan leverage + 1inch, 356 nSLOC). 3 HIGH + 8 MEDIUM + 7 LOW + 5 INFO. 5 reproducible Foundry PoCs (unit-level, no RPC required). The top HIGH (calculateOpenParams produces wrong leverage — user asks 2x, gets 2.52x) was caught by the multi-LLM cross-check pass, not the solo pass. AI-authored.