eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
☆19Jul 24, 2023Updated 2 years ago
Alternatives and similar repositories for eTainter
Users that are interested in eTainter are comparing it to the libraries listed below
Sorting:
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 4 years ago
- ☆27May 27, 2023Updated 2 years ago
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆65Mar 7, 2023Updated 2 years ago
- A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).☆33May 13, 2022Updated 3 years ago
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆25Jun 27, 2024Updated last year
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Feb 12, 2023Updated 3 years ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Nov 24, 2025Updated 3 months ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Oct 11, 2023Updated 2 years ago
- ☆102Mar 24, 2022Updated 3 years ago
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆26Oct 31, 2020Updated 5 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- ☆30Jan 4, 2023Updated 3 years ago
- ViDeZZo source code.☆39Apr 15, 2025Updated 10 months ago
- CDCL(Crypto) SAT solver for cryptanalysis problems☆11Mar 5, 2021Updated 4 years ago
- Scape firmware metadata from 18 vendors and download corresponding firmware images. Save in MySQL database for InfoSec research purposes.☆12Feb 17, 2023Updated 3 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Jul 17, 2025Updated 7 months ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆32Jan 26, 2023Updated 3 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38May 2, 2023Updated 2 years ago
- Chrome Extension for visualizing browsing history☆11Sep 6, 2023Updated 2 years ago
- Automating LTV Percentage☆10Jun 7, 2021Updated 4 years ago
- A tool for exploring the solc abstract syntax tree☆38Mar 20, 2024Updated last year
- ☆13Oct 14, 2016Updated 9 years ago
- See if we can't do some real-time learning for GMRES -- Rejoice!☆12Jun 19, 2022Updated 3 years ago
- Smart contracts to handle on-chain multi-hash for content validation☆13Jul 19, 2021Updated 4 years ago
- pgp.ustc.edu.cn deployment☆10Mar 25, 2019Updated 6 years ago
- This is an online judgement system using Docker with Python-Flask framework☆11Feb 22, 2017Updated 9 years ago
- REST API 单元测试junit用例自动生成工具☆10Mar 18, 2019Updated 6 years ago
- ☆17Apr 15, 2025Updated 10 months ago
- Edge Computing AI and Smart Contract☆10May 30, 2023Updated 2 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Mar 30, 2024Updated last year
- ☆11May 30, 2024Updated last year
- a safety verifier for Solidity smart contracts☆96Jan 17, 2023Updated 3 years ago
- to show pocs found☆10Jul 16, 2025Updated 7 months ago
- ☆12Sep 19, 2024Updated last year
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.☆11Sep 1, 2021Updated 4 years ago
- ☆13Oct 30, 2022Updated 3 years ago
- Testing ideas in Golang☆13Aug 12, 2019Updated 6 years ago
- ☆13Apr 26, 2023Updated 2 years ago
- ☆14Jun 2, 2025Updated 8 months ago