12553 Commits

Author	SHA1	Message	Date
github-actions[bot]	fe54961b84	Release preparation for version 2.19.1	2024-10-02 18:30:42 +00:00
Angela P Wen	e8dd6a88e7	Revert "Release preparation for version 2.19.1"	2024-10-01 10:19:28 -07: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	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
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
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
github-actions[bot]	15bb670b3f	Add changed framework coverage reports	2024-09-24 00:20:17 +00:00
Chuan-kai Lin	1cd8af54f2	Merge pull request #17190 from github/cklin/diff-informed-java-queries ... Java: add support for alert location restrictions	2024-09-23 08:39:24 -07:00
Rasmus Wriedt Larsen	63c3a71d95	Merge branch 'main' into active-threat-model-source	2024-09-23 11:18:14 +02:00
Chuan-kai Lin	75ec8ce58e	Java: apply query alert restrictions	2024-09-20 07:47:58 -07:00
Anders Schack-Mulligen	3a1e50dcf9	Dataflow: Simplify diff-informed implementation and tweak flag name.	2024-09-20 07:07:10 -07: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	2033818e39	Java: Use the shared model generator implementation.	2024-09-19 12:20:51 +02: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