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 |
|
Geoffrey White
|
3b40a5875a
|
Rust: Add test cases (generated by LLM).
|
2025-05-20 15:21:32 +01:00 |
|
Simon Friis Vindum
|
654d410485
|
Rust: Address PR feedback
|
2025-05-19 15:50:29 +02:00 |
|
Geoffrey White
|
65456b5cf0
|
Merge branch 'main' into moresensitive
|
2025-05-19 11:54:46 +01:00 |
|
Geoffrey White
|
f04d6fd8c8
|
Rust: Accept minor test changes for the cleartext logging query.
|
2025-05-12 17:45:00 +01:00 |
|
Simon Friis Vindum
|
bc8580159c
|
Merge branch 'main' into rust-ti-implementing-type-method
|
2025-05-12 11:35:48 +02:00 |
|
Geoffrey White
|
d02d5c5baf
|
Rust: Update cleartext logging test with new found results.
|
2025-05-09 14:33:26 +01:00 |
|
Arthur Baars
|
9b0854edb1
|
Merge pull request #19335 from github/aibaars/macro-stmts
Rust: make MacroStmts expressions
|
2025-05-03 11:22:15 +02:00 |
|