Simon Friis Vindum
|
5642445e1d
|
Rust: Fix canonical path for Deref trait
|
2025-06-12 11:16:25 +02:00 |
|
Simon Friis Vindum
|
18583550ae
|
Rust: Add data flow tests for operator overloading
|
2025-06-12 11:12:03 +02:00 |
|
Paolo Tranquilli
|
3c834de5be
|
Rust: fix dataflow models test
|
2025-06-12 11:04:30 +02:00 |
|
Tom Hvitved
|
d667f7d411
|
Merge pull request #19732 from hvitved/rust/builtin-canonical-paths
Rust: Generate canonical paths for builtins
|
2025-06-12 10:47:00 +02:00 |
|
Paolo Tranquilli
|
326ddd6625
|
Merge branch 'main' into redsun82/rust-mad
|
2025-06-12 09:24:44 +02:00 |
|
Paolo Tranquilli
|
a6cc94698a
|
Rust: fix inline flow test
|
2025-06-12 09:24:33 +02:00 |
|
Tom Hvitved
|
383cc5c2a7
|
Rust: Rename Bultins.qll -> Builtins.qll
|
2025-06-12 09:12:32 +02:00 |
|
Tom Hvitved
|
69e549f400
|
Rust: Generate canonical paths for builtins
|
2025-06-11 21:14:56 +02:00 |
|
Geoffrey White
|
087e666658
|
Rust: Exclude sources in macro expansions.
|
2025-06-11 18:48:23 +01:00 |
|
Geoffrey White
|
168246005c
|
Rust: Extend tests based on cases found in DCA.
|
2025-06-11 18:33:59 +01:00 |
|
Geoffrey White
|
b29deed919
|
Rust: Accept changes in an unrelated test reported by CI.
|
2025-06-11 18:09:22 +01:00 |
|
Paolo Tranquilli
|
97c2dfe23f
|
Rust: fix tests
|
2025-06-11 17:32:43 +02:00 |
|
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 |
|