A control-flow graph builder for Solidity smart contracts.
☆28Dec 4, 2019Updated 6 years ago
Alternatives and similar repositories for solidity-cfg-builder
Users that are interested in solidity-cfg-builder are comparing it to the libraries listed below
Sorting:
- Runtime verification tool for Solidity smart contracts.☆35Mar 29, 2023Updated 2 years ago
- A tool for exploring the solc abstract syntax tree☆38Mar 20, 2024Updated last year
- ☆13Oct 10, 2023Updated 2 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 3 years ago
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆33Feb 28, 2023Updated 3 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆35Nov 24, 2023Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Sep 5, 2020Updated 5 years ago
- ☆20May 11, 2023Updated 2 years ago
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆393May 25, 2023Updated 2 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆25Sep 16, 2022Updated 3 years ago
- Solidity code instrumentation and analysis framework.☆53Jun 27, 2020Updated 5 years ago
- Synthesis Format Conversion Tool☆27Nov 18, 2025Updated 3 months ago
- ☆25Jun 21, 2022Updated 3 years ago
- ☆31Dec 11, 2022Updated 3 years ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆74Jun 16, 2022Updated 3 years ago
- ☆26Mar 26, 2023Updated 2 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Aug 13, 2021Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 7 years ago
- EVM CFG recovery☆127Jun 29, 2023Updated 2 years ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated last month
- Diameter TCP to SCTP proxy☆13Feb 4, 2012Updated 14 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- 手机商城☆11Dec 16, 2022Updated 3 years ago
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- ⚡Swap your compound debt and collateral, powered by flash loans!☆36Jul 18, 2022Updated 3 years ago
- ☆45Jul 29, 2021Updated 4 years ago
- Bancor advanced trading and liquidity widget. Won 1st prize in Bancor Trading and liquidity widget challenge.☆11Jan 24, 2023Updated 3 years ago
- ETH-SF Winner☆11Nov 19, 2020Updated 5 years ago
- A PyTorch implementation of the paper https://arxiv.org/abs/1709.04875☆10Jul 22, 2020Updated 5 years ago
- https://github.com/wcventure/FuzzingPaper☆10Jan 15, 2022Updated 4 years ago
- Tree-LSTM + Self-Structured Attention -- a method to summarize textual data by topics☆10Apr 26, 2018Updated 7 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago