Merge pull request #1054 from crytic/issue-1052

add check for default config file
crytic · Feb 15, 2022 · f7b55bc · f7b55bc
2 parents 57bf155 + 5a0bac0
commit f7b55bc
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/slither/__main__.py b/slither/__main__.py
@@ -462,7 +462,7 @@ def parse_args(detector_classes, printer_classes):  # pylint: disable=too-many-s
         help="Provide a config file (default: slither.config.json)",
         action="store",
         dest="config_file",
-        default="slither.config.json",
+        default=None,
     )
 
     group_misc.add_argument(

diff --git a/slither/utils/command_line.py b/slither/utils/command_line.py
@@ -52,6 +52,15 @@
 
 
 def read_config_file(args):
+    # No config file was provided as an argument
+    if args.config_file is None:
+        # Check wether the default config file is present
+        if os.path.exists("slither.config.json"):
+            # The default file exists, use it
+            args.config_file = "slither.config.json"
+        else:
+            return
+
     if os.path.isfile(args.config_file):
         try:
             with open(args.config_file, encoding="utf8") as f: