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:
- ☆83Updated last week
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆22Updated 2 years ago
- Foundry blog posts' executable demos☆13Updated 5 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆139Updated 2 weeks ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Updated 2 years ago
- ☆30Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- A solution to hats.finance's first CTF challenge☆10Updated 3 years ago
- ☆11Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 3 years ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆52Updated 3 months ago
- A mutation testing tool for Solidity Smart Contracts☆82Updated 5 months ago
- A smart contract security search utility☆74Updated 9 months ago
- Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]☆10Updated 3 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated last year
- Solidity code☆10Updated 2 years ago
- Verified Ethereum Smart Contract dataset☆29Updated last year
- Evaluating fuzzer effectiveness☆20Updated 2 years ago
- Detailed PoC for First Deposit Bug in Compound V2☆16Updated 2 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Updated 2 years ago
- Solidity ANTLR4 grammar Python parser☆13Updated 7 months ago
- Example implementation of changing a Solidity contract bytecode during the constructor execution☆11Updated 3 years ago
- DeFiVulnLabsCosmWasm☆50Updated 2 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆98Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- ☆39Updated last year
- ☆109Updated 3 months ago
- ☆10Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆15Updated 3 years ago