Tom Hvitved
|
a02bf182c5
|
Rust: Type inference and path resolution for builtins
|
2025-05-13 21:29:32 +02:00 |
|
Paolo Tranquilli
|
a99556e021
|
Merge branch 'main' into redsun82/rust-expand-attr-macros
|
2025-05-13 16:21:29 +02:00 |
|
Tom Hvitved
|
3fc9da7466
|
Merge pull request #19475 from hvitved/rust/literal-sub-classes
Rust: Add `LiteralExpr` sub classes
|
2025-05-13 16:06:53 +02:00 |
|
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 |
|