ithildin (pypi): Semantic analyzer of EVM bytecode based on Mythril
Keywords: ethereum|evm-bytecode|mythril|smart-contracts|symbolic-execution|taint-analysis