Reproduced Exploit
Abster Freefall: A player who staked a game in the small-pool token (USDC) claims the payout out of the lar
Chain
Other
Category
untagged
Date
Jan 1970
Source
AuditVault
EVM Playground
Source-level debugger — step opcodes and Solidity in sync
The attack is replayed in an in-browser EVM preloaded with the exact dumped fork state. The execution tree shows every call; step by Solidity line or by opcode across all depths — source, Stack, Memory, Storage, Balances (native / ERC-20 / NFT), Transient storage and Return value stay in sync. Click a tree node, opcode, or source line to jump. No backend, no live RPC.
Source & credit. Reproduction of a public audit finding curated by AuditVault — the original finding: 65079-h-01-claim-allows-payouts-from-an-arbitrary-token-pool-not-t. The historical source/toolchain is unavailable; this entry is documentation only and claims no executable Forge PoC.
Vulnerability classes: vuln/theft · vuln/locked-funds
Reproduction: a faithful minimal reproduction of the vulnerable finding — the vulnerable function is reproduced verbatim (marked
@>) with faithful minimal doubles; local deploy, no fork.
Root cause#
A player who staked a game in the small-pool token (USDC) claims the payout out of the large-pool token (WETH) — Freefall.claim reads the pool and pays from the caller-supplied _tokenAddress without checking it equals game.tokenAddress — draining 100 WETH (the entire pool) to the attacker EOA who never wagered WETH.
// ─── verbatim vulnerable claim() core (finding 65079, Freefall.sol#L219) ───
function claim(address _tokenAddress, string calldata _gameId) external {
Pool storage pool = liquidityPool[_tokenAddress]; // @> pool chosen from caller-supplied _tokenAddress, never checked == game.tokenAddress
uint256 onChainGameId = offChainGameIdToOnChainGameId[_gameId];
Game storage game = games[onChainGameId];
Why it's exploitable here#
A player who staked a game in the small-pool token (USDC) claims the payout out of the large-pool token (WETH) — Freefall.claim reads the pool and pays from the caller-supplied _tokenAddress without checking it equals game.tokenAddress — draining 100 WETH (the entire pool) to the attacker EOA who never wagered WETH.
Attack path#
Marked-line walkthrough (Playground)#
The EVM Playground pins each step to the exact executed source line in 0xce01759b82…:
- L95 — Setup: seed a token pool: Setup: a liquidity provider funds the pool by transferring
amountof_tokenAddressinto the contract (e.g. 100 WETH). - L104 — Setup: player places a bet: Setup: the player stakes
betAmountof the game's own token (USDC), recording the wager they will later claim on. - L119 — Operator resolves the game: Setup:
resolvefinalizes the round, recording the win multiplier before the player is allowed to claim. - L121 — Store win multiplier: Saves
determinedMultiplierfor the game; this scales the payout the attacker will withdraw from the wrong pool. - L126 — Pool keyed by caller's token: Root-cause bug:
claimloads the pool for the caller-supplied_tokenAddress, never checking it equalsgame.tokenAddress, so any pool can be drained. - L131 — Compute payout amount: Payout is
betAmount * multiplier, but it is paid from the attacker-chosen pool token, not the token actually wagered. - L147 — Fixed contract for comparison: Setup:
FreefallFixedis the corrected variant that binds the payout token to the game's staked token.
PoC#
Registry (Foundry, local deploy — verbatim vulnerable source + harm-asserting test + negative control):
cd 65079-h-01-claim-allows-payouts-from-an-arbitrary-token-pool-not-t_exp
forge test -vvv
The browser Playground replays the same synthetic opcode-for-opcode and measures the harm: A player who staked a game in the small-pool token (USDC) claims the payout out of the large-pool token (WETH) — Freefall.claim reads the po. Both gates are green (registry forge test PASS + Playground _verify-poc VERDICT: PASS).
Sources & further analysis#
Reproductions & code
- No executable Forge reproduction is claimed; the historical source/toolchain was unavailable for this finding.
- AuditVault finding: 65079-h-01-claim-allows-payouts-from-an-arbitrary-token-pool-not-t.
- Upstream DeFiHackLabs PoC directory: src/test.
Alerts & third-party analyses
- DeFiHackLabs incident explorer: search "Abster Freefall: A player who staked a game in the small-pool token (USDC) claims the payout out of the lar".
- Web3Sec X hacked database: search.
- Rekt leaderboard: search.
- Solodit incident search: search.
These dashboards index community alerts tweets, post-mortems, and independent write-ups. Reach them through the protocol name above to cross-check this reproduction against other analyses.