aoli-al / SolythesisLinks
Solythesis: Securing Smart Contract with Runtime Validation
☆12Updated 2 years ago
Alternatives and similar repositories for Solythesis
Users that are interested in Solythesis are comparing it to the libraries listed below
Sorting:
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆22Updated 2 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Updated 2 years ago
- ☆84Updated this week
- Benchmark Generator for Smart-Contract Fuzzers☆140Updated last month
- ☆110Updated last week
- Detailed PoC for First Deposit Bug in Compound V2☆16Updated 2 years ago
- A solution to hats.finance's first CTF challenge☆10Updated 3 years ago
- Every Solution to the Openzeppelin's Ethernaut wargame☆11Updated 3 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated 2 years ago
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Updated 2 years ago
- Foundry blog posts' executable demos☆13Updated 6 months ago
- ☆10Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago
- A tool for exploring the solc abstract syntax tree☆39Updated last year
- Experimental tool to ease the review of smart contracts upgrades☆79Updated last year
- Verified Ethereum Smart Contract dataset☆29Updated 2 years ago
- ☆11Updated 3 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 3 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- A smart contract security search utility☆75Updated 10 months ago
- Solidity code☆10Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Updated 2 years ago
- A mutation testing tool for Solidity Smart Contracts☆85Updated 6 months ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆61Updated 4 years ago
- Part II of the tutorial for making a PoC in foundry for Immunefi☆11Updated 3 years ago
- A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.☆41Updated 2 years ago
- ☆119Updated 7 months ago
- ☆10Updated 3 years ago
- Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]☆10Updated 3 years ago
- Using mutations to improve specs and test suites☆199Updated 6 months ago