🚀 Projects

These are some of the projects that I've contributed to.

💥 Mythril

Mythril is a symbolic executor for the Ethereum bytecode. It comes with batteries included; it can automatically find vulnerabilities, and generate exploits.

ConsenSys/mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. - ConsenSys/mythril

GitHubConsenSys

🌀 Vertigo

Vertigo is a mutation testing tool for Ethereum smart contracts. Mutation testing is a technique to evaluate the quality of unit tests. Even though standard coverage is the most used metric for test quality, mutation testing can provide much more insight.

JoranHonig/vertigo

Mutation Testing for Ethereum Smart Contracts. Contribute to JoranHonig/vertigo development by creating an account on GitHub.

GitHubJoranHonig

🌴 tree-sitter-solidity

Tree-sitter-solidity is an incremental parser for the Solidity programming language. The parser is incredibly fast and generates an AST optimised for further analysis.

JoranHonig/tree-sitter-solidity

Solidity grammar for tree sitter. Contribute to JoranHonig/tree-sitter-solidity development by creating an account on GitHub.

GitHubJoranHonig