Simon Friis Vindum
|
f4ff815253
|
Rust: Add additional type inference tests
|
2025-05-19 15:12:38 +02:00 |
|
Geoffrey White
|
65456b5cf0
|
Merge branch 'main' into moresensitive
|
2025-05-19 11:54:46 +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
|
9d37597461
|
Address review comments
|
2025-05-14 20:50:40 +02:00 |
|
Tom Hvitved
|
a02bf182c5
|
Rust: Type inference and path resolution for builtins
|
2025-05-13 21:29:32 +02:00 |
|
Tom Hvitved
|
9db38bcb23
|
Rust: Update path resolution tests
|
2025-05-13 21:26:50 +02:00 |
|
Paolo Tranquilli
|
a99556e021
|
Merge branch 'main' into redsun82/rust-expand-attr-macros
|
2025-05-13 16:21:29 +02:00 |
|
Tom Hvitved
|
d37787c4ae
|
Rust: Add type inference tests for literals
|
2025-05-13 16:07:43 +02:00 |
|
Geoffrey White
|
20a012d5f1
|
Merge pull request #19454 from geoffw0/deref
Rust: Add Operation class
|
2025-05-13 13:17:14 +01: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 |
|
Geoffrey White
|
b907cfe468
|
Rust: Add a few more test cases involving 'map'.
|
2025-05-12 12:31:01 +01:00 |
|
Geoffrey White
|
0a3275e0b3
|
Rust: One more test case.
|
2025-05-12 11:50:57 +01:00 |
|
Simon Friis Vindum
|
7bd1612b69
|
Rust: Use getStaticTarget in type inference test
This fixes a test failure where duplicated functions from extraction caused a bunch of spurious results to pop up
|
2025-05-12 12:47:48 +02:00 |
|
Simon Friis Vindum
|
bc8580159c
|
Merge branch 'main' into rust-ti-implementing-type-method
|
2025-05-12 11:35:48 +02: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
|
5f5d6f679a
|
Rust: Understand sensitive enum variants calls.
|
2025-05-09 11:58:51 +01:00 |
|
Geoffrey White
|
0f36e1d625
|
Rust: Understand sensitive qualifier expressions.
|
2025-05-09 11:26:23 +01:00 |
|
Geoffrey White
|
a537197691
|
Rust: Understand sensitive field access expressions.
|
2025-05-09 11:04:38 +01:00 |
|
Geoffrey White
|
8825eefea6
|
Rust: More counterexamples for sensitive data as well.
|
2025-05-09 10:50:12 +01:00 |
|
Geoffrey White
|
87218cb6d7
|
Rust: Test more examples of sensitive data.
|
2025-05-09 10:50:11 +01: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 |
|
Geoffrey White
|
dc1b4fcf7a
|
Rust: Unify getOperatorName() methods into Operation.
|
2025-05-02 16:46:51 +01:00 |
|
Geoffrey White
|
be2017621f
|
Rust: Unify getAnOperand() methods into Operation.
|
2025-05-02 16:46:50 +01:00 |
|
Geoffrey White
|
060d5152c4
|
Rust: Add an Operation class above LogicalOperation, AssignmentOperation etc.
|
2025-05-02 16:46:44 +01: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 |
|
Geoffrey White
|
f64e86fe2e
|
Rust: Add a library test for Operations.
|
2025-05-02 11:22:48 +01: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 |
|