We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9c3e362 commit 01c6966Copy full SHA for 01c6966
rust/ql/lib/codeql/rust/frameworks/Poem.qll
@@ -4,18 +4,14 @@
4
5
private import rust
6
private import codeql.rust.Concepts
7
-private import codeql.rust.dataflow.DataFlow
8
-private import codeql.rust.internal.TypeInference
9
-private import codeql.rust.internal.Type
10
11
/**
12
* Parameters of a handler function
13
*/
14
private class PoemHandlerParam extends RemoteSource::Range {
15
PoemHandlerParam() {
16
- exists(TupleStructPat param, Type t |
+ exists(TupleStructPat param |
17
this.asPat().getPat() = param.getAField() and
18
- t = inferType(param) and
19
param.getStruct().getCanonicalPath() = ["poem::web::query::Query", "poem::web::path::Path"]
20
)
21
}
0 commit comments