File tree Expand file tree Collapse file tree
rust/ql/src/queries/summary Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -142,7 +142,8 @@ predicate extractionStats(string key, int value) {
142142 key = "Extraction warnings" and
143143 value = count ( ExtractionWarning w | not exists ( w .getLocation ( ) ) or w .getLocation ( ) .fromSource ( ) )
144144 or
145- key = "Files extracted - total user" and value = count ( ExtractedFile f | exists ( f .getRelativePath ( ) ) )
145+ key = "Files extracted - total user" and
146+ value = count ( ExtractedFile f | exists ( f .getRelativePath ( ) ) )
146147 or
147148 key = "Files extracted - with errors" and
148149 value =
@@ -219,7 +220,8 @@ predicate taintStats(string key, int value) {
219220 or
220221 key = "Taint reach - per million nodes" and value = getTaintReach ( ) .floor ( )
221222 or
222- key = "Taint nodes - highly colocated nodes" and value = count ( DataFlow:: Node n | isColocated10 ( n ) )
223+ key = "Taint nodes - highly colocated nodes" and
224+ value = count ( DataFlow:: Node n | isColocated10 ( n ) )
223225 or
224226 key = "Taint sinks - query sinks" and value = getQuerySinksCount ( )
225227 or
You can’t perform that action at this time.
0 commit comments