-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Docs: Query classification and display #3974
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Docs: Query classification and display #3974
Conversation
Marcono1234
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Did you commit this with an e-mail address which differs from your GitHub e-mail address on purpose?
| @@ -0,0 +1,125 @@ | |||
| # Query classification and display | |||
|
|
|||
| Attributable Queries | |||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should this be a sub-header?
| the value over (or under) the threshold. Some queries only trigger | ||
| another one doesn't. An example of this is the MaybeNull query which |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| the value over (or under) the threshold. Some queries only trigger | |
| another one doesn't. An example of this is the MaybeNull query which | |
| the value over (or under) the threshold. Some queries only trigger | |
| when another one doesn't. An example of this is the MaybeNull query which |
Missing "when"?
| the value over (or under) the threshold. Some queries only trigger | ||
| another one doesn't. An example of this is the MaybeNull query which | ||
| only triggers if the AlwaysNull query doesn't. A small change in the | ||
| data flow could make an alert switch from AlwayNull to MaybeNull (or |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| data flow could make an alert switch from AlwayNull to MaybeNull (or | |
| data flow could make an alert switch from AlwaysNull to MaybeNull (or |
| file" didn't. As a result adding some code to a duplicate file might | ||
| result in a "fix" of a "duplicate file" alert and an introduction of | ||
| many "duplicate function" alerts. This would be highly unfair. | ||
| Currently, on the duplicate and similar code queries exhibit this |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| Currently, on the duplicate and similar code queries exhibit this | |
| Currently, only the duplicate and similar code queries exhibit this |
| - Metric violations, i.e. the ones with metadata properties like ` | ||
| @(error|warning|recommendation)-(to|from) ` | ||
| - Queries with tag ` non-attributable ` | ||
|
|
||
| ` ` |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| - Metric violations, i.e. the ones with metadata properties like ` | |
| @(error|warning|recommendation)-(to|from) ` | |
| - Queries with tag ` non-attributable ` | |
| ` ` | |
| - Metric violations, i.e. the ones with metadata properties like `@(error|warning|recommendation)-(to|from)` | |
| - Queries with tag `non-attributable` | |
| made visible by editing the project configuration. | ||
|
|
||
|
|
||
| Queries from custom query packs (in-repo or site-wide) are always run |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| Queries from custom query packs (in-repo or site-wide) are always run | |
| Queries from custom query packs (in-repo or site-wide) are always run |
|
|
||
|
|
||
| Queries from custom query packs (in-repo or site-wide) are always run | ||
| and displayed by default. The can be hidden by editing the project |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| and displayed by default. The can be hidden by editing the project | |
| and displayed by default. They can be hidden by editing the project |
|
|
||
| This check is applied when the results of a single attribution are | ||
| loaded into the datastore. This means that any change to this behaviour | ||
| will only take effect on newly attributed revisions and the historical |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe use "but" instead of "and" here to clearly indicate the difference
| will only take effect on newly attributed revisions and the historical | |
| will only take effect on newly attributed revisions but the historical |
|
|
||
| The following queries are excluded from attribution: | ||
|
|
||
| - Metric violations, i.e. the ones with metadata properties like ` |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Note that here and for the other lists the indentation is not needed
|
|
||
| <div class="table-wrap"> | ||
|
|
||
| | Precision: | V. high | High | Medium | Low | |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"V. high" could be written out as "Very-high" since the table is not that wide.
Same applies for the other table as well.
Converted from Semmle wiki
8e16554 to
6dbed5e
Compare
|
Thanks for the thorough review. I must apologise - I've been doing a lot of these conversions from the Semmle wiki recently and in this I have either lost a commit somewhere or forgotten to go through and fix up the conversion errors. Also, I was using a different computer while my normal one was being fixed and I forgot to set up my name or email address in git - thanks for pointing that out. |
Marcono1234
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No problem. There is one more minor thing.
|
|
||
| For precision, we have the following categories: | ||
|
|
||
| - Very-high |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe use "Very high" (without hyphen) here since the tables below use this variant as well?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Actually on closer inspection it should have the hyphen, and all of them shouldn't have a capital letter, as this is what is actually found in the query files. I've corrected this.
2ef0fb4 to
77312a2
Compare
|
@calumgrant I had to force-push with a trivial change (extra space in a commit message) to get CI to pass. Unfortunately it dismissed your review. Can you add it back? (And feel free to merge) |


Converted from Semmle wiki