Skip to content

Commit a753b7a

Browse files
paldepindpaldepind
committed
Rust: Add models for Axum
1 parent 8325a6b commit a753b7a

File tree

4 files changed

+500
-118
lines changed

4 files changed

+500
-118
lines changed

‎rust/ql/lib/codeql/rust/frameworks/axum.model.yml‎

Lines changed: 59 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/rust-all
4+
extensible: sourceModel
5+
data:
6+
# Get
7+
- ["axum::routing::method_routing::get", "Argument[0].Parameter[0..7]", "remote", "manual"]
8+
- ["axum::routing::method_routing::get", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
9+
- ["axum::routing::method_routing::get", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
10+
- ["axum::routing::method_routing::get", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
11+
- ["<axum::routing::method_routing::MethodRouter>::get", "Argument[0].Parameter[0..7]", "remote", "manual"]
12+
- ["<axum::routing::method_routing::MethodRouter>::get", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
13+
- ["<axum::routing::method_routing::MethodRouter>::get", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
14+
- ["<axum::routing::method_routing::MethodRouter>::get", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
15+
# Post
16+
- ["axum::routing::method_routing::post", "Argument[0].Parameter[0..7]", "remote", "manual"]
17+
- ["axum::routing::method_routing::post", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
18+
- ["axum::routing::method_routing::post", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
19+
- ["axum::routing::method_routing::post", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
20+
- ["<axum::routing::method_routing::MethodRouter>::post", "Argument[0].Parameter[0..7]", "remote", "manual"]
21+
- ["<axum::routing::method_routing::MethodRouter>::post", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
22+
- ["<axum::routing::method_routing::MethodRouter>::post", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
23+
- ["<axum::routing::method_routing::MethodRouter>::post", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
24+
# Put
25+
- ["axum::routing::method_routing::put", "Argument[0].Parameter[0..7]", "remote", "manual"]
26+
- ["axum::routing::method_routing::put", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
27+
- ["axum::routing::method_routing::put", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
28+
- ["axum::routing::method_routing::put", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
29+
- ["<axum::routing::method_routing::MethodRouter>::put", "Argument[0].Parameter[0..7]", "remote", "manual"]
30+
- ["<axum::routing::method_routing::MethodRouter>::put", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
31+
- ["<axum::routing::method_routing::MethodRouter>::put", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
32+
- ["<axum::routing::method_routing::MethodRouter>::put", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
33+
# Delete
34+
- ["axum::routing::method_routing::delete", "Argument[0].Parameter[0..7]", "remote", "manual"]
35+
- ["axum::routing::method_routing::delete", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
36+
- ["axum::routing::method_routing::delete", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
37+
- ["axum::routing::method_routing::delete", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
38+
- ["<axum::routing::method_routing::MethodRouter>::delete", "Argument[0].Parameter[0..7]", "remote", "manual"]
39+
- ["<axum::routing::method_routing::MethodRouter>::delete", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
40+
- ["<axum::routing::method_routing::MethodRouter>::delete", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
41+
- ["<axum::routing::method_routing::MethodRouter>::delete", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
42+
# Patch
43+
- ["axum::routing::method_routing::patch", "Argument[0].Parameter[0..7]", "remote", "manual"]
44+
- ["axum::routing::method_routing::patch", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
45+
- ["axum::routing::method_routing::patch", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
46+
- ["axum::routing::method_routing::patch", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
47+
- ["<axum::routing::method_routing::MethodRouter>::patch", "Argument[0].Parameter[0..7]", "remote", "manual"]
48+
- ["<axum::routing::method_routing::MethodRouter>::patch", "Argument[0].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
49+
- ["<axum::routing::method_routing::MethodRouter>::patch", "Argument[0].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
50+
- ["<axum::routing::method_routing::MethodRouter>::patch", "Argument[0].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
51+
# on
52+
- ["axum::routing::method_routing::on", "Argument[1].Parameter[0..7]", "remote", "manual"]
53+
- ["axum::routing::method_routing::on", "Argument[1].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
54+
- ["axum::routing::method_routing::on", "Argument[1].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
55+
- ["axum::routing::method_routing::on", "Argument[1].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]
56+
- ["<axum::routing::method_routing::MethodRouter>::on", "Argument[1].Parameter[0..7]", "remote", "manual"]
57+
- ["<axum::routing::method_routing::MethodRouter>::on", "Argument[1].Parameter[0..7].Field[axum::json::Json(0)]", "remote", "manual"]
58+
- ["<axum::routing::method_routing::MethodRouter>::on", "Argument[1].Parameter[0..7].Field[axum::extract::path::Path(0)]", "remote", "manual"]
59+
- ["<axum::routing::method_routing::MethodRouter>::on", "Argument[1].Parameter[0..7].Field[axum::extract::query::Query(0)]", "remote", "manual"]

0 commit comments

Comments
 (0)