14003 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	298e4cfcc5	Java: Recognize int-sized long literals.	2025-11-21 12:53:39 +01:00
Anders Schack-Mulligen	30d68d8906	Java: Add missing deprecated annotations.	2025-11-21 10:14:13 +01:00
Paolo Tranquilli	b3c09389c8	Java: add missing QLDoc ... The check for QLDoc comments was unfortunately broken for some time, so we missed this.	2025-11-19 11:59:25 +01:00
Paolo Tranquilli	773b6c04a1	Merge branch 'main' into post-release-prep/codeql-cli-2.23.6	2025-11-18 13:44:21 +01:00
Anders Schack-Mulligen	fe7be22478	Merge pull request #20761 from aschackmull/java/ssa-shared ... Java: Replace SSA wrapper classes with shared implementation.	2025-11-18 13:31:50 +01: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
Idriss Riouak	d916ebdc24	Java: Address review comments. Improve Change note ... Co-authored-by: Chris Smowton <smowton@github.com>	2025-11-14 09:53:09 +01:00
idrissrio	e6d4e515b0	Java: Add change note for Maven Java version auto-detection	2025-11-13 09:41:32 +01:00
Anders Schack-Mulligen	d6800394fa	Guards: Support disjunctive implications.	2025-11-12 14:14:32 +01:00
Anders Schack-Mulligen	2192d75286	Java: Add test for a known FP.	2025-11-12 14:08:18 +01:00
Anders Schack-Mulligen	4a58a0158a	Java: Reinstate useless null check results for fields that are no longer tracked as SSA variables.	2025-11-12 09:06:22 +01:00
Anders Schack-Mulligen	437ca58e3f	Java: Add change note.	2025-11-12 09:06:22 +01:00
Anders Schack-Mulligen	109a5eb7e7	Java: Accept qltest changes due to dropped UntrackedDef.	2025-11-12 09:06:21 +01:00
Anders Schack-Mulligen	e059ded133	Java: Accept toString changes in qltest.	2025-11-12 09:06:21 +01:00
Anders Schack-Mulligen	95ac61df42	Java: Drop caching of deprecated predicates.	2025-11-12 09:06:20 +01:00
Anders Schack-Mulligen	5849d85f1f	Java: Deprecate two more SSA classes.	2025-11-12 09:06:20 +01:00
Anders Schack-Mulligen	ee5d65eba1	Java: Update toString for implicit writes.	2025-11-12 09:06:19 +01:00
Anders Schack-Mulligen	f0bd0346f0	Java: Replace usages of SsaVariable.	2025-11-12 09:06:19 +01:00
Anders Schack-Mulligen	8594ae03df	Java: Replace remaining SsaImplicitInit.	2025-11-12 09:06:19 +01:00
Anders Schack-Mulligen	f4b9efcdce	Java: Replace getAUse with getARead.	2025-11-12 09:06:18 +01:00
Anders Schack-Mulligen	35caede859	Java: Replace SsaPhiNode with SsaPhiDefinition.	2025-11-12 09:06:18 +01:00
Anders Schack-Mulligen	3e43c53b9d	Java: Update some qldoc deprecation notices.	2025-11-12 09:06:17 +01:00
Anders Schack-Mulligen	06df5c0bd1	Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.	2025-11-12 09:06:17 +01:00
Anders Schack-Mulligen	483b2d89a7	Java: Replace uses of SsaExplicitUpdate.	2025-11-12 09:06:16 +01:00
Anders Schack-Mulligen	07e635636c	Java: Replace getAFirstUse with top-level predicate.	2025-11-12 09:06:16 +01:00
Anders Schack-Mulligen	99aa0333cf	Java: Replace usages of isParameterDefinition.	2025-11-12 09:06:15 +01:00
Anders Schack-Mulligen	154f0770de	Java: Simplify instantiation of Guards and ControlFlowReachability.	2025-11-12 09:06:15 +01:00
Anders Schack-Mulligen	d5708fdd4e	Java: Instantiate shared SSA wrappers for main SSA.	2025-11-12 09:06:14 +01:00
Anders Schack-Mulligen	942dc2b89e	Java: Replace BaseSSA class wrappers with shared code.	2025-11-12 09:06:14 +01:00
Anders Schack-Mulligen	551944bacb	Java: Add VariableWrite class.	2025-11-12 09:06:13 +01:00
Anders Schack-Mulligen	374c77213f	Java: Remove getAFirstUse in BaseSSA.	2025-11-12 09:06:12 +01:00
Anders Schack-Mulligen	f2181ece4f	Java: Get rid of untracked SSA definitions.	2025-11-12 09:06:11 +01:00
Anders Schack-Mulligen	c4f0868844	Java: Move SSA entry defs to index -1.	2025-11-12 09:06:11 +01:00
idrissrio	3b7f2f4eda	Java: Add LGTM_INDEX_ MAVEN_TOLLCHAINS_FILE for new Maven integration tests	2025-11-12 08:39:40 +01:00
idrissrio	a82b5e7aa1	Java: Add test for selecting the highest compiler release in a pom	2025-11-12 08:39:39 +01:00
idrissrio	7dab2bef69	Java: Add test for Java 16 target when only Java 17+ is available	2025-11-12 08:39:37 +01:00
idrissrio	fcc54c1470	Java: Add test for detecting --add-exports in poms	2025-11-12 08:39:36 +01:00
idrissrio	5247c88da1	Java: Add test for pom targeting Java 8 but rquiring Java 11	2025-11-12 08:39:35 +01:00
idrissrio	6b890eaf94	Java: Add test for multi-module projects with different Java versions	2025-11-12 08:39:34 +01:00
Napalys Klicius	d122534398	Merge pull request #20671 from github/napalys/adjust_query_severity ... Adjust query severity ratings	2025-11-11 12:37:31 +01:00
Michael B. Gale	046db0419f	Merge pull request #20758 from github/post-release-prep/codeql-cli-2.23.4 ... Post-release preparation for codeql-cli-2.23.4	2025-11-05 10:45:51 +00:00
Owen Mansel-Chan	85175f6d18	Merge pull request #20714 from owen-mc/java/pretty-print-models-quantum-nonce-reuse ... Java: Pretty print models in nonce reuse test in experimental/quantum	2025-11-05 09:53:21 +00: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
Ian Lynagh	06218d8acd	Kotlin: Add a test for recursive interfaces	2025-10-31 13:42:44 +00:00
Ian Lynagh	9182da1d58	Kotlin: Add a test for nested types	2025-10-31 13:42:44 +00:00
Ian Lynagh	1efecc099c	Kotlin: Avoid infinite recursion when extracting recursive interfaces	2025-10-31 13:42:43 +00:00
Owen Mansel-Chan	7ad570b5f5	Pretty print models in test ... Otherwise the test output changes when unrelated models are added.	2025-10-29 12:03:32 +00:00