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:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆29May 28, 2024Updated 2 years ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆29Jul 18, 2024Updated 2 years ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆48Apr 24, 2026Updated 3 months ago
- Various dominator tree algorithms☆25May 23, 2020Updated 6 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
- 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.
- ☆13Apr 13, 2023Updated 3 years ago
- Maintains all of the default policies for the Gradle organization☆15Oct 2, 2024Updated last year
- ☆11Oct 10, 2023Updated 2 years ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 9 months ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 9 months ago
- ☆40Nov 21, 2022Updated 3 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆93Oct 3, 2024Updated last year
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 3 years ago
- Proof of Humanity Protocol v2☆22May 7, 2026Updated 2 months 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.
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- ☆13Apr 21, 2026Updated 3 months ago
- Applies ROME and MEMIT on Mamba-S4 models☆16Apr 5, 2024Updated 2 years ago
- ☆28May 27, 2023Updated 3 years ago
- A wrapper for memory hacking related functions (WriteProcessMemory, ReadProcessMemory, etc) as well as a DLL injection function and patte…☆18May 29, 2020Updated 6 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
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated this week
- CVE-2024-30056 Microsoft Edge (Chromium-based) Information Disclosure Vulnerability☆17May 27, 2024Updated 2 years ago
- Router Vulnerabilities Scanner☆14Jun 1, 2020Updated 6 years ago
- 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.
- Solidity grammar for tree sitter☆186Feb 11, 2026Updated 5 months ago
- Extractable Witness Encryption for KZG Commitments☆33Nov 29, 2024Updated last year
- nxdomain subdomain enumeration☆10Jul 17, 2022Updated 4 years ago
- ☆54Jul 11, 2024Updated 2 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated 2 years ago
- ☆14Oct 2, 2022Updated 3 years ago
- Python static analyzer☆11Dec 26, 2016Updated 9 years ago
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- Clarity fuzzer designed to cut through your smart contract's defenses with precision.☆21Jul 10, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Formal specification and verification of Vyper☆36Updated this week
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated 2 months ago
- ☆12Nov 19, 2025Updated 8 months ago
- ☆27Sep 21, 2022Updated 3 years ago
- An implementation of the Duo Security Web SDK in Go/Golang.☆13May 1, 2020Updated 6 years ago
- A blockchain consensus protocol fuzzing framework☆20Jun 12, 2023Updated 3 years ago
- tetctf2020_amf_writeups☆23Jan 3, 2021Updated 5 years ago