Tom Hvitved
dc0c7d7ec2
Fix commment typos
2026-06-02 14:41:27 +02:00
Tom Hvitved
1fd31d0ddd
Rust: Data flow for consts and statics
2026-06-02 09:55:51 +02:00
Tom Hvitved
0547e9c98d
Rust: Path resolution for static items
2026-06-02 09:02:56 +02:00
Tom Hvitved
c08cf81665
Rust: Adopt shared local name resolution library
2026-05-28 10:50:10 +02:00
Tom Hvitved
e06158629e
Rust: More local variable tests
2026-05-28 10:50:05 +02:00
Geoffrey White
f2f4f4cce3
Shared: Add 'security_code' sensitive data heuristic.
2026-05-06 14:48:55 +01:00
Geoffrey White
5ed78d1a4a
Shared: Fix and simplify the exclusion for 'encrypted' values.
2026-05-06 14:43:52 +01:00
Geoffrey White
6e2fb6f0ff
Shared: Fix for 'coauthor'.
2026-05-06 14:34:18 +01:00
Geoffrey White
213ab902cd
Shared: Fix for 'api_tok'.
2026-05-06 14:34:15 +01:00
Geoffrey White
b60ce3cf04
Shared: Fix for 'profile'.
2026-05-06 14:33:25 +01:00
Geoffrey White
cb84e633fa
Shared: Fix for 'wildcard'.
2026-05-06 14:32:24 +01:00
Geoffrey White
07d4df18b9
Shared: Add 'card.?no' sensitive data heuristic.
2026-05-06 14:32:21 +01:00
Geoffrey White
d95001f406
Rust: Additional test cases for sensitive data heuristics.
2026-05-06 14:31:47 +01:00
Tom Hvitved
00fb11b028
Merge pull request #21778 from hvitved/rust/type-inference-verbose-type-path-expectations
...
Rust: Use verbose type paths in inline expectation comments
2026-05-05 20:23:25 +02:00
Tom Hvitved
80ccdcc696
Inline test expectations: Rename tagIsOptional to tagIsIgnored
2026-05-04 11:21:33 +02:00
Tom Hvitved
a291548fd8
Update rust/ql/test/library-tests/type-inference/main.rs
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2026-04-30 14:31:24 +02:00
Tom Hvitved
e1cd708c75
Rust: Use verbose type paths in inline expectation comments
2026-04-30 13:54:09 +02:00
Tom Hvitved
e60275c4de
Rust: Refine implSiblings
...
Consider two implementations of the same trait to be siblings when the
type being implemented by one is an instantiation of the type being
implemented by the other.
2026-04-22 13:32:56 +02:00
Tom Hvitved
069431941e
Merge pull request #21596 from hvitved/rust/data-flow-closure-type
...
Rust: Track closure types in data flow
2026-04-15 10:32:05 +02:00
Tom Hvitved
be329c8ab4
Rust: Replace recursion through forall with ranked recursion
2026-04-10 13:18:57 +02:00
Tom Hvitved
42fe2d5002
Rust: Add another type inference test
2026-04-10 10:18:54 +02:00
Tom Hvitved
23f081006e
Rust: Track closure types in data flow
2026-04-09 15:25:52 +02:00
Tom Hvitved
3fa5c952b3
Rust: Add more closure flow tests
2026-04-09 15:25:50 +02:00
Tom Hvitved
6dc98cfd01
Rust: Infer argument types based on trait bounds on parameters
2026-03-27 11:39:03 +01:00
Tom Hvitved
b8a8a160c5
Rust: More type inference tests
2026-03-26 18:06:32 +01:00
Tom Hvitved
6295f57a87
Rust: Take additional type parameter constraints into account
2026-03-25 10:11:04 +01:00
Tom Hvitved
ddc407257f
Rust: Type inference test
2026-03-24 15:41:43 +01:00
Owen Mansel-Chan
fd8821fcb5
Merge pull request #21475 from owen-mc/rust/mad-barriers
...
Rust: Add support for defining barriers and barrier guards using models-as-data
2026-03-24 09:31:24 +00:00
Owen Mansel-Chan
bde9378cee
Update MaD barrier guard test output
2026-03-20 11:10:08 +00:00
Owen Mansel-Chan
77cb35380c
Add MaD barrier guard model to make test pass
2026-03-20 11:06:41 +00:00
Owen Mansel-Chan
c5457d3e30
Add (failing) test for MaD barrier guard
2026-03-20 11:06:39 +00:00
Owen Mansel-Chan
93c656065d
Add test for MaD barriers
2026-03-20 11:06:36 +00:00
Tom Hvitved
7fc1d53ede
Rust: Disambiguate types inferred from trait bounds
2026-03-19 12:57:22 +01:00
Tom Hvitved
e8e46accc0
Rust: Refine AssociatedTypeTypeParameter.toString
2026-03-18 19:52:43 +01:00
Tom Hvitved
082dc61620
Rust: Add type inference test
2026-03-18 19:52:39 +01:00
Tom Hvitved
ca2838b361
Address review comments
2026-03-13 15:38:07 +01:00
Tom Hvitved
7a6ab70091
Rust: Add test for free function with context-based typing
2026-03-13 15:36:06 +01:00
Tom Hvitved
1b6f3a43ef
Rust: Unify type inference logic for associated functions
2026-03-12 10:31:35 +01:00
Tom Hvitved
ca7017f3d7
Rust: Add more type inference tests
2026-03-12 09:02:40 +01:00
Tom Hvitved
ff41917147
Rust: More conservative resolution of <Foo as Bar<...>> paths
2026-03-05 21:42:33 +01:00
Tom Hvitved
838f3b90e7
Rust: Add type inference test
2026-03-05 20:57:32 +01:00
Tom Hvitved
4280d35bf3
Merge pull request #21366 from hvitved/rust/type-inference-unify-method-resolution
...
Rust: Unify logic in `MethodResolution`; remove `TypeQualifierIsInstantiationOfImplSelf` logic
2026-02-26 14:38:35 +01:00
Geoffrey White
5523b5e25f
Merge pull request #21271 from geoffw0/neutralmodels
...
Rust: Add support for neutral models.
2026-02-25 16:15:55 +00:00
Tom Hvitved
de9b1adf63
Rust: Unify logic in MethodResolution; remove TypeQualifierIsInstantiationOfImplSelf logic
2026-02-25 09:05:58 +01:00
Tom Hvitved
018674cfde
Merge pull request #21333 from hvitved/rust/type-inference-restrict-receiver-type-propagation
...
Rust: Restrict type propagation into receivers
2026-02-25 08:48:14 +01:00
Tom Hvitved
f9869daa91
Address review comments
2026-02-24 12:12:47 +01:00
Tom Hvitved
61d809b41a
Rust: Add another type inference test
2026-02-24 12:08:40 +01:00
Tom Hvitved
e587541e55
Rust: Restrict type propagation into receivers
2026-02-17 13:42:56 +01:00
Tom Hvitved
8a051d7e57
Rust: Add type inference test
2026-02-17 13:40:16 +01:00
Tom Hvitved
d3541b87d6
Rust: Make path resolution robust against invalid code with conflicting declarations
2026-02-17 11:13:32 +01:00
