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
Paolo Tranquilli
8a1136ddcb
Merge branch 'main' into redsun82/rust-less-canonical-paths
2024-12-03 16:23:22 +01:00
Paolo Tranquilli
277c9f4087
Rust: add back getAttr to ArrayExpr
2024-12-03 16:12:56 +01:00
Paolo Tranquilli
c113503b41
Rust: fix doc typo
2024-12-03 15:18:17 +01:00
Paolo Tranquilli
353f1cafe6
Rust: distinguish [a, b] from [a; b]
...
This splits the `ArrayExpr` class into `ArrayListExpr` and `ArrayRepeatExpr`.
This uses the `synth.from_class` machinery to integrate seamlessly into the
generated code, by hiding the extracted `ArrayExpr` behind an internal class
and replacing it with a hierarchy of those two classes under a new
`ArrayExpr` class.
2024-12-03 15:09:20 +01:00
Simon Friis Vindum
cac4514eae
Rust: Add basic data flow through arrays
2024-12-03 14:15:54 +01:00
Paolo Tranquilli
ebe38bca23
Merge branch 'main' into redsun82/rust-less-canonical-paths
2024-12-03 12:19:08 +01:00
Paolo Tranquilli
db18d1046b
Rust: rename getTy -> getTypeRepr
2024-12-03 11:17:08 +01:00
Paolo Tranquilli
b99e234cdc
Merge branch 'main' into redsun82/rust-tweaks
2024-12-03 10:47:03 +01:00
Tom Hvitved
3c767b086b
Rust: Use canonical paths for variants in data flow
2024-12-03 10:19:33 +01:00
Simon Friis Vindum
e377a0e05a
Merge branch 'main' into rust-df-closure
2024-12-03 10:09:52 +01:00
