Tom Hvitved
|
ad64e04475
|
Merge pull request #19737 from hvitved/rust/type-inference-string-str-deref
Rust: Model `String` -> `str` implicit conversion in type inference
|
2025-06-13 13:09:24 +02:00 |
|
Paolo Tranquilli
|
ff9ac3bb6f
|
Rust: accept test changes
|
2025-06-13 11:56:12 +02:00 |
|
Tom Hvitved
|
66c0ff61bb
|
Rust: Model String -> str implicit conversion in type inference
|
2025-06-13 11:32:23 +02:00 |
|
Tom Hvitved
|
3d18e3ea8f
|
Rust: Use hasImplementation in path resolution
|
2025-06-13 08:44:44 +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 |
|
Paolo Tranquilli
|
97c2dfe23f
|
Rust: fix tests
|
2025-06-11 17:32:43 +02:00 |
|
Paolo Tranquilli
|
051704e59d
|
Merge branch 'main' into redsun82/rust-mad
|
2025-06-11 16:39:10 +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 |
|
Paolo Tranquilli
|
4ac4e44b50
|
Rust: accept test changes
|
2025-06-10 14:45:57 +02:00 |
|
Paolo Tranquilli
|
0d036992e0
|
Merge branch 'main' into redsun82/mad
|
2025-06-10 13:39:10 +02:00 |
|
Tom Hvitved
|
c6efc05de1
|
Rust: Reimplement type inference for impl Traits and await expressions
|
2025-06-10 12:39: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 |
|
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 |
|
Paolo Tranquilli
|
5f474a7185
|
Rust: Use QL computed canonical paths in MaD Field tokens
Also regenerate all auto-generated models with latest extractor.
|
2025-06-04 09:43:45 +02:00 |
|
Tom Hvitved
|
3fa308e723
|
Rust: Also take the std prelude into account when resolving paths
|
2025-05-28 16:57:19 +02:00 |
|
Geoffrey White
|
5df50c0b14
|
Merge pull request #19470 from geoffw0/moresensitive
Rust: Recognize more sensitive data sources
|
2025-05-27 17:34:58 +01:00 |
|
Simon Friis Vindum
|
52280625ee
|
Rust: Add type inference inconsistency counts to the stats summary
|
2025-05-27 12:43:34 +02:00 |
|
Simon Friis Vindum
|
ba4950fb89
|
Rust: Accept test changes
|
2025-05-27 09:35:40 +02:00 |
|
Paolo Tranquilli
|
add3c941a2
|
Merge branch 'main' into redsun82/rust-macro
|
2025-05-26 11:47:58 +02:00 |
|
Arthur Baars
|
5b28ff1116
|
Merge branch 'main' into aibaars/rust-extract-libs
|
2025-05-23 22:05:29 +02:00 |
|
Paolo Tranquilli
|
31b48e18e6
|
Rust: fix BadCtorInitialization test
|
2025-05-23 12:01:14 +02:00 |
|
Geoffrey White
|
9ac24c7f4f
|
Merge branch 'main' into moresensitive
|
2025-05-22 16:11:12 +01:00 |
|
Arthur Baars
|
a4788fd816
|
Rust: update expected output
|
2025-05-22 13:36:38 +02:00 |
|
Arthur Baars
|
f093c496d5
|
Rust: normalize file paths for PathResolutionConsistency.ql
|
2025-05-22 09:53:31 +02:00 |
|
Arthur Baars
|
e90ab7b881
|
Rust: fix diagnostics tests
|
2025-05-22 09:53:27 +02:00 |
|
Arthur Baars
|
457632e10e
|
Rust: update UncontrolledAllocationSize.expected
|
2025-05-22 09:53:24 +02:00 |
|
Geoffrey White
|
e96e39c3d3
|
Rust: Model log_err.
|
2025-05-20 17:51:15 +01:00 |
|
Geoffrey White
|
e5af459787
|
Rust: Correct what we're testing here.
|
2025-05-20 17:30:49 +01:00 |
|
Geoffrey White
|
355e440fdf
|
Rust: Make the new test cases work.
|
2025-05-20 15:25:14 +01:00 |
|