domain | getrecon.xyz |
summary | Balancer DAO Xeonus - Balancer Maxis How does it work Installation is faster than finding your hardware wallet Log in Install the Recon App Run a job by just pasting the repository URL Save and re-use configs as Recipes Run jobs on PR, commit, or at specific time of the day Run a job in the cloud Create and re-use recipes Run jobs on PR and commit Recon PRO Workflows Trophies Recon was used to find these bugs Badger Critical Insolvency due to Incorrect Accounting Finding Recon Logs remBADGER Accounting bug, prevented BUG LINK TapiocaDAO High Overflow causes Permanent DOS in twTAP Finding Recon Logs The only researcher that wrote a POC BUG LINK TapiocaDAO Medium Incorrect decoding in decodeLockTwpTapDstMsg Finding Recon Logs Showing how Invariant tests could have caught this BUG LINK Centrifuge Medium Rounding errors allows bypassing caps Finding Recon Logs Invariant Tests helped prevent a notoriously hard to detect edge case BUG LINK Corn Critical Insolvency due to Incorrect Accounting Finding Recon Logs Invariant Testing quickly found a mistake in accounting and helped ensure all subsequent changes were safe BUG LINK TEAM Alex Top C4 Judge, Former Badger Lead Dev, Code that handled hundreds of millions of dollars, Bug findings in most protocols you use every day Antonio Creator of EchidnaToFoundry, Author of some of the most read articles on Invariant Testing, Advisor to multiple high profile projects Alcueca Co-Founder and CTO at Yield Protocol, co-Author ERC4626 Tokenized Vaults, ERC3156 Flash Loans and ERC7266 Oracles, Judge C4 and Cantina.Nican0r Up and coming talented researcher behind most of our articles and invariant testing starters 0xsi Lead Software Engineer behind a lot Recon features Lourens Multiple bugs in Security Contests, Behind many Invariant Testing suites SERVICES Boutique Audits, we can write code and break invariants, whether you want us to code with you or review your code manually Schedule a call We can support your team at all stages of development Early Stage: Define key invariants, scaffold and maintain invariant testers Add invariants as the project grows Pre Audit Stage: Reach 100 Coverage, handout to your Auditors a full set of test repros to produce meaningful states or broken properties Solo Review Stage: Recon is made by highly respected SRs that can help you with Manual Review Audit Stage: We can support you during audits, by adding new properties flagged by your reviewers and by reproducing bugs in invariant tests as a means to ensure they are not introduced later Our cloud runners ensure you can quickly queue and test fixes, no more waiting for your engineer to come back from the weekend Our offers: Invariant Bootstrapping A one off engagements to make massive progress, ranging from 1 to 3 weeks, typically performed by Alex Recon Legendary Ongoing test maintenance from a experienced fuzzing engineer, for projects that want to quickly update their tests, includes unlimited cloud runs Recon Pro Cloud Fuzzing as a service, a versatile and easy way to run invariant testing in the cloud Invariant testing starters Create Chimera App The easiest way to scaffold invariant tests Eigenlayer Fuzzing A plug and play suite to test meaningful Eigenlayer States, a must for every Eigenlayer Integrator Renzo Fuzzing A complete invariant suite for the Renzo Protocol, able to replicate multiple exploits found in subsequent audits Call Test Undo A simple contract meant to turn state changing function calls into invariant tests that do not pollute the story ERC7540 Reusable Properties Simple to Reuse, high level properties for ERC7540 Vaults, Built in Collaboration with Centrifuge Chimera Open Source Framework to unify Invariant, Fuzz and Formal Verification into a single, write once run everywhere API Recon builder FREE For Open Source Projects 90 Repos built 200 Hours saved Its never been easier 2 click scaffolding a State of the Art Medusa and Echidna Invariant Testing Setup use the right tools for the job Use foundry to develop and debug, use medusa and echidna for invariant testing Only as opinionated as necessary Compatible with any foundry project. |
title | Recon |
description | Recon helps you build and run invariant tests |
keywords | |
upstreams |
liquity.org |
downstreams |
|
nslookup | A 76.76.21.21 |
created | 2024-11-30 |
updated | 2025-01-16 |
|
|