Mathias Vorreiter Pedersen
|
26be9839df
|
C++: Add FP.
|
2025-08-08 15:10:40 +01:00 |
|
Tom Hvitved
|
c043e30d46
|
Rust: Remove source/library deduplication in path resolution
|
2025-08-08 13:28:18 +02:00 |
|
Anders Schack-Mulligen
|
492a5ca087
|
Java: Add some more exception edges to the CFG to facilitate guard wrappers.
|
2025-08-08 10:40:07 +02:00 |
|
Anders Schack-Mulligen
|
e94f018e14
|
Kotlin: Support kotlin Throws annotations.
|
2025-08-08 10:28:58 +02: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 |
|
Geoffrey White
|
1965fdb158
|
Rust: Update consistency .expected.
|
2025-08-07 18:41:47 +01: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
|
3b3f4bc782
|
Java/Guards: Remove unused.
|
2025-08-07 15:43:00 +02:00 |
|
Anders Schack-Mulligen
|
b19f15b3aa
|
Java: Simplify ArithmeticCommon using BarrierGuards.
|
2025-08-07 15:43:00 +02:00 |
|
Anders Schack-Mulligen
|
9957cbe656
|
Java/Guards: Improve BarrierGuards to include validate(x = ...) checks.
|
2025-08-07 15:42:59 +02:00 |
|
Anders Schack-Mulligen
|
a04ff18ba4
|
Java: Enable validation wrappers in BarrierGuards.
|
2025-08-07 15:42:59 +02: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
|
e172e74357
|
Rust: Remove comment from type inference test
|
2025-08-07 10:37:19 +02:00 |
|
Tom Hvitved
|
1be542ec56
|
Rust: Generalize certain type inference logic
|
2025-08-07 10:37:17 +02:00 |
|
Geoffrey White
|
aafdf1a279
|
Rust: Update StreamCipherInit to use getCanonicalPath.
|
2025-08-07 09:27:51 +01: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 |
|
Geoffrey White
|
e991aa3253
|
Merge branch 'main' into cleartextstorage
|
2025-08-06 15:49:44 +01: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
|
83ec1d0254
|
Rust: Add the new query sinks to the Stats.qll import, so that they're reported correctly.
|
2025-08-05 20:20:40 +01: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 |
|
Geoffrey White
|
c8e9ed3eda
|
Merge branch 'main' into cleartextstorage
|
2025-08-05 12:44:55 +01: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 |
|
Paolo Tranquilli
|
27650267a1
|
Merge branch 'main' into redsun82/cargo-upgrade-2
|
2025-08-05 11:18:56 +02:00 |
|