13261 Commits

Author	SHA1	Message	Date
Tom Hvitved	bf0675e5ba	Kotlin: Update two tests	2024-10-04 08:35:30 +02:00
Tom Hvitved	2832318711	Java: Account for top-level res folders in AndroidLayoutXmlFile	2024-10-04 08:35:28 +02:00
Michael Nebel	51623c3837	Java: Consider all summarized callable with generated verification as generated when counting generated vs manual.	2024-10-02 15:24:01 +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
github-actions[bot]	e97878ed63	Post-release preparation for codeql-cli-2.19.1	2024-09-30 19:49:00 +00:00
github-actions[bot]	455c8c5953	Release preparation for version 2.19.1	2024-09-30 17:59:48 +00:00
Anders Schack-Mulligen	222ae6ad2d	Java: Add a neutral for Comparable.compareTo	2024-09-30 15:51:48 +02:00
Anders Schack-Mulligen	fcb677e84d	Java: Add a neutral for Collection.remove.	2024-09-30 15:46:43 +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
Anders Schack-Mulligen	1f95fa10fb	Java: Fix comment re. neutrals and WithoutElement. ... The remove methods should not have been in this section, as they're plain neutrals.	2024-09-30 15:08:56 +02:00
Anders Schack-Mulligen	ec0bd4494c	Java: Add overrides to the interpretation of neutral MaD models.	2024-09-30 13:11:49 +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
Anders Schack-Mulligen	a017f92b78	Merge pull request #17579 from aschackmull/java/type-sanitizers ... Java: Add more type-based sanitizers.	2024-09-30 10:07:06 +02:00
Anders Schack-Mulligen	b0ed47c277	Merge pull request #17605 from aschackmull/java/stringbuilder-neutrals ... Java: Add a couple of neutrals	2024-09-30 10:03:41 +02:00
Anders Schack-Mulligen	fb630d266e	Java: Add a couple of neutrals	2024-09-27 15:24:06 +02:00
Ian Lynagh	7de1182f92	Merge pull request #17599 from igfoo/igfoo/constrs ... Kotlin: Fix the return type for lambda constructors	2024-09-27 12:38:50 +01:00
Ian Lynagh	2a5b48930a	Kotlin: Fix the return type for lambda constructors	2024-09-27 11:21:40 +01:00
Ian Lynagh	08be35fc2c	Kotlin: Add a test for constructors	2024-09-27 11:21:23 +01:00
Anders Schack-Mulligen	2d76752ca0	Java: Add model for CharArrayWriter.toString().	2024-09-27 11:28:20 +02:00
Michael Nebel	0b39c5b982	C#/Java: Update model generator expected output.	2024-09-27 09:22:29 +02:00
Michael Nebel	80497f551e	Shared: Only make unlifted models in case the API itself is relevant.	2024-09-27 09:22:25 +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
Chris Smowton	76914c40c9	Merge pull request #17591 from github/smowton/admin/java-23-change-note ... Add change note for Java 23 support	2024-09-26 10:14:21 +01: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
Chris Smowton	ba5be80814	Typo	2024-09-25 21:32:52 +01:00
Chris Smowton	2c9488e475	Add change note for Java 23 support	2024-09-25 21:32:24 +01:00
Ian Lynagh	a6fce19b0c	Kotlin: Fix build with 2.1.0-Beta1	2024-09-25 15:23:35 +01:00
Ian Lynagh	5a03c35e9c	Kotlin: Add 2.1.0-Beta1	2024-09-25 15:23:34 +01:00
Ian Lynagh	f193084f9f	Kotlin: Add 2.1.0-Beta1 jars	2024-09-25 15:23:33 +01:00
Ian Lynagh	a8cad4963e	Kotlin: 2.1.0 is supported	2024-09-25 15:23:31 +01:00
Anders Schack-Mulligen	aaecb9bb7a	Java: Add more type-based sanitizers.	2024-09-25 10:38:17 +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	fd45d2dcbb	Shared: Move the model generator implementation to an internal folder.	2024-09-24 15:27:29 +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
Ian Lynagh	9b8152a44b	Java: Add up/downgrade scripts	2024-09-24 14:06:56 +01:00
Ian Lynagh	76662a6002	Java: Add changenote for deprecation of Field.getSourceDeclaration() and Field.isSourceDeclaration()	2024-09-24 14:06:55 +01:00
Ian Lynagh	bda779a58d	Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration() ... Also follows the removal of the sourceid column of fields.	2024-09-24 14:06:54 +01:00
Ian Lynagh	0be52f9660	Kotlin: Follow removal of sourceid column of the fields relation	2024-09-24 14:06:53 +01:00
Ian Lynagh	300864a38b	Java: dbscheme: Remove sourceid column of fields/5 ... It was always the same as the id column.	2024-09-24 14:06:53 +01: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