Anders Schack-Mulligen
|
4a8ffea0f6
|
Shared: Add control flow reachability lib.
|
2025-09-12 15:41:15 +02:00 |
|
Anders Schack-Mulligen
|
1ebdcdfa8c
|
Guards: Support integer ranges.
|
2025-09-12 13:38:20 +02:00 |
|
Arthur Baars
|
0bb7fdccf6
|
Merge pull request #20347 from github/post-release-prep/codeql-cli-2.23.0
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 14:14:03 +02:00 |
|
github-actions[bot]
|
e8a2600a0c
|
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 11:46:23 +00:00 |
|
github-actions[bot]
|
0bfa93828b
|
Release preparation for version 2.23.0
|
2025-09-02 11:09:32 +00:00 |
|
Anders Schack-Mulligen
|
3d4d347150
|
SuccessorType: Address review comments.
|
2025-09-02 11:10:00 +02:00 |
|
Anders Schack-Mulligen
|
4e70627629
|
Guards: Use shared SuccessorType.
|
2025-09-01 13:55:29 +02:00 |
|
Anders Schack-Mulligen
|
0d9b8d0592
|
Cfg: Allow for multiple exception successors.
|
2025-09-01 13:48:27 +02:00 |
|
Anders Schack-Mulligen
|
144e34c669
|
Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.
|
2025-09-01 13:43:32 +02:00 |
|
Anders Schack-Mulligen
|
8434dc3890
|
Controlflow: Add a shared SuccessorType implementation.
|
2025-09-01 12:47:24 +02:00 |
|
Anders Schack-Mulligen
|
09b2c5abf0
|
BasicBlock: Replace entryBlock predicate with subclass.
|
2025-09-01 11:48:44 +02:00 |
|
Anders Schack-Mulligen
|
3821f172df
|
Guards/Java: Use BasicBlock signature in Guards library.
|
2025-09-01 11:26:36 +02:00 |
|
Anders Schack-Mulligen
|
f459ddc40a
|
Languages: Adapt to api changes.
|
2025-09-01 11:26:33 +02:00 |
|
Anders Schack-Mulligen
|
e53b22dfa7
|
SSA/VariableCapture: Use shared BasicBlock signature.
|
2025-09-01 11:19:49 +02:00 |
|
Anders Schack-Mulligen
|
119837bb1d
|
BasicBlock: Add CFG signature.
|
2025-09-01 11:19:48 +02:00 |
|
Chris Smowton
|
1829060fab
|
Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc319-into-main
|
2025-08-21 16:33:37 +01:00 |
|
Anders Schack-Mulligen
|
a8f394fedb
|
Merge pull request #20237 from aschackmull/guards/nullguard-caching
Guards: Cache nullGuard predicate.
|
2025-08-19 09:51:31 +02:00 |
|
github-actions[bot]
|
42e3d31c49
|
Post-release preparation for codeql-cli-2.22.4
|
2025-08-18 14:42:42 +00:00 |
|
github-actions[bot]
|
90d29994c8
|
Release preparation for version 2.22.4
|
2025-08-18 14:06:09 +00:00 |
|
Anders Schack-Mulligen
|
e17382d179
|
Guards: Cache nullGuard predicate.
|
2025-08-18 11:09:11 +02:00 |
|
Tom Hvitved
|
7501e621d1
|
Shared: Skip non-CFG children in StandardTree
|
2025-08-15 10:30:47 +02:00 |
|
Anders Schack-Mulligen
|
3b3f4bc782
|
Java/Guards: Remove unused.
|
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
|
2909def9b6
|
Guards: Rename predicate.
|
2025-08-07 14:51:50 +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
|
3aaf48de11
|
Guards: Remove CustomGuard nesting in Guards instantiation.
|
2025-08-07 14:51:46 +02:00 |
|
github-actions[bot]
|
fb4b0aac53
|
Post-release preparation for codeql-cli-2.22.3
|
2025-08-04 17:18:08 +00:00 |
|
github-actions[bot]
|
fd82aeb1f8
|
Release preparation for version 2.22.3
|
2025-08-04 15:47:57 +00:00 |
|
github-actions[bot]
|
37cc78255a
|
Post-release preparation for codeql-cli-2.22.2
|
2025-07-22 14:22:20 +00:00 |
|
github-actions[bot]
|
997547b8ef
|
Release preparation for version 2.22.2
|
2025-07-22 14:04:14 +00:00 |
|
Nick Rolfe
|
825c813095
|
Revert "Release preparation for version 2.22.2"
|
2025-07-22 14:33:45 +01:00 |
|
github-actions[bot]
|
c8632b70b7
|
Release preparation for version 2.22.2
|
2025-07-21 16:45:45 +00:00 |
|
Nick Rolfe
|
ad9b637bec
|
Revert "Merge pull request #19994 from github/post-release-prep/codeql-cli-2.22.2"
This reverts commit e5b4a15e35, reversing
changes made to 33e63109bb.
|
2025-07-21 15:18:59 +01:00 |
|
github-actions[bot]
|
24a0ac1223
|
Post-release preparation for codeql-cli-2.22.2
|
2025-07-07 18:15:04 +00:00 |
|
github-actions[bot]
|
f12daefabe
|
Release preparation for version 2.22.2
|
2025-07-07 14:00:26 +00:00 |
|
Kasper Svendsen
|
712e64e4a8
|
Overlay: Add overlay annotations to shared Guards library
|
2025-06-26 13:19:49 +02:00 |
|
Kasper Svendsen
|
9d2dd782d9
|
Merge remote-tracking branch 'github/main' into kaspersv/overlay-java-annotations
|
2025-06-26 13:18:25 +02:00 |
|
Anders Schack-Mulligen
|
f07d9dda39
|
Guards: Refactor EqualityTest interface.
|
2025-06-26 10:26:40 +02:00 |
|
Anders Schack-Mulligen
|
6f4adb8892
|
Shared: address review comments.
|
2025-06-26 07:17:37 +02:00 |
|
Anders Schack-Mulligen
|
5a34a1a51b
|
Shared: Try caching.
|
2025-06-26 07:17:35 +02:00 |
|
Anders Schack-Mulligen
|
22d5dc999a
|
Shared: Bugfix for unique value implication.
|
2025-06-26 07:17:32 +02:00 |
|
Anders Schack-Mulligen
|
378209a6ad
|
Shared: Simplify and improve joins.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
b19bff9a4e
|
Shared: Switch case guards to be the case statements.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
f772493f4c
|
Shared: Elaborate qldoc.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
73ae613b7a
|
Shared: Many tweaks to Guards.
|
2025-06-26 07:17:30 +02:00 |
|