skills/case-studies/dao-hack/SKILL.md
Case study of the 2016 DAO hack: reentrancy exploit draining ~$60M
npx skillsauth add apegurus/solidity-argus dao-hackInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
The DAO was a decentralized autonomous organization launched in 2016 on the Ethereum blockchain. It was designed to operate as a venture capital fund for the crypto space. In June 2016, an attacker exploited a reentrancy vulnerability in the DAO's smart contract, draining approximately 3.6 million ETH, worth about $60 million at the time.
The vulnerability was a classic reentrancy bug. The splitDAO function allowed a member to withdraw their ETH and receive "Child DAO" tokens. The contract sent ETH to the user using a low-level .call() before updating the user's balance. This allowed the attacker to recursively call the splitDAO function from their malicious contract's fallback function before the first call finished, effectively draining the contract.
splitDAO function.splitDAO.0x0eb3f4d006903f621f048358878b2ad9046f00d28e5540fa24644433252170e4.call() used for ETH transfers without a reentrancy guard.ReentrancyGuard).testing
Specialist profile for mechanically applying the attack-vector deck and classifying vectors as skip, drop, or investigate.
tools
Specialist profile for libraries, helpers, base contracts, adapters, encoders, wrappers, and integration glue.
testing
Specialist profile for rounding, scale, decimal, downcast, and arithmetic accounting edge cases.
testing
Specialist profile for extracting conservation laws and state couplings, then searching for violating paths.