Arthur Baars
|
f093c496d5
|
Rust: normalize file paths for PathResolutionConsistency.ql
|
2025-05-22 09:53:31 +02:00 |
|
Arthur Baars
|
5ee7658921
|
Rust: update DataFlowStep.expected
|
2025-05-22 09:53:23 +02:00 |
|
Arthur Baars
|
643059ed34
|
Rust: fix type-interence file paths
|
2025-05-22 09:53:13 +02:00 |
|
Arthur Baars
|
44a404571f
|
Rust: fixes
|
2025-05-22 09:53:12 +02:00 |
|
Tom Hvitved
|
456a4b2be8
|
Rust: Make dataflow/modeled pass by not using #[derive(Clone)]
|
2025-05-22 09:53:09 +02:00 |
|
Tom Hvitved
|
8996f9e61c
|
Rust: Follow-up work to make path resolution and type inference tests pass again
|
2025-05-22 09:53:03 +02:00 |
|
Geoffrey White
|
355864dd93
|
Merge branch 'main' into pin
|
2025-05-21 17:24:00 +01:00 |
|
Simon Friis Vindum
|
1828d408b7
|
Merge pull request #19549 from paldepind/rust/type-inference-operators
Rust: Type inference for non-overloadable operators
|
2025-05-21 17:25:44 +02:00 |
|
Simon Friis Vindum
|
666726c935
|
Rust: Infer types for non-overloadable operators
|
2025-05-21 13:03:23 +02:00 |
|
Simon Friis Vindum
|
0dcf15bf77
|
Rust: Add type inference tests for operators
|
2025-05-21 13:03:16 +02:00 |
|
Geoffrey White
|
053da5530f
|
Rust: Accept test changes after merge with main.
|
2025-05-21 10:17:14 +01:00 |
|
Geoffrey White
|
95289b8fc8
|
Merge branch 'main' into operations2
|
2025-05-21 09:18:51 +01:00 |
|
Geoffrey White
|
ea9531f3ea
|
Merge branch 'main' into tokio
|
2025-05-21 09:17:45 +01:00 |
|
Simon Friis Vindum
|
c68579bd0d
|
Merge pull request #19499 from paldepind/rust-bulk-model-generator
Rust: Bulk model generator
|
2025-05-20 15:30:16 +02: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
|
ca1437adf1
|
Rust: Move the getGreaterOperand/getLesserOperand predicates into RelationalOperation.
|
2025-05-20 10:19:11 +01:00 |
|
Geoffrey White
|
bc4b69bb93
|
Rust: Add ComparisonOperation library.
|
2025-05-20 10:07:48 +01:00 |
|
Simon Friis Vindum
|
eb5d4efb26
|
Merge branch 'main' into rust-ti-implementing-type-method
|
2025-05-20 09:53:51 +02: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 |
|
Simon Friis Vindum
|
654d410485
|
Rust: Address PR feedback
|
2025-05-19 15:50:29 +02:00 |
|
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 |
|