Paolo Tranquilli
53503002a1
Merge branch 'main' into redsun82/rust-tweaks
2024-12-04 09:35:01 +01:00
Simon Friis Vindum
bb015cf56d
Merge branch 'main' into rust-df-closure
2024-12-04 09:25:18 +01:00
Simon Friis Vindum
f4aa3603ad
Rust: Do not consider async blocks as lambda expressions
2024-12-04 09:23:12 +01:00
Jeroen Ketema
e89f37df1a
Rust: Update expected test results
2024-12-03 19:18:52 +01:00
Simon Friis Vindum
70c60868a6
Rust: Model ? as reading from Option and Result
2024-12-03 17:01:34 +01:00
Paolo Tranquilli
8a1136ddcb
Merge branch 'main' into redsun82/rust-less-canonical-paths
2024-12-03 16:23:22 +01:00
Simon Friis Vindum
b50834aee8
Rust: Add data flow tests for question mark operator
2024-12-03 16:21:26 +01:00
Paolo Tranquilli
277c9f4087
Rust: add back getAttr to ArrayExpr
2024-12-03 16:12:56 +01:00
Paolo Tranquilli
c113503b41
Rust: fix doc typo
2024-12-03 15:18:17 +01:00
Paolo Tranquilli
353f1cafe6
Rust: distinguish [a, b] from [a; b]
...
This splits the `ArrayExpr` class into `ArrayListExpr` and `ArrayRepeatExpr`.
This uses the `synth.from_class` machinery to integrate seamlessly into the
generated code, by hiding the extracted `ArrayExpr` behind an internal class
and replacing it with a hierarchy of those two classes under a new
`ArrayExpr` class.
2024-12-03 15:09:20 +01:00
Simon Friis Vindum
cac4514eae
Rust: Add basic data flow through arrays
2024-12-03 14:15:54 +01:00
Simon Friis Vindum
3346b64e96
Rust: Add variables and data flow array tests
2024-12-03 14:14:41 +01:00
Paolo Tranquilli
ebe38bca23
Merge branch 'main' into redsun82/rust-less-canonical-paths
2024-12-03 12:19:08 +01:00
Paolo Tranquilli
952f41e17e
Rust: fix broken test
2024-12-03 12:06:39 +01:00
Paolo Tranquilli
db18d1046b
Rust: rename getTy -> getTypeRepr
2024-12-03 11:17:08 +01:00
Paolo Tranquilli
8287cdd7b3
Rust: accept test changes
2024-12-03 11:01:05 +01:00
Paolo Tranquilli
b99e234cdc
Merge branch 'main' into redsun82/rust-tweaks
2024-12-03 10:47:03 +01:00
Tom Hvitved
3c767b086b
Rust: Use canonical paths for variants in data flow
2024-12-03 10:19:33 +01:00
Simon Friis Vindum
e377a0e05a
Merge branch 'main' into rust-df-closure
2024-12-03 10:09:52 +01:00
Tom Hvitved
52dc79eb7d
Address review comments
2024-12-03 09:28:21 +01:00
Tom Hvitved
3e5f4b7f89
Rust: Add a model for unwrap
2024-12-03 09:12:01 +01:00
Tom Hvitved
fbeb6f3940
Shared: Move shared logic into FlowSummaryImpl.qll
2024-12-03 09:11:11 +01:00
Tom Hvitved
395901b8e0
Rust: Adopt shared flow summaries library
2024-12-03 09:11:06 +01:00
Simon Friis Vindum
8e2beb7410
Merge pull request #18131 from paldepind/rust-field-flow
...
Rust: Data flow through tuple and struct fields
2024-12-02 20:44:37 +01:00
Paolo Tranquilli
e89cf303e7
Rust: rename TypeRef -> TypeRepr
2024-12-02 17:58:40 +01:00
Paolo Tranquilli
4bd5cc458b
Rust: accept test changes
2024-12-02 16:07:00 +01:00
Paolo Tranquilli
c0e55a06e7
Merge branch 'main' into redsun82/rust-perf-measures
2024-12-02 15:20:42 +01:00
Paolo Tranquilli
b57a37479b
Rust: make File usable in codegen
2024-12-02 15:15:46 +01:00
Geoffrey White
0865397e29
Rust: Address nit.
2024-12-02 14:06:00 +00:00
Geoffrey White
ed22f49cdd
Rust: Make ql-for-ql happy.
2024-12-02 13:58:06 +00:00
Paolo Tranquilli
0a93a31565
Rust: accept all test changes after merge
2024-12-02 14:48:40 +01:00
Simon Friis Vindum
e1c65aae90
Rust: Tuple writes target post update node
2024-12-02 14:48:20 +01:00
Paolo Tranquilli
43eba85589
Merge branch 'main' into redsun82/rust-tweaks
2024-12-02 14:48:03 +01:00
Geoffrey White
1e656a49b0
Rust: Rewrite the query to (1) include functions and (2) minimize output.
2024-12-02 13:37:44 +00:00
Simon Friis Vindum
3420f1f43f
Address review comments, store step for tuple indexing
2024-12-02 13:27:26 +01:00
Paolo Tranquilli
2a7ce9a0ab
Rust: accept all test changes
2024-12-02 12:06:51 +01:00
Geoffrey White
4f08fdd232
Rust: Make the two cases read more similarly.
2024-12-02 09:56:32 +00:00
Geoffrey White
3e0e374783
Rust: Remove unnecessary edges.
2024-12-02 09:54:18 +00:00
Simon Friis Vindum
10be890cab
Merge pull request #18144 from paldepind/rust-df-inconsistency-no-location
...
Rust: Exclude data flow inconsistencies that stem from other inconsis…
2024-12-02 10:48:51 +01:00
Geoffrey White
4d0c53d493
Rust: Add support for transitive results via calls in the ctor query.
2024-12-02 09:46:40 +00:00
Geoffrey White
14c0bbf531
Rust: Add another test case, fix an annotation.
2024-12-02 09:34:47 +00:00
Paolo Tranquilli
e7ffddd52c
Rust: rename all *Type to *TypeRef
2024-12-02 10:13:05 +01:00
Paolo Tranquilli
99bd75c429
Rust: expand Ty in documentation
2024-12-02 09:51:15 +01:00
Paolo Tranquilli
5d3c9d050d
Rust: expand Pat in documentation
2024-12-02 09:48:10 +01:00
Paolo Tranquilli
6a8188f8eb
Rust: fix QL compilation errors after merge from main
2024-12-02 08:30:16 +01:00
Paolo Tranquilli
31775e21b7
Merge branch 'main' into redsun82/rust-less-canonical-paths
2024-12-02 08:27:05 +01:00
Paolo Tranquilli
bb83641634
Rust: accept all test changes for now
2024-12-02 08:22:51 +01:00
Paolo Tranquilli
9486e8b734
Rust: elaborate on path_to_file_id comment
...
This is a follow up to https://github.com/github/codeql/pull/18167 , addressing a
review comment from @paldepind.
2024-12-02 08:16:52 +01:00
Paolo Tranquilli
7cd344caff
Merge pull request #18167 from github/redsun82/rust-windows-flaky-test
...
Rust: fix windows flakiness
2024-11-29 22:04:20 +01:00
Geoffrey White
fbf7e0584f
Merge pull request #18129 from geoffw0/sinkmodels
...
Rust: Sink models for rust/sql-injection
2024-11-29 19:11:27 +00:00
