crytic/slither

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

Open

#1.155 geöffnet am 3. Apr. 2022

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (886 Forks)batch import
documentationenhancementgood first issuehelp wanted

Repository-Metriken

Stars
 (4.769 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 54T 9h) (2 gemergte PRs in 30 T)

Beschreibung

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: https://github.com/crytic/slither/blob/8344524cd35a1edf37c1cc791eb08c8ffff645a8/slither/utils/command_line.py#L26-L51

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

Contributor Guide