Michael Nebel
|
941b0abbf6
|
Move modules to the library packs.
|
2024-12-12 15:03:01 +01:00 |
|
Geoffrey White
|
44a0ad2942
|
Update data-flow -> data flow in all versions of ConceptsShared.qll.
|
2024-12-12 13:36:26 +00: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
|
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 |
|
Tom Hvitved
|
baf186fed7
|
Address review comments
|
2024-12-11 10:28:32 +01:00 |
|
Tom Hvitved
|
2f8b04b225
|
Rust: Models-as-data for flow summaries
|
2024-12-09 13:41:55 +01:00 |
|
Geoffrey White
|
4b93325914
|
Merge branch 'main' into badcrypto
|
2024-12-06 14:21:11 +00:00 |
|
Simon Friis Vindum
|
ed68423d6e
|
Rust: Handle captured self parameter in variable implementation
|
2024-12-06 14:12:27 +01: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 |
|
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
|
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 |
|
Tom Hvitved
|
ed4819aeab
|
Rust: Cache defaultAdditionalTaintStep
|
2024-12-05 15:19:11 +01:00 |
|
Simon Friis Vindum
|
3061d4a516
|
Rust: Minor tweaks
|
2024-12-05 11:53:12 +01:00 |
|
Simon Friis Vindum
|
1f4e7d1f37
|
Rust: Handle arrays in taint tracking
|
2024-12-05 11:41:32 +01:00 |
|
Simon Friis Vindum
|
27de43fed8
|
Merge branch 'main' into rust-df-array
|
2024-12-05 11:08:54 +01:00 |
|
Simon Friis Vindum
|
5b6ce3e0d0
|
Merge branch 'main' into rust-taint
|
2024-12-05 09:34:25 +01:00 |
|
Simon Friis Vindum
|
d6ab7d2aff
|
Merge branch 'main' into rust-taint
|
2024-12-04 15:28:30 +01:00 |
|
Paolo Tranquilli
|
08de0b40ed
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 14:35:10 +01:00 |
|
Paolo Tranquilli
|
80d466ffea
|
Merge pull request #18116 from github/redsun82/rust-perf-measures
Rust: add some performance diagnostics
|
2024-12-04 14:31:06 +01:00 |
|
Simon Friis Vindum
|
3004639fca
|
Rust: Add default taint flow steps
|
2024-12-04 14:11:05 +01:00 |
|
Simon Friis Vindum
|
a19f1d0b8b
|
Rust: Remove store step for repeat operand in array expression
|
2024-12-04 14:01:53 +01:00 |
|
Simon Friis Vindum
|
c62b7d139f
|
Merge branch 'main' into rust-df-array
|
2024-12-04 13:55:26 +01:00 |
|
Simon Friis Vindum
|
2ada999728
|
Rust: Include as expression in CFG nodes
|
2024-12-04 12:56:54 +01:00 |
|
Simon Friis Vindum
|
ed6f873478
|
Merge branch 'main' into rust-df-try-expr
|
2024-12-04 11:33:41 +01:00 |
|
Paolo Tranquilli
|
7e107a4520
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 11:24:48 +01:00 |
|
Paolo Tranquilli
|
c0676f4269
|
Merge pull request #18198 from github/redsun82/rust-tuple-struct-pat-to-string
Rust: improve `TupleStructPat.toString`
|
2024-12-04 11:20:42 +01:00 |
|
Simon Friis Vindum
|
7092f13584
|
Merge branch 'main' into rust-df-try-expr
|
2024-12-04 10:59:07 +01:00 |
|
Simon Friis Vindum
|
4371433eb6
|
Merge pull request #18160 from paldepind/rust-df-closure
Rust: Handle closures/lambdas in data flow
|
2024-12-04 10:53:45 +01:00 |
|
Paolo Tranquilli
|
31b9b3adaa
|
Merge branch 'main' into redsun82/rust-perf-measures
|
2024-12-04 10:50:37 +01:00 |
|
Paolo Tranquilli
|
b9be002e01
|
Rust: improve TupleStructPat.toString
|
2024-12-04 10:47:41 +01:00 |
|
Paolo Tranquilli
|
59ea563d2a
|
Merge branch 'main' into redsun82/rust-less-canonical-paths
|
2024-12-04 10:44:11 +01:00 |
|
Simon Friis Vindum
|
33fe51da4e
|
Update rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2024-12-04 10:37:30 +01:00 |
|
Paolo Tranquilli
|
e30a429c3d
|
Rust: revert TupleStructPat.toString improvements
|
2024-12-04 10:34:28 +01:00 |
|
Paolo Tranquilli
|
53503002a1
|
Merge branch 'main' into redsun82/rust-tweaks
|
2024-12-04 09:35:01 +01:00 |
|
Simon Friis Vindum
|
bb015cf56d
|
Merge branch 'main' into rust-df-closure
|
2024-12-04 09:25:18 +01:00 |
|
Simon Friis Vindum
|
f4aa3603ad
|
Rust: Do not consider async blocks as lambda expressions
|
2024-12-04 09:23:12 +01:00 |
|
Simon Friis Vindum
|
70c60868a6
|
Rust: Model ? as reading from Option and Result
|
2024-12-03 17:01:34 +01:00 |
|