Tom Hvitved
|
50552da4d8
|
Rust: Handle unqualified UseTrees in path resolution
|
2025-11-04 13:57:33 +01:00 |
|
Geoffrey White
|
7fe4877ddd
|
Rust: Update test annotations.
|
2025-11-04 12:36:56 +00:00 |
|
Geoffrey White
|
077bcf6b92
|
Merge pull request #20740 from geoffw0/rustbarriers
Rust: Add numeric type barriers for three queries
|
2025-11-04 10:08:46 +00:00 |
|
copilot-swe-agent[bot]
|
ee3d57ef3c
|
Update test cases with correct APIs and run CodeQL test
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-11-03 17:38:25 +00:00 |
|
copilot-swe-agent[bot]
|
8f02ab107c
|
Add test cases for actix-web, poem, and http-types cookie secure attribute
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-11-03 17:16:04 +00:00 |
|
Geoffrey White
|
56e98c45ec
|
Rust: Accept trivial changes to test .expected files.
|
2025-11-03 17:08:22 +00:00 |
|
Geoffrey White
|
687cc6f544
|
Rust: Re-arrange models slightly.
|
2025-11-03 14:54:13 +00:00 |
|
github-actions[bot]
|
64fcdd1f2f
|
Release preparation for version 2.23.4
|
2025-11-03 14:52:23 +00:00 |
|
Geoffrey White
|
5af83787d8
|
Rust: Move a few more models.
|
2025-11-03 13:35:27 +00:00 |
|
Geoffrey White
|
144fa7dd39
|
Rust: Deduplicate some models.
|
2025-11-03 13:33:37 +00:00 |
|
Geoffrey White
|
8a2c117a0e
|
Rust: Move models between core.model.yml and alloc.model.yml.
|
2025-11-03 13:31:25 +00:00 |
|
Geoffrey White
|
1b435ed07d
|
Rust: Move another model file into subdirectory.
|
2025-11-03 13:26:37 +00:00 |
|
Geoffrey White
|
4b3a1c5abb
|
Rust: Move a model file into subdirectory.
|
2025-11-03 13:24:28 +00:00 |
|
Tom Hvitved
|
0ca62ca5b6
|
Fix copilot implementation
|
2025-11-03 14:15:16 +01:00 |
|
Geoffrey White
|
c381153125
|
Apply suggestions from code review
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2025-11-03 09:38:43 +00:00 |
|
Tom Hvitved
|
39dd3acd76
|
Rust: More path resolution tests
|
2025-11-03 10:34:50 +01:00 |
|
Geoffrey White
|
8548c167be
|
Rust: Autoformat.
|
2025-10-31 17:30:04 +00:00 |
|
Geoffrey White
|
34f75952d0
|
Rust: Change note.
|
2025-10-31 16:40:02 +00:00 |
|
Geoffrey White
|
33efed92b8
|
Rust: Add integral type barrier for Regex injection.
|
2025-10-31 16:37:10 +00:00 |
|
Geoffrey White
|
2d4369ac6c
|
Rust: Add numeric type barrier for log injection.
|
2025-10-31 16:32:32 +00:00 |
|
Geoffrey White
|
52397f0ce0
|
Rust: Add numeric type barrier for SQL injection.
|
2025-10-31 16:25:44 +00:00 |
|
Geoffrey White
|
6433bec699
|
Rust: Add a test for BuiltinTypes.
|
2025-10-31 16:24:51 +00:00 |
|
Geoffrey White
|
47019f7f24
|
Rust: Define NumericType, IntegralType and FloatingPointType in Builtins.qll.
|
2025-10-31 16:24:39 +00:00 |
|
Geoffrey White
|
aaa3b1bcb4
|
Rust: Add a couple of new test cases.
|
2025-10-31 16:20:52 +00:00 |
|
copilot-swe-agent[bot]
|
ad51b61a2b
|
Fix trailing whitespace in documentation comments
Co-authored-by: hvitved <3667920+hvitved@users.noreply.github.com>
|
2025-10-31 13:07:04 +00:00 |
|
copilot-swe-agent[bot]
|
6011ecbef4
|
Add ConstAccess class with getConst() predicate and test cases
Co-authored-by: hvitved <3667920+hvitved@users.noreply.github.com>
|
2025-10-31 13:01:25 +00:00 |
|
Tom Hvitved
|
95e60ad4a7
|
Merge pull request #20705 from hvitved/rust/type-inference-unit
Rust: Infer more `()` types
|
2025-10-31 13:43:10 +01:00 |
|
Geoffrey White
|
d8fff44048
|
Merge pull request #20712 from geoffw0/macrometric2
Rust: Exclude skipped files in rust/diagnostic/database-quality
|
2025-10-31 11:25:41 +00:00 |
|
Tom Hvitved
|
f672f6b731
|
Merge pull request #20727 from hvitved/rust/variable-overlap-fix
Rust: Fix variable access overlap
|
2025-10-31 11:07:30 +01:00 |
|
Tom Hvitved
|
6d64800e85
|
Rust: Move variable consistency check into AstConsistency.qll
|
2025-10-31 10:42:51 +01:00 |
|
Tom Hvitved
|
7d5664f2a8
|
Address review comment
|
2025-10-31 09:43:18 +01:00 |
|
Tom Hvitved
|
f850025583
|
Rust: Add another type inference test
|
2025-10-31 09:39:00 +01:00 |
|
Tom Hvitved
|
5a2467414c
|
Rust: Fix variable access overlap
|
2025-10-30 21:52:36 +01:00 |
|
Tom Hvitved
|
3d7b60a439
|
Rust: Add variable consistency query
|
2025-10-30 21:40:37 +01:00 |
|
Tom Hvitved
|
d71f2dee9c
|
Rust: Add more variable tests
|
2025-10-30 21:39:28 +01:00 |
|
Simon Friis Vindum
|
c648aa69b8
|
Rust: Rename predicates
|
2025-10-30 14:35:17 +01:00 |
|
Tom Hvitved
|
cca458c2ac
|
Rust: Address review comments and handle ! types in type inference
|
2025-10-30 13:30:42 +01:00 |
|
Geoffrey White
|
0e7d410163
|
Merge branch 'main' into macrometric2
|
2025-10-30 10:19:11 +00:00 |
|
Tom Hvitved
|
5697a7e612
|
Rust: More type inference tests
|
2025-10-30 10:43:44 +01:00 |
|
Simon Friis Vindum
|
b189f1fe3f
|
Rust: Refactor using shared constraint satisfaction
|
2025-10-30 08:18:12 +01:00 |
|
Tom Hvitved
|
bc53fee1c5
|
Rust: Infer more () types
|
2025-10-29 15:43:00 +01:00 |
|
Tom Hvitved
|
f395162afd
|
Rust: More type inference tests
|
2025-10-29 15:41:23 +01:00 |
|
Tom Hvitved
|
6ed8bcbcf3
|
Rust: Add type inference tests for method resolution overlap
|
2025-10-29 14:53:28 +01:00 |
|
Tom Hvitved
|
e5f1238e26
|
Merge pull request #20707 from paldepind/rust/ti-self-trait
Rust: Improve handling of `Self` type parameter
|
2025-10-29 13:17:14 +01:00 |
|
Geoffrey White
|
7a864c5244
|
Rust: Implement suggestion from review.
|
2025-10-29 12:13:12 +00:00 |
|
Geoffrey White
|
558ca74e9c
|
Merge pull request #20702 from geoffw0/gen2
Rust: Generalize more models
|
2025-10-29 11:32:00 +00:00 |
|
Geoffrey White
|
5ca0bd071d
|
Rust: Exclude skipped files from CallTargetStats and ExprTypeStats as well.
|
2025-10-29 10:42:04 +00:00 |
|
Geoffrey White
|
25e4b790a3
|
Rust: Exclude skipped files from MacroCallTargetStats.
|
2025-10-29 10:42:03 +00:00 |
|
Simon Friis Vindum
|
ce8cffc331
|
Rust: Address comments
|
2025-10-29 11:18:02 +01:00 |
|
Tom Hvitved
|
b7293541cd
|
Merge pull request #20704 from hvitved/rust/fix-bad-joins
Rust: Fix two bad joins
|
2025-10-29 11:11:54 +01:00 |
|