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.
☆53Oct 25, 2024Updated last year
Alternatives and similar repositories for CyScout
Users that are interested in CyScout are comparing it to the libraries listed below
Sorting:
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆44Feb 13, 2026Updated 2 weeks ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- Various dominator tree algorithms☆25May 23, 2020Updated 5 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 4 months ago
- Solutions for Solidity challenges in MetaTrust CTF September 2023.☆19Oct 1, 2023Updated 2 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆93Oct 3, 2024Updated last year
- ☆11Sep 6, 2024Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- OWASP Threat Dragon core files☆11Jan 26, 2026Updated last month
- ☆11Jul 10, 2024Updated last year
- nxdomain subdomain enumeration☆10Jul 17, 2022Updated 3 years ago
- My attempt at learning Solana program (smart contract) development through RareSkill's Solana course.☆15Aug 21, 2024Updated last year
- ☆13Dec 28, 2024Updated last year
- NVD API 2.0 for python☆12Sep 26, 2024Updated last year
- Custom semgrep rules registry☆14Aug 23, 2022Updated 3 years ago
- A list of CVE's with Proof of Concepts☆11Jun 17, 2021Updated 4 years ago
- scripts to create zip bombs☆12Nov 26, 2012Updated 13 years ago
- ☆12Nov 19, 2025Updated 3 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
- ☆12Sep 18, 2015Updated 10 years ago
- EPSScall☆11Jun 10, 2022Updated 3 years ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- A CommonJS library for working with Common Vulnerability Scoring System vectors and scores.☆12Jul 14, 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
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 5 months ago
- AWS security scanning checks in a container☆13Apr 11, 2016Updated 9 years ago
- Bitclamp allows arbitrary files to be permanently and anonymously published into the Bitcoin and Dogecoin blockchains.☆14Jan 12, 2017Updated 9 years ago
- Ethereum stateless book☆16Feb 12, 2026Updated 3 weeks ago
- Translating WebAssembly into the most simple LLVM IR.☆14Jan 6, 2026Updated last month
- Python client and module for Vulnerability-Lookup.☆14Dec 9, 2025Updated 2 months ago
- A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types☆64Feb 9, 2026Updated 3 weeks ago
- ☆13Apr 13, 2023Updated 2 years ago
- Build and publish Docker images, run builds/tasks within Docker containers or on remote hosts.☆16Feb 25, 2026Updated last week
- Julia rules for semgrep☆14Dec 9, 2025Updated 2 months ago
- A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models☆11Sep 18, 2025Updated 5 months ago
- Binary builds for dep-scan - The Dependency Scanner☆10Apr 1, 2024Updated last year
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Applies ROME and MEMIT on Mamba-S4 models☆14Apr 5, 2024Updated last year
- Implementation of ERC721 in Rust for Stylus☆14Oct 6, 2023Updated 2 years ago