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

Merge pull request #11585 from jcogs33/jcogs33/mad-metrics-query

Browse Source 
Java: add MaD metrics query
This commit is contained in:
Jami
2022-12-15 19:26:51 -05:00
committed by GitHub
parent 801f4bc8a3 96a0950048
commit fd63348549
14 changed files with 182 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -241,9 +241,15 @@ module Public {
}
/**
* Holds if the summary is auto generated.
* Holds if the summary is auto generated and not manually generated.
*/
predicate isAutoGenerated() { none() }
/**
* Holds if the summary has the given provenance where `true` is
* `generated` and `false` is `manual`.
*/
predicate hasProvenance(boolean generated) { none() }
}
/** A callable where there is no flow via the callable. */
@@ -1012,6 +1018,10 @@ module Private {
}
override predicate isAutoGenerated() { this.relevantSummaryElementGenerated(_, _, _) }
override predicate hasProvenance(boolean generated) {
summaryElement(this, _, _, _, generated)
}
}
/** Holds if component `c` of specification `spec` cannot be parsed. */