Describe the issue:
The list of configuration file options is incomplete
Code example to reproduce the issue:
The config file options in the wiki are here:
https://github.com/crytic/slither/wiki/Usage#configuration-file
The supported options in the code are here:
|
# Those are the flags shared by the command line and the config file |
|
defaults_flag_in_config = { |
|
"detectors_to_run": "all", |
|
"printers_to_run": None, |
|
"detectors_to_exclude": None, |
|
"exclude_dependencies": False, |
|
"exclude_informational": False, |
|
"exclude_optimization": False, |
|
"exclude_low": False, |
|
"exclude_medium": False, |
|
"exclude_high": False, |
|
"json": None, |
|
"sarif": None, |
|
"json-types": ",".join(DEFAULT_JSON_OUTPUT_TYPES), |
|
"disable_color": False, |
|
"filter_paths": None, |
|
"generate_patches": False, |
|
# debug command |
|
"skip_assembly": False, |
|
"legacy_ast": False, |
|
"ignore_return_value": False, |
|
"zip": None, |
|
"zip_type": "lzma", |
|
"show_ignored_findings": False, |
|
**DEFAULTS_FLAG_IN_CONFIG_CRYTIC_COMPILE, |
|
} |
Some examples of supported config options not in the wiki are "exclude_dependencies", "exclude_optimization", and "sarif".
Version:
0.8.2
Relevant log output:
No response
Describe the issue:
The list of configuration file options is incomplete
Code example to reproduce the issue:
The config file options in the wiki are here:
https://github.com/crytic/slither/wiki/Usage#configuration-file
The supported options in the code are here:
slither/slither/utils/command_line.py
Lines 26 to 51 in 8344524
Some examples of supported config options not in the wiki are "exclude_dependencies", "exclude_optimization", and "sarif".
Version:
0.8.2
Relevant log output:
No response