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 |
|
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
|
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 |
|
Paolo Tranquilli
|
4e7115538b
|
Rust: move steps breakdown from JSON diagnostics to the DB
|
2024-11-27 14:55:46 +01:00 |
|
Simon Friis Vindum
|
d89678f49f
|
Rust: Data flow through tuple and struct fields
|
2024-11-27 14:53:01 +01:00 |
|
Paolo Tranquilli
|
5251dc2058
|
Rust: use check_diagnostics improvements
|
2024-11-27 13:36:27 +01:00 |
|
Paolo Tranquilli
|
27738eaacc
|
Rust: reorganize perf diagnostics
|
2024-11-27 12:05:06 +01:00 |
|
Geoffrey White
|
c113a0b5a1
|
Rust: Fix typo.
|
2024-11-27 10:51:42 +00:00 |
|
Geoffrey White
|
60c212bb10
|
Rust: Update for changes on main.
|
2024-11-27 10:42:24 +00:00 |
|
Geoffrey White
|
ba560f2fe9
|
Rust: Model SQLx.
|
2024-11-27 10:31:05 +00:00 |
|
Geoffrey White
|
e96f15d9b4
|
Rust: Add a test exposing SQL Injection sinks directly.
|
2024-11-27 10:31:04 +00:00 |
|
Simon Friis Vindum
|
9ec9d79b4f
|
Rust: Add additional tests for flow through structs
|
2024-11-27 10:10:49 +01:00 |
|
Simon Friis Vindum
|
46abb9083b
|
Merge pull request #18115 from paldepind/rust-rename-expr
Rust: Rename `expr` on `CallExpr` and `LetExpr`
|
2024-11-27 09:41:04 +01:00 |
|
Simon Friis Vindum
|
8f886c6603
|
Merge pull request #18088 from paldepind/rust-self-parameters
Rust: Handle `self` parameters in variables and SSA library
|
2024-11-27 08:42:58 +01:00 |
|
Paolo Tranquilli
|
556774edc7
|
Rust: do not put extraction steps in the expected diagnostics
|
2024-11-26 18:00:15 +01:00 |
|