Files
codeql/go/ql/src/meta/frameworks/Coverage.ql
2023-10-11 21:09:54 +01:00

15 lines
423 B
Plaintext

/**
* @name Framework coverage
* @description The number of API endpoints covered by MaD models sorted by
* package and source-, sink-, and summary-kind.
* @kind table
* @id go/meta/framework-coverage
*/
import go
import semmle.go.dataflow.ExternalFlow
from string package, int pkgs, string kind, string part, int n
where modelCoverage(package, pkgs, kind, part, n)
select package, pkgs, kind, part, n