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…☆47Apr 24, 2026Updated last month
- 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 7 months 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- VisionTool: a toolbox for semantic features extraction☆10Jun 9, 2022Updated 3 years ago
- ☆12Jul 26, 2022Updated 3 years ago
- PyPlan is a set of modular Monte-Carlo planning libraries for Python.☆21Aug 25, 2015Updated 10 years ago
- GitHub Action to generate a csv file listing the dependencies detected in a repository☆11Apr 4, 2024Updated 2 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 7 months ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 2 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.
- Get Dependabot Alerts from a repo☆13Jan 22, 2022Updated 4 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆94Oct 3, 2024Updated last year
- It's the Go compiler, but it panics on arithmetic and truncation issues.☆43May 8, 2026Updated 2 weeks ago
- See code coverage information from Codecov on GitHub, Sourcegraph, and other tools.☆16May 12, 2019Updated 7 years ago
- ☆28May 27, 2023Updated 2 years ago
- ☆11Apr 21, 2026Updated last month
- nxdomain subdomain enumeration☆10Jul 17, 2022Updated 3 years ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- ☆15Mar 29, 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.
- Solidity grammar for tree sitter☆185Feb 11, 2026Updated 3 months ago
- Synthesis of loop-free programs☆24Updated this week
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 10 months ago
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 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 2 years ago
- Windows Snapshot Fuzzer (SNAFUzz)☆48Dec 17, 2025Updated 5 months ago
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated 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.
- ☆20Mar 20, 2025Updated last year
- Verified Ethereum Smart Contract dataset☆28Nov 9, 2023Updated 2 years ago
- A GitHub CLI extension for GitHub Code-Scanning!☆30Dec 15, 2025Updated 5 months ago
- This repo demonstrates how to use the GitHub Code Scanning API to export all the alerts in an organization to a CSV file☆18Jul 12, 2023Updated 2 years ago
- ☆12Nov 19, 2025Updated 6 months ago
- Testing framework for Algorand SDKs☆21Mar 6, 2026Updated 2 months ago
- My attempt at learning Solana program (smart contract) development through RareSkill's Solana course.☆15Aug 21, 2024Updated last year