Popular repositories Loading

1. conkas conkas Public

   Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution

   Python 70 15

2. google-takeout-photos-recover google-takeout-photos-recover Public

   Recover EXIF metadata after exporting photos and videos from google photos using google takeout

   Python 3

3. rattle rattle Public

   Forked from crytic/rattle

   evm binary static analysis

   Python 2

4. pyevmasm pyevmasm Public

   Forked from crytic/pyevmasm

   Ethereum Virtual Machine (EVM) disassembler and assembler

   Python 1 1

5. smartbugs smartbugs Public

   Forked from smartbugs/smartbugs

   SmartBugs: A Framework to Analyze Solidity Smart Contracts

   Solidity 1

6. SolidiFI-benchmark SolidiFI-benchmark Public

   Forked from DependableSystemsLab/SolidiFI-benchmark

   Repository of benchmarks to evaluate Solidity Smart contract analysis tools

   Python 1