Simon Friis Vindum
9da5d7128b
Rust: Add test with data flow inconsistency
2024-12-16 09:40:13 +01:00
Simon Friis Vindum
1d8e7fd9ea
Rust: Accept differences
2024-12-12 16:47:51 +01:00
Simon Friis Vindum
0fa40fcdcc
Rust: Fix captured variable data flow inconsistency
2024-12-12 16:28:19 +01:00
Geoffrey White
03f962ed86
Merge pull request #18226 from geoffw0/badcrypto
...
Rust: Weak encryption algorithm query.
2024-12-12 14:21:16 +00:00
Michael Nebel
0bfc1b6ea8
Also move the postprocessing queries to the library pack.
2024-12-12 15:03:03 +01:00
Michael Nebel
941b0abbf6
Move modules to the library packs.
2024-12-12 15:03:01 +01:00
Michael Nebel
864c34fc03
Rust: Update all test util paths to point to the new location.
2024-12-12 15:02:59 +01:00
Geoffrey White
44a0ad2942
Update data-flow -> data flow in all versions of ConceptsShared.qll.
2024-12-12 13:36:26 +00:00
Michael Nebel
cbae2cf7fa
Rust: Move test utilities into the query pack.
2024-12-12 13:54:42 +01:00
Geoffrey White
611d04e221
Rust: Revert stylistic change in shared file.
2024-12-12 11:30:23 +00:00
Geoffrey White
1d72b750b7
Rust: data-flow -> data flow.
2024-12-12 11:29:23 +00:00
Geoffrey White
d2cfcb4c9e
Update rust/ql/lib/codeql/rust/internal/ConceptsShared.qll
...
Co-authored-by: Simon Friis Vindum <paldepind@github.com >
2024-12-12 11:28:04 +00:00
Simon Friis Vindum
16dcc5c278
Rust: Add variable capture consistency query
2024-12-12 11:23:22 +01:00
Simon Friis Vindum
9fe7bb3e2b
Rust: Address PR comments
2024-12-12 11:19:14 +01:00
Simon Friis Vindum
2cf043cfbc
Rust: Address PR comments
2024-12-12 10:19:53 +01:00
Simon Friis Vindum
59f3f1f1e9
Apply suggestions from code review
...
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com >
2024-12-12 08:58:35 +01:00
Geoffrey White
591db05610
Rust: Formatting.
2024-12-11 16:49:29 +00:00
Geoffrey White
ad75906672
Apply suggestions from code review
...
Co-authored-by: Tom Hvitved <hvitved@github.com >
2024-12-11 16:44:00 +00:00
Simon Friis Vindum
94b037fad1
Rust: Instantiate variable capture library for data flow
2024-12-11 15:44:17 +01:00
Simon Friis Vindum
e8357a648d
Rust: Add additional data flow tests
2024-12-11 14:56:16 +01:00
Tom Hvitved
22aaf74184
Merge pull request #18231 from hvitved/rust/models-as-data-summaries
...
Rust: Models-as-data for flow summaries
2024-12-11 13:37:09 +01:00
Tom Hvitved
baf186fed7
Address review comments
2024-12-11 10:28:32 +01:00
Cornelius Riemenschneider
53ca5083a9
Upgrade bazel to 8.0.0.
...
Previously, we were using 8.0.0rc1.
In particular, this upgrade means we need to explicitly
import more rules, as they've been moved out of the core bazel repo.
2024-12-10 12:05:37 +01:00
Tom Hvitved
2f8b04b225
Rust: Models-as-data for flow summaries
2024-12-09 13:41:55 +01:00
Geoffrey White
97ab31ab00
Merge pull request #18229 from geoffw0/self
...
Rust: Fix unwanted 'self' results from rust/unused-variable
2024-12-09 08:50:03 +00:00
Simon Friis Vindum
70501008b0
Merge pull request #18232 from paldepind/rust-self-capture
...
Rust: Fix a bug where captured `self` parameters where not considered captured
2024-12-06 20:23:38 +01:00
Simon Friis Vindum
9b34615a64
Rust: Update test assertions to match results
2024-12-06 19:05:53 +01:00
Paolo Tranquilli
a555a44a20
Merge pull request #18236 from geoffw0/percent
...
Rust: Add % of files extracted without errors to summary stats.
2024-12-06 18:01:04 +01:00
Geoffrey White
1ceee76919
Rust: Get the .expected values right this time.
2024-12-06 15:53:42 +00:00
Geoffrey White
4024968e46
Rust: Accept integration test changes.
2024-12-06 15:30:02 +00:00
Geoffrey White
d7d4658aae
Rust: Add % of files extractor without errors to summary stats.
2024-12-06 14:54:21 +00:00
Geoffrey White
4b93325914
Merge branch 'main' into badcrypto
2024-12-06 14:21:11 +00:00
Geoffrey White
f637b3b1f3
Apply suggestions from code review
...
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com >
2024-12-06 14:20:40 +00:00
Simon Friis Vindum
ed68423d6e
Rust: Handle captured self parameter in variable implementation
2024-12-06 14:12:27 +01:00
Simon Friis Vindum
43dd3ebf14
Rust: Add variables test with captured self parameter
2024-12-06 14:07:42 +01:00
Geoffrey White
281f8b1828
Rust: Fix the unwanted results.
2024-12-06 12:29:07 +00:00
Geoffrey White
e52e1b0c1f
Rust: Add test case for 'self' in unused entities.
2024-12-06 12:24:11 +00:00
Tom Hvitved
3ba87de260
Merge pull request #18220 from hvitved/rust/cache-default-additional-taint-step
...
Rust: Cache `defaultAdditionalTaintStep`
2024-12-06 13:04:11 +01:00
Geoffrey White
129f21af29
Rust: Make a predicate private.
2024-12-06 09:37:41 +00:00
Paolo Tranquilli
b59b90ba6d
Rust: accept test changes
2024-12-06 09:12:16 +01:00
Geoffrey White
4e418d3d4d
Rust: Update for latest main, and autoformat.
2024-12-05 19:09:40 +00:00
Geoffrey White
de042ea9d7
Merge branch 'main' into badcrypto
2024-12-05 18:36:47 +00:00
Geoffrey White
dd0fa791aa
Rust: Add qhelp.
2024-12-05 18:02:44 +00:00
Geoffrey White
6eb850c8cb
Rust: Improve the model.
2024-12-05 16:49:27 +00:00
Geoffrey White
94dbad7c95
Rust: Model for cipher traits.
2024-12-05 16:49:19 +00:00
Paolo Tranquilli
720bfc8ff1
Rust: tweak/define more toString implementations
2024-12-05 17:43:47 +01:00
Geoffrey White
eeeb142f0b
Rust: Implement the query.
2024-12-05 15:22:10 +00:00
Geoffrey White
07e3421f6f
Rust: Add shared ConceptsShared.qll, CryptoAlgorithms.qll and CryptoAlgorithmNames.qll to Rust.
2024-12-05 15:22:09 +00:00
Geoffrey White
6c4e0a99e2
Rust: A few more test cases.
2024-12-05 15:17:22 +00:00
Tom Hvitved
ed4819aeab
Rust: Cache defaultAdditionalTaintStep
2024-12-05 15:19:11 +01:00
