Mathias Vorreiter Pedersen
|
fca49dde92
|
C++: Accept test changes.
|
2025-08-02 16:43:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
73e4bfdd3e
|
C++: Fix missing flow by also generating final global uses for functions that have a post-update node for the global variable.
|
2025-08-02 16:41:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
34c1ec73c2
|
C++: Add tests with missing flow through globals.
|
2025-08-02 16:38:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
1fab97b765
|
Merge pull request #20149 from MathiasVP/expose-definition-from-dataflow-ssa
C++: Expose SSA definitions from dataflow
|
2025-08-01 12:04:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
0e9286dd34
|
C++: Fix QLDoc.
|
2025-08-01 11:37:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
b70836e241
|
C++: Modify the API to not expose dataflow nodes.
|
2025-08-01 11:34:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
33d05984c8
|
C++: Stick the exposed SSA classes into a public SSA module.
|
2025-08-01 11:34:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
32e6d0934e
|
C++: Drive-by fix: These files imported both the public dataflow files and the internal ones. Let's only import the internal ones.
|
2025-08-01 11:34:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
7ede3aa516
|
C++: Fix imports.
|
2025-08-01 10:35:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d91622d18
|
C++: Rename SsaInternals to SsaImpl and SsaInternalsCommon to SsaImplCommon.
|
2025-08-01 10:34:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
c8f4b287d1
|
C++: Add a comment on the old SSA library.
|
2025-07-31 14:07:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
7e93b99ff9
|
C++: Add change note.
|
2025-07-31 13:57:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
8691075aae
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-07-31 13:52:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
5a91aa2105
|
C++: Expose SSA definitions from dataflow.
|
2025-07-31 13:45:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
1dae787605
|
C++: Drive-by fix suggested by Schack. This now matches the predicate in C#.
|
2025-07-31 12:58:05 +01:00 |
|
Ian Lynagh
|
492e27b8e8
|
Merge pull request #20141 from igfoo/igfoo/kotlin-2.2.20-beta2
Kotlin: Support 2.2.20-beta2
|
2025-07-31 12:00:17 +01:00 |
|
Ian Lynagh
|
e589019e04
|
Kotlin: Use 2.2.20-Beta2 rather than 2.2.20-Beta1
|
2025-07-30 14:14:14 +01:00 |
|
Ian Lynagh
|
4ea6133042
|
Kotlin: Add 2.2.20-Beta2 jars
|
2025-07-30 14:13:02 +01:00 |
|
Ian Lynagh
|
c78818d7dd
|
Kotlin: Remove *2.2.20-Beta1* jars
|
2025-07-30 14:12:43 +01:00 |
|
Simon Friis Vindum
|
3bc1d47738
|
Merge pull request #20130 from paldepind/rust/type-inference-fn
Rust: Implement type inference for closures and calls to closures
|
2025-07-30 13:13:57 +02:00 |
|
Anders Schack-Mulligen
|
5ca9c090a8
|
Merge pull request #20132 from aschackmull/ssa/guardvalue
SSA: Update data flow integration and BarrierGuard interface to use GuardValue.
|
2025-07-30 12:23:17 +02:00 |
|
Simon Friis Vindum
|
5b152cfdec
|
Rust: Fix typo in change note
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-07-29 18:38:14 +02:00 |
|
Simon Friis Vindum
|
5540b9df71
|
Merge branch 'main' into rust/type-inference-fn
|
2025-07-29 16:43:17 +02:00 |
|
Idriss Riouak
|
6c00ceaec9
|
Merge pull request #20134 from github/idrissrio/java-dca-fix
Java: Move `extractorInformationSkipKey` predicate to library pack
|
2025-07-29 15:32:02 +01:00 |
|
idrissrio
|
ac52a1b123
|
Java: Move extractorInformationSkipKey predicate to library pack
|
2025-07-29 09:45:18 +02:00 |
|
Simon Friis Vindum
|
9d72fab287
|
Merge pull request #20119 from paldepind/rust/type-inference-assoc-type-tp
Rust: Type inference for impl trait types with type parameters
|
2025-07-28 11:38:17 +02:00 |
|
Anders Schack-Mulligen
|
3b8234ecec
|
SSA: Update data flow integration and BarrierGuard interface to use GuardValue.
|
2025-07-28 11:29:12 +02:00 |
|
Simon Friis Vindum
|
92bce4e432
|
Rust: Split getFunctionReturnPos into two predicates
|
2025-07-28 10:45:59 +02:00 |
|
Simon Friis Vindum
|
9761580b7e
|
Merge branch 'main' into rust/type-inference-assoc-type-tp
|
2025-07-28 10:39:00 +02:00 |
|
Simon Friis Vindum
|
8e474c946e
|
Rust: Add change note for type inference for closures
|
2025-07-28 10:27:33 +02:00 |
|
Anders Schack-Mulligen
|
37b508bf43
|
Merge pull request #20128 from aschackmull/ccr/del-formatting-instruction
Copilot: Remove the formatting instructions, as they're confusing CCR.
|
2025-07-28 10:24:30 +02:00 |
|
Simon Friis Vindum
|
2c758a9842
|
Rust: Add type inference for closures and calls to first-class functions
|
2025-07-27 21:28:10 +02:00 |
|
Simon Friis Vindum
|
8c6c28d61f
|
Rust: Add type inference tests for closures
|
2025-07-27 21:16:30 +02:00 |
|
Simon Friis Vindum
|
13d9d8ad3f
|
Merge pull request #20122 from paldepind/rust/type-inference-dyn-assoc
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-26 12:40:09 +02:00 |
|
Geoffrey White
|
4b947db0f8
|
Merge pull request #19804 from geoffw0/dotdot
Rust: Update DotDotCheck to use getCanonicalPath
|
2025-07-25 15:50:29 +01:00 |
|
Geoffrey White
|
2951ae9c7c
|
Merge pull request #20124 from geoffw0/clone
Rust: Replace QL model for Clone with MaD
|
2025-07-25 15:46:44 +01:00 |
|
Simon Friis Vindum
|
b2ee625268
|
Rust: Expand doc and make predicate private
|
2025-07-25 15:22:10 +02:00 |
|
Geoffrey White
|
478f39a967
|
Rust: Accept (trivial) test changes.
|
2025-07-25 14:18:34 +01:00 |
|
Anders Schack-Mulligen
|
6511e21f81
|
Remove the formatting instructions, as they're confusing CCR.
|
2025-07-25 14:59:16 +02:00 |
|
Geoffrey White
|
2192ed04be
|
Rust: Add clone MaD trait model.
|
2025-07-25 09:43:34 +01:00 |
|
Geoffrey White
|
4140579dd6
|
Rust: Remove QL model for clone.
|
2025-07-25 08:17:52 +01:00 |
|
Geoffrey White
|
7f659804e4
|
Rust: Fix the canonical path.
|
2025-07-24 17:24:29 +01:00 |
|
Geoffrey White
|
cfe25593ee
|
Merge branch 'main' into dotdot
|
2025-07-24 16:32:36 +01:00 |
|
Simon Friis Vindum
|
466bf85a67
|
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-24 16:07:39 +02:00 |
|
Simon Friis Vindum
|
1b2f160b55
|
Rust: Add type inference tests for associated types
|
2025-07-24 16:07:37 +02:00 |
|
Joe Farebrother
|
b1ee795225
|
Merge pull request #20086 from joefarebrother/python-qual-raise-not-implemented
Python: Modernise raise-not-implemented query
|
2025-07-24 13:18:21 +01:00 |
|
Ian Lynagh
|
621b4833f3
|
Merge pull request #20114 from igfoo/igfoo/kotlin-2.2.20
Kotlin: Add Kotlin 2.2.20 support
|
2025-07-24 11:58:51 +01:00 |
|
Simon Friis Vindum
|
39f602c032
|
Rust: Create injective ids for impl trait type parameters
|
2025-07-24 12:07:11 +02:00 |
|
Simon Friis Vindum
|
bb56b0d45b
|
Rust: Add type inference test with consistency issue
|
2025-07-24 11:55:23 +02:00 |
|
Simon Friis Vindum
|
9a0c5877ea
|
Rust: Support impl trait types in return position with function type parameters
|
2025-07-24 11:00:01 +02:00 |
|