Introduction
Writing Invariant Tests
1.
Learn Invariant Testing
2.
Example Project
3.
Implementing Properties
4.
Optimizing Broken Properties
5.
Advanced Fuzzing Tips
6.
Chimera Framework
7.
Create Chimera App
Bootcamp
8.
Intro to the Bootcamp
9.
Part 1 - Invariant Testing with Chimera Framework
10.
Part 2 - Multidimensional Invariant Tests
11.
Part 3 - Writing and Breaking Properties
12.
Part 4 - Liquity Governance Case Study
Using Recon
13.
Building Handlers
14.
Running Jobs
15.
Recipes
16.
Alerts
17.
Campaigns
18.
Dynamic Replacement
19.
Governance Fuzzing
20.
Recon Tricks
Free Recon Tools
21.
Recon Extension
22.
Medusa Log Scraper
23.
Echidna Log Scraper
24.
Handler Builder
25.
Bytecode Compare
26.
Bytecode To Interface
27.
Bytecode Static Deployment
28.
Bytecode Formatter
29.
String To Bytes
30.
OpenZeppelin Roles Scraper
OSS Repos
31.
Chimera
32.
Create Chimera App
33.
Log Parser
34.
ABI to Invariants
35.
ABI to Mock
36.
Setup Helpers
37.
Properties Table
38.
ERC7540 Reusable Properties
OpSec
39.
OpSec Resources
Help
40.
Glossary
Light
Rust
Coal
Navy
Ayu
Recon Book
Medusa Log Scraper
Usage
Paste your Medusa logs generated at the end of your test run
All function calls will be scraped automatically from the pasted logs
Each property will generate a Foundry reproducer unit test
Toggle cheatcodes as needed
