nedasma / solidity-vuln-testsView external linksLinks
A repository for Solidity smart contracts acting as security bug tests for static analysis tools.
☆33Oct 14, 2021Updated 4 years ago
Alternatives and similar repositories for solidity-vuln-tests
Users that are interested in solidity-vuln-tests are comparing it to the libraries listed below
Sorting:
- LCOV tracefile parser/merger/filter in pure Rust.☆15Updated this week
- Visual Studio Code extension for SECBIT Solidity Static Analyzer☆11Mar 30, 2019Updated 6 years ago
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Feb 12, 2023Updated 3 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- ☆38Feb 11, 2022Updated 4 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Jul 17, 2025Updated 6 months ago
- Introduction to core development via CTF challenges☆41Sep 9, 2022Updated 3 years ago
- A reentrancy attack on the Deadfrenz Lab Pass contract☆19Feb 20, 2022Updated 3 years ago
- Instantly execute any Solidity smart contract from command line☆13Aug 8, 2025Updated 6 months ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- Disclosure reports by PepperSec☆20May 20, 2020Updated 5 years ago
- Audit assist tool: Given a contract, find all subcontracts defined on it, calculate their sha-256 hash and look for exact matches☆39Mar 20, 2023Updated 2 years ago
- Solidity contracts and tests used to benchmark performance of fuzzers☆21Jan 24, 2022Updated 4 years ago
- Materials related to security: docs, checklists, processes, etc...☆203Updated this week
- ☆51Jul 5, 2022Updated 3 years ago
- Foundry template for the Optimizor Club SQRT challenge☆57Nov 2, 2022Updated 3 years ago
- A query suite for common bug patterns in Cosmos SDK-based applications☆29Dec 5, 2023Updated 2 years ago
- Miscellaneous notebooks for data analysis/visualization☆23Mar 6, 2022Updated 3 years ago
- Escrow contract☆54Apr 5, 2022Updated 3 years ago
- Wrapper for blocksec2go allowing easy hardware-based signing of Ethereum transactions☆12Feb 8, 2023Updated 3 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Dec 30, 2022Updated 3 years ago
- Audits for sudoswap contracts☆29Jul 21, 2022Updated 3 years ago
- Simplified Deployment Validation of EVM-Based Smart Contracts☆35Jan 23, 2026Updated 3 weeks ago
- DEFI Focus Smart Contract Security Capture the Flag☆181Nov 8, 2022Updated 3 years ago
- Coalfire GCP RAMP/pak Reference Architecture☆13Feb 5, 2026Updated last week
- Security information and event management, masters's diploma☆10Aug 3, 2015Updated 10 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Oct 9, 2023Updated 2 years ago
- A smart contract security search utility☆76Dec 26, 2024Updated last year
- PyTest plugin for testing smart contracts for Ethereum blockchain.☆27Dec 8, 2022Updated 3 years ago
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆44Dec 13, 2024Updated last year
- ☆37May 3, 2022Updated 3 years ago
- Tools for Yul.☆138Mar 29, 2023Updated 2 years ago
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆395May 25, 2023Updated 2 years ago
- An interactive Solidity Shell☆541May 28, 2023Updated 2 years ago
- Build a project with Express.js☆11Jan 31, 2021Updated 5 years ago
- ☆13Aug 28, 2025Updated 5 months ago
- The C-Agent is a reference implementation of a Keyfactor Orchestrator geared toward use in IoT based solutions.☆12Aug 28, 2025Updated 5 months ago