slither
slither copied to clipboard
[Bug-Candidate]: Wiki "Configuration File" section missing supported flags
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
Hi @engn33r. Thank you for reporting this.
We should add a flag to build this section build automatically for slither and crytic-compile