3989 Commits

Author	SHA1	Message	Date
Michael Nebel	23d285c698	Java: Update model generator expected output.	2024-10-21 15:19:44 +02:00
Michael Nebel	7919dcfb12	Java: Add modelgenerator clone example.	2024-10-21 15:19:42 +02:00
Michael Nebel	e2ada2536b	Java: Update java.net expected output.	2024-10-21 15:19:41 +02:00
Michael Nebel	f537e04532	Java: Update LdapInjection expected test output.	2024-10-21 15:19:35 +02:00
Michael Nebel	e94cacd449	Java: Update test expected output where the query results are not affected.	2024-10-21 15:19:33 +02:00
Michael Nebel	24d1e9927b	Java: Update expected test output for the model editor tests.	2024-10-21 15:19:32 +02:00
Michael Nebel	ea14547643	Java: Update TopJdkApisTest expected output.	2024-10-21 15:19:31 +02:00
Michael Nebel	cbd9cc6dae	Java: Update request forgery expected output.	2024-10-21 15:19:30 +02:00
Ian Lynagh	323b7cb96f	Java: Follow change of implicit parameter names	2024-10-01 15:06:45 +01:00
Ian Lynagh	901f756c69	Java: Add a test for parameter names	2024-10-01 15:06:42 +01:00
Anders Schack-Mulligen	6081ba5902	Merge pull request #17604 from aschackmull/java/neutral-overrides ... Java/C#: Add overrides to the interpretation of neutral MaD models.	2024-10-01 14:55:54 +02:00
Anders Schack-Mulligen	38818f3cd2	Java: Adjust Set.clear model to apply to overrides.	2024-09-30 15:46:42 +02:00
Anders Schack-Mulligen	0459d136d3	Java: Remove neutral model for Object.toString.	2024-09-30 15:17:21 +02:00
Michael Nebel	6f74387600	Merge pull request #17521 from michaelnebel/modelgen/moreimprovements ... C#/Java: Content based model generation improvements.	2024-09-30 11:22:30 +02:00
Michael Nebel	0b39c5b982	C#/Java: Update model generator expected output.	2024-09-27 09:22:29 +02:00
Michael Nebel	8310faa2e9	C#/Java: Add a query that uses both content based and non-content based model generation.	2024-09-27 09:22:11 +02:00
Rasmus Wriedt Larsen	381ea93ec3	Merge pull request #17424 from RasmusWL/active-threat-model-source ... Go/Java/C#: Rename `ThreatModelFlowSource` to `ActiveThreatModelSource`	2024-09-26 13:08:17 +02:00
Michael Nebel	a128383760	C#/Java: Add some dfc-generated test cases.	2024-09-26 13:01:01 +02:00
Michael Nebel	9a923d62ad	C#/Java: Updated expected test output.	2024-09-26 13:00:52 +02:00
Michael Nebel	0cd4ccb790	C#/Java: Update model generator expected test output.	2024-09-26 12:49:18 +02:00
Michael Nebel	aae8660acc	C#/Java: Add some examples of missing synthetic field element flow.	2024-09-26 12:00:29 +02:00
Michael Nebel	58513cadbf	C#/Java: Add model generator test examples.	2024-09-26 12:00:25 +02:00
Michael Nebel	dd993c3900	Merge pull request #17509 from michaelnebel/modelgen/parammodule ... C#/Java: Re-factor the model generator to be a parameterized module.	2024-09-26 10:57:16 +02:00
Michael Nebel	e6085759ae	Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.	2024-09-24 15:46:44 +02:00
Michael Nebel	22c2522aac	Shared: Make a ContentSensitive module with predicates and classes related to content flow.	2024-09-24 15:16:16 +02:00
Tom Hvitved	6a11120e50	Address review comments	2024-09-24 14:21:40 +02:00
Tom Hvitved	f287216060	Update expected test output	2024-09-24 14:21:38 +02:00
Rasmus Wriedt Larsen	63c3a71d95	Merge branch 'main' into active-threat-model-source	2024-09-23 11:18:14 +02:00
Chris Smowton	fe1081e880	Merge pull request #17510 from mbaluda/patch-1 ... Model summary for `org.springframework.core.io.getInputStream` methods	2024-09-19 15:47:31 +01:00
Michael Nebel	4a9e3ee3aa	Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements ... C#/Java: Content based model generation improvements.	2024-09-19 10:49:11 +02:00
Mauro Baluda	cab35a25a5	Remove duplicate summary for MultipartFile.getInputStream and update .expected file	2024-09-18 20:43:04 +02:00
Tom Hvitved	ed9008a064	Update expected test output	2024-09-18 13:51:02 +02:00
Anders Schack-Mulligen	2837d2551a	Merge pull request #17490 from aschackmull/java/capture-in-obinit ... Java: Fix support for variable capture inside object initializers.	2024-09-18 09:29:01 +02:00
Anders Schack-Mulligen	a1a885efeb	Java: Expand test.	2024-09-17 11:38:53 +02:00
Anders Schack-Mulligen	20661a3c56	Java: Fix support for variable capture inside object initializers.	2024-09-17 10:42:21 +02:00
Ian Lynagh	41ed6e6695	Java: Deprecate RefType.nestedName(), and add RefType.getNestedName()	2024-09-16 17:16:25 +01:00
Rasmus Wriedt Larsen	8c10155eb7	mass rename to ActiveThreatModelSource	2024-09-12 10:16:55 +02:00
Michael Nebel	0fbeca14ad	Java: Add content based example with multiple paths.	2024-09-10 15:23:44 +02:00
Michael Nebel	d7e61d07d1	Java: Update some model generator test cases.	2024-09-10 15:23:34 +02:00
Michael Nebel	a5b462292f	Merge pull request #17330 from michaelnebel/java/modelgenfieldbased ... Java/C#: Field based model generator (Experimental).	2024-09-06 11:11:46 +02:00
erik-krogh	e76dcf9df9	delete a test for a deleted file	2024-09-03 20:31:01 +02:00
Michael Nebel	5ddcb16cd6	Java: Add content based model generation test.	2024-09-03 12:58:01 +02:00
Michael Nebel	53b2471c9d	Java: Update expected test output.	2024-08-29 09:03:46 +02:00
Michael Nebel	fa5d6f12be	Java: Update logging test expected output.	2024-08-28 16:16:16 +02:00
Michael Nebel	395656a1cf	Java: Extend the logging test with a test case for parameters.	2024-08-28 16:13:32 +02:00
Michael Nebel	15b06907dd	Java: Updated expected test output.	2024-08-27 14:48:14 +02:00
Michael Nebel	021fd1450e	Java: Add some dispatch examples to the external flow step test.	2024-08-27 14:48:03 +02:00
Michael Nebel	7488cc0811	Java: Updated expected test output.	2024-08-27 13:28:13 +02:00
Michael Nebel	6cb5e13a23	Java: Re-factor tests and update expected test output.	2024-08-27 13:28:00 +02:00
Michael Nebel	68880b2056	Java: Update expected test output. Generated models are no longer applied as there exist a source implementation.	2024-08-27 13:27:55 +02:00