Óscar San José
|
d972af9ef8
|
Merge branch 'main' of https://github.com/github/codeql into oscarsj/mergeback-rc-3-20-into-main
|
2025-12-12 13:22:08 +01:00 |
|
Anders Schack-Mulligen
|
09058e48aa
|
Guards: Rename -WithState to Parameterized-.
|
2025-12-10 12:23:51 +01:00 |
|
Anders Schack-Mulligen
|
ebb989962c
|
Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards.
|
2025-12-10 12:23:51 +01:00 |
|
github-actions[bot]
|
2854330759
|
Post-release preparation for codeql-cli-2.23.8
|
2025-12-08 15:49:10 +00:00 |
|
github-actions[bot]
|
66c51e979e
|
Release preparation for version 2.23.8
|
2025-12-08 14:38:23 +00:00 |
|
github-actions[bot]
|
085faa2bdb
|
Post-release preparation for codeql-cli-2.23.7
|
2025-12-02 16:39:43 +00:00 |
|
github-actions[bot]
|
a045b317ac
|
Release preparation for version 2.23.7
|
2025-12-02 15:31:27 +00:00 |
|
github-actions[bot]
|
19a13467e0
|
Release preparation for version 2.23.7
|
2025-12-01 16:07:37 +00:00 |
|
github-actions[bot]
|
5ee45af3aa
|
Post-release preparation for codeql-cli-2.23.6
|
2025-11-18 09:53:12 +00:00 |
|
github-actions[bot]
|
18fa6799ce
|
Release preparation for version 2.23.6
|
2025-11-17 16:38:07 +00:00 |
|
Anders Schack-Mulligen
|
1c93710ed3
|
Merge pull request #20826 from aschackmull/guards/disjunctive-implication
Guards: Support disjunctive implications.
|
2025-11-14 15:44:45 +01:00 |
|
Anders Schack-Mulligen
|
b31dfdd5f4
|
Guards: Add elaborating comment.
|
2025-11-13 13:09:44 +01:00 |
|
Anders Schack-Mulligen
|
d6800394fa
|
Guards: Support disjunctive implications.
|
2025-11-12 14:14:32 +01:00 |
|
Anders Schack-Mulligen
|
62e28d2dcf
|
Guards: Simplify non-linear join.
|
2025-11-11 13:34:47 +01:00 |
|
Anders Schack-Mulligen
|
3c7522ca7d
|
Guards: Replace recursion through universal quantification with rank-iteration.
|
2025-11-11 13:03:05 +01:00 |
|
Anders Schack-Mulligen
|
a5279ec420
|
Guards: Rank return expressions.
|
2025-11-11 12:52:07 +01:00 |
|
Anders Schack-Mulligen
|
0a4406dec9
|
Guards: Push forex-range constraint in.
|
2025-11-11 12:45:46 +01:00 |
|
github-actions[bot]
|
4014df9a6e
|
Post-release preparation for codeql-cli-2.23.4
|
2025-11-04 17:57:52 +00:00 |
|
github-actions[bot]
|
64fcdd1f2f
|
Release preparation for version 2.23.4
|
2025-11-03 14:52:23 +00:00 |
|
Anders Schack-Mulligen
|
500fdb8723
|
Guards: Add support for assertions that exit rather than throw.
|
2025-10-29 13:04:29 +01:00 |
|
Anders Schack-Mulligen
|
0df0816c95
|
Guards: Minor improvement to implications.
|
2025-10-29 13:03:51 +01:00 |
|
Anders Schack-Mulligen
|
8b3e62652c
|
Guards: Only prune actually trivial guards.
|
2025-10-29 13:03:46 +01:00 |
|
Anders Schack-Mulligen
|
72d83cc966
|
ControlFlowReachability: Align the SSA signature with the one from shared SSA.
|
2025-10-23 10:57:21 +02:00 |
|
Anders Schack-Mulligen
|
f257c7a570
|
Guards: Align the SSA signature with the one from shared SSA.
|
2025-10-23 10:23:22 +02:00 |
|
Anders Schack-Mulligen
|
20147cdd2b
|
Shared/Java: Rename ControlFlowReachability library.
|
2025-10-23 09:07:34 +02:00 |
|
Anders Schack-Mulligen
|
8a3f62b9b6
|
Merge pull request #20558 from aschackmull/csharp/guards3
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness
|
2025-10-23 08:43:14 +02:00 |
|
Anders Schack-Mulligen
|
7d0e4f58f3
|
C#: Fix join-order issue in ConstantCondition.
|
2025-10-22 15:52:51 +02:00 |
|
Anders Schack-Mulligen
|
c44e6fc3f0
|
C#: Qldoc tweaks.
|
2025-10-22 10:22:26 +02:00 |
|
github-actions[bot]
|
6dd07790ac
|
Post-release preparation for codeql-cli-2.23.3
|
2025-10-14 11:16:33 +00:00 |
|
github-actions[bot]
|
33542f7d40
|
Release preparation for version 2.23.3
|
2025-10-14 09:30:24 +00:00 |
|
Anders Schack-Mulligen
|
64810f6fb5
|
C#: Improve ConstantCondition.ql
|
2025-10-03 15:29:34 +02:00 |
|
Anders Schack-Mulligen
|
b52a9a818c
|
C#: Instantiate shared Guards.
|
2025-10-03 15:29:32 +02:00 |
|
Anders Schack-Mulligen
|
c01ac307b0
|
Guards: Disregard more trivial guards.
|
2025-10-03 15:29:31 +02:00 |
|
Anders Schack-Mulligen
|
ca7d56023a
|
ControlFlow: Rename getAPhiInput to getAnInput.
|
2025-10-03 15:29:31 +02:00 |
|
Anders Schack-Mulligen
|
64caae554a
|
Guards: Refactor representation of false.
|
2025-10-03 15:29:30 +02:00 |
|
Mathias Vorreiter Pedersen
|
6eb2aad7da
|
Merge pull request #20569 from aschackmull/guards/uniquevalue-perf
Guards: Improve performance for phi nodes with many incoming constant values.
|
2025-10-01 17:19:42 +01:00 |
|
Anders Schack-Mulligen
|
a1028d604c
|
Guards: Improve performance for uniqueValue.
|
2025-10-01 14:08:37 +02:00 |
|
github-actions[bot]
|
a7a4e43991
|
Post-release preparation for codeql-cli-2.23.2
|
2025-09-29 15:10:19 +00:00 |
|
github-actions[bot]
|
d2130a589b
|
Release preparation for version 2.23.2
|
2025-09-29 10:28:45 +00:00 |
|
Anders Schack-Mulligen
|
2c29f21004
|
Shared: Address review comments.
|
2025-09-26 13:59:53 +02:00 |
|
Anders Schack-Mulligen
|
109b6a1d79
|
ControlFlow: Split only on relevant values.
|
2025-09-25 15:03:35 +02:00 |
|
Anders Schack-Mulligen
|
d5a238768c
|
Shared/Cfg: Fix missing JoinBlockPredecessor.
|
2025-09-17 16:37:23 +02:00 |
|
github-actions[bot]
|
4e8343664f
|
Post-release preparation for codeql-cli-2.23.1
|
2025-09-17 10:13:40 +00:00 |
|
github-actions[bot]
|
02a1b1efcb
|
Release preparation for version 2.23.1
|
2025-09-16 14:14:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
fa36d9f84e
|
Merge pull request #20438 from MathiasVP/remove-antijoin-in-shared-guards
Shared: Remove antijoin from `Guards.qll`
|
2025-09-16 10:40:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
18c96fd7d4
|
Shared: Remove antijoin.
|
2025-09-15 17:12:23 +01:00 |
|
Anders Schack-Mulligen
|
acb4d9f681
|
Shared: Copy some qldoc from Guards.qll
|
2025-09-15 11:41:23 +02:00 |
|
Anders Schack-Mulligen
|
be39c4c0cd
|
Shared: Minor precision improvement.
|
2025-09-15 10:38:49 +02:00 |
|
Anders Schack-Mulligen
|
b308c5438f
|
Java: Add a change note, and a minor ql comment.
|
2025-09-15 10:14:26 +02:00 |
|
Anders Schack-Mulligen
|
2743fc0be1
|
Guards: Include ConditionalExpr in exprHasValue.
|
2025-09-12 15:41:17 +02:00 |
|