Geoffrey White
|
784ccb740b
|
Rust: Define Rust queries and extensions more consistently.
|
2025-04-04 18:17:16 +01:00 |
|
Geoffrey White
|
1acbdbaaa2
|
Rust: Make all query sinks extend QuerySink::Range and import them into Stats.qll (this ensures that sink statistics are complete).
|
2025-04-04 18:02:59 +01:00 |
|
Geoffrey White
|
c783549b5c
|
Merge branch 'main' into blockon
|
2025-04-04 17:35:00 +01:00 |
|
Geoffrey White
|
8e7e162ebc
|
Merge branch 'main' into badalloc
|
2025-04-04 17:09:50 +01:00 |
|
Geoffrey White
|
49c2f97cc8
|
Merge pull request #19180 from geoffw0/lessnoise
Rust: Reduce CI noise from the SummaryStats query
|
2025-04-04 16:51:30 +01:00 |
|
Tom Hvitved
|
006cb024de
|
Merge pull request #19217 from hvitved/rust/macro-expansion-inherit-location
Rust: Use macro call location as fall back in macro expansions
|
2025-04-04 16:25:45 +02:00 |
|
Geoffrey White
|
d47e925e85
|
Rust: Delete empty .expected files.
|
2025-04-04 14:43:24 +01:00 |
|
Geoffrey White
|
65974544a3
|
Merge remote-tracking branch 'upstream/main' into lessnoise
|
2025-04-04 13:58:29 +01:00 |
|
Geoffrey White
|
64ee6c5c02
|
Merge branch 'main' into lessnoise
|
2025-04-04 13:51:31 +01:00 |
|
Geoffrey White
|
e9971ffb94
|
Rust: Change the ID of the new query.
|
2025-04-04 13:50:28 +01:00 |
|
Tom Hvitved
|
8b6c8d7174
|
Rust: Minor path resolution fix for ($)crate paths
|
2025-04-04 14:44:39 +02:00 |
|
Geoffrey White
|
dc31da82d0
|
Rust: Fix file name typo.
|
2025-04-04 13:42:29 +01:00 |
|
Geoffrey White
|
24a4aad120
|
Rust: Accept consistency check fixes following merge with main.
|
2025-04-04 12:11:25 +01:00 |
|
Geoffrey White
|
8b23945417
|
Merge branch 'main' into deallocation
|
2025-04-04 12:06:50 +01:00 |
|
Tom Hvitved
|
6f704f088e
|
Merge pull request #19157 from hvitved/rust/path-resolution-prelude
Rust: Take prelude into account when resolving paths
|
2025-04-04 13:06:31 +02:00 |
|
Tom Hvitved
|
ffca52e5c0
|
Merge pull request #19195 from hvitved/rust/post-with-flow-in-exclude
Rust: Add another disjunct to `postWithInFlowExclude`
|
2025-04-04 12:41:30 +02:00 |
|
Tom Hvitved
|
b115f3f5e9
|
Update rust/ql/lib/codeql/rust/internal/PathResolution.qll
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-04-04 11:39:06 +02:00 |
|
Tom Hvitved
|
5731fa91f3
|
Rust: Use macro call location as fall back in macro expansions
|
2025-04-04 11:38:10 +02:00 |
|
Geoffrey White
|
44b26e5ae6
|
Rust: Change the test copy of the example as well.
|
2025-04-04 09:54:41 +01:00 |
|
Geoffrey White
|
f96b00a62a
|
Update rust/ql/src/queries/security/CWE-770/UncontrolledAllocationSizeGood.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-04-04 09:53:13 +01:00 |
|
Simon Friis Vindum
|
77e1b231a6
|
Rust: Handle associated types in trait methods
|
2025-04-04 10:24:55 +02:00 |
|
Simon Friis Vindum
|
f9ff92a705
|
Rust: Expand on type inference tests for associated types
|
2025-04-04 10:16:09 +02:00 |
|
Tom Hvitved
|
f4e9382622
|
Rust: Take prelude into account when resolving paths
|
2025-04-03 16:07:26 +02:00 |
|
Tom Hvitved
|
4b3816e14e
|
Rust: Variants inherit visibility from their parent enum
|
2025-04-03 16:05:12 +02:00 |
|
Tom Hvitved
|
f09c3c5813
|
Rust: Handle self enum/struct uses
|
2025-04-03 16:05:11 +02:00 |
|
Tom Hvitved
|
3bfb4fbd8d
|
Rust: More path resolution tests
|
2025-04-03 16:05:09 +02:00 |
|
Simon Friis Vindum
|
a1d36c0501
|
Rust: Implement support for inference of type aliases
|
2025-04-03 15:18:15 +02:00 |
|
Simon Friis Vindum
|
e7027f0979
|
Rust: Add type inference tests for type aliases
|
2025-04-03 15:13:19 +02:00 |
|
Simon Friis Vindum
|
e6c7ad8ee0
|
Rust: Add comment as suggested in review
|
2025-04-03 14:34:23 +02:00 |
|
Simon Friis Vindum
|
a53f664e85
|
Rust: Fix bad join
|
2025-04-03 14:33:02 +02:00 |
|
Simon Friis Vindum
|
d5d61dd8b3
|
Rust: Add inline expectations test for type inference
|
2025-04-03 12:49:34 +02:00 |
|
Simon Friis Vindum
|
b0c40111e7
|
Rust: Tweaks to stringification
|
2025-04-03 12:45:08 +02:00 |
|
Simon Friis Vindum
|
52660fa57d
|
Merge pull request #19149 from paldepind/rust-ti-self-param
Rust: Make trait a base type mention of the self type parameter
|
2025-04-03 08:44:09 +02:00 |
|
Tom Hvitved
|
a01b211f79
|
Merge pull request #19185 from hvitved/rust/ssa-capture-psudeo-read-dominate
Rust: Fix `capturedCallRead`
|
2025-04-02 19:16:55 +02:00 |
|
Simon Friis Vindum
|
001735bfb8
|
Rust: Take internal IDs of a smaller class
|
2025-04-02 15:39:58 +02:00 |
|
Geoffrey White
|
fbde235253
|
Rust: Rename the test as well.
|
2025-04-02 12:16:10 +01:00 |
|
Geoffrey White
|
02245af3ca
|
Rust: Rename the query file.
|
2025-04-02 12:11:55 +01:00 |
|
Geoffrey White
|
9fc0ee185b
|
Rust: Change the query ID to rust/summary/summary-statistics-reduced.
|
2025-04-02 12:03:20 +01:00 |
|
Tom Hvitved
|
8663f3b8b2
|
Rust: Add another disjunct to postWithInFlowExclude
|
2025-04-02 12:32:28 +02:00 |
|
Geoffrey White
|
c737ee9b52
|
Rust: Accept another consistency check failure.
|
2025-04-02 10:58:56 +01:00 |
|
Anders Schack-Mulligen
|
47b1c3d3ce
|
Merge pull request #19154 from aschackmull/ssa/variablecapture
Ssa: Replace phi-read references in VariableCapture with default use-use flow
|
2025-04-02 10:16:17 +02:00 |
|
Geoffrey White
|
1d7dac485e
|
Rust: switch the query to taint flow so that we get taint through conversions (without needing a special case).
|
2025-04-01 17:57:04 +01:00 |
|
Tom Hvitved
|
ffb25b7aac
|
Merge pull request #19162 from hvitved/rust/to-string-non-rec
Rust: Make `Element.toString` non-recursive
|
2025-04-01 15:31:18 +02:00 |
|
Arthur Baars
|
0e23b86bf5
|
Merge pull request #19182 from github/post-release-prep/codeql-cli-2.21.0
Post-release preparation for codeql-cli-2.21.0
|
2025-04-01 15:12:29 +02:00 |
|
Tom Hvitved
|
dcaeeabad8
|
Rust: Fix capturedCallRead
|
2025-04-01 15:11:20 +02:00 |
|
Tom Hvitved
|
9dea9f5046
|
SSA: Make phiWithoutTwoPriorRefs consistency check more informative
|
2025-04-01 15:07:46 +02:00 |
|
Tom Hvitved
|
01810cbac9
|
Rust: Update PhiDefinition.toString
|
2025-04-01 14:59:05 +02:00 |
|
Simon Friis Vindum
|
8acf9ceef4
|
Rust: Make trait a base type mention of the self type parameter
|
2025-04-01 14:04:46 +02:00 |
|
github-actions[bot]
|
10205cb990
|
Post-release preparation for codeql-cli-2.21.0
|
2025-04-01 11:30:43 +00:00 |
|
Arthur Baars
|
1d49252c03
|
Rust: QLTest: delete Cargo.lock files
|
2025-04-01 12:38:57 +02:00 |
|