CoinFabrik / CyScoutLinks
This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. By leveraging the foundational work done by the CodeQL team for Ruby, we have adapted and expanded their approach to create a powerful toolset for analyzing Solidity code.
☆51Updated last year
Alternatives and similar repositories for CyScout
Users that are interested in CyScout are comparing it to the libraries listed below
Sorting:
- A symbolic execution engine for EVM smart contract binaries.☆116Updated 2 months ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆67Updated 2 years ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆156Updated 3 months ago
- ☆57Updated last year
- Zellic's audits, publications, and reports☆201Updated last week
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38Updated 2 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆341Updated this week
- Smart contract front-running vulnerability benchmark☆25Updated last year
- ☆38Updated last year
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆61Updated 3 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆101Updated 2 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆126Updated last year
- ☆101Updated 3 years ago
- ☆16Updated last year
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆92Updated 11 months ago
- Fine-tuning GPT for Smart Contract Auditing☆167Updated 2 years ago
- ☆23Updated last year
- AI based fuzzer based on imitation learning☆154Updated last year
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- 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
- 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
- ☆67Updated 3 years ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆228Updated last year
- Automated Vulnerability Detection for Solana Smart Contracts☆32Updated last year
- ☆45Updated 10 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆140Updated last month
- A curated list of awesome smart contract datasets☆52Updated last year
- A blockchain consensus protocol fuzzing framework☆17Updated 2 years ago
- ☆27Updated 2 years ago
- ☆17Updated 9 months ago