hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 05:01:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Use getAssocItem consistently in stdlib classes

Browse Source
This commit is contained in:
Simon Friis Vindum
2026-01-08 11:59:10 +01:00
parent 22b88aea06
commit 56f5328530
1 changed files with 7 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
rust/ql/lib/codeql/rust/frameworks/stdlib/Stdlib.qll
View File

@@ -1,5 +1,5 @@
/**
* Provides classes modeling security-relevant aspects of the standard libraries.
* Provides classes modeling relevant aspects of the standard libraries.
*/
private import rust
@@ -140,10 +140,7 @@ class FutureTrait extends Trait {
/** Gets the `Output` associated type. */
pragma[nomagic]
TypeAlias getOutputType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Output"
}
TypeAlias getOutputType() { result = this.(TraitItemNode).getAssocItem("Output") }
}
/**
@@ -160,10 +157,7 @@ class FnOnceTrait extends Trait {
/** Gets the `Output` associated type. */
pragma[nomagic]
TypeAlias getOutputType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Output"
}
TypeAlias getOutputType() { result = this.(TraitItemNode).getAssocItem("Output") }
}
/**
@@ -177,10 +171,7 @@ class IteratorTrait extends Trait {
/** Gets the `Item` associated type. */
pragma[nomagic]
TypeAlias getItemType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Item"
}
TypeAlias getItemType() { result = this.(TraitItemNode).getAssocItem("Item") }
}
/**
@@ -194,10 +185,7 @@ class IntoIteratorTrait extends Trait {
/** Gets the `Item` associated type. */
pragma[nomagic]
TypeAlias getItemType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Item"
}
TypeAlias getItemType() { result = this.(TraitItemNode).getAssocItem("Item") }
}
/**
@@ -224,10 +212,7 @@ class DerefTrait extends Trait {
/** Gets the `Target` associated type. */
pragma[nomagic]
TypeAlias getTargetType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Target"
}
TypeAlias getTargetType() { result = this.(TraitItemNode).getAssocItem("Target") }
}
/**
@@ -244,10 +229,7 @@ class IndexTrait extends Trait {
/** Gets the `Output` associated type. */
pragma[nomagic]
TypeAlias getOutputType() {
result = this.getAssocItemList().getAnAssocItem() and
result.getName().getText() = "Output"
}
TypeAlias getOutputType() { result = this.(TraitItemNode).getAssocItem("Output") }
}
/**