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 @@ -12,9 +12,23 @@ import codeql.rust.security.SensitiveData
1212import codeql.rust.Diagnostics
1313import Stats
1414
15+ class CrateElement extends Element {
16+ CrateElement ( ) {
17+ this instanceof ModuleContainer or
18+ this instanceof Type or
19+ this instanceof ValueItem or
20+ this instanceof TypeItem or
21+ this instanceof VariantData or
22+ this instanceof EnumVariant or
23+ this instanceof ImplItem or
24+ this instanceof TypeBoundType
25+ }
26+ }
27+
1528from string key , int value
1629where
17- key = "Elements extracted" and value = count ( Element e | not e instanceof Unextracted )
30+ key = "Elements extracted" and
31+ value = count ( Element e | not e instanceof Unextracted and not e instanceof CrateElement )
1832 or
1933 key = "Elements unextracted" and value = count ( Unextracted e )
2034 or
You can’t perform that action at this time.
0 commit comments