Skip to content
View JoranHonig's full-sized avatar
💭
😈 | Building cool stuff at @MythX | Breaking stuff
💭
😈 | Building cool stuff at @MythX | Breaking stuff
308 followers · 24 following

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Block or report JoranHonig

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
JoranHonig/README.md

Banner

🔭 I'm currently working on automatic exploitation and vulnerability detection at ConsenSys Diligence

🔍 I'm currently learning more about Binary Exploitation

👀 I'm interested in Security Automation and DevSecOps

Pinned Loading

  1. ConsenSysDiligence/mythril ConsenSysDiligence/mythril Public

    Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

    Python 4.1k 795

  2. vertigo vertigo Public

    Mutation Testing for Ethereum Smart Contracts

    Python 206 42

  3. tree-sitter-solidity tree-sitter-solidity Public

    Solidity grammar for tree sitter

    Python 175 51

  4. tarantula tarantula Public

    Implementation of the tarantula fault localisation algorithm

    ReScript 13

  5. tree-sitter-cairo tree-sitter-cairo Public

    A tree-sitter-grammar for cairo 1.0

    C 16 2

  6. python-tree-sitter-types python-tree-sitter-types Public

    Generate python types for tree-sitter parsers

    Python 7 1