Commit Graph

442 Commits

Author SHA1 Message Date
Geoffrey White
ea9531f3ea Merge branch 'main' into tokio 2025-05-21 09:17:45 +01:00
Geoffrey White
bfb15cd88f Rust: Accept changes to other tests. 2025-05-20 11:13:00 +01:00
Geoffrey White
204260e244 Rust: Uncomment calls to test functions. 2025-05-20 10:59:23 +01:00
Geoffrey White
94b57ac9a9 Update rust/ql/test/library-tests/dataflow/modeled/main.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
2025-05-19 21:49:02 +01:00
Geoffrey White
ebd75a118b Rust: Add models for std::Pin. 2025-05-19 18:38:50 +01:00
Geoffrey White
533aa7fc26 Rust: Add tests for std::Pin. 2025-05-19 18:38:20 +01:00
Geoffrey White
d20a602aab Rust: Accept consistency check failures. 2025-05-19 11:07:37 +01:00
Geoffrey White
b58b2500ee Merge branch 'main' into tokio 2025-05-19 10:42:28 +01:00
Simon Friis Vindum
41e76e20b5 Rust: Add models auto-generated in bulk 2025-05-16 14:08:16 +02:00
Tom Hvitved
60cc63f4d4 Merge pull request #19474 from hvitved/rust/builtins-resolution
Rust: Type inference and path resolution for builtins
2025-05-15 15:22:32 +02:00
Tom Hvitved
a02bf182c5 Rust: Type inference and path resolution for builtins 2025-05-13 21:29:32 +02:00
Paolo Tranquilli
a99556e021 Merge branch 'main' into redsun82/rust-expand-attr-macros 2025-05-13 16:21:29 +02:00
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
Paolo Tranquilli
557f468fc0 Merge branch 'main' into redsun82/rust-expand-attr-macros 2025-05-02 13:43:17 +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
Geoffrey White
3789c46791 Rust: Remove stray comment, accept changes to another test. 2025-05-01 15:40:32 +01:00
Geoffrey White
e263116452 Rust: Model std::net and tokio::net. 2025-05-01 14:25:44 +01:00
Geoffrey White
038b8b5344 Rust: Add a missing model for std::io. 2025-05-01 13:04:18 +01:00
Geoffrey White
3104dba09e Rust: Fix some shortcomings in our models of Reqwest. 2025-05-01 13:04:17 +01:00
Geoffrey White
f4ae211019 Rust: Add models for tokio (fs). 2025-05-01 13:04:16 +01:00
Geoffrey White
7439b0c504 Rust: Add models for tokio (io). 2025-05-01 13:04:15 +01:00
Geoffrey White
627496df09 Rust: Add source tests for tokio (fs). 2025-05-01 13:04:13 +01:00
Geoffrey White
b2339ef0d9 Rust: Add some alternative sinks. 2025-05-01 13:04:12 +01:00
Geoffrey White
950812b463 Rust: Add further source tests for tcp streams. 2025-05-01 13:04:06 +01: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
Paolo Tranquilli
8ffe4d6593 Merge branch 'main' into redsun82/rust-expand-attr-macros 2025-04-30 15:25:32 +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
Paolo Tranquilli
adeaceb7af Rust: accept test changes 2025-04-25 17:41:13 +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
38397195a2 Rust: Add further source test cases for tokio. 2025-04-24 11:37:44 +01:00
Geoffrey White
b57375aa91 Rust: Add source tests for tcp (std and tokio). 2025-04-24 11:25:36 +01:00
Geoffrey White
809dd20f9d Rust: Add source tests for tokio (file). 2025-04-24 11:22:52 +01:00
Geoffrey White
307424e87e Rust: Add source tests for tokio (stdin). 2025-04-24 11:14:36 +01:00