Commit Graph

1353 Commits

Author SHA1 Message Date
Tom Hvitved
ae54c62001 Simplify using non-capturing groups 2025-05-13 15:06:43 +02:00
Tom Hvitved
7494eac35c Address review comments 2025-05-13 14:26:09 +02:00
Geoffrey White
20a012d5f1 Merge pull request #19454 from geoffw0/deref
Rust: Add Operation class
2025-05-13 13:17:14 +01:00
Geoffrey White
b3dc7a21b3 Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-05-13 09:06:25 +01:00
Tom Hvitved
cd01bd0e07 Rust: Add LiteralExpr sub classes 2025-05-12 20:35:00 +02:00
Geoffrey White
a2944cdb61 Rust: Make usage of Impl more consistent with other Impl modules. 2025-05-12 16:48:06 +01:00
Geoffrey White
9160036e41 Rust: Rename OperationImpl -> Impl. 2025-05-12 16:45:41 +01:00
Geoffrey White
682f59fc11 Rust: Make helper predicate private + autoformat. 2025-05-12 12:49:58 +01:00
Geoffrey White
ac5ec06736 Rust: Constrain SensitiveFieldAccess to avoid including unwanted parents. 2025-05-12 12:47:31 +01:00
Simon Friis Vindum
bc8580159c Merge branch 'main' into rust-ti-implementing-type-method 2025-05-12 11:35:48 +02:00
Simon Friis Vindum
0cf60c4e2d Rust: Address comments on documentation 2025-05-12 11:07:46 +02:00
Simon Friis Vindum
14ede4e0c5 Merge pull request #19440 from paldepind/rust-update-stdlib-models
Rust: Update generated models for core and std
2025-05-12 08:11:18 +02:00
Geoffrey White
48b95f3a4e Rust: Move OperationImpl to internal/OperationImpl.qll. 2025-05-09 17:01:49 +01:00
Geoffrey White
5f5d6f679a Rust: Understand sensitive enum variants calls. 2025-05-09 11:58:51 +01:00
Geoffrey White
0f36e1d625 Rust: Understand sensitive qualifier expressions. 2025-05-09 11:26:23 +01:00
Geoffrey White
a537197691 Rust: Understand sensitive field access expressions. 2025-05-09 11:04:38 +01:00
Simon Friis Vindum
06cfa9a89c Rust: Address format fixes suggested in review 2025-05-05 15:21:50 -04:00
Arthur Baars
9b0854edb1 Merge pull request #19335 from github/aibaars/macro-stmts
Rust: make MacroStmts expressions
2025-05-03 11:22:15 +02:00
Geoffrey White
09dc7fc5c4 Rust: Autoformat. 2025-05-02 16:58:43 +01:00
Geoffrey White
dc1b4fcf7a Rust: Unify getOperatorName() methods into Operation. 2025-05-02 16:46:51 +01:00
Geoffrey White
be2017621f Rust: Unify getAnOperand() methods into Operation. 2025-05-02 16:46:50 +01:00
Geoffrey White
060d5152c4 Rust: Add an Operation class above LogicalOperation, AssignmentOperation etc. 2025-05-02 16:46:44 +01:00
Arthur Baars
6bf50d8f86 Rust: add upgrade/downgrade scripts 2025-05-02 16:36:51 +02:00
Arthur Baars
bc35599f1a Rust: rename MacroStmts to MacroBlockExpr 2025-05-02 16:23:02 +02:00
Arthur Baars
869af58c9d Rust: add flow step for MacroStmts 2025-05-02 16:23:00 +02:00
Arthur Baars
9ca6706550 Rust: make MacroStmts a CFG Expr 2025-05-02 16:22:59 +02:00
Paolo Tranquilli
557f468fc0 Merge branch 'main' into redsun82/rust-expand-attr-macros 2025-05-02 13:43:17 +02:00
Simon Friis Vindum
3aed1c8696 Merge branch 'main' into rust-update-stdlib-models 2025-05-02 12:54:43 +02:00
Geoffrey White
93f8cea884 Rust: Add + clean up some QLDoc. 2025-05-01 17:11:34 +01:00
Tom Hvitved
73fa381dbc Rust: Remove visibility check in path resolution 2025-05-01 17:14:49 +02:00
Geoffrey White
e263116452 Rust: Model std::net and tokio::net. 2025-05-01 14:25:44 +01:00
Geoffrey White
038b8b5344 Rust: Add a missing model for std::io. 2025-05-01 13:04:18 +01:00
Geoffrey White
3104dba09e Rust: Fix some shortcomings in our models of Reqwest. 2025-05-01 13:04:17 +01:00
Geoffrey White
f4ae211019 Rust: Add models for tokio (fs). 2025-05-01 13:04:16 +01:00
Geoffrey White
7439b0c504 Rust: Add models for tokio (io). 2025-05-01 13:04:15 +01:00
Simon Friis Vindum
ecead2cafd Rust: Workaround for method existing both as source and as dependency 2025-05-01 12:00:18 +02:00
Simon Friis Vindum
3ee89899d9 Rust: Handle inherent implementations shadowing trait implementations 2025-05-01 12:00:17 +02:00
Simon Friis Vindum
e45b5c557d Rust: Implement type inference support for non-universal impl blocks 2025-05-01 11:59:15 +02:00
Tom Hvitved
423e2dac91 Rust: Strenghten the modeling of the Clone trait 2025-05-01 10:54:52 +02:00
Simon Friis Vindum
499d224c2b Rust: Update generated models for core and std 2025-05-01 10:54:05 +02:00
Tom Hvitved
1770f568a2 Merge pull request #19367 from hvitved/rust/type-inference-try-expr
Rust: Type inference for `?` expressions
2025-05-01 10:27:49 +02:00
Simon Friis Vindum
bab84d03d1 Merge pull request #19419 from paldepind/rust-precise-implicit-deref-borrow
Rust: Use type inference to insert implicit borrows and derefs
2025-05-01 08:41:37 +02:00
Tom Hvitved
a3c26b4bfe Rust: Type inference for ? expressions 2025-04-30 20:35:11 +02:00
Simon Friis Vindum
c263d3faf9 Rust: Remove predicates unused after refactor 2025-04-30 17:39:22 +02:00
Paolo Tranquilli
8ffe4d6593 Merge branch 'main' into redsun82/rust-expand-attr-macros 2025-04-30 15:25:32 +02:00
Tom Hvitved
4f5b340278 Rust: Add type inference debug predicates 2025-04-30 15:12:58 +02:00
Simon Friis Vindum
f584d22b53 Rust: Use type inference to insert implicit borrows and derefs 2025-04-30 14:43:51 +02:00
Tom Hvitved
52bd99b852 Address review comments 2025-04-30 11:04:12 +02:00
Tom Hvitved
97532525d8 Rust: Crate graph extraction workarounds 2025-04-30 11:01:43 +02:00
Tom Hvitved
64145ab98a Merge pull request #19369 from hvitved/rust/crate-graph-self-param
Rust: Extract `SelfParam`s from crate graph
2025-04-29 21:23:27 +02:00