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:
- ☆80Updated last week
- Detailed PoC for First Deposit Bug in Compound V2☆15Updated 2 years ago
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Updated 2 years ago
- a backdoor detection tool for Ethereum ERC token contract☆12Updated 3 years ago
- ☆11Updated 2 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆83Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆106Updated 2 years ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated last year
- Ethernaut Solidity Game Low-level Solution - DoubleEntryPoint - Contract ABI Encode/Decode☆10Updated last year
- Evaluating fuzzer effectiveness☆21Updated last year
- Utils to publish transaction create via Foundry on Gnosis Safe☆14Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆50Updated 3 weeks ago
- Benchmark Generator for Smart-Contract Fuzzers☆138Updated 8 months ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- Every Solution to the Openzeppelin's Ethernaut wargame☆11Updated 2 years ago
- Foundry blog posts' executable demos☆13Updated 3 months ago
- An EVM bytecode disassembler/assembler☆51Updated 7 months ago
- Using mutations to improve specs and test suites☆191Updated 3 months ago
- A mutation testing tool for Solidity Smart Contracts☆81Updated 3 months ago
- A solution to hats.finance's first CTF challenge☆10Updated 3 years ago
- Part II of the tutorial for making a PoC in foundry for Immunefi☆11Updated 2 years ago
- ☆11Updated 2 years ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆20Updated last year
- ☆10Updated 3 years ago
- A tool for exploring the solc abstract syntax tree☆39Updated last year
- Solidity code☆10Updated 2 years ago
- ☆109Updated last month
- Verified Ethereum Smart Contract dataset☆29Updated last year
- ☆10Updated 2 years ago
- ☆30Updated 2 years ago