runtimeverification / kontrol
☆69Updated this week
Alternatives and similar repositories for kontrol:
Users that are interested in kontrol are comparing it to the libraries listed below
- ☆91Updated 10 months ago
- Smart contract debugging data format – Standards development working group☆58Updated last month
- List of Halmos resources.☆53Updated last month
- A smart contract security search utility☆74Updated 3 months ago
- Using mutations to improve specs and test suites☆183Updated 6 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 7 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆104Updated 3 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Tools for Yul.☆138Updated 2 years ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Updated last month
- Console.log utility for debugging huff contracts☆68Updated last year
- easy POC template generation from the command line☆76Updated 7 months ago
- ☆75Updated last year
- ☆36Updated last year
- Repository containing past audit reports☆53Updated last year
- Content for Electisec Reports Site☆27Updated 2 weeks ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- ☆37Updated 10 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆124Updated 6 months ago
- Diagrams for Solidity contracts☆46Updated last year
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆112Updated this week
- Simple Rust script for finding colliding 4byte function selectors☆59Updated last year
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- ☆164Updated last year
- A general purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆34Updated 3 weeks ago
- PoC of KyberSwap double liquidity add exploit☆42Updated last year
- CTF challenges made by MiloTruck☆67Updated 7 months ago
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆31Updated last month