|
|
@ -107,12 +107,12 @@ def main(): |
|
|
|
|
|
|
|
|
|
|
|
try: |
|
|
|
try: |
|
|
|
# the mythril object should be our main interface |
|
|
|
# the mythril object should be our main interface |
|
|
|
# infura = None, rpc = None, rpctls = None, ipc = None, |
|
|
|
# infura = None, rpc = None, rpctls = None |
|
|
|
# solc_args = None, dynld = None, max_recursion_depth = 12): |
|
|
|
# solc_args = None, dynld = None, max_recursion_depth = 12): |
|
|
|
|
|
|
|
|
|
|
|
mythril = Mythril(solv=args.solv, dynld=args.dynld, |
|
|
|
mythril = Mythril(solv=args.solv, dynld=args.dynld, |
|
|
|
solc_args=args.solc_args) |
|
|
|
solc_args=args.solc_args) |
|
|
|
if args.dynld and not (args.ipc or args.rpc or args.i): |
|
|
|
if args.dynld and not (args.rpc or args.i): |
|
|
|
mythril.set_api_from_config_path() |
|
|
|
mythril.set_api_from_config_path() |
|
|
|
|
|
|
|
|
|
|
|
if args.address: |
|
|
|
if args.address: |
|
|
|