As such, Mueller, who created it in an effort to eliminate the major vulnerabilities in ethereum smart contract code that have led to the loss of millions of dollars in ether, built Mythril to find
the faults in smart contracts so that malicious actors won't be able to later.