Skip to content

Commit

Permalink
Merge pull request #805 from tschmidtb51/editorial-2024-10-30
Browse files Browse the repository at this point in the history
Search vs Filter
  • Loading branch information
santosomar authored Oct 30, 2024
2 parents 1475f37 + 063878a commit 0c2ecbe
Showing 1 changed file with 6 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -137,6 +137,9 @@ externalized property
false positive
: result which an end user decides does not actually represent a problem

filter
: refine a list by selecting entries that match given criteria

fingerprint
: stable value that can be used by a result management system to uniquely identify a result over time,
even if a relevant artifact is modified
Expand Down Expand Up @@ -218,6 +221,9 @@ _Examples_: severity level, rank
repository
: container for a related set of files in a version control system

search
: compile a list of entries that match given criteria

taxonomy
: classification of analysis results into a set of categories

Expand Down

0 comments on commit 0c2ecbe

Please sign in to comment.