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.
Getting Started
14.
Upgrading to Pro
15.
Building Handlers
16.
Running Jobs
17.
Recon Magic
18.
Recipes
19.
Alerts
20.
Campaigns
21.
Dynamic Replacement
22.
Governance Fuzzing
23.
Recon Tricks
Free Recon Tools
24.
Recon Extension
25.
Medusa Log Scraper
26.
Echidna Log Scraper
27.
Handler Builder
28.
Bytecode Compare
29.
Bytecode To Interface
30.
Bytecode Static Deployment
31.
Bytecode Formatter
32.
String To Bytes
33.
OpenZeppelin Roles Scraper
OSS Repos
34.
Chimera
35.
Create Chimera App
36.
Log Parser
37.
ABI to Invariants
38.
ABI to Mock
39.
Setup Helpers
40.
Properties Table
41.
ERC7540 Reusable Properties
OpSec
42.
OpSec Resources
Help
43.
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
