Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
Ethereum Solidity, Vyper, Yul and StarkNet Cairo language syntaxes
#区块链#A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
Precise Attack Synthesis for DeFi Apps
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
A collection of Yul/Yul+ code, from basic token standards, to advanced Defi primitives
create metamorphic contracts using this template.
Pack address types to utilize 100% of storage space in Solidity