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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- Various dominator tree algorithms☆25May 23, 2020Updated 5 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Maintains all of the default policies for the Gradle organization☆16Oct 2, 2024Updated last year
- 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 6 months 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.☆92Oct 3, 2024Updated last year
- It's the Go compiler, but it panics on arithmetic and truncation issues.☆43Mar 16, 2026Updated 3 weeks ago
- ☆27May 27, 2023Updated 2 years ago
- ☆11Sep 6, 2024Updated last year
- nxdomain subdomain enumeration☆10Jul 17, 2022Updated 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.
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- Windows Snapshot Fuzzer (SNAFUzz)☆40Dec 17, 2025Updated 3 months ago
- Solidity grammar for tree sitter☆185Feb 11, 2026Updated 2 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 8 months ago
- CVE-2024-30056 Microsoft Edge (Chromium-based) Information Disclosure Vulnerability☆17May 27, 2024Updated last year
- ☆53Jul 11, 2024Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- The CodeQL for Docker. It supports static application security testing (SAST).☆20Mar 7, 2026Updated last month
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- [GitHub] A Command Line ToolKit for GitHub Security Alert.☆28Apr 2, 2026Updated last week
- Translating WebAssembly into the most simple LLVM IR.☆15Jan 6, 2026Updated 3 months ago
- ☆12Nov 19, 2025Updated 4 months ago
- A blockchain consensus protocol fuzzing framework☆20Jun 12, 2023Updated 2 years 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
- My attempt at learning Solana program (smart contract) development through RareSkill's Solana course.☆15Aug 21, 2024Updated last year
- ☆26Sep 21, 2022Updated 3 years ago
- A static analyzer for NEAR smart contract in Rust☆109Oct 31, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- tetctf2020_amf_writeups☆23Jan 3, 2021Updated 5 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
- ☆42Nov 14, 2024Updated last year
- Solutions from @PortSwigger labs☆14Apr 11, 2024Updated 2 years ago
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Feb 16, 2025Updated last year
- Sweet B is a safe, compact, embeddable library for elliptic curve cryptography.☆37Aug 3, 2022Updated 3 years ago
- A plugin to get our hackerone reports data into obsidian☆12Jan 28, 2026Updated 2 months ago