mirror of
https://github.com/github/codeql.git
synced 2026-02-12 13:11:20 +01:00
15 lines
365 B
Plaintext
15 lines
365 B
Plaintext
/**
|
|
* @name Capture neutral models.
|
|
* @description Finds neutral models to be used by other queries.
|
|
* @kind diagnostic
|
|
* @id cpp/utils/modelgenerator/neutral-models
|
|
* @tags modelgenerator
|
|
*/
|
|
|
|
import internal.CaptureModels
|
|
import SummaryModels
|
|
|
|
from DataFlowSummaryTargetApi api, string noflow
|
|
where noflow = captureNeutral(api)
|
|
select noflow order by noflow
|