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
Using Recon
8.
Building Handlers
9.
Running Jobs
10.
Recipes
11.
Alerts
12.
Dynamic Replacement
13.
Governance Fuzzing
14.
Recon Tricks
Free Recon Tools
15.
Recon Extension
16.
Medusa Log Scraper
17.
Echidna Log Scraper
18.
Handler Builder
19.
Bytecode Compare
20.
Bytecode To Interface
21.
Bytecode Static Deployment
22.
Bytecode Formatter
23.
String To Bytes
OSS Repos
24.
Chimera
25.
Create Chimera App
26.
Log Parser
27.
ABI to Invariants
28.
ABI to Mock
29.
Setup Helpers
30.
Properties Table
31.
ERC7540 Reusable Properties
OpSec
32.
OpSec Resources
Help
33.
Glossary
Light
Rust
Coal
Navy
Ayu
Recon Book
Echidna Log Scraper
Usage
Paste your Echidna 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
