leonardoalt / dl_symb_exec_sol

Related projects: ⓘ

• leonardoalt / yools
  Tools for Yul.
  ☆138Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆54Updated this week
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆134Updated last year
• 0xKitsune / EVM-Gas-Optimizations
  A collection of gas optimizations for the EVM.
  ☆90Updated 2 years ago
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆164Updated 2 weeks ago
• costa-group / gasol-optimizer
  ☆107Updated last month
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆91Updated 8 months ago
• brockelmore / foundry_seminar
  Code for Foundry Seminar
  ☆114Updated 2 years ago
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆138Updated last month
• crytic / roundme
  ☆86Updated 3 months ago
• kadenzipfel / bytepeep
  Minimal bytecode peephole optimizer
  ☆119Updated last year
• pcaversaccio / malleable-signatures
  This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…
  ☆105Updated last week
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆91Updated 3 years ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆108Updated 4 months ago
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆82Updated last year
• Dedaub / audits
  Repository containing past audit reports
  ☆53Updated 9 months ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆62Updated last year
• Anish-Agnihotri / sushiswap-exploit
  SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.
  ☆90Updated last year
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆136Updated 8 months ago
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆44Updated 5 months ago
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆75Updated 11 months ago
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated 8 months ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆67Updated 2 years ago
• 0xmonsoon / evm-from-scratch
  Implementation of the Ethereum Virtual Machine in python.
  ☆86Updated last year
• brockelmore / solvm
  evm inception: the evm inside the evm via yul and solidity
  ☆228Updated last year
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆63Updated 10 months ago
• lucas-manuel / invariant-examples
  ☆161Updated last year
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 2 years ago
• spearbit-audits / writing-exercise
  ☆103Updated 2 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆57Updated 3 years ago