3504 Commits

Author	SHA1	Message	Date
Robert Marsh	abdfd2297b	C++: Fix IR variable reuse for global var inits	2022-04-29 11:46:00 -04:00
Robert Marsh	259580aeeb	Revert "Merge pull request #8933 from MathiasVP/revert-globals" ... This reverts commit 2517371a37, reversing changes made to db856798b9.	2022-04-29 11:45:10 -04:00
Chuan-kai Lin	d6f0bbb816	Fix syntax errors in QL comments	2022-04-28 11:53:36 -07:00
github-actions[bot]	8e4cf190e9	Release preparation for version 2.9.1	2022-04-28 11:59:05 +00:00
Michael Nebel	9d767b8ad8	Merge pull request #8869 from michaelnebel/csharp/frameworkcoverage ... C#: Port the java FrameworkCoverage query.	2022-04-28 13:17:50 +02:00
Michael Nebel	98b2bc06ce	C#: Port the java FrameworkCoverage query.	2022-04-28 11:18:12 +02:00
Mathias Vorreiter Pedersen	75c1e56bbd	Revert "Merge pull request #8515 from rdmarsh2/rdmarsh2/ir-global-vars" ... This reverts commit 800e4ea7df, reversing changes made to 7ce040f331.	2022-04-27 16:04:28 +01:00
Erik Krogh Kristensen	e1c7d369be	Merge pull request #8796 from erik-krogh/redundantImport ... Remove redundant imports	2022-04-27 12:39:51 +02:00
Mathias Vorreiter Pedersen	800e4ea7df	Merge pull request #8515 from rdmarsh2/rdmarsh2/ir-global-vars ... C++: generate IR for global variables with initializers	2022-04-26 18:17:13 +01:00
Erik Krogh Kristensen	d389012b75	Merge branch 'main' into redundantImport	2022-04-26 14:24:51 +02:00
Mathias Vorreiter Pedersen	aca4c8727f	Merge pull request #8802 from github/post-release-prep/codeql-cli-2.9.0 ... Post-release preparation for codeql-cli-2.9.0	2022-04-25 22:52:55 +01:00
Erik Krogh Kristensen	ff73dbc35c	delete redundant imports	2022-04-22 12:55:28 +02:00
Erik Krogh Kristensen	a96489b23d	delete duplicate imports	2022-04-22 12:41:30 +02:00
github-actions[bot]	1aecfc67c2	Post-release preparation for codeql-cli-2.9.0	2022-04-21 19:22:19 +00:00
github-actions[bot]	eeaf233c29	Release preparation for version 2.9.0	2022-04-21 14:49:00 +00:00
Michael Nebel	0ec5aa6095	Merge pull request #8675 from michaelnebel/csharp/capturemodelimprovement ... C#: CaptureModel improvements	2022-04-21 15:16:35 +02:00
Michael Nebel	6180970ae7	C#: Address review comments.	2022-04-21 13:05:32 +02:00
Tom Hvitved	f65b6ae3d1	C#: Exclude model generation queries from all suites	2022-04-21 09:51:52 +02:00
Michael Nebel	91324d40b5	Merge pull request #8659 from michaelnebel/csharp/capturemodelsmetadata ... C#: Add kind tag to Capture model queries.	2022-04-19 16:39:03 +02:00
Michael Nebel	c79c9dd573	C#: Don't generate models for any higher order callables.	2022-04-19 12:50:51 +02:00
Michael Nebel	8726766465	C#: Remove the API special case for GetHashCode, Equals and IEquatable.Equals as these are now excluded based on their type.	2022-04-19 12:50:51 +02:00
Michael Nebel	f533636ad7	C#: Remove taint when it flows via a primitive/simple type (as is the case for java).	2022-04-19 12:50:51 +02:00
Robert Marsh	cae08c505f	Merge branch 'main' into rdmarsh2/ir-global-vars	2022-04-18 15:25:03 -04:00
Robert Marsh	b5c8413f5c	Merge branch 'main' into rdmarsh2/ir-global-vars	2022-04-18 15:19:25 -04:00
Edoardo Pirovano	f25618eed6	Bump minor version of all packs	2022-04-08 15:38:58 +01:00
Edoardo Pirovano	ce82c54b94	Merge branch 'main' into edoardo/3.5-mergeback	2022-04-08 15:30:58 +01:00
Michael Nebel	412699f407	C#: Modify generator and update test output with updated kind column.	2022-04-05 12:51:01 +02:00
Michael Nebel	c2920405fc	C#: Add a query for detecting flow summaries that are discarded due to existing handwritten models.	2022-04-05 08:55:12 +02:00
Michael Nebel	3937714f9f	C#: The CaptureSummaryModels query should only produce summary models that will not be discarded at run-time.	2022-04-05 08:55:12 +02:00
Michael Nebel	c6fe54c41b	C#: Add script for running CaptureModel queries and generate qll source file.	2022-04-04 15:58:35 +02:00
Michael Nebel	3466adaf8c	C#: Add kind tag to Capture model queries.	2022-04-04 11:00:58 +02:00
github-actions[bot]	6af568b16d	Post-release preparation for codeql-cli-2.8.5	2022-04-01 16:22:14 +00:00
Michael Nebel	81904cc993	C#: Refactor isIrrelevantOverrideOrImplementation to make it easier to extend it with more methods later.	2022-04-01 13:27:05 +02:00
github-actions[bot]	ee746d20df	Release preparation for version 2.8.5	2022-04-01 10:39:31 +00:00
Michael Nebel	5cb2bd9245	C#: Exclude IEquatable Equals implementations.	2022-04-01 11:39:41 +02:00
Michael Nebel	99bbca8c31	C#: Exclude overrides of Equals and GetHashCode in model generation.	2022-04-01 11:32:10 +02:00
Michael Nebel	f480ab9fd2	Merge pull request #8629 from michaelnebel/csharp/capturemodelmetadata ... C#: Improve query meta data.	2022-04-01 10:40:05 +02:00
Michael Nebel	c139850cd6	Merge pull request #8609 from michaelnebel/csharp/operatorsummaries ... C#: Operator flow	2022-04-01 09:04:04 +02:00
Michael Nebel	01e57e90c9	C#: Fix query name for source model generation.	2022-04-01 08:54:35 +02:00
Michael Nebel	2edd6d72c0	C#: Improve query meta data.	2022-03-31 14:56:23 +02:00
Michael Nebel	8238c99199	C#: Only include APIs that has a proper namespace.	2022-03-30 15:22:32 +02:00
Michael Nebel	04960fc0c6	C#: Filter out explicit and implicit conversion operators, when creating summaries.	2022-03-30 15:09:26 +02:00
Robert Marsh	9442be1a27	Autoformat	2022-03-29 16:23:57 -04:00
Michael Nebel	db7abb429f	C#: Remove unneeded exists.	2022-03-29 14:59:32 +02:00
Michael Nebel	6be41b0c29	C#/Java: Address review comments.	2022-03-29 14:52:57 +02:00
Michael Nebel	b0a24a7a44	C#: Change the implementation on getAnInput and getAnOutput based on hvitveds recommendations.	2022-03-29 14:52:57 +02:00
Michael Nebel	c2196a04aa	C#: Update the description of the telemetry queries.	2022-03-29 14:52:57 +02:00
Michael Nebel	bfb206c810	C#: Let ExternalApi extend DataFlowCallable instead of Callable.	2022-03-29 14:52:57 +02:00
Michael Nebel	e1d4c1b68c	C#/Java: Reorder code in terms of dependency, rename ExternalAPI to ExternalApi and add some missing predicate qualifiers.	2022-03-29 14:52:52 +02:00
Michael Nebel	4f00666591	C#: Add query and test case for supported external taint.	2022-03-29 14:49:37 +02:00