Recon
Subscribe
Sign in
Home
Archive
About
Recon @ Devconnect
We're heading to devconnect with multiple events and opportunities to preview our upcoming products.
Nov 14
•
Recon
Latest
Top
Discussions
The Recon Extension Roadmap
Future updates, Transparency Report and our Crowdfunding efforts
Oct 24
•
Recon
and
nican0r
The Recon Extension: Now With More Halmos
Run Halmos, Echidna and Medusa, generate reports and convert broken tests into Foundry reproducers using the Recon extension
Oct 7
•
Recon
The Invariant Testing Bootcamp
4 Part Self-Paced Written Tutorial to get you finding and breaking properties
Aug 13
•
Recon
and
nican0r
3
The Dark Side of the LP
How redemptions in Liquity V1 can leak value for LP tokens
Jun 13
•
nican0r
and
Recon
6
The Bug That Was Missed
How fuzzing for preconditions can lead to high severity vulnerabilities
May 29
•
nican0r
4
Automate your security operations with safe-utils and tenderly-utils
Introducing safe-utils and tenderly-utils: Propose Safe transactions, simulate them with Tenderly, and run the entire flow through a reproducible and…
Apr 24
•
Antonio Viggiano
3
The Recon Invariant Testing Extension
Tools for faster invariant testing directly in your code editor
Apr 18
•
nican0r
1
See all
Recon
Recon helps you build and run invariant tests
Subscribe
Recon
Subscribe
About
Archive
Sitemap
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
