We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated JSON output (markdown)
Adding JSON output details for slither-check-upgradeability
Rewrite of existing detector-specific fields
Updated everything besides detector-specific output
Updated source mappings
Initial changes up to (but not including) source mappings.