hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Automodel: Fix a few nits.

Browse Source
This commit is contained in:
Max Schaefer
2023-11-20 11:06:02 +00:00
parent 8b6a9180dc
commit 1bed9f9003
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/automodel/src/AutomodelEndpointTypes.qll
View File

@@ -18,6 +18,8 @@ abstract class EndpointType extends string {
* Gets the name of the sink/source kind for this endpoint type as used in models-as-data.
*
* See https://github.com/github/codeql/blob/44213f0144fdd54bb679ca48d68b28dcf820f7a8/java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll#LL353C11-L357C31
* for sink types, and https://github.com/github/codeql/blob/44213f0144fdd54bb679ca48d68b28dcf820f7a8/java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll#L365
* for source types.
*/
final string getKind() { result = this }
}

4
java/ql/automodel/src/AutomodelSharedCharacteristics.qll
View File

@@ -63,12 +63,12 @@ signature module CandidateSig {
predicate isSink(Endpoint e, string kind, string provenance);
/**
* Holds if `e` is a sink with the label `kind`, and provenance `provenance`.
* Holds if `e` is a source with the label `kind`, and provenance `provenance`.
*/
predicate isSource(Endpoint e, string kind, string provenance);
/**
* Holds if `e` is not a sink of any kind.
* Holds if `e` is not a source or sink of any kind.
*/
predicate isNeutral(Endpoint e);