Challenge Overview
Mythril is a security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis, and control flow checking to detect a variety of security vulenerabilities.
In this challenge you will fix Mythril crushes on contracts containing non-ascii characters (reported here). Your submission should include a minimal test contract that reproduces the problem on the current code (work out of the commit a0db35bade4ce48c447013ae9bbc5963126a8213), and can be analysed successfully with your patch. This contract should be added as a new test of mythril.
In this challenge you will fix Mythril crushes on contracts containing non-ascii characters (reported here). Your submission should include a minimal test contract that reproduces the problem on the current code (work out of the commit a0db35bade4ce48c447013ae9bbc5963126a8213), and can be analysed successfully with your patch. This contract should be added as a new test of mythril.