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 |
|
Arthur Baars
|
4ca98ba816
|
Rust: test with format! macro in a block
|
2025-05-02 16:22:57 +02:00 |
|
Mathias Vorreiter Pedersen
|
4d2f2b89e7
|
Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.
|
2025-05-02 14:02:41 +01:00 |
|
Tom Hvitved
|
ae2fd52543
|
Merge pull request #19431 from hvitved/rust/path-resolution-remove-visibility-check
Rust: Remove visibility check in path resolution
|
2025-05-02 14:44:14 +02:00 |
|
Tom Hvitved
|
07829e5231
|
Merge pull request #19421 from github/aibaars/rust-builtin-types
Rust: extract declarations of builtin types
|
2025-05-02 14:43:47 +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
|
c6d95ceeb0
|
Shared: Remove the language-specific model generator scripts
|
2025-05-02 13:21:10 +02:00 |
|
Simon Friis Vindum
|
3aed1c8696
|
Merge branch 'main' into rust-update-stdlib-models
|
2025-05-02 12:54:43 +02:00 |
|
Geoffrey White
|
f64e86fe2e
|
Rust: Add a library test for Operations.
|
2025-05-02 11:22:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5bc95daeb
|
Merge branch 'main' into generate-more-value-preserving-summaries-2
|
2025-05-02 10:51:11 +01:00 |
|
Michael Nebel
|
74669cb0cb
|
Merge pull request #19382 from michaelnebel/shared/modelgenrefactor
Shared: Re-factor summary, source and sink model generators into separate modules.
|
2025-05-02 09:38:24 +02:00 |
|
Tamás Vajk
|
cb1c3736fe
|
Merge pull request #19413 from tamasvajk/quality/query-suite-selector
Add code quality suite selector and use that in the code quality suites
|
2025-05-02 08:18:48 +02:00 |
|
Arthur Baars
|
778f46d5be
|
Rust: adjust unit tests and expected output
|
2025-05-01 22:21:48 +02:00 |
|
Geoffrey White
|
93f8cea884
|
Rust: Add + clean up some QLDoc.
|
2025-05-01 17:11:34 +01:00 |
|
Geoffrey White
|
c9ce6c0fb6
|
Rust: Demote rust/cleartext-logging to warning.
|
2025-05-01 16:42:41 +01:00 |
|
Geoffrey White
|
bd3155ef0c
|
Rust: Promote rust/uncontrolled-allocation-size to warning.
|
2025-05-01 16:42:13 +01:00 |
|
Tom Hvitved
|
73fa381dbc
|
Rust: Remove visibility check in path resolution
|
2025-05-01 17:14:49 +02:00 |
|
Geoffrey White
|
3789c46791
|
Rust: Remove stray comment, accept changes to another test.
|
2025-05-01 15:40:32 +01:00 |
|
Geoffrey White
|
e263116452
|
Rust: Model std::net and tokio::net.
|
2025-05-01 14:25:44 +01:00 |
|
Arthur Baars
|
8e8efedb42
|
Rust: adjust integration tests and expected output
|
2025-05-01 15:20:36 +02: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 |
|
Geoffrey White
|
627496df09
|
Rust: Add source tests for tokio (fs).
|
2025-05-01 13:04:13 +01:00 |
|
Geoffrey White
|
b2339ef0d9
|
Rust: Add some alternative sinks.
|
2025-05-01 13:04:12 +01:00 |
|
Geoffrey White
|
950812b463
|
Rust: Add further source tests for tcp streams.
|
2025-05-01 13:04:06 +01:00 |
|
Simon Friis Vindum
|
a545361a55
|
Rust: Accept test changes
|
2025-05-01 12:36:01 +02: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
|
4513106a35
|
Rust: Add type inference test for inherent implementation shadowing trait implementation
|
2025-05-01 12:00:13 +02:00 |
|
Simon Friis Vindum
|
e45b5c557d
|
Rust: Implement type inference support for non-universal impl blocks
|
2025-05-01 11:59:15 +02:00 |
|
Simon Friis Vindum
|
22407cad44
|
Rust: Add type inference test for non-universal impl blocks
|
2025-05-01 11:58:09 +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 |
|
Mathias Vorreiter Pedersen
|
775197372c
|
Rust: Fixup queries.
|
2025-04-30 20:34:33 +01:00 |
|
Tom Hvitved
|
a3c26b4bfe
|
Rust: Type inference for ? expressions
|
2025-04-30 20:35:11 +02:00 |
|
Tom Hvitved
|
88075c4c8c
|
Rust: Make manual tweaks to Copilot generated code
|
2025-04-30 20:35:10 +02:00 |
|
Tom Hvitved
|
51e70d0c3b
|
Rust: Add Copilot generated test for ? operator expressions
|
2025-04-30 20:35:09 +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 |
|
Paolo Tranquilli
|
ecd80fbc34
|
Rust: fix QL compilation errors
|
2025-04-30 15:25:01 +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 |
|