Skip to content

More robust triage mode #2300

Open
Open
@mds1

Description

@mds1

Describe the desired feature

There are two ways to triage an issue:

  1. Using // slither-disable comments
  2. Using triage mode to save findings to a database

I prefer (2) because (1) can get noisy and result in many source code comments.

In crytic/slither-action#70 (comment) @elopez helped me notice that the triage database isn't robust to unrelated to source code changes. In that example, a contract had 8 incorrect-return findings ignored via triage, and after removing 2 unused error declarations in that contract, those resurfaced.

It seems this happens because the ID of the finding changed. I'm not sure how IDs are determined, but my guess is they are a function of line number.

I'm not sure of the best way to implement this feature, but it would be very helpful if the database findings were most robust to source code changes.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions