Skip to content

Commit

Permalink
docs: add link to multiabi page
Browse files Browse the repository at this point in the history
  • Loading branch information
ChmielewskiKamil authored Feb 1, 2023
1 parent 61248da commit 50d31c0
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions program-analysis/echidna/Exercise-X.md
Original file line number Diff line number Diff line change
Expand Up @@ -406,6 +406,8 @@ Add a `Player(address player)` event to your contract and emit it in your proper

The player's address is `0x0000...3000`. Echidna is making calls from multiple accounts. It was able to increase the allowance of an address `0x000...1000` and make a call to `transferFrom(player, 0x000...1000, amount)`. This is expected!

[This happens because of the `multi-abi`](https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/using-multi-abi.md).

The `lockTokens` modifier does not prevent others from making transfers. Only the player is constrained.

```
Expand Down

0 comments on commit 50d31c0

Please sign in to comment.