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

C#: Adjust known type telemetry query

Browse Source
This commit is contained in:
Tamas Vajk
2024-04-18 08:49:48 +02:00
parent a1267d732e
commit c11adc8c28
1 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
csharp/ql/src/Telemetry/ExtractorInformation.ql
View File

@@ -134,10 +134,18 @@ module CallTargetStats implements StatsSig {
string getNotOkText() { result = "calls with missing call target" }
}
module ExprTypeStats implements StatsSig {
int getNumberOfOk() { result = count(Expr e | not e.getType() instanceof UnknownType) }
private class SourceExpr extends Expr {
SourceExpr() { this.getFile().fromSource() }
}
int getNumberOfNotOk() { result = count(Expr e | e.getType() instanceof UnknownType) }
private predicate hasGoodType(Expr e) {
exists(e.getType()) and not e.getType() instanceof UnknownType
}
module ExprTypeStats implements StatsSig {
int getNumberOfOk() { result = count(SourceExpr e | hasGoodType(e)) }
int getNumberOfNotOk() { result = count(SourceExpr e | not hasGoodType(e)) }
string getOkText() { result = "expressions with known type" }