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

Fixes

Browse Source
This commit is contained in:
Calum Grant
2023-02-23 19:03:05 +00:00
parent 196dbd3a33
commit dde18de2d1
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ql/ql/src/codeql_ql/StructuredLogs.qll
View File

@@ -68,6 +68,8 @@ class Array extends JSON::Array {
float getFloat(int i) { result = this.getChild(i).(JSON::Number).getValue().toFloat() }
Array getArray(int i) { result = this.getChild(i) }
int getLength() { result = count(this.getChild(_)) }
}
/**

2
ql/ql/src/experimental/queries/PredicateSummaries.ql
View File

@@ -14,5 +14,5 @@ int maxPipeLineLength(KindPredicatesLog::SummaryEvent evt) {
}
from KindPredicatesLog::SummaryEvent evt
select evt, evt.getResultSize(), evt.getMillis() as ms, maxTupleCount(evt) as mc, evt.getMillis(),
select evt, evt.getResultSize(), evt.getMillis() as ms, maxTupleCount(evt) as mc,
maxPipeLineLength(evt) as len order by mc desc