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
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
Simon Friis Vindum
92427ab0c1
Merge branch 'main' into rust-rename-expr
2024-11-26 17:40:47 +01:00
Paolo Tranquilli
8abd3c4707
Rust: Remove windows difference from diagnostics
2024-11-26 16:48:49 +01:00
Paolo Tranquilli
24eb65692f
Rust: add some performance diagnostics
...
This outputs some duration counts for various parts of the extraction
process in the database in the form of telemetry diagnostics.
The diagnostics format was preferred to putting things in the relational
database as that will scale better to code scanning and is more flexible
as for the data we can put into it without passing through the dbscheme.
Also, although it's not the case yet, it will be possible to output
diagnostics even if creation of the database fails.
2024-11-26 16:35:38 +01:00
