1247 Commits

Author	SHA1	Message	Date
Owen Mansel-Chan	8a80158959	Merge pull request #17590 from Kwstubbs/java-mad-test ... Java: FileUpload Support MaD	2026-01-08 13:33:55 +00:00
Owen Mansel-Chan	6a3c74c989	Merge pull request #20999 from joefarebrother/java-spring-websocket ... Java: Add models for spring WebSocketHandler	2026-01-07 13:29:19 +00:00
Owen Mansel-Chan	6c291e1e7f	Add model for handlePongMessage and update test	2026-01-07 11:09:59 +00:00
Owen Mansel-Chan	bf79b8a792	Merge branch 'main' into java-mad-test	2026-01-01 23:34:45 +00:00
Kevin Stubbings	f73f1a7aa9	Add additional test	2025-12-29 07:09:31 +00:00
Anders Schack-Mulligen	eaa96864f7	Java: Extend test to cover assertion-like barrier guards.	2025-12-10 12:23:52 +01:00
Joe Farebrother	94fcee5340	minor formatting tweak	2025-12-09 14:15:36 +00:00
Joe Farebrother	d98e660803	Test fixes + more tests	2025-12-09 14:13:28 +00:00
Joe Farebrother	a594ca9de8	Add tests	2025-12-09 14:12:45 +00:00
Anders Schack-Mulligen	dc6d3fe7ba	Use flowFrom.	2025-12-03 14:04:18 +01:00
Owen Mansel-Chan	7b533db4fb	Sort models and tests alphabetically	2025-11-12 15:10:29 +00:00
Owen Mansel-Chan	f598027cbd	Apply suggestions from code review	2025-11-12 15:02:42 +00: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	f0bd0346f0	Java: Replace usages of SsaVariable.	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	06df5c0bd1	Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.	2025-11-12 09:06:17 +01:00
Anders Schack-Mulligen	07e635636c	Java: Replace getAFirstUse with top-level predicate.	2025-11-12 09:06:16 +01:00
Owen Mansel-Chan	f3f256d070	Add back import that was accidentally deleted from options file	2025-10-29 12:26:19 +00:00
Owen Mansel-Chan	fe6b4330de	Fix test import	2025-10-28 23:14:23 +00:00
Owen Mansel-Chan	74dbafa553	Merge branch 'main' into java-mad-test	2025-10-28 13:28:35 +00:00
Anders Schack-Mulligen	f0bfd7053e	Java: Add test case.	2025-10-07 13:40:44 +02:00
Kevin Stubbings	88f9f90236	Fix merge problems	2025-10-06 22:41:16 -07:00
Kevin Stubbings	0d3b65a35b	Resolved merge conflicts and completed merge	2025-10-06 22:37:28 -07:00
Anders Schack-Mulligen	e8f1ec68db	Java: Accept guards test results.	2025-09-12 15:41:17 +02:00
Anders Schack-Mulligen	b5c7bc1b33	Java: Accept test output.	2025-09-10 15:42:18 +02:00
Idriss Riouak	b89b68dfdb	Merge pull request #20339 from github/idrissrio/scoped-values ... Java: Add MaDs for `java.lang.ScopedValue`	2025-09-10 11:21:34 +02:00
idrissrio	728a4aff22	Java: Add model for thenExpand and accept new results	2025-09-08 13:17:53 +02:00
idrissrio	3aba4d3e1e	Java: Add test showing missing model for thenExpand	2025-09-08 13:17:52 +02:00
idrissrio	55ff71b760	Java: Address review comment. Fix dataflow model	2025-09-08 13:17:51 +02:00
idrissrio	311690cffe	Java: accept new test results	2025-09-08 13:17:49 +02:00
idrissrio	16fbe8d96f	Java: add dataflow test for newly added KDF API	2025-09-08 13:17:46 +02:00
idrissrio	666678a582	Java: Address review comment. Inline dataflow annotation	2025-09-08 12:55:20 +02:00
idrissrio	a8541b9f76	Java: accept new test results	2025-09-08 12:55:15 +02:00
idrissrio	0159f5b422	Java: Add failing test for Scoped Values	2025-09-08 12:55:13 +02:00
idrissrio	039b5af2e0	Java: Add module import declaration test	2025-09-06 12:38:40 +02:00
idrissrio	f1186432c1	Java: Accept new test result after extractor changes	2025-09-05 10:43:35 +02:00
idrissrio	b2ef60c165	Java: add tests for compact source files	2025-09-05 10:19:03 +02:00
idrissrio	9363bc318a	Java: Add compact source file tests	2025-09-05 10:18:58 +02:00
idrissrio	1605438333	Java: Accept new test result after extractor changes	2025-09-04 17:01:45 +02:00
idrissrio	6c773a7473	Java: Add test to verify that the AST does not capture instance initializers	2025-09-04 17:01:44 +02:00
idrissrio	fffb4c03b0	Java: add flexible constructor test including CFG predecessor query	2025-09-04 17:01:43 +02:00
idrissrio	6b022edf06	Java: Address review comment. Add prologue field initialization tests	2025-09-04 17:01:42 +02:00
idrissrio	de6d9f4d50	Java: Add test for flexible constructor support	2025-09-04 17:01:41 +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	0c31a80f3c	Guards: Generalise wrapper guards.	2025-08-07 14:51:47 +02:00
Anders Schack-Mulligen	e7a6259bd7	Java: Accept test changes.	2025-07-17 11:21:26 +02:00
Anders Schack-Mulligen	42b1b12aa1	Java: Fix qltests	2025-06-26 07:17:34 +02:00
Anders Schack-Mulligen	5c0dcd980d	Java: Switch to the shared Guards library.	2025-06-26 07:17:34 +02:00