GeezerVison is showing github.com — codeql/java/ql/src/Telemetry/DatabaseQuality.qll at main · github/codeql

Expand file tree

DatabaseQuality.qll

Copy path

More file actions

39 lines (26 loc) · 1.17 KB

Copy path

39 lines (26 loc) · 1.17 KB

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

/**

* Provides database quality statistics that are reported by java/telemetry/extractor-information

* and perhaps warned about by java/diagnostics/database-quality.

import java

import codeql.util.ReportStats

module CallTargetStats implements StatsSig {

int getNumberOfOk() { result = count(Call c | exists(c.getCallee())) }

int getNumberOfNotOk() { result = count(Call c | not exists(c.getCallee())) }

string getOkText() { result = "calls with call target" }

string getNotOkText() { result = "calls with missing call target" }

}

private class SourceExpr extends Expr {

SourceExpr() { this.getFile().isSourceFile() }

}

private predicate hasGoodType(Expr e) {

exists(e.getType()) and not e.getType() instanceof ErrorType

}

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" }

string getNotOkText() { result = "expressions with unknown type" }

}

module CallTargetStatsReport = ReportStats<CallTargetStats>;

module ExprTypeStatsReport = ReportStats<ExprTypeStats>;