CoinFabrik / CyScout
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.
☆41Updated 5 months ago
Alternatives and similar repositories for CyScout:
Users that are interested in CyScout are comparing it to the libraries listed below
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆23Updated 3 weeks ago
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆26Updated 10 months 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
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 weeks ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 8 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆41Updated 4 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆57Updated 3 months ago
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆33Updated last year
- ☆62Updated 2 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆245Updated 9 months ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆66Updated last year
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆57Updated 2 years ago
- ☆16Updated last year
- A curated list of awesome security resources for ZK.☆78Updated 3 weeks ago
- ☆22Updated 7 months ago
- A symbolic execution engine for EVM smart contract binaries.☆104Updated last month
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆103Updated 2 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆34Updated last year
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆79Updated 6 months ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 7 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆157Updated 3 weeks ago
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆58Updated 2 months ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆26Updated 2 years ago
- ☆30Updated 4 months ago
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆151Updated 2 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆133Updated 3 months ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆92Updated last year