slither icon indicating copy to clipboard operation
slither copied to clipboard

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

Open engn33r opened this issue 3 years ago • 1 comments

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

engn33r avatar Apr 03 '22 21:04 engn33r

Hi @engn33r. Thank you for reporting this.

We should add a flag to build this section build automatically for slither and crytic-compile

montyly avatar Apr 27 '22 07:04 montyly