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 last year
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…☆49Apr 24, 2026Updated 4 months ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 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
- ☆13Apr 13, 2023Updated 3 years ago
- Solutions for Solidity challenges in MetaTrust CTF September 2023.☆19Oct 1, 2023Updated 2 years ago
- 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.
- Maintains all of the default policies for the Gradle organization☆15Oct 2, 2024Updated last year
- Support for Xiaomi Miio PTX Touch Switch☆12Aug 3, 2022Updated 4 years ago
- An open benchmark for evaluating smart contracts verification tools.☆17Oct 5, 2025Updated 11 months ago
- It's the Go compiler, but it panics on arithmetic and truncation issues.☆47May 8, 2026Updated 4 months ago
- PyPlan is a set of modular Monte-Carlo planning libraries for Python.☆21Aug 25, 2015Updated 11 years ago
- GitHub Action to generate a csv file listing the dependencies detected in a repository☆11Apr 4, 2024Updated 2 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- ☆40Nov 21, 2022Updated 3 years ago
- Simple bot visitor service for XSS challenges in CTF☆11Nov 9, 2022Updated 3 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.
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆93Oct 3, 2024Updated last year
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 3 years ago
- Repository in which the CGC team will post technical answers during the scored events and qualification event.☆17Aug 7, 2016Updated 10 years ago
- A CodeQL automation tool to execute code scanning.☆12Oct 16, 2023Updated 2 years ago
- ☆13Apr 21, 2026Updated 5 months ago
- Applies ROME and MEMIT on Mamba-S4 models☆16Apr 5, 2024Updated 2 years ago
- ☆28May 27, 2023Updated 3 years ago
- Sintaxis de TADs para AED2 de FCEN-UBA para Atom☆13Aug 20, 2021Updated 5 years ago
- EVM Account Abstraction on Algorand via ECDSA signature verification☆17Jun 16, 2026Updated 3 months ago
- 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.
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31Jul 22, 2026Updated 2 months ago
- Synthesis of loop-free programs☆25Sep 8, 2026Updated 2 weeks ago
- ☆15Mar 29, 2023Updated 3 years ago
- Solidity grammar for tree sitter☆186Feb 11, 2026Updated 7 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- nxdomain subdomain enumeration☆10Jul 17, 2022Updated 4 years ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 4 years ago
- Python static analyzer☆11Dec 26, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- The CodeQL for Docker. It supports static application security testing (SAST).☆21Mar 7, 2026Updated 6 months ago
- A terminal-first approach to CodeQL multi-repo variant analysis☆18Jul 15, 2026Updated 2 months ago
- Formal specification and verification of Vyper☆40Updated this week
- [GitHub] A Command Line ToolKit for GitHub Security Alert.☆27Apr 14, 2026Updated 5 months ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 4 months ago
- Finds matching solidity function signatures for a given 4 byte signature hash and arguments.☆19Oct 21, 2021Updated 4 years ago