11276 Commits

Author	SHA1	Message	Date
Chris Smowton	13f19481db	Add tests checking Maven retrieves the depgraph plugin from our shipped repo, and produces the expected settings.xml file in the process	2024-10-17 20:42:40 +01: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
Arthur Baars	bdec751527	Merge pull request #17768 from github/post-release-prep/codeql-cli-2.19.2 ... Post-release preparation for codeql-cli-2.19.2	2024-10-15 15:33:42 +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
Ian Lynagh	9f340279cb	Kotlin: Accept test changes	2024-10-11 15:10:19 +01: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	db5e452178	Merge pull request #17536 from hvitved/ql-test-source-root ... Adapt to `sourceLocationPrefix` change in `qltest`	2024-10-04 12:48:51 +02:00
Michael Nebel	c629867191	Merge pull request #17654 from michaelnebel/modelgen/mixedbugfix ... C#/Java: Only use heuristic if no content based model exist (in mixed mode).	2024-10-04 10:28:49 +02:00
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	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	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