Geoffrey White
|
2b6e428c37
|
Merge pull request #19466 from geoffw0/web
Rust: Add tests for web frameworks as taint sources
|
2025-05-13 09:02:46 +01:00 |
|
Geoffrey White
|
7c98fa87da
|
Rust: One more bit of cleanup.
|
2025-05-12 16:34:08 +01:00 |
|
Geoffrey White
|
402a84f755
|
Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-12 16:17:26 +01:00 |
|
Geoffrey White
|
bf8cdffffa
|
Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-12 16:06:33 +01:00 |
|
Geoffrey White
|
08fcf6114f
|
Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-05-12 16:01:52 +01:00 |
|
Simon Friis Vindum
|
14ede4e0c5
|
Merge pull request #19440 from paldepind/rust-update-stdlib-models
Rust: Update generated models for core and std
|
2025-05-12 08:11:18 +02:00 |
|
Geoffrey White
|
19f86fd67f
|
Rust: Address confusing / typo'd paths.
|
2025-05-07 10:46:16 +01:00 |
|
Geoffrey White
|
49ff967465
|
Rust: Add a dataflow sources test for the Axum web fraemework.
|
2025-05-07 10:17:58 +01:00 |
|
Geoffrey White
|
e56519d959
|
Rust: Add a dataflow sources test for the Actix web fraemework.
|
2025-05-07 10:17:57 +01:00 |
|
Geoffrey White
|
310c02f1fb
|
Rust: Add a dataflow sources test for the Poem web fraemework.
|
2025-05-07 10:17:56 +01:00 |
|
Arthur Baars
|
9b0854edb1
|
Merge pull request #19335 from github/aibaars/macro-stmts
Rust: make MacroStmts expressions
|
2025-05-03 11:22:15 +02:00 |
|
Arthur Baars
|
bc35599f1a
|
Rust: rename MacroStmts to MacroBlockExpr
|
2025-05-02 16:23:02 +02:00 |
|
Arthur Baars
|
869af58c9d
|
Rust: add flow step for MacroStmts
|
2025-05-02 16:23:00 +02:00 |
|
Arthur Baars
|
9ca6706550
|
Rust: make MacroStmts a CFG Expr
|
2025-05-02 16:22:59 +02:00 |
|
Simon Friis Vindum
|
3aed1c8696
|
Merge branch 'main' into rust-update-stdlib-models
|
2025-05-02 12:54:43 +02:00 |
|
Tom Hvitved
|
73fa381dbc
|
Rust: Remove visibility check in path resolution
|
2025-05-01 17:14:49 +02:00 |
|
Tom Hvitved
|
423e2dac91
|
Rust: Strenghten the modeling of the Clone trait
|
2025-05-01 10:54:52 +02:00 |
|
Simon Friis Vindum
|
499d224c2b
|
Rust: Update generated models for core and std
|
2025-05-01 10:54:05 +02:00 |
|
Simon Friis Vindum
|
f584d22b53
|
Rust: Use type inference to insert implicit borrows and derefs
|
2025-04-30 14:43:51 +02:00 |
|
Tom Hvitved
|
64145ab98a
|
Merge pull request #19369 from hvitved/rust/crate-graph-self-param
Rust: Extract `SelfParam`s from crate graph
|
2025-04-29 21:23:27 +02:00 |
|
Tom Hvitved
|
7e205366ab
|
Rust: Adjust clone modeling
|
2025-04-25 08:49:02 +02:00 |
|
Tom Hvitved
|
6df5a1ef80
|
Rust: Extract SelfParams from crate graph
|
2025-04-24 15:30:23 +02:00 |
|
Geoffrey White
|
d6f1bd9792
|
Rust: Remove unnecessary predicate.
|
2025-04-23 11:24:29 +01:00 |
|
Geoffrey White
|
254789c89a
|
Merge pull request #19305 from geoffw0/modelnoise
Rust: Remove the noisy models output from the dataflow/local test.
|
2025-04-17 13:16:45 +01:00 |
|
Arthur Baars
|
48f9e5a96d
|
Merge pull request #19237 from github/aibaars/crate-graph-type-variables
Rust: extract generic parameters, arguments and resolve bound type variables
|
2025-04-17 13:02:41 +02:00 |
|
Geoffrey White
|
8d60e82ec0
|
Merge branch 'main' into modelnoise
|
2025-04-17 10:43:15 +01:00 |
|
Geoffrey White
|
7e108a8a29
|
Merge pull request #19310 from geoffw0/trim
Rust: Add model for str.trim
|
2025-04-17 09:48:45 +01:00 |
|
Geoffrey White
|
372ba5c9a5
|
Merge branch 'main' into modelnoise
|
2025-04-17 09:42:43 +01:00 |
|
Geoffrey White
|
9da6d9435e
|
Rust: More tests affected.
|
2025-04-16 17:41:27 +01:00 |
|
Arthur Baars
|
2f87630ded
|
Rust: update expected output
|
2025-04-15 17:18:51 +02:00 |
|
Geoffrey White
|
39a875e751
|
Rust: Make some summaries value type.
|
2025-04-15 14:46:57 +01:00 |
|
Geoffrey White
|
c561da4536
|
Merge branch 'main' into rustio
|
2025-04-15 12:29:55 +01:00 |
|
Geoffrey White
|
fea82d4d6a
|
Merge branch 'main' into trim
|
2025-04-15 12:21:48 +01:00 |
|
Geoffrey White
|
40a5db6736
|
Rust: Other tests affected.
|
2025-04-15 11:52:23 +01:00 |
|
Geoffrey White
|
bdd5717c09
|
Rust: Remove the models output from the dataflow/local test.
|
2025-04-14 16:42:20 +01:00 |
|
Geoffrey White
|
a8b552200a
|
Rust: Impact on dataflow/local test.
|
2025-04-14 15:03:04 +01:00 |
|
Geoffrey White
|
24bcd041b8
|
Rust: Add flow models for io.
|
2025-04-14 14:20:45 +01:00 |
|
Geoffrey White
|
7a9ea52bc7
|
Rust: Add source models for io.
|
2025-04-14 10:47:30 +01:00 |
|
Geoffrey White
|
4f9f550ba6
|
Rust: Add source models for fs.
|
2025-04-14 10:47:26 +01:00 |
|
Geoffrey White
|
258c1afe27
|
Rust: Add tests for std::fs sources.
|
2025-04-14 10:47:21 +01:00 |
|
Geoffrey White
|
cef3cd9b54
|
Rust: Add tests for std::io sources.
|
2025-04-14 10:47:17 +01:00 |
|
Geoffrey White
|
e2f63db96d
|
Merge branch 'main' into badalloc
|
2025-04-08 10:15:38 +01:00 |
|
Geoffrey White
|
a5883b1627
|
Rust: Accept test changes (due to added models?).
|
2025-04-04 21:45:37 +01:00 |
|
Geoffrey White
|
c783549b5c
|
Merge branch 'main' into blockon
|
2025-04-04 17:35:00 +01:00 |
|
Simon Friis Vindum
|
b0c40111e7
|
Rust: Tweaks to stringification
|
2025-04-03 12:45:08 +02:00 |
|
Anders Schack-Mulligen
|
56c46d74f9
|
Java/Rust/Swift: Accept qltest changes.
|
2025-03-31 11:44:37 +02:00 |
|
Anders Schack-Mulligen
|
0c74f21107
|
Merge pull request #19044 from aschackmull/ssa/useuse-trim
Ssa: Trim the use-use relation to skip irrelevant nodes
|
2025-03-28 11:55:34 +01:00 |
|
Arthur Baars
|
9dd7b20db7
|
Merge pull request #18960 from github/aibaars/rust-tainted-path
Rust: TaintedPath query
|
2025-03-27 10:37:36 +01:00 |
|
Tom Hvitved
|
72028c034e
|
Rust: Add reverse post-update flow steps
|
2025-03-26 09:03:18 +01:00 |
|
Tom Hvitved
|
fcb1d9433a
|
Rust: Add more data flow tests
|
2025-03-26 09:02:23 +01:00 |
|