CoinFabrik / scout-actionsLinks
Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. This GitHub Action allows you to incorporate Scout's analysis into every Pull Request.
☆16Updated 3 months ago
Alternatives and similar repositories for scout-actions
Users that are interested in scout-actions are comparing it to the libraries listed below
Sorting:
- 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.☆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
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆27Updated last month
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆47Updated 9 months ago
- 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
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated 2 years ago
- Hacks/Vulns/Audits Compilation☆163Updated 11 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆97Updated last year
- The Red Guild's devcontainer focused in web3 and security.☆95Updated 5 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆65Updated 2 weeks ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆109Updated 7 months ago
- List of Halmos resources.☆57Updated 6 months ago
- APG (Auditor Profile Generator)☆35Updated last year
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆73Updated last year
- Learn & Contribute on previously exploited vulnerabilities across several EVM projects.☆18Updated 2 years ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆210Updated last week
- A 6-part series on how to use Echidna on real-world codebases☆108Updated 2 years ago
- Security Reviews and Audit Checklists☆123Updated 3 weeks ago
- Workshop about the different types of reentrancy attacks☆132Updated 4 months ago
- One click magically working Foundry + Medusa + Echidna Starter☆43Updated this week
- Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.☆50Updated 2 years ago
- ☆96Updated last month
- Scrapper for Immunefi☆43Updated last year
- Notes for auditing☆16Updated 10 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆224Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆50Updated 3 weeks ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated 11 months ago
- A list of public fuzzing campaigns☆120Updated last month