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.
☆46Updated 8 months ago
Alternatives and similar repositories for CyScout
Users that are interested in CyScout are comparing it to the libraries listed below
Sorting:
- A binary lifter and analysis framework for Ethereum smart contracts☆324Updated 2 weeks ago
- A symbolic execution engine for EVM smart contract binaries.☆111Updated 3 months ago
- ☆46Updated last year
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆97Updated last year
- AI based fuzzer based on imitation learning☆155Updated last year
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆42Updated 8 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)☆150Updated 5 months ago
- ☆62Updated 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 2 months ago
- Fine-tuning GPT for Smart Contract Auditing☆167Updated 2 years ago
- Automated Vulnerability Detection for Solana Smart Contracts☆28Updated last year
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆62Updated last month
- ☆101Updated 3 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆103Updated last year
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆36Updated 2 years ago
- Smart contract front-running vulnerability benchmark☆23Updated last year
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 months ago
- ☆24Updated last year
- A blockchain consensus protocol fuzzing framework☆14Updated 2 years ago
- Create code bookmarks and code highlights with a click.☆204Updated last month
- Abstraction layer for smart contract build systems☆180Updated last week
- ☆16Updated last year
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆98Updated 10 months ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆69Updated 3 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆106Updated 2 years ago
- ☆79Updated 7 months ago
- CodeQL queries developed by Trail of Bits☆104Updated last month
- HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆41Updated 3 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆59Updated 3 years ago