mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
16 lines
416 B
Plaintext
16 lines
416 B
Plaintext
private import rust
|
|
|
|
predicate toBeTested(Element e) { not e instanceof CrateElement and not e instanceof Builtin }
|
|
|
|
class CrateElement extends Element {
|
|
CrateElement() {
|
|
this instanceof Crate or
|
|
this instanceof NamedCrate or
|
|
any(Crate c).getModule() = this.(AstNode).getParentNode*()
|
|
}
|
|
}
|
|
|
|
class Builtin extends AstNode {
|
|
Builtin() { this.getFile().getAbsolutePath().matches("%/builtins/%.rs") }
|
|
}
|