C#/Java: Remove all dashes in mode-generator.

This commit is contained in:
Michael Nebel
2022-12-20 13:39:36 +01:00
parent 466f24663e
commit 178fd0e9e1
27 changed files with 38 additions and 38 deletions

View File

@@ -1,7 +1,7 @@
/**
* @name Capture discarded summary models.
* @description Finds summary models that are discarded as handwritten counterparts exist.
* @id cs/utils/model-generator/discarded-summary-models
* @id cs/utils/modelgenerator/discarded-summary-models
*/
import semmle.code.csharp.dataflow.ExternalFlow

View File

@@ -2,8 +2,8 @@
* @name Capture neutral models.
* @description Finds neutral models to be used by other queries.
* @kind diagnostic
* @id cs/utils/model-generator/neutral-models
* @tags model-generator
* @id cs/utils/modelgenerator/neutral-models
* @tags modelgenerator
*/
import semmle.code.csharp.dataflow.ExternalFlow

View File

@@ -2,8 +2,8 @@
* @name Capture sink models.
* @description Finds public methods that act as sinks as they flow into a known sink.
* @kind diagnostic
* @id cs/utils/model-generator/sink-models
* @tags model-generator
* @id cs/utils/modelgenerator/sink-models
* @tags modelgenerator
*/
import utils.modelgenerator.internal.CaptureModels

View File

@@ -2,8 +2,8 @@
* @name Capture source models.
* @description Finds APIs that act as sources as they expose already known sources.
* @kind diagnostic
* @id cs/utils/model-generator/source-models
* @tags model-generator
* @id cs/utils/modelgenerator/source-models
* @tags modelgenerator
*/
import utils.modelgenerator.internal.CaptureModels

View File

@@ -2,8 +2,8 @@
* @name Capture summary models.
* @description Finds applicable summary models to be used by other queries.
* @kind diagnostic
* @id cs/utils/model-generator/summary-models
* @tags model-generator
* @id cs/utils/modelgenerator/summary-models
* @tags modelgenerator
*/
import semmle.code.csharp.dataflow.ExternalFlow

View File

@@ -2,8 +2,8 @@
* @name Capture typed based summary models.
* @description Finds applicable summary models to be used by other queries.
* @kind diagnostic
* @id cs/utils/model-generator/summary-models-typed-based
* @tags model-generator
* @id cs/utils/modelgenerator/summary-models-typed-based
* @tags modelgenerator
*/
import utils.modelgenerator.internal.CaptureTypeBasedSummaryModels

View File

@@ -1 +1 @@
utils/model-generator/CaptureNeutralModels.ql
utils/modelgenerator/CaptureNeutralModels.ql

View File

@@ -1 +1 @@
utils/model-generator/CaptureSinkModels.ql
utils/modelgenerator/CaptureSinkModels.ql

View File

@@ -1 +1 @@
utils/model-generator/CaptureSourceModels.ql
utils/modelgenerator/CaptureSourceModels.ql

View File

@@ -1 +1 @@
utils/model-generator/CaptureSummaryModels.ql
utils/modelgenerator/CaptureSummaryModels.ql

View File

@@ -1 +1 @@
utils/model-generator/CaptureTypeBasedSummaryModels.ql
utils/modelgenerator/CaptureTypeBasedSummaryModels.ql