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.
☆54Oct 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:
- Various dominator tree algorithms☆25May 23, 2020Updated 5 years ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 7 months ago
- ☆13Apr 13, 2023Updated 3 years ago
- Solutions for Solidity challenges in MetaTrust CTF September 2023.☆19Oct 1, 2023Updated 2 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 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.
- ☆41Nov 21, 2022Updated 3 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 2 years ago
- A CodeQL automation tool to execute code scanning.☆12Oct 16, 2023Updated 2 years ago
- ☆11Apr 21, 2026Updated 2 weeks ago
- Applies ROME and MEMIT on Mamba-S4 models☆15Apr 5, 2024Updated 2 years ago
- nxdomain subdomain enumeration☆10Jul 17, 2022Updated 3 years 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.
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆46Updated this week
- system to run repls in background, useful for ai automation☆19Jul 6, 2025Updated 9 months ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- Windows Snapshot Fuzzer (SNAFUzz)☆41Dec 17, 2025Updated 4 months ago
- A wrapper for memory hacking related functions (WriteProcessMemory, ReadProcessMemory, etc) as well as a DLL injection function and patte…☆17May 29, 2020Updated 5 years ago
- ☆15Mar 29, 2023Updated 3 years ago
- Solidity grammar for tree sitter☆185Feb 11, 2026Updated 2 months ago
- Synthesis of loop-free programs☆24Apr 23, 2026Updated last week
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 9 months 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.
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- CVE-2024-30056 Microsoft Edge (Chromium-based) Information Disclosure Vulnerability☆17May 27, 2024Updated last year
- ☆11Oct 2, 2022Updated 3 years ago
- ☆53Jul 11, 2024Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated last year
- ☆20Mar 20, 2025Updated last year
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15Apr 20, 2026Updated 2 weeks 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.
- ☆12Nov 19, 2025Updated 5 months ago
- This is the tool released in ICSE 2024 paper "Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Er…☆17Jun 5, 2023Updated 2 years ago
- ☆27Sep 21, 2022Updated 3 years ago
- 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
- ☆42Nov 14, 2024Updated last year
- A blockchain consensus protocol fuzzing framework☆21Jun 12, 2023Updated 2 years ago