disco-project / smart-sync
Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for smart-sync
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆95Updated last year
- A fast ethereum transaction fuzzer☆25Updated 5 years ago
- ☆14Updated 5 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆71Updated last year
- ☆58Updated last year
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- ☆19Updated 2 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆15Updated this week
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆131Updated last year
- An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer☆26Updated last month
- Chinese translation of Cosmos IBC spec: https://github.com/cosmos/ibc/tree/main/spec☆11Updated 2 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆40Updated 6 years ago
- ☆61Updated 2 years ago
- A tool for exploring the solc abstract syntax tree☆37Updated 8 months ago
- ☆12Updated 9 months ago
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆62Updated last year
- Verified contracts synced from Etherscan☆61Updated 6 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆12Updated 2 years ago
- SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…☆23Updated 3 years ago
- ☆17Updated last month
- Source code of EtherSolve: static analysis of Ethereum bytecode☆67Updated last year
- A control-flow graph builder for Solidity smart contracts.☆26Updated 4 years ago
- A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).☆102Updated last year
- Official Go implementation of the Ethereum protocol☆17Updated 6 years ago
- A dynamic checker for the ECF property incorporated into geth☆14Updated 7 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆12Updated last year
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"☆109Updated 5 years ago
- Semantics of Solidity in K☆29Updated 5 years ago
- ☆18Updated 3 years ago