Skip to content

[Bug-Candidate]: Wiki "Configuration File" section missing supported flags #1155

Open
@engn33r

Description

@engn33r

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

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions