Geoffrey White
|
4d51a15cc4
|
Rust: Add model variants for when the qualifier is expressed as an arg (reference). We shouldn't need these.
|
2025-05-29 16:45:23 +01:00 |
|
Geoffrey White
|
84c72f68af
|
Rust: Add models for read methods.
|
2025-05-29 16:45:22 +01:00 |
|
Geoffrey White
|
13f6de9924
|
Rust: Add source / basic basic models.
|
2025-05-29 16:45:21 +01:00 |
|
Geoffrey White
|
b78d51e079
|
Rust: Fix a bug in InlineFlow.ql that was excluding some sinks.
|
2025-05-29 16:45:19 +01:00 |
|
Geoffrey White
|
a5e1702d4b
|
Rust: Add tests for sources involving regular rustls as well.
|
2025-05-29 16:45:18 +01:00 |
|
Geoffrey White
|
544af7f7ca
|
Rust: Add tests for sources involving futures-rustls and futures-io.
|
2025-05-29 16:45:17 +01:00 |
|
Simon Friis Vindum
|
437246f3c9
|
Merge pull request #19593 from paldepind/rust/operator-overloading
Rust: Type inference for operator overloading
|
2025-05-29 12:28:25 +02:00 |
|
Tom Hvitved
|
d74e95f5fe
|
Rust: Extend jump-to-def to include paths and mod file; imports
|
2025-05-28 13:29:00 +02:00 |
|
Geoffrey White
|
5df50c0b14
|
Merge pull request #19470 from geoffw0/moresensitive
Rust: Recognize more sensitive data sources
|
2025-05-27 17:34:58 +01:00 |
|
Simon Friis Vindum
|
d92d454941
|
Rust: Implement type inference for overloaded operators
|
2025-05-27 14:02:57 +02:00 |
|
Simon Friis Vindum
|
6e9a4be2bc
|
Rust: Add type inference test for overloaded operators
|
2025-05-27 13:38:57 +02:00 |
|
Geoffrey White
|
257d94905d
|
Merge branch 'main' into pin
|
2025-05-27 11:46:07 +01:00 |
|
Geoffrey White
|
c97173735c
|
Merge pull request #19562 from geoffw0/operations3
Rust: Add more Operation subclasses
|
2025-05-27 09:26:35 +01:00 |
|
Simon Friis Vindum
|
e778cbe768
|
Rust: Resolve function calls to traits methods
|
2025-05-24 10:25:46 +02:00 |
|
Simon Friis Vindum
|
e4d1b01361
|
Rust: Add type inference test with function call to trait method
|
2025-05-24 08:56:33 +02:00 |
|
Arthur Baars
|
5b28ff1116
|
Merge branch 'main' into aibaars/rust-extract-libs
|
2025-05-23 22:05:29 +02:00 |
|
Arthur Baars
|
23b4e5042f
|
Rust: update expected output
|
2025-05-23 11:18:23 +02:00 |
|
Geoffrey White
|
9ac24c7f4f
|
Merge branch 'main' into moresensitive
|
2025-05-22 16:11:12 +01:00 |
|
Geoffrey White
|
b22ce5515f
|
Rust: Make RefExpr an Operation.
|
2025-05-22 13:52:13 +01:00 |
|
Geoffrey White
|
6c19cecb07
|
Rust: Add DerefExpr class.
|
2025-05-22 13:50:30 +01:00 |
|
Geoffrey White
|
fafdc1d181
|
Rust: Add BitwiseOperation library.
|
2025-05-22 13:50:29 +01:00 |
|
Geoffrey White
|
11480d29b7
|
Rust: Add ArithmeticOperation library.
|
2025-05-22 13:50:24 +01:00 |
|
Geoffrey White
|
d27596a0b2
|
Merge pull request #19535 from geoffw0/operations2
Rust: Add ComparisonOperation library.
|
2025-05-22 13:41:53 +01:00 |
|
Arthur Baars
|
a4788fd816
|
Rust: update expected output
|
2025-05-22 13:36:38 +02:00 |
|
Geoffrey White
|
852203911a
|
Rust: Equal -> Equals.
|
2025-05-22 11:13:56 +01:00 |
|
Tom Hvitved
|
76737cb53a
|
Rust: Follow-up changes after rebase
|
2025-05-22 10:22:03 +02:00 |
|
Tom Hvitved
|
9ee0d2e6cf
|
Rust: Exclude flow summary nodes from DataFlowStep.ql
|
2025-05-22 09:53:32 +02:00 |
|
Arthur Baars
|
f093c496d5
|
Rust: normalize file paths for PathResolutionConsistency.ql
|
2025-05-22 09:53:31 +02:00 |
|
Arthur Baars
|
5ee7658921
|
Rust: update DataFlowStep.expected
|
2025-05-22 09:53:23 +02:00 |
|
Arthur Baars
|
643059ed34
|
Rust: fix type-interence file paths
|
2025-05-22 09:53:13 +02:00 |
|
Arthur Baars
|
44a404571f
|
Rust: fixes
|
2025-05-22 09:53:12 +02:00 |
|
Tom Hvitved
|
456a4b2be8
|
Rust: Make dataflow/modeled pass by not using #[derive(Clone)]
|
2025-05-22 09:53:09 +02:00 |
|
Tom Hvitved
|
8996f9e61c
|
Rust: Follow-up work to make path resolution and type inference tests pass again
|
2025-05-22 09:53:03 +02:00 |
|
Geoffrey White
|
355864dd93
|
Merge branch 'main' into pin
|
2025-05-21 17:24:00 +01:00 |
|
Simon Friis Vindum
|
1828d408b7
|
Merge pull request #19549 from paldepind/rust/type-inference-operators
Rust: Type inference for non-overloadable operators
|
2025-05-21 17:25:44 +02:00 |
|
Simon Friis Vindum
|
666726c935
|
Rust: Infer types for non-overloadable operators
|
2025-05-21 13:03:23 +02:00 |
|
Simon Friis Vindum
|
0dcf15bf77
|
Rust: Add type inference tests for operators
|
2025-05-21 13:03:16 +02:00 |
|
Geoffrey White
|
053da5530f
|
Rust: Accept test changes after merge with main.
|
2025-05-21 10:17:14 +01:00 |
|
Geoffrey White
|
95289b8fc8
|
Merge branch 'main' into operations2
|
2025-05-21 09:18:51 +01:00 |
|
Geoffrey White
|
ea9531f3ea
|
Merge branch 'main' into tokio
|
2025-05-21 09:17:45 +01:00 |
|
Simon Friis Vindum
|
c68579bd0d
|
Merge pull request #19499 from paldepind/rust-bulk-model-generator
Rust: Bulk model generator
|
2025-05-20 15:30:16 +02:00 |
|
Geoffrey White
|
bfb15cd88f
|
Rust: Accept changes to other tests.
|
2025-05-20 11:13:00 +01:00 |
|
Geoffrey White
|
204260e244
|
Rust: Uncomment calls to test functions.
|
2025-05-20 10:59:23 +01:00 |
|
Geoffrey White
|
ca1437adf1
|
Rust: Move the getGreaterOperand/getLesserOperand predicates into RelationalOperation.
|
2025-05-20 10:19:11 +01:00 |
|
Geoffrey White
|
bc4b69bb93
|
Rust: Add ComparisonOperation library.
|
2025-05-20 10:07:48 +01:00 |
|
Simon Friis Vindum
|
eb5d4efb26
|
Merge branch 'main' into rust-ti-implementing-type-method
|
2025-05-20 09:53:51 +02:00 |
|
Geoffrey White
|
94b57ac9a9
|
Update rust/ql/test/library-tests/dataflow/modeled/main.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-05-19 21:49:02 +01:00 |
|
Geoffrey White
|
ebd75a118b
|
Rust: Add models for std::Pin.
|
2025-05-19 18:38:50 +01:00 |
|
Geoffrey White
|
533aa7fc26
|
Rust: Add tests for std::Pin.
|
2025-05-19 18:38:20 +01:00 |
|
Simon Friis Vindum
|
654d410485
|
Rust: Address PR feedback
|
2025-05-19 15:50:29 +02:00 |
|