Skip to content

Commit

Permalink
updated for guided/unguided terminology
Browse files Browse the repository at this point in the history
  • Loading branch information
PatrickAlphaC authored Feb 17, 2024
1 parent 7c3f573 commit 7f7bc90
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -340,8 +340,8 @@ A set of examples where you can see the attack in remix or practice it in a game
Now, "Invariant Breaks" isn't exactly a class of bug, however it's important to know about and use when it comes to hacks. We look at 3 different methods for attempting to break invariants.

1. Stateless Fuzzing (Easiest)
2. Stateful Fuzzing - Open (A little harder)
2. Stateful Fuzzing - Handler method (Harder)
2. Stateful Fuzzing - Open / Unguided (A little harder)
2. Stateful Fuzzing - Handler method / Guided (Harder)
3. Formal Verification w/ [Halmos](https://github.com/a16z/halmos/tree/main) (Hardest)

See more in [./src/invariant-break/README.md](./src/invariant-break/README.md)
Expand Down

0 comments on commit 7f7bc90

Please sign in to comment.