crytic/slither

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

Open

#1155 aperta il 3 apr 2022

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Python (886 fork)batch import
documentationenhancementgood first issuehelp wanted

Metriche repository

Star
 (4769 star)
Metriche merge PR
 (Merge medio 54g 9h) (2 PR mergiate in 30 g)

Descrizione

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

Guida contributor