shaunazzopardi / solidity-cfg-builderView external linksLinks
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
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆65Mar 7, 2023Updated 2 years ago
- ☆13Oct 10, 2023Updated 2 years ago
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆33Feb 28, 2023Updated 2 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).☆395May 25, 2023Updated 2 years ago
- Melfina is a proof-of-thought smart contract built on the Ethereum blockchain.☆18Oct 17, 2021Updated 4 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆24Sep 16, 2022Updated 3 years ago
- Solidity code instrumentation and analysis framework.☆53Jun 27, 2020Updated 5 years ago
- ☆31Dec 11, 2022Updated 3 years ago
- ☆25Jun 21, 2022Updated 3 years ago
- Synthesis Format Conversion Tool☆26Nov 18, 2025Updated 2 months ago
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)☆120Feb 28, 2023Updated 2 years ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆73Jun 16, 2022Updated 3 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☆126Jun 29, 2023Updated 2 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆137Dec 7, 2022Updated 3 years ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆11Updated this week
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year
- ☆35Oct 28, 2019Updated 6 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆22Jan 23, 2026Updated 3 weeks ago
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 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
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- 手机商城☆11Dec 16, 2022Updated 3 years ago
- ⚡Swap your compound debt and collateral, powered by flash loans!☆36Jul 18, 2022Updated 3 years ago
- ☆45Jul 29, 2021Updated 4 years ago
- python爬虫——抢课原理☆11Dec 15, 2020Updated 5 years ago
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.☆10Oct 21, 2020Updated 5 years ago