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.
☆53Updated last year
Alternatives and similar repositories for CyScout
Users that are interested in CyScout are comparing it to the libraries listed below
Sorting:
- ☆102Updated 3 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Updated 2 years ago
- A symbolic execution engine for EVM smart contract binaries.☆118Updated 2 months ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Updated 2 years ago
- ☆68Updated 3 years ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆94Updated last year
- AI based fuzzer based on imitation learning☆154Updated last year
- ☆63Updated last year
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Updated 2 months ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Updated 3 years ago
- ☆24Updated last year
- Smart contract front-running vulnerability benchmark☆25Updated 2 years ago
- Indexing three datasets for GPTScan☆64Updated last year
- Zellic's audits, publications, and reports☆211Updated this week
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38Updated 2 years ago
- The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)☆247Updated 3 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16Updated 3 years ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆50Updated 2 years ago
- ☆17Updated 2 years ago
- ☆42Updated last year
- ☆17Updated 11 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆141Updated 4 months ago
- Fine-tuning GPT for Smart Contract Auditing☆166Updated 2 years ago
- A blockchain consensus protocol fuzzing framework☆20Updated 2 years ago
- A binary lifter and analysis framework for Ethereum smart contracts☆355Updated last week
- ☆27Updated 2 years ago
- Solidity code instrumentation and analysis framework.☆53Updated 5 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Updated 3 years ago
- A framework for evaluating AI audit agents using recent real-world data☆100Updated 4 months ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆131Updated last year