🔭 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
🔭 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
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.
Generate python types for tree-sitter parsers