Ithildin is a semantic analysis tool for EVM bytecode based on Mythril. By using symbolic execution and taint analysis, it aims at detecting functions that are restricted by authentication patterns, and to extract administrator addresses whenever possible, as well as other related data.
Technologies: Python 3, Symbolic Execution, Taint Analysis