Bump LASER version

myth

@@ -126,13 +126,13 @@ if (args.address or len(args.solidity_file)):
         else:
             try:
                 if args.infura_mainnet:
-                    eth = EthJsonRpc('mainnet.infura.io', 443, True) 
+                    eth = EthJsonRpc('mainnet.infura.io', 443, True)
                 elif args.infura_rinkeby:
                     eth = EthJsonRpc('rinkeby.infura.io', 443, True)
                 elif args.infura_kovan:
                     eth = EthJsonRpc('kovan.infura.io', 443, True)
                 elif args.infura_ropsten:
-                    eth = EthJsonRpc('ropsten.infura.io', 443, True) 
+                    eth = EthJsonRpc('ropsten.infura.io', 443, True)
                 else:
                     eth = EthJsonRpc(args.rpchost, args.rpcport, args.rpctls)
 
@@ -159,7 +159,7 @@ elif (len(args.solidity_file)):
         except CompilerError as e:
             exitWithError(e)
 
-        # Max. 16 contracts supported!
+        # Max. 16 input files supported!
 
         contract = ETHContract(bytecode, name = name, address = util.get_indexed_address(index))
         index += 1

mythril/disassembler/callgraph.py

@@ -107,7 +107,7 @@ def serialize(_svm, color_map):
 
         color = color_map[_svm.nodes[node_key].as_dict()['module_name']]
 
-        nodes.append("{id: '" + node_key + "', color: " + color + ", size: 150, 'label': '" + code + "'}")
+        nodes.append("{id: '" + str(node_key) + "', color: " + color + ", size: 150, 'label': '" + code + "'}")
 
     for edge in _svm.edges:
 

requirements.txt

@@ -2,6 +2,6 @@ ethereum>=2.0.4
 ZODB>=5.3.0
 z3-solver>=4.5
 web3
-laser-ethereum==0.2.4
+laser-ethereum==0.2.5
 requests
 BTrees

setup.py

@@ -256,7 +256,7 @@ setup(
         'web3',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum==0.2.4',
+        'laser-ethereum==0.2.5',
         'requests',
         'BTrees'
     ],