4170 Commits

Author	SHA1	Message	Date
Ian Lynagh	6be2e98796	Java/Kotlin: Remove the erasure relation ... It's no longer used	2024-10-29 11:32:20 +00:00
Ian Lynagh	6c9739023d	Java: Remove redundant getErasure overrides ... The root definition covers these cases already	2024-10-29 11:32:16 +00:00
Anders Schack-Mulligen	fba4d09e65	TypeFlow: Simplify interface.	2024-10-28 15:09:09 +01:00
Anders Schack-Mulligen	3939eff260	TypeFlow: Rename step to uniqStep.	2024-10-28 15:00:05 +01:00
Michael Nebel	3d70f91b9f	Java: Add manual models for various mapToObj methods.	2024-10-23 09:29:15 +02:00
Michael Nebel	197642c914	Merge pull request #17547 from michaelnebel/java/jdk17update ... Java: Update Java JDK 17 models.	2024-10-23 09:07:02 +02:00
Michael Nebel	d59df1f938	Java: Re-generate JDK 17 models.	2024-10-21 15:19:45 +02:00
Michael Nebel	786d04e939	Java: Add the clone method to the model generation exclusions.	2024-10-21 15:19:43 +02:00
Michael Nebel	97f0037a7b	Java: Manually model InetSocketAddress as the model generator doesn't correctly taint the hostname.	2024-10-21 15:19:40 +02:00
Michael Nebel	0a931aa69f	Java: Add change note.	2024-10-21 15:19:38 +02:00
Michael Nebel	9a44eec04c	Java: Add manual models for FileReader (they would also have disappeared if models were re-generated without using mixed mode).	2024-10-21 15:19:37 +02:00
Michael Nebel	b356c3cd48	Java: Manually model ZipFile (due to CWE-522 compression bombs test failure).	2024-10-21 15:19:36 +02:00
Michael Nebel	f7b38a8955	Java: Add some less precise models for BasicAttributes to get the models to work with search sink and re-generate SDK models.	2024-10-21 15:19:34 +02:00
Michael Nebel	3b6f39931b	Java: Re-add generated (mixed) summaries and neutrals for the Java SDK 17.	2024-10-21 15:19:28 +02:00
Michael Nebel	f50734f0ee	Java: Delete all generated Java JDK models.	2024-10-21 15:19:27 +02:00
Chris Smowton	5ba37bd7a3	Rename change note	2024-10-21 09:36:07 +01:00
Chris Smowton	241f951db1	Add change-note for Java buildless packaging its required Maven plugin	2024-10-18 17:43:18 +01:00
Rasmus Lerchedahl Petersen	22d621c625	shared: add locations to typetracking nodes	2024-10-16 15:16:18 +02:00
Anders Schack-Mulligen	c20f12fa6c	Add qldoc.	2024-10-16 14:35:23 +02:00
Anders Schack-Mulligen	8b99154a00	Java: Add support for speculative taint flow.	2024-10-16 14:35:19 +02:00
Anders Schack-Mulligen	c80627a3d3	Dataflow: add plumbing for adding provenance to state-steps.	2024-10-16 14:35:18 +02:00
github-actions[bot]	079ab77a38	Post-release preparation for codeql-cli-2.19.2	2024-10-15 12:16:59 +00:00
github-actions[bot]	255f55cf1a	Release preparation for version 2.19.2	2024-10-15 10:29:25 +00:00
Owen Mansel-Chan	927b402a3a	Merge pull request #17668 from igfoo/igfoo/typo ... Java: Typo in a comment	2024-10-06 13:22:08 +01:00
Ian Lynagh	d24bdbb4e4	Java: Typo in a comment	2024-10-04 17:34:39 +01:00
Tom Hvitved	2832318711	Java: Account for top-level res folders in AndroidLayoutXmlFile	2024-10-04 08:35:28 +02: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
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
Anders Schack-Mulligen	2d76752ca0	Java: Add model for CharArrayWriter.toString().	2024-09-27 11:28:20 +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
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	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
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	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