hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 12:46:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

Apply suggestions from code review

Browse Source
This commit is contained in:
Tony Torralba
2023-05-11 14:53:56 +02:00
committed by GitHub
parent e15610cfcd
commit c17b0e809f
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/src/Telemetry/AutomodelSharedCharacteristics.qll
View File

@@ -53,17 +53,17 @@ signature module CandidateSig {
predicate isKnownKind(string kind, string humanReadableLabel, EndpointType type);
/**
* Should hold for any endpoint that is a flow sanitizer.
* Holds if `e` is a flow sanitizer, and has type `t`.
*/
predicate isSanitizer(Endpoint e, EndpointType t);
/**
* Should hold for any endpoint that is a sink of the given (known or unknown) kind.
* Holds if `e` is a sink with the label `label`.
*/
predicate isSink(Endpoint e, string kind);
/**
* Should hold for any endpoint that is known to not be any sink.
* Holds if `e` is not a sink of any kind.
*/
predicate isNeutral(Endpoint e);