CoinFabrik / scout-auditLinks
Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.
☆27Updated last month
Alternatives and similar repositories for scout-audit
Users that are interested in scout-audit are comparing it to the libraries listed below
Sorting:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆43Updated 9 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆60Updated 7 months ago
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 months ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆28Updated last year
- Smart contract debugging data format – Standards development working group☆66Updated last month
- ☆80Updated last week
- A Solidity interpreter☆69Updated 3 weeks ago
- A mutation testing tool for Solidity Smart Contracts☆81Updated 3 months ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- Solidity grammar for ANTLR4☆57Updated 3 months ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆60Updated 4 years ago
- Playing with zero-knowledge proof languages☆106Updated 2 years ago
- ☆93Updated last year
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Updated 2 years ago
- Experimental tool to ease the review of smart contracts upgrades☆80Updated last year
- ☆14Updated 2 weeks ago
- ☆25Updated 2 years ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 3 months ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated last month
- ☆109Updated last month
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆37Updated last month
- ☆69Updated 3 months ago
- Mutation testing tool for circom☆16Updated 2 years ago
- A Proxy contract incorporating a Reentrancy Guard☆28Updated 2 years ago
- Certora tutorials☆26Updated 5 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆73Updated last month
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆50Updated 3 weeks ago
- StarkNet smart contract fuzzer☆80Updated 3 years ago
- ☆46Updated last year