Skip to content

Commit 9f083b9

Browse files
committed
Rust: ignore crate graph elements from summary stats
These elements depend on the version of the standard libraries and platform
1 parent 2062f3a commit 9f083b9

File tree

1 file changed

+13
-1
lines changed

1 file changed

+13
-1
lines changed

rust/ql/src/queries/summary/SummaryStats.ql

+13-1
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,21 @@ import codeql.rust.Concepts
1111
import codeql.rust.Diagnostics
1212
import Stats
1313

14+
class CrateElement extends Element {
15+
CrateElement() {
16+
this instanceof ModuleContainer or
17+
this instanceof Type or
18+
this instanceof ValueItem or
19+
this instanceof TypeItem or
20+
this instanceof VariantData or
21+
this instanceof EnumVariant
22+
}
23+
}
24+
1425
from string key, int value
1526
where
16-
key = "Elements extracted" and value = count(Element e | not e instanceof Unextracted)
27+
key = "Elements extracted" and
28+
value = count(Element e | not e instanceof Unextracted and not e instanceof CrateElement)
1729
or
1830
key = "Elements unextracted" and value = count(Unextracted e)
1931
or

0 commit comments

Comments
 (0)