Geoffrey White
|
ed14b37964
|
Merge branch 'main' into deallocation
|
2025-03-28 12:44:46 +00:00 |
|
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
|
5a986f5327
|
SSA: Remove empty predicates and dead code.
|
2025-03-28 12:00:38 +01:00 |
|
Anders Schack-Mulligen
|
8aedd63b9e
|
Rust: Add ssaDefHasSource.
|
2025-03-28 11:57:28 +01:00 |
|
Anders Schack-Mulligen
|
dafed9f465
|
Rust: Remove dead code.
|
2025-03-28 11:57:27 +01: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 |
|
Tom Hvitved
|
f2f5739cc7
|
Merge pull request #19123 from hvitved/rust/path-resolution-crate-non-source
Rust: Also resolve `crate` paths in non-source files
|
2025-03-28 11:45:36 +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
|
533fdcf332
|
Rust: Remove unnecessary seperator
|
2025-03-27 12:56:54 +01: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 |
|
Tamas Vajk
|
34e8318797
|
Rename the CCR query suite to code-quality
|
2025-03-27 08:36:53 +01: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 |
|
Tom Hvitved
|
284df7fcf3
|
Rust: Also resolve crate paths in non-source files
|
2025-03-26 11:29:34 +01:00 |
|
Paolo Tranquilli
|
2a81cc9567
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-26 09:33:38 +01:00 |
|
Tom Hvitved
|
f45eca77fa
|
Address review comments
|
2025-03-26 09:03:22 +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 |
|
Tom Hvitved
|
b4926475d3
|
Address review comment
|
2025-03-26 08:44:03 +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
|
d5d0274ce7
|
Java/SSA: Keep proper distinction between cached stages.
|
2025-03-25 13:43:55 +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
|
82068a262d
|
Rust: Further rephrasing.
|
2025-03-24 12:23:48 +00:00 |
|
Geoffrey White
|
363128f4ec
|
Apply suggestions from code review
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2025-03-24 12:21:51 +00: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 |
|
Tom Hvitved
|
3f1f37fd5f
|
Address review comments
|
2025-03-24 10:53:38 +01:00 |
|
Geoffrey White
|
d1ef2b50fb
|
Rust: Model futures::executor::block_on.
|
2025-03-21 16:51:10 +00:00 |
|