Geoffrey White
a468b1d647
Rust: Accept regressions spotted by CI.
2025-10-27 17:46:01 +00:00
Geoffrey White
bd11873e0d
Rust: Generalize a model of futures_io...poll_read.
2025-10-27 12:22:13 +00:00
Geoffrey White
d650ccb74b
Rust: Generalize some std::io::Read models.
2025-10-27 12:09:04 +00:00
Tom Hvitved
0e885e9297
Rust: Compute incompatible blanket implementations
2025-10-24 11:37:24 +02:00
Tom Hvitved
2a43a95049
Rust: More type inference tests
2025-10-24 11:37:22 +02:00
Tom Hvitved
672977acfa
Merge pull request #20592 from hvitved/rust/type-inference-branch-propagation
...
Rust: Non-symmetric type propagation for lub coercions
2025-10-24 11:35:24 +02:00
Tom Hvitved
ff31f0e3df
Address review comments
2025-10-23 20:17:28 +02:00
Geoffrey White
47334fbab7
Rust: Accept changes to the web_frameworks results.
2025-10-23 09:06:11 +01:00
Tom Hvitved
65b706ab80
Rust: Non-symmetric type propagation for lub coercions
2025-10-22 19:57:38 +02:00
Tom Hvitved
00bf049c85
Rust: Add more type inference tests
2025-10-22 19:57:37 +02:00
Geoffrey White
e18bf1661a
Rust: Accept result de-regression.
2025-10-22 17:52:12 +01:00
Geoffrey White
6b08297c2a
Rust: Repair after merge.
2025-10-22 17:46:25 +01:00
Geoffrey White
bc4d8a8425
Merge branch 'main' into sourcestest
2025-10-22 17:31:25 +01:00
Geoffrey White
6878a43223
Rust: Add missing file.
2025-10-22 14:18:16 +01:00
Geoffrey White
8336a956c0
Rust: Add consistency check failures.
2025-10-22 13:50:49 +01:00
Geoffrey White
9b11ec53d4
Rust: Merge InlineFlow.ql test queries using .qlrefs.
2025-10-22 09:02:18 +01:00
Geoffrey White
4893f53607
Rust: Fix a comment.
2025-10-22 09:02:15 +01:00
Geoffrey White
42224fe642
Rust: Clean up the sources test directory.
2025-10-22 09:02:14 +01:00
Geoffrey White
7efd4d26a0
Rust: Accept result regression.
...
Presumably because of a change in context, e.g. the module wrapping
this test now, or the different inputs. Either way we *should* be
able to get the result, and what we *actually* get in our analysis
doesn't change here either. We've just slightly changed the test
and exposed a gap.
2025-10-22 09:02:12 +01:00
Geoffrey White
8a7e206401
Rust: Move the remaining test_futures_io test into net.
2025-10-22 09:02:11 +01:00
Geoffrey White
8c02cb2ed1
Rust: Split off sources/web_frameworks.
2025-10-22 09:02:10 +01:00
Geoffrey White
5ba331e986
Rust: Splits off sources/net.
2025-10-22 09:01:34 +01:00
Geoffrey White
7ddd441e5f
Rust: Split off sources/database test.
2025-10-22 09:00:42 +01:00
Geoffrey White
81132beec0
Rust: Split off sources/stdin test.
2025-10-22 09:00:18 +01:00
Geoffrey White
0cc9331abf
Rust: Split off sources/file test.
2025-10-22 08:59:50 +01:00
Geoffrey White
a631130030
Rust: Split off sources/env test.
2025-10-22 08:58:59 +01:00
Tom Hvitved
ee0467d74c
Rust: Update expected output
2025-10-21 18:44:37 +02:00
Tom Hvitved
e12e9045a3
Rust: Add more type inference tests
2025-10-21 17:58:51 +02:00
Geoffrey White
edabfa73bf
Rust: Delete a no-longer-used test file.
2025-10-21 15:30:32 +01:00
Geoffrey White
e4e7b1c528
Merge branch 'main' into mysql2
2025-10-20 14:06:48 +01:00
Geoffrey White
5d95fad467
Rust: Changes suggested by Copilot (with effect on tests).
2025-10-16 14:59:06 +01:00
Geoffrey White
397563dd0e
Rust: Accept consistency check .expected changes.
2025-10-16 13:54:11 +01:00
Geoffrey White
8f7d3798ad
Rust: Allow rows to be direct sources of taint as well.
2025-10-16 12:14:50 +01:00
Geoffrey White
f310d535ae
Rust: Add models.
2025-10-16 12:07:54 +01:00
Geoffrey White
08ca643cd3
Rust: Test sources for mysql and mysql_async.
2025-10-16 11:55:24 +01:00
Geoffrey White
c56de30248
Rust: Fix merge conflict in .expected file.
2025-10-16 11:16:54 +01:00
Geoffrey White
217508e2c2
Merge branch 'main' into gen1
2025-10-16 09:35:29 +01:00
Geoffrey White
612e95b7a4
Rust: More deduplication.
2025-10-15 20:31:46 +01:00
Geoffrey White
483ab5929a
Rust: Combine and expand some of the models.
2025-10-15 20:31:43 +01:00
Geoffrey White
ea6c7cfba0
Rust: Generalize stdlib 'a as b' models.
2025-10-15 19:08:05 +01:00
Simon Friis Vindum
d9c76f258e
Rust: Add suggested model for into_inner for tuples
2025-10-13 16:22:03 +02:00
Simon Friis Vindum
9e2ee04879
Merge branch 'main' into rust/model-actix-web
2025-10-13 16:04:12 +02:00
Tom Hvitved
0fc2875527
Rust: Include tuple structs/variants in CallExprBase.getStaticTarget()
2025-10-10 09:48:08 +02:00
Paolo Tranquilli
122b7ebba8
Rust: accept test changes
2025-10-07 14:49:08 +02:00
Simon Friis Vindum
1f2cca7d00
Merge pull request #20547 from paldepind/rust/function-as-lambda
...
Rust: Handle functions as data flow lambdas
2025-10-06 10:15:55 +02:00
Tom Hvitved
b4c979f586
Merge pull request #20548 from hvitved/rust/macro-call-resolution
...
Rust: Macro call resolution
2025-10-02 14:54:10 +02:00
Tom Hvitved
537e7a8ec3
Rust: Fix formatting
2025-09-30 16:24:38 +02:00
Tom Hvitved
701cff3ca4
Rust: Macro call resolution
2025-09-30 16:21:02 +02:00
Simon Friis Vindum
49efd574a0
Rust: Add taint model for add on String
2025-09-30 14:48:03 +02:00
Geoffrey White
a286631018
Merge pull request #20512 from geoffw0/stmtlist
...
Rust: Improve StmtList
2025-09-30 09:53:55 +01:00