18 Commits

Author	SHA1	Message	Date
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	4685b4f8a9	Java: Use shared SuccessorType.	2025-09-01 13:00:20 +02:00
Anders Schack-Mulligen	09b2c5abf0	BasicBlock: Replace entryBlock predicate with subclass.	2025-09-01 11:48:44 +02:00
Anders Schack-Mulligen	f459ddc40a	Languages: Adapt to api changes.	2025-09-01 11:26:33 +02:00
Anders Schack-Mulligen	bb3abc815f	SSA: Update input to use member predicates.	2025-09-01 11:19:48 +02:00
Anders Schack-Mulligen	0a27a8c255	Java: Assume normal termination in post-dominance.	2025-08-04 15:08:26 +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	5c0dcd980d	Java: Switch to the shared Guards library.	2025-06-26 07:17:34 +02:00
Kasper Svendsen	c207cfdeb7	Overlay: Add overlay annotations to Java & shared libraries	2025-06-24 10:25:06 +02:00
Anders Schack-Mulligen	10efea1075	Java/Shared: Address review comments.	2025-05-21 09:01:47 +02:00
Anders Schack-Mulligen	a98d93b98b	Java: Override dominates to reference the right type.	2025-05-21 09:01:46 +02:00
Anders Schack-Mulligen	db01828717	Java: Deprecate redundant basic block predicates.	2025-05-21 09:01:46 +02:00
Anders Schack-Mulligen	f202586f5e	Java: Use the shared BasicBlocks library.	2025-05-21 09:01:45 +02:00
Anders Schack-Mulligen	33135330fd	Java: Merge cached stages for BasicBlocks.	2025-03-21 15:21:25 +01:00
Owen Mansel-Chan	0f3dd6d8f1	Java: IPA the CFG	2024-12-10 15:26:11 +00:00
Anders Schack-Mulligen	7002f49abc	Java: Remove some useless imports.	2022-04-26 12:37:03 +02:00
Erik Krogh Kristensen	caeeebf572	add explicit this qualifier on all of java	2021-10-15 15:27:37 +02:00
Andrew Eisenberg	8e750f18ad	Packaging: Java refactoring ... Split java pack into `codeql/java-all` and `codeql/java-queries`.	2021-08-19 14:09:35 -07:00