Set correct RPC port for Ganache

mythril/mythril/mythril_config.py

@@ -175,7 +175,7 @@ class MythrilConfig:
         :param rpc: either of the strings - ganache, infura-mainnet, infura-rinkeby, infura-kovan, infura-ropsten
         """
         if rpc == "ganache":
-            rpcconfig = ("localhost", 8545, False)
+            rpcconfig = ("localhost", 7545, False)
         else:
             m = re.match(r"infura-(.*)", rpc)
             if m and m.group(1) in ["mainnet", "rinkeby", "kovan", "ropsten"]:

tests/mythril/mythril_config_test.py

@@ -19,7 +19,7 @@ def test_config_path_dynloading():
 
 rpc_types_tests = [
     ("infura", "mainnet.infura.io", 443, True),
-    ("ganache", "localhost", 8545, True),
+    ("ganache", "localhost", 7545, True),
     ("infura-rinkeby", "rinkeby.infura.io", 443, True),
     ("infura-ropsten", "ropsten.infura.io", 443, True),
     ("infura-kovan", "kovan.infura.io", 443, True),