Introduction
Writing Invariant Tests
1.
Learn Invariant Testing
2.
Example Project
3.
Implementing Properties
4.
Chimera Framework
5.
Create Chimera App
6.
Advanced Fuzzing Tips
Using Recon
7.
Building Handlers
8.
Running Jobs
9.
Recipes
10.
Alerts
11.
Dynamic Replacement
12.
Governance Fuzzing
13.
Recon Tricks
Free Recon Tools
14.
Recon Extension
15.
Medusa Log Scraper
16.
Echidna Log Scraper
17.
Handler Builder
18.
Bytecode Compare
19.
Bytecode To Interface
20.
Bytecode Static Deployment
21.
Bytecode Formatter
22.
String To Bytes
OSS Repos
23.
Chimera
24.
Create Chimera App
25.
Log Parser
26.
ABI to Invariants
27.
ABI to Mock
28.
Setup Helpers
29.
Properties Table
30.
ERC7540 Reusable Properties
OpSec
31.
OpSec Resources
Help
32.
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
