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.
☆40Updated last week
Alternatives and similar repositories for scout-audit
Users that are interested in scout-audit are comparing it to the libraries listed below
Sorting:
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆43Updated last year
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆60Updated 11 months ago
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- A list of public audit reports conducted by the CoinFabrik team.☆22Updated 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
- ☆69Updated 2 years ago
- ☆41Updated last month
- ☆143Updated 8 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 6 months ago
- Solidity grammar for ANTLR4☆57Updated 7 months ago
- ☆84Updated this week
- ☆26Updated 2 years ago
- Collection of public security reviews☆214Updated 3 weeks ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆86Updated last week
- Certora tutorials☆26Updated 2 months ago
- Smart contract debugging data format – Standards development working group☆72Updated 4 months ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 4 months ago
- A mutation testing tool for Solidity Smart Contracts☆85Updated 6 months ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆88Updated last year
- A curated list of awesome Solana security resources☆65Updated last year
- LLVM-based Solidity compiler.☆168Updated last week
- Solidity compiler tooling by @NomicFoundation☆272Updated this week
- A Solidity interpreter☆70Updated last week
- Lints based on the Sealevel Attacks☆45Updated 3 weeks ago
- ☆57Updated this week
- A set of examples for ink! smart contract language. Happy hacking!☆124Updated last week
- Titanoboa-based vyper smart contract development framework☆172Updated 3 months ago
- Formal Verification tool for Move on Sui☆33Updated this week
- Full WASM Secure Threshold Signature ECDSA Library☆36Updated 2 years ago
- Rust implementation of the EVM☆14Updated 2 years ago