You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: program-analysis/echidna/Exercise-6.md
+9-3
Original file line number
Diff line number
Diff line change
@@ -27,10 +27,16 @@ The challenge is described here: https://www.damnvulnerabledefi.xyz/challenges/1
27
27
- Create a `config.yaml` with the necessary configuration option(s).
28
28
- Once Echidna finds the bug, fix the issue, and re-try your property with Echidna.
29
29
30
+
### Descriptions
31
+
30
32
Only the following contracts are relevant:
31
-
-`contracts/DamnValuableToken.sol`
32
-
-`contracts/unstoppable/UnstoppableLender.sol`
33
-
-`contracts/unstoppable/ReceiverUnstoppable.sol`
33
+
-[`contracts/DamnValuableToken.sol`](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/master/contracts/DamnValuableToken.sol): token used by the system
34
+
-[`contracts/unstoppable/UnstoppableLender.sol`](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/master/contracts/unstoppable/UnstoppableLender.sol): allow to take a flash loan and do a callback on the caller
35
+
-[`contracts/unstoppable/ReceiverUnstoppable.sol`](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/master/contracts/unstoppable/ReceiverUnstoppable.sol): user callback example
0 commit comments