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
Simon Friis Vindum
e1c65aae90
Rust: Tuple writes target post update node
2024-12-02 14:48:20 +01:00
Simon Friis Vindum
3420f1f43f
Address review comments, store step for tuple indexing
2024-12-02 13:27:26 +01: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
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
Simon Friis Vindum
5b6a4e616c
Rust: Update stats queries to use shared data flow consistency module
2024-11-29 13:42:30 +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
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
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
Simon Friis Vindum
d89678f49f
Rust: Data flow through tuple and struct fields
2024-11-27 14:53:01 +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
Simon Friis Vindum
92427ab0c1
Merge branch 'main' into rust-rename-expr
2024-11-26 17:40:47 +01:00
Simon Friis Vindum
7ab5663fa6
Rust: Address PR feedback
2024-11-26 15:42:19 +01:00
Simon Friis Vindum
d30f3e2822
Rust: Renamed expr on CallExpr and LetExpr
2024-11-26 15:22:14 +01:00
Tom Hvitved
0c6b4cdb8f
Merge pull request #18078 from hvitved/rust/variant-flow
...
Rust: Data flow through variants
2024-11-26 14:45:00 +01:00
Tom Hvitved
8c111382ad
Address review comments
2024-11-26 13:00:59 +01:00
Paolo Tranquilli
9f09454db9
Merge pull request #18107 from github/redsun82/rust-rename
...
Rust: rename `MatchExpr.expr` to `scrutinee` in all layers
2024-11-26 12:59:06 +01:00
Paolo Tranquilli
cb0ac61db6
Merge pull request #18069 from geoffw0/sourcemodels
...
Rust: Add some flow source models
2024-11-26 12:08:02 +01:00
Paolo Tranquilli
7a86257968
Merge branch 'main' into redsun82/rust-rename
2024-11-26 10:48:19 +01:00
Paolo Tranquilli
8a01161d4a
Rust: rename MatchExpr.expr to scrutinee in all layers
...
This doesn't require `ql.name` and is simpler while we don't have
to write upgrade scripts. The `ql.name` mechanism might get useful
once we do have to write upgrade scripts, as that doesn't change the
dbscheme.
2024-11-26 10:42:13 +01:00
Simon Friis Vindum
8252e1da02
Rust: Change &String to &str
2024-11-26 09:21:44 +01:00
Simon Friis Vindum
44b1ad52d9
Rust: Support self parameters in variable and SSA library
2024-11-26 09:02:13 +01:00
Geoffrey White
1090164b77
Merge branch 'main' into sourcemodels
2024-11-25 21:12:24 +00:00
Geoffrey White
28c0e899b7
Rust: Autoformat.
2024-11-25 20:50:56 +00:00
Geoffrey White
e6302cae53
Rust: Address CI and ql-for-ql issues.
2024-11-25 20:07:47 +00:00
Geoffrey White
e8981a505d
Rust: Fix qhelp.
2024-11-25 20:00:22 +00:00
