Geoffrey White
9e0e1bde28
Rust: Use Copilot suggested comment phrasing.
2026-06-22 16:12:54 +01:00
Geoffrey White
8c24acc99d
Fix for pull request finding
...
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com >
2026-06-22 16:10:57 +01:00
Geoffrey White
721070a191
Rust: Make the Seed case a tiny bit more realistic.
2026-06-18 23:43:18 +01:00
Geoffrey White
b86cb6df63
Rust: Additional test cases for weak sensitive data hashing.
2026-06-18 23:32:38 +01:00
Geoffrey White
3aaeb68553
Rust: Make the new test inline expectations.
2026-06-18 22:57:15 +01:00
Geoffrey White
e8923b7688
Rust: Output cryptographic operations in the weak sensitive data hashing query test.
2026-06-18 17:07:28 +01:00
Tom Hvitved
3da195f50f
Merge pull request #21918 from hvitved/rust/expose-resolution
...
Rust: Add `Impl::getSelf()` and `Impl::getTrait()`
2026-06-03 20:18:05 +02:00
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
c695c151ea
Rust: Rename Impl::getTrait to Impl::getTraitTy
2026-06-01 10:38:07 +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
Geoffrey White
fd7093e74d
Merge pull request #21375 from geoffw0/mapfix
...
Rust: Add neutral models (map, from)
2026-03-06 17:20:14 +00:00
Tom Hvitved
84bef5d4bc
Merge pull request #21420 from hvitved/rust/type-inference-qualified-trait-arg-path
...
Rust: More conservative resolution of `<Foo as Bar<...>>` paths
2026-03-06 15:14:01 +01:00
Tom Hvitved
ff41917147
Rust: More conservative resolution of <Foo as Bar<...>> paths
2026-03-05 21:42:33 +01:00
