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.
☆55Oct 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…☆48Apr 24, 2026Updated 2 months ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- Various dominator tree algorithms☆25May 23, 2020Updated 6 years ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 8 months ago
- ☆13Apr 13, 2023Updated 3 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.
- Solutions for Solidity challenges in MetaTrust CTF September 2023.☆19Oct 1, 2023Updated 2 years ago
- Maintains all of the default policies for the Gradle organization☆15Oct 2, 2024Updated last year
- ☆40Nov 21, 2022Updated 3 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 8 months ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 2 years ago
- Simple bot visitor service for XSS challenges in CTF☆11Nov 9, 2022Updated 3 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆94Oct 3, 2024Updated last year
- ☆28May 27, 2023Updated 3 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.
- ☆11Apr 21, 2026Updated 2 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆51Jun 26, 2026Updated last week
- system to run repls in background, useful for ai automation☆20Jul 6, 2025Updated 11 months ago
- An experimental in-development tool for simulating Ethereum transactions using mainnet state.☆23Oct 30, 2022Updated 3 years ago
- CVE-2024-30056 Microsoft Edge (Chromium-based) Information Disclosure Vulnerability☆17May 27, 2024Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated 2 years ago
- A Rust-based transparent Tor proxy that routes all system traffic through the Tor network enhanced security, proper DNS isolation, and mo…☆20Jun 27, 2026Updated last week
- Python static analyzer☆11Dec 26, 2016Updated 9 years ago
- Windows Snapshot Fuzzer (SNAFUzz)☆51Dec 17, 2025Updated 6 months 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.
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated last year
- The CodeQL for Docker. It supports static application security testing (SAST).☆21Mar 7, 2026Updated 3 months ago
- ☆20Mar 20, 2025Updated last year
- a minimalistic todo app☆10May 10, 2023Updated 3 years ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- Systemd Robot Initialization☆13Oct 31, 2019Updated 6 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated last month
- Finds matching solidity function signatures for a given 4 byte signature hash and arguments.☆19Oct 21, 2021Updated 4 years ago
- Gossipsub tests☆17Jun 22, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- QC: Quantum Computing Simulator for C☆12Apr 8, 2024Updated 2 years ago
- Collection of Smart Contract for Stacks Blockchain in Clarity☆86Apr 18, 2024Updated 2 years ago
- Testing framework for Algorand SDKs☆21Mar 6, 2026Updated 3 months ago
- ☆27Sep 21, 2022Updated 3 years ago
- My attempt at learning Solana program (smart contract) development through RareSkill's Solana course.☆15Aug 21, 2024Updated last year
- 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
- tetctf2020_amf_writeups☆23Jan 3, 2021Updated 5 years ago