GitHub repository: metagon/ithildin
Primary language: Python
Description: Semantic analyzer of EVM bytecode based on Mythril