Mathias Vorreiter Pedersen
|
42fcfca849
|
C++: Remove the old virtual dispatch case from 'defaultViableCallable' and slightly reorganize the code in preparation for the next commit.
|
2025-08-19 12:39:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
c1b91db37a
|
C++: Add more virtual dispatch tests.
|
2025-08-19 12:32:09 +02:00 |
|
Jeroen Ketema
|
f9f99a043c
|
Merge pull request #20126 from MathiasVP/fix-missing-global-flow
C++: Fix missing global variable flow
|
2025-08-11 11:54:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
c8eb1cf826
|
C++: Add change note.
|
2025-08-11 11:28:53 +02:00 |
|
Mathias Vorreiter Pedersen
|
851cb04d36
|
Merge pull request #20193 from MathiasVP/fix-fp-in-overflow-buffer
C++: Fix FP in `cpp/overflow-buffer`
|
2025-08-11 10:45:06 +02:00 |
|
Geoffrey White
|
a1bc865691
|
Merge pull request #20185 from geoffw0/typeconsistencycounts
Rust: Add rust/diagnostics/type-inference-consistency-counts.
|
2025-08-11 09:42:19 +01:00 |
|
Geoffrey White
|
04014d9bf0
|
Merge pull request #20150 from geoffw0/ctorinit
Rust: Update BadCtorInitialization.ql to use getCanonicalPath.
|
2025-08-11 09:41:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
ccfcd90f08
|
Merge pull request #20156 from MathiasVP/value-numbering-for-noop-casts
C++: Value numbering for casts that only modify specifiers
|
2025-08-11 10:33:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
56aacb1e55
|
Merge pull request #20145 from MathiasVP/fix-type-error-in-ir
C++: Fix missing `bool` -> `int` conversions in C code
|
2025-08-11 10:26:54 +02:00 |
|
Tom Hvitved
|
874f951727
|
Merge pull request #20172 from hvitved/shared/concepts-final-aliases
Shared: Use `final` aliases in `ConcentsShared.qll`
|
2025-08-11 10:14:55 +02:00 |
|
Paolo Tranquilli
|
e02a2d8eae
|
Merge pull request #20189 from github/redsun82/java-17-in-gradle-no-wrapper-tests
Java: use java 17 in `no-wrapper` tests
|
2025-08-08 17:47:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
b00107f927
|
C++: Add change note.
|
2025-08-08 15:23:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
0c9d14f417
|
C++: Accept test changes.
|
2025-08-08 15:14:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
d76ce4fb69
|
C++: Also handle reference types when computing 'trueSize'.
|
2025-08-08 15:12:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
26be9839df
|
C++: Add FP.
|
2025-08-08 15:10:40 +01:00 |
|
Paolo Tranquilli
|
72843b56e8
|
Java: use java 17 in no-wrapper tests
Gradle 9 requires Java 17.
|
2025-08-08 08:58:56 +02:00 |
|
Chuan-kai Lin
|
72563ec5a4
|
Merge pull request #20080 from d10c/d10c/diff-informed-phase-3-ruby
Ruby: Diff-informed queries: phase 3 (non-trivial locations)
|
2025-08-07 07:37:40 -07:00 |
|
Geoffrey White
|
38f4f8d1d2
|
Rust: Update suite lists.
|
2025-08-07 15:28:01 +01:00 |
|
Geoffrey White
|
c5f83c4423
|
Rust: Add rust/diagnostics/type-inference-consistency-counts.
|
2025-08-07 14:43:48 +01:00 |
|
Anders Schack-Mulligen
|
3674966946
|
Merge pull request #20121 from aschackmull/guards/wrapperguard
Guards: Improve support for wrapped guards
|
2025-08-07 15:41:04 +02:00 |
|
Anders Schack-Mulligen
|
2909def9b6
|
Guards: Rename predicate.
|
2025-08-07 14:51:50 +02:00 |
|
Anders Schack-Mulligen
|
b51c0e7cb6
|
Java: Add change note.
|
2025-08-07 14:51:50 +02:00 |
|
Anders Schack-Mulligen
|
d9cfe14729
|
Java: Accept qltest change.
|
2025-08-07 14:51:49 +02:00 |
|
Anders Schack-Mulligen
|
a40ae3a11a
|
Guards: Slight join-order improvement.
|
2025-08-07 14:51:49 +02:00 |
|
Anders Schack-Mulligen
|
ec513ead0d
|
Guards: Add support for extending BarrierGuards with wrapped invocations.
|
2025-08-07 14:51:48 +02:00 |
|
Anders Schack-Mulligen
|
f90b6ab005
|
Guards: Add support for wrappers that may throw exceptions.
|
2025-08-07 14:51:48 +02:00 |
|
Anders Schack-Mulligen
|
b156bd5ce2
|
Guards: Rename predicate.
|
2025-08-07 14:51:48 +02:00 |
|
Anders Schack-Mulligen
|
0c31a80f3c
|
Guards: Generalise wrapper guards.
|
2025-08-07 14:51:47 +02:00 |
|
Anders Schack-Mulligen
|
6e52df1639
|
Guards: Rename module.
|
2025-08-07 14:51:47 +02:00 |
|
Anders Schack-Mulligen
|
1bdaa2420d
|
Java: Simplify Guards instantiation a bit.
|
2025-08-07 14:51:46 +02:00 |
|
Anders Schack-Mulligen
|
3aaf48de11
|
Guards: Remove CustomGuard nesting in Guards instantiation.
|
2025-08-07 14:51:46 +02:00 |
|
Tom Hvitved
|
dfe4401f13
|
Merge pull request #20169 from hvitved/javascript/legacy-summary-steps
JS: Generate legacy flow steps for all flow summaries
|
2025-08-06 18:52:39 +02:00 |
|
Tom Hvitved
|
ed3a33fdc6
|
Merge pull request #20177 from hvitved/rust/type-inference-where
Rust: Improve handling of where clauses in type inference and path resolution
|
2025-08-06 15:52:56 +02:00 |
|
Geoffrey White
|
d215ea16da
|
Merge pull request #19802 from geoffw0/sqlx
Rust: Update SqlxQuery, SqlxExecute to use getCanonicalPath
|
2025-08-06 14:52:03 +01:00 |
|
Simon Friis Vindum
|
b50a76693a
|
Rust: Handle multiple type bounds for the same type parameter in getTypeBound
|
2025-08-06 11:15:28 +02:00 |
|
Simon Friis Vindum
|
0cfb22ff3f
|
Rust: Add example with multiple where clause items for the same type parameter
|
2025-08-06 11:15:24 +02:00 |
|
Simon Friis Vindum
|
b302f3f98f
|
Rust: Improve handling of where clauses in type inference and path resolution
|
2025-08-06 11:08:18 +02:00 |
|
Simon Friis Vindum
|
766083290c
|
Rust: Add tests with where clause
|
2025-08-06 11:08:13 +02:00 |
|
Tom Hvitved
|
d201ce1705
|
Merge pull request #20155 from paldepind/rust/type-inference-certain
Rust: Add predicate for certain type information
|
2025-08-06 10:55:34 +02:00 |
|
Tom Hvitved
|
1f15fc8a35
|
Merge pull request #20173 from hvitved/rust/type-mention-remove-restriction
Rust: Remove restriction in `PathTypeMention`
|
2025-08-06 10:13:23 +02:00 |
|
Tom Hvitved
|
eb3c054b0f
|
JS: Generate legacy flow steps for all flow summaries
|
2025-08-06 09:38:49 +02:00 |
|
Geoffrey White
|
0d4f8765a6
|
Merge pull request #20167 from geoffw0/mdlcleanup
Rust: Clean up some odds and ends
|
2025-08-05 19:25:46 +01:00 |
|
Tom Hvitved
|
a396f9345e
|
Rust: Remove restriction in PathTypeMention
|
2025-08-05 15:05:43 +02:00 |
|
Tom Hvitved
|
11dcd90435
|
Shared: Use final aliases in ConcentsShared.qll
|
2025-08-05 14:53:52 +02:00 |
|
Anders Schack-Mulligen
|
1823355fae
|
Merge pull request #20171 from aschackmull/java/nullness-fn
Java: document nullness false negative as qltest
|
2025-08-05 14:17:09 +02:00 |
|
Anders Schack-Mulligen
|
94274288d3
|
Merge pull request #20127 from aschackmull/java/joinorder3
Java: Improve a couple of join-orders
|
2025-08-05 14:15:42 +02:00 |
|
Anders Schack-Mulligen
|
c59d20a668
|
Merge pull request #20163 from aschackmull/java/postdom-normal
Java: Assume normal termination in post-dominance.
|
2025-08-05 14:01:04 +02:00 |
|
Anders Schack-Mulligen
|
23aac0ac51
|
Java: document nullness false negative as qltest
|
2025-08-05 13:49:51 +02:00 |
|
Tom Hvitved
|
6e90823bd9
|
Merge pull request #20158 from hvitved/csharp/has-callable-constructor
C#: Include constructors in `ValueOrRefType.hasCallable`
|
2025-08-05 12:59:29 +02:00 |
|
Anders Schack-Mulligen
|
273429d14a
|
Java: Accept qltest output
|
2025-08-05 10:32:53 +02:00 |
|