Paolo Tranquilli
|
76b1349068
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-28 13:36:48 +01:00 |
|
Geoffrey White
|
ce7a0fd094
|
Rust: Test for sinks inside sources.
|
2025-03-28 11:12:10 +00: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
|
7fc7b7cc04
|
Rust: fix CleartextLogging query
|
2025-03-27 18:38:57 +00:00 |
|
Arthur Baars
|
6dff6826f0
|
Revert "Rust: accept test changes for now"
This reverts commit bf32acc198.
|
2025-03-27 18:33:00 +00:00 |
|
Tom Hvitved
|
f6ac82aff0
|
Rust: Add more path resolution tests
|
2025-03-27 15:54:57 +01:00 |
|
Paolo Tranquilli
|
cf63dae608
|
Merge branch 'main' into redsun82/codegen-rename-dbscheme
|
2025-03-27 15:12:16 +01:00 |
|
Geoffrey White
|
9ae271a7d1
|
Rust: Fix incidentally affected test merge conflict.
|
2025-03-27 12:55:36 +00:00 |
|
Geoffrey White
|
4e496fe7b2
|
Rust: Lets just not model 'drop' incorrectly, for now.
|
2025-03-27 12:25:08 +00:00 |
|
Simon Friis Vindum
|
0d75054955
|
Rust: Implement toString on type aliases and add docs
|
2025-03-27 11:34:39 +01:00 |
|
Geoffrey White
|
8598d619f2
|
Rust: Add a test case involving a Drop method.
|
2025-03-27 09:39:25 +00: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 |
|
Geoffrey White
|
d1a0237e87
|
Rust: Correct a few details in the test.
|
2025-03-27 09:20:25 +00:00 |
|
Geoffrey White
|
c84e2cd7cb
|
Rust: Reduce the workaround (fixes duplicate results).
|
2025-03-26 15:40:45 +00:00 |
|
Geoffrey White
|
0a04191a61
|
Rust: Effect of merging main (duplicate results).
|
2025-03-26 15:06:03 +00:00 |
|
Geoffrey White
|
56f330d545
|
Merge branch 'main' into deallocation
|
2025-03-26 14:58:32 +00:00 |
|
Arthur Baars
|
bf76505880
|
Rust: address comments
|
2025-03-26 13:28:44 +01:00 |
|
Paolo Tranquilli
|
2a81cc9567
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-26 09:33:38 +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 |
|
Tom Hvitved
|
278d251dc1
|
Merge pull request #19107 from hvitved/rust/mad-argument-source
Rust: Support `Argument[x]` MaD source definitions
|
2025-03-26 09:02:06 +01:00 |
|
Geoffrey White
|
3ad4de400f
|
Merge pull request #19067 from geoffw0/convtest
Rust: Add a couple of test cases for data flow through conversions
|
2025-03-25 17:44:29 +00:00 |
|
Paolo Tranquilli
|
7cfed3c4a7
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-25 18:29:39 +01:00 |
|
Simon Friis Vindum
|
efcffc55e3
|
Merge branch 'main' into rust-ti-refactor
|
2025-03-25 15:44:39 +01:00 |
|
Anders Schack-Mulligen
|
ae47339d1a
|
Rust: Accept test changes.
|
2025-03-25 12:31:05 +01:00 |
|
Tom Hvitved
|
d6d3028e5a
|
Rust: Support Argument[x] MaD source definitions
|
2025-03-25 09:08:40 +01:00 |
|
Tom Hvitved
|
cf1b19f7c4
|
Rust: Add test for MaD argument source
|
2025-03-25 09:06:56 +01:00 |
|
Simon Friis Vindum
|
06c8963f70
|
Shared: Infer types for type parameters with contraints
|
2025-03-25 09:03:44 +01:00 |
|
Simon Friis Vindum
|
831413b5ec
|
Rust: Expand on type parameter bounds type inference test
|
2025-03-25 08:41:05 +01:00 |
|
Paolo Tranquilli
|
29b7acfddd
|
Merge pull request #19101 from github/redsun82/rust-fix-main
Rust: accept test changes for now
|
2025-03-24 16:22:04 +01:00 |
|
Tom Hvitved
|
0f1aee025c
|
Merge pull request #19051 from hvitved/rust/path-resolution-cross-crate
Rust: Path resolution improvements
|
2025-03-24 14:14:12 +01:00 |
|
Paolo Tranquilli
|
bf32acc198
|
Rust: accept test changes for now
|
2025-03-24 13:43:27 +01:00 |
|
Geoffrey White
|
e4cadf09ce
|
Rust: Don't report excessive results for the same source.
|
2025-03-24 12:12:42 +00:00 |
|
Geoffrey White
|
b7044bdcde
|
Rust: Add a test of repeat sinks.
|
2025-03-24 12:04:43 +00:00 |
|
Geoffrey White
|
f582054ca4
|
Rust: Refactor the tests that have multiple control flow paths.
|
2025-03-24 11:56:32 +00:00 |
|
Geoffrey White
|
d1ef2b50fb
|
Rust: Model futures::executor::block_on.
|
2025-03-21 16:51:10 +00:00 |
|
Paolo Tranquilli
|
04f9694f89
|
Rust: drop extraction of anonymous canonical paths
|
2025-03-21 09:47:02 +01:00 |
|
Paolo Tranquilli
|
7cf3cac24a
|
Rust: reinstate Variant as Addressable
|
2025-03-20 16:55:37 +01:00 |
|
Geoffrey White
|
91d273ad76
|
Rust: I think these generated models are correct. Accept them.
|
2025-03-20 15:52:08 +00:00 |
|
Paolo Tranquilli
|
ea11b08f28
|
Rust: rerun code generation
|
2025-03-20 16:51:35 +01:00 |
|
Geoffrey White
|
98690f924a
|
Rust: Incidental changes to other .expected files.
|
2025-03-20 15:39:03 +00:00 |
|
Simon Friis Vindum
|
b2fc4f80fb
|
Rust: Adjustments to type inference
|
2025-03-20 16:38:06 +01:00 |
|
Paolo Tranquilli
|
12214b65a4
|
Rust: add forgotten expected file
|
2025-03-20 16:35:56 +01:00 |
|
Arthur Baars
|
b10a296a93
|
Rust: add more path-injection sinks
|
2025-03-20 16:30:47 +01:00 |
|
Paolo Tranquilli
|
b48d9a255e
|
Rust: undo rename of Path::segment to Path::part
|
2025-03-20 16:30:35 +01:00 |
|
Geoffrey White
|
5831c446d3
|
Rust: Add test cases for another situation I came across.
|
2025-03-20 14:26:15 +00:00 |
|
Geoffrey White
|
019fcbfbf9
|
Rust: Add qhelp examples, and add them as tests.
|
2025-03-20 14:26:13 +00:00 |
|
Geoffrey White
|
7ceb76441a
|
Rust: Improve the source to account for conversions.
|
2025-03-20 14:26:10 +00:00 |
|
Geoffrey White
|
be6d0d1f86
|
Rust: Work around data flow source issue.
|
2025-03-20 14:26:09 +00:00 |
|
Geoffrey White
|
dcd016f5be
|
Rust: Initial version of the query.
|
2025-03-20 14:26:06 +00:00 |
|