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:
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16May 5, 2025Updated 10 months 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 last year
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆44Nov 7, 2024Updated last year
- A list of public audit reports conducted by the CoinFabrik team.☆22Sep 24, 2025Updated 6 months ago
- Clipboard Shield: Protection Defends Against Cyberthreats☆32Apr 5, 2025Updated 11 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Apr 24, 2023Updated 2 years ago
- Full WASM Secure Threshold Signature ECDSA Library☆36Aug 6, 2023Updated 2 years ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- Various dominator tree algorithms☆25May 23, 2020Updated 5 years ago
- Kickstart your Algorand dApp in minutes. Full-stack TypeScript template with wallet connect, payments, NFT minting, token creation, and s…☆57Nov 17, 2025Updated 4 months ago
- ☆21Oct 16, 2025Updated 5 months ago
- WinPcap packet filter implementation, with network statistics.☆29Jan 6, 2016Updated 10 years ago
- 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☆16Oct 2, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- RemoteBridge is a library that allows you to access internal COM and JAVA objects used by third-party applications remotely.☆35Oct 11, 2017Updated 8 years ago
- Nix setup for Solana development☆22Nov 16, 2025Updated 4 months ago
- A mathematical foundation for Smalltalk-25☆20Mar 17, 2026Updated last week
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Proof of Humanity Protocol v2☆22Mar 26, 2025Updated 11 months ago
- It's the Go compiler, but it panics on arithmetic and truncation issues.☆42Mar 16, 2026Updated last week
- ☆27May 27, 2023Updated 2 years ago
- ☆13Jun 13, 2017Updated 8 years ago
- ☆11Sep 6, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Kendo Tournament Manager NG☆13Updated this week
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- An experimental in-development tool for simulating Ethereum transactions using mainnet state.☆23Oct 30, 2022Updated 3 years ago
- Synthesis of loop-free programs☆24Updated this week
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 8 months ago
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- ☆52Jul 11, 2024Updated last year
- Python static analyzer☆11Dec 26, 2016Updated 9 years ago
- The CodeQL for Docker. It supports static application security testing (SAST).☆20Mar 7, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated last year
- Finds matching solidity function signatures for a given 4 byte signature hash and arguments.☆19Oct 21, 2021Updated 4 years ago
- Translating WebAssembly into the most simple LLVM IR.☆15Jan 6, 2026Updated 2 months ago
- Collection of Smart Contract for Stacks Blockchain in Clarity☆86Apr 18, 2024Updated last year
- ☆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