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 |
|
Paolo Tranquilli
|
6cb0866d0f
|
Revert "Rust: test running windows flaky test multiple times"
This reverts commit 90fa3ec4ed.
|
2024-11-29 17:41:49 +01:00 |
|
Paolo Tranquilli
|
488903280f
|
Rust: tentative windows fix
|
2024-11-29 17:23:30 +01:00 |
|
Paolo Tranquilli
|
90fa3ec4ed
|
Rust: test running windows flaky test multiple times
|
2024-11-29 16:46:41 +01:00 |
|
Paolo Tranquilli
|
c46f44da5f
|
Rust: fix QL compilation errors
|
2024-11-29 15:55:51 +01:00 |
|
Paolo Tranquilli
|
9cf2420c3b
|
Rust: restrict canonical path calculations
|
2024-11-29 14:43:51 +01:00 |
|
Simon Friis Vindum
|
5b6a4e616c
|
Rust: Update stats queries to use shared data flow consistency module
|
2024-11-29 13:42:30 +01:00 |
|
Paolo Tranquilli
|
7e0e5a3f4e
|
Rust: move rust_sysroot_src to its own session fixture
|
2024-11-29 12:01:50 +01:00 |
|
Paolo Tranquilli
|
4bcc4254c6
|
Merge branch 'main' into redsun82/rust-perf-measures
|
2024-11-29 11:59:22 +01:00 |
|
Geoffrey White
|
f8af648524
|
Merge pull request #18097 from geoffw0/ctor
Rust: New query for bad 'ctor' initialization
|
2024-11-29 10:57:54 +00:00 |
|
Paolo Tranquilli
|
bd56a3564a
|
Merge pull request #18147 from github/redsun82/rust-windows-semantics
Rust: add diagnostics queries to integration tests
|
2024-11-29 11:45:48 +01:00 |
|
Geoffrey White
|
49b569cc4b
|
Rust: Update for changes on main.
|
2024-11-29 09:37:32 +00:00 |
|
Geoffrey White
|
0f3469313f
|
Merge branch 'main' into ctor
|
2024-11-29 09:37:23 +00:00 |
|
Geoffrey White
|
a6f20a6ac1
|
Apply suggestions from code review
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>
|
2024-11-29 09:09:59 +00:00 |
|
Simon Friis Vindum
|
b8d60cbb13
|
Rust: Implement predicates for lambdas/closures in the data flow library
|
2024-11-29 09:32:04 +01:00 |
|
Simon Friis Vindum
|
ad7480591b
|
Rust: Add data flow tests involving closures
|
2024-11-29 09:30:26 +01:00 |
|
Paolo Tranquilli
|
9f6a2e090e
|
Rust: add diagnostics queries to integration tests
|
2024-11-28 15:33:10 +01:00 |
|
Geoffrey White
|
5b50a8270d
|
Rust: Clarify the doc on the two models a little.
|
2024-11-28 14:11:15 +00:00 |
|
Geoffrey White
|
1d0338444a
|
Rust: Fix SqlExecute.
|
2024-11-28 14:11:14 +00:00 |
|
Geoffrey White
|
2810d64b22
|
Rust: Fix ql-for-ql warning.
|
2024-11-28 12:43:24 +00:00 |
|
Simon Friis Vindum
|
b05d290bf0
|
Rust: Exclude data flow inconsistencies that stem from other inconsistencies
|
2024-11-28 12:46:32 +01:00 |
|
Paolo Tranquilli
|
50c917d2eb
|
Rust: restrict extracted files queries
|
2024-11-28 12:02:57 +01:00 |
|
Simon Friis Vindum
|
e8ddb6b180
|
Rust: Add getStaticTarget to CallExprBase
|
2024-11-28 10:57:07 +01:00 |
|
Paolo Tranquilli
|
a8188598b0
|
Merge branch 'main' into redsun82/rust-canonical-enum
|
2024-11-27 15:01:47 +01:00 |
|