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.
☆57Oct 25, 2024Updated 2 years ago
Alternatives and similar repositories for CyScout
Users that are interested in CyScout are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16May 5, 2025Updated last year
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆29May 28, 2024Updated 2 years ago
- A list of public audit reports conducted by the CoinFabrik team.☆22Sep 24, 2025Updated last year
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆49Sep 29, 2026Updated last month
- Clipboard Shield: Protection Defends Against Cyberthreats☆35Apr 5, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Full WASM Secure Threshold Signature ECDSA Library☆36Aug 6, 2023Updated 3 years ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- Templar Protocol smart contracts☆11Updated this week
- Various dominator tree algorithms☆25May 23, 2020Updated 6 years ago
- A terminal-first approach to CodeQL multi-repo variant analysis☆19Sep 30, 2026Updated last month
- VisionTool: a toolbox for semantic features extraction☆10Jun 9, 2022Updated 4 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆93Oct 3, 2024Updated 2 years ago
- *Unofficial* lgtm.com CLI — Use at your own risk. Also don't add more than 3K projects to "My projects" list.☆13Feb 21, 2022Updated 4 years ago
- ☆22Oct 16, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Debt Algorand Standard Application☆14Aug 4, 2026Updated 3 months ago
- ☆11Oct 10, 2023Updated 3 years ago
- ☆12Jul 26, 2022Updated 4 years ago
- Maintains all of the default policies for the Gradle organization☆15Oct 2, 2024Updated 2 years ago
- ☆10Sep 1, 2022Updated 4 years ago
- Xerox PARC Smalltalk-80 VM in Smalltalk☆30Updated this week
- An open benchmark for evaluating smart contracts verification tools.☆17Oct 5, 2025Updated last year
- It's the Go compiler, but it panics on arithmetic and truncation issues.☆48May 8, 2026Updated 5 months ago
- Utility programs to process piano-roll MIDI files from Stanford's Piano Roll Project☆18Aug 29, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Models and Tool Kits for Web3 Software Engineering☆13Mar 6, 2026Updated 8 months ago
- Java JDK 8-18 CodeQL databases☆17Jun 2, 2024Updated 2 years ago
- Solidity grammar for tree sitter☆186Feb 11, 2026Updated 8 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- GitHub Action to generate a csv file listing the dependencies detected in a repository☆11Apr 4, 2024Updated 2 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 3 years ago
- A CodeQL automation tool to execute code scanning.☆12Oct 16, 2023Updated 3 years ago
- Get Dependabot Alerts from a repo☆13Jan 22, 2022Updated 4 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆25Oct 15, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Repository in which the CGC team will post technical answers during the scored events and qualification event.☆17Aug 7, 2016Updated 10 years ago
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated 2 years ago
- ☆41Nov 21, 2022Updated 3 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…☆341Oct 26, 2026Updated last week
- Loading geodata (such as GeoTIFF, shapefiles, zipped shapfiles, geojsons) on a react-leaflet map☆11Dec 6, 2024Updated last year
- Proof of Humanity Protocol v2☆22May 7, 2026Updated 5 months ago
- Superform v2 contracts☆13Updated this week