diff --git a/rust/ql/lib/codeql/rust/Frameworks.qll b/rust/ql/lib/codeql/rust/Frameworks.qll index 0e91ed427ba4..0fe436e315d9 100644 --- a/rust/ql/lib/codeql/rust/Frameworks.qll +++ b/rust/ql/lib/codeql/rust/Frameworks.qll @@ -2,6 +2,7 @@ * This file imports all models of frameworks and libraries. */ +private import codeql.rust.frameworks.Actix private import codeql.rust.frameworks.rustcrypto.RustCrypto private import codeql.rust.frameworks.Poem private import codeql.rust.frameworks.Sqlx diff --git a/rust/ql/lib/codeql/rust/frameworks/Actix.qll b/rust/ql/lib/codeql/rust/frameworks/Actix.qll new file mode 100644 index 000000000000..fe5f17f378bb --- /dev/null +++ b/rust/ql/lib/codeql/rust/frameworks/Actix.qll @@ -0,0 +1,20 @@ +/** + * Provides modeling for the `Actix` library. + */ + + private import rust + private import codeql.rust.Concepts + private import codeql.rust.dataflow.DataFlow + + /** + * Parameters of a handler function + */ + private class ActixHandlerParam extends RemoteSource::Range { + ActixHandlerParam() { + exists(TupleStructPat param | + param.getResolvedPath() = ["crate::types::query::Query"] + | + this.asPat().getPat() = param.getAField() + ) + } + } \ No newline at end of file