Paolo Tranquilli
|
bea5381420
|
Rust: replace last hand-written instances of Field[crate::
|
2025-06-11 16:48:39 +02:00 |
|
Paolo Tranquilli
|
051704e59d
|
Merge branch 'main' into redsun82/rust-mad
|
2025-06-11 16:39:10 +02:00 |
|
Tom Hvitved
|
18392a07ce
|
Rust: Also apply adjustedAccessType in RelevantAccess
|
2025-06-11 15:00:35 +02:00 |
|
Tom Hvitved
|
133aca0773
|
Rust: Simple type inference for index expressions
|
2025-06-11 13:15:21 +02:00 |
|
Tom Hvitved
|
301bd44a4c
|
Rust: Add type inference tests for index expressions
|
2025-06-11 13:08:59 +02:00 |
|
Simon Friis Vindum
|
75caa182f5
|
Merge pull request #19724 from github/rust/type-inference-borrow
Rust: Implement type inference for ref expression as type equality
|
2025-06-11 12:36:43 +02:00 |
|
Paolo Tranquilli
|
fbcd9eaf09
|
Merge pull request #19674 from github/redsun82/mad
Rust: regenerate MaD files using DCA
|
2025-06-11 11:10:08 +02:00 |
|
Geoffrey White
|
ecac0dbe69
|
Rust: Accept consistency check failures.
|
2025-06-11 08:52:52 +01:00 |
|
Simon Friis Vindum
|
01701de4a7
|
Rust: Implement type inference for ref expression as type equality
|
2025-06-11 09:09:22 +02:00 |
|
Simon Friis Vindum
|
8f5d9d7702
|
Rust: Add type inference tests for borrowing
|
2025-06-11 08:40:15 +02:00 |
|
Geoffrey White
|
652d32d4ff
|
Merge pull request #19626 from geoffw0/futures
Rust: Model futures-io, rustls, futures-rustls
|
2025-06-10 15:23:43 +01:00 |
|
Paolo Tranquilli
|
8f0f2006a8
|
Merge pull request #19708 from github/redsun82/rust-getArg-getParam
Rust: add `Callable::getParam` and `CallExprBase::getArg` shortcuts
|
2025-06-10 15:31:05 +02:00 |
|
Geoffrey White
|
fd2154d389
|
Merge branch 'main' into futures
|
2025-06-10 14:16:06 +01:00 |
|
Tom Hvitved
|
791369dd0e
|
Merge pull request #19584 from hvitved/rust/type-inference-await
Rust: Type inference for `.await` expressions
|
2025-06-10 14:56:28 +02:00 |
|
Paolo Tranquilli
|
4ac4e44b50
|
Rust: accept test changes
|
2025-06-10 14:45:57 +02:00 |
|
Geoffrey White
|
918fa3684f
|
Merge branch 'main' into futures
|
2025-06-10 13:24:09 +01:00 |
|
Paolo Tranquilli
|
0d036992e0
|
Merge branch 'main' into redsun82/mad
|
2025-06-10 13:39:10 +02:00 |
|
Paolo Tranquilli
|
3562c48068
|
Merge branch 'main' into redsun82/rust-getArg-getParam
|
2025-06-10 13:15:37 +02:00 |
|
Paolo Tranquilli
|
3af10d2c6c
|
Merge pull request #19710 from github/redsun82/rust-fix-crate-graph-test
Rust: fix crate graph test
|
2025-06-10 13:15:22 +02:00 |
|
Tom Hvitved
|
c6efc05de1
|
Rust: Reimplement type inference for impl Traits and await expressions
|
2025-06-10 12:39:20 +02:00 |
|
Tom Hvitved
|
f2832712bc
|
Rust: Add more type inference tests
|
2025-06-10 12:38:40 +02:00 |
|
Tom Hvitved
|
821f2fd681
|
Rust: Type inference for .await expressions
|
2025-06-10 12:38:39 +02:00 |
|
Tom Hvitved
|
e6109cfcf1
|
Rust: Add type inference tests for impl Trait
|
2025-06-10 12:38:38 +02:00 |
|
Tom Hvitved
|
c32e05cc8a
|
Rust: Add async type inference tests
|
2025-06-10 12:38:37 +02:00 |
|
Paolo Tranquilli
|
6f25d7e35e
|
Rust: fix crate graph test
|
2025-06-10 11:57:20 +02:00 |
|
Paolo Tranquilli
|
e6056f9dfc
|
Update rust/ql/test/query-tests/security/CWE-770/main.rs
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-06-10 10:52:18 +02:00 |
|
Paolo Tranquilli
|
a405a12e93
|
Rust: add Callable::getParam and CallExprBase::getArg shortcuts
|
2025-06-10 09:51:26 +02:00 |
|
Geoffrey White
|
a9d5d8b2b3
|
Rust: Accept the new alert message in tests.
|
2025-06-09 19:14:14 +01:00 |
|
Geoffrey White
|
b3330b5636
|
Rust: Allow parameter accesses as sources.
|
2025-06-09 17:58:42 +01:00 |
|
Geoffrey White
|
d3d0a533b5
|
Rust: Add test showing yet another spurious result.
|
2025-06-09 17:58:41 +01:00 |
|
Geoffrey White
|
858eec390d
|
Rust: Exclude results where the source is a reference.
|
2025-06-09 17:58:40 +01:00 |
|
Geoffrey White
|
7bae451af3
|
Rust: Exclude results in macro invocations.
|
2025-06-09 17:58:38 +01:00 |
|
Geoffrey White
|
26f85585fd
|
Rust: Add qhelp, examples, and examples as tests.
|
2025-06-09 17:58:37 +01:00 |
|
Geoffrey White
|
fe20fb403d
|
Rust: More robust fix for closures.
|
2025-06-09 16:41:31 +01:00 |
|
Geoffrey White
|
21b4baeb42
|
Rust: Have the alert message cite the variable, so it's easier to understand whether the alert is correct.
|
2025-06-09 10:28:25 +01:00 |
|
Geoffrey White
|
79f8584efb
|
Rust: Fix spurious results involving closures.
|
2025-06-09 10:25:48 +01:00 |
|
Geoffrey White
|
bf4ea02dd2
|
Rust: Implement the query.
|
2025-06-09 10:25:40 +01:00 |
|
Geoffrey White
|
96dc34e36d
|
Rust: Even more test cases (inspired by real world results).
|
2025-06-05 16:29:58 +01:00 |
|
Paolo Tranquilli
|
e1eb1f6345
|
Rust: address review
Also fix some minor things in `bulk_generate_mad.py`.
|
2025-06-05 16:03:40 +02:00 |
|
Geoffrey White
|
66c1e2cace
|
Rust: Add test cases for implicit dereferences and more pointer/enum mixes (inspired by early real world results).
|
2025-06-05 10:37:30 +01:00 |
|
Geoffrey White
|
e2fb1d3892
|
Rust: Add test cases involving lifetimes + lifetime annotations.
|
2025-06-05 10:37:29 +01:00 |
|
Geoffrey White
|
ae19ecc674
|
Rust: Add test cases involving lifetimes + closures and async blocks.
|
2025-06-05 10:37:28 +01:00 |
|
Geoffrey White
|
43cb98ad15
|
Rust: Fix some warnings in the existing test.
|
2025-06-05 10:37:27 +01:00 |
|
Geoffrey White
|
8e8374b9bc
|
Rust: Label source annotations in the test properly.
|
2025-06-05 10:37:26 +01:00 |
|
Geoffrey White
|
da4fbfb449
|
Rust: Placeholder new query.
|
2025-06-05 10:37:25 +01:00 |
|
Paolo Tranquilli
|
6162cf5dbb
|
Rust: accept test changes
|
2025-06-05 10:52:59 +02:00 |
|
Tom Hvitved
|
721ffb11cf
|
Rust: Path resolution for extern crates
|
2025-06-04 21:14:22 +02:00 |
|
Tom Hvitved
|
4fb4bfd6cf
|
Rust: Add path resolution test for extern crate
|
2025-06-04 21:13:29 +02:00 |
|
Tom Hvitved
|
76c6d7104d
|
Merge pull request #19669 from hvitved/rust/external-location-post-processing
Rust: Remove external locations in tests using post-processing
|
2025-06-04 16:52:40 +02:00 |
|
Arthur Baars
|
189c16b7bc
|
Merge pull request #19630 from github/aibaars/qldoc-ast
Rust: add documentation for AST nodes
|
2025-06-04 16:04:56 +02:00 |
|