Skip to content

Commit a0ae8b3

Browse files
authored
Merge pull request github#9361 from michaelnebel/java/capturemodels-metadata
Java: Update capture models meta data.
2 parents 5f42866 + 815dff3 commit a0ae8b3

File tree

3 files changed

+7
-1
lines changed

3 files changed

+7
-1
lines changed

java/ql/src/utils/model-generator/CaptureSinkModels.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
11
/**
22
* @name Capture sink models.
33
* @description Finds public methods that act as sinks as they flow into a a known sink.
4+
* @kind diagnostic
45
* @id java/utils/model-generator/sink-models
6+
* @tags model-generator
57
*/
68

79
private import internal.CaptureModels

java/ql/src/utils/model-generator/CaptureSourceModels.ql

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
11
/**
22
* @name Capture source models.
33
* @description Finds APIs that act as sources as they expose already known sources.
4-
* @id java/utils/model-generator/sink-models
4+
* @kind diagnostic
5+
* @id java/utils/model-generator/source-models
6+
* @tags model-generator
57
*/
68

79
private import internal.CaptureModels

java/ql/src/utils/model-generator/CaptureSummaryModels.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
11
/**
22
* @name Capture summary models.
33
* @description Finds applicable summary models to be used by other queries.
4+
* @kind diagnostic
45
* @id java/utils/model-generator/summary-models
6+
* @tags model-generator
57
*/
68

79
private import internal.CaptureModels

0 commit comments

Comments
 (0)