crytic
Feature request: generate config file from static code analysis output
Hello Great tool, thanks for building this!
I wish the config file was automatically generated from the source code.
This could be integrated into Slither, for example, which could extract all mathematical expressions, and the user would point out whether the different parameters (with names and links pointing to references in the code) were supposed to round up or down.
That's a great idea, and we definitely considered this approach when building roundme.
One limitation is that it can be tricky to identify what are the exact arithmetics on complex codebases, if the operation are spread across the code.
However we can definitely write a slither printer that would extract the formula following a best effort approach
