bytecode analysis and manipulation (not) framework
-
Updated
May 4, 2020 - Java
#
bytecode-analysis
Here are 4 public repositories matching this topic...
Bytecode Truth, Not Source is a deep technical exploration of why smart-contract source code cannot be trusted as the ground truth for security. This repository shows how compiler optimizations, hidden assembly, proxies, and unreachable logic make verified Solidity misleading, and why only EVM bytecode reveals actual on-chain behavior.
static-analysis decompiler ethereum reverse-engineering solidity dynamic-analysis malware-analysis evm compiler-optimizations blockchain-security bytecode-analysis smart-contract-security honeypot-detection web3-security smart-contract-auditing evm-assembly proxy-contracts rugpull-analysis opcode-analysis onchain-forensics
-
Updated
Nov 24, 2025
Unified JPF documentation generator that consolidates jpf-autodoc-options and jpf-autodoc-types into a single modern tool with multi-format output and archive support.
static-analysis html-generation documentation-generator jpf java-pathfinder markdown-generator json-output bytecode-analysis xml-output
-
Updated
Aug 6, 2025 - Java
Artifact bundle (datasets + analysis code) for the EMSE paper on smart contract upgradeability: event-derived version lineages, classification utilities, and reproducible notebooks.
-
Updated
Oct 2, 2025 - Jupyter Notebook
Improve this page
Add a description, image, and links to the bytecode-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the bytecode-analysis topic, visit your repo's landing page and select "manage topics."