trailofbits/manticore

Fix evm's make_symbolic_address
#1318

disconnect3d wants to merge fix-make-symbolic-address into master

Compare on GitHub

We do not currently have an analysis of these two commits