51820 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Geoffrey White	15b8aa1979	Swift: Effect on other tests :)	2023-02-10 14:16:48 +00:00
Mathias Vorreiter Pedersen	9a8b3bad31	C++: Respond to PR reviews.	2023-02-10 13:56:19 +00:00
Geoffrey White	6cb9198ee2	Swift: Control flow through #available.	2023-02-10 13:32:33 +00:00
Paolo Tranquilli	9d433eb420	Merge branch 'main' into redsun82/swift-doc-for-schema-doc	2023-02-10 14:27:56 +01:00
Jeroen Ketema	ecdeb9a970	C++: Revert semmle.code.cpp.dataflow to its old state ... While here make sure all queries and tests use IR dataflow when appropriate.	2023-02-10 14:21:44 +01:00
Mathias Vorreiter Pedersen	5bd7589109	C++: Fix spurious flow though and accept test changes.	2023-02-10 12:42:40 +00:00
Mathias Vorreiter Pedersen	faf9fd6253	C++: Add a testcase (and a new test) to test flow through functions.	2023-02-10 12:40:29 +00:00
Jeroen Ketema	ffbaef8771	C++: Update for test changes	2023-02-10 11:23:19 +01:00
Michael Nebel	db41463d72	C#: Test of relaxed shift operator requirements.	2023-02-10 10:33:20 +01:00
Geoffrey White	38f4f65fc0	Swift: Add CFG test cases for #available.	2023-02-10 09:29:08 +00:00
Mathias Vorreiter Pedersen	e1aef3127c	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-02-10 09:23:37 +00:00
Jeroen Ketema	8f15abc285	Merge pull request #12146 from jketema/global-indirect ... C++: Do not mark global indirect flow as spurious in dataflow tests	2023-02-10 10:21:04 +01:00
Michael Nebel	1bd223b8c8	Merge pull request #12103 from michaelnebel/csharp/scopedmodfier ... C# 11: Scoped parameters and local variables.	2023-02-10 10:04:09 +01:00
Jeroen Ketema	350fb89ebf	C++: Also mention all locations in the AST case	2023-02-10 09:49:24 +01:00
Mathias Vorreiter Pedersen	9aa9187dd7	Merge pull request #12141 from MathiasVP/fix-multiple-out-nodes ... C++: Deduplicate `OutNode`s	2023-02-10 08:39:16 +00:00
Mathias Vorreiter Pedersen	4719fd5235	C++: Accept more test changes.	2023-02-10 08:38:46 +00:00
Jeroen Ketema	12930c68fb	C++: Do not mark global indirect flow as spurious in dataflow tests	2023-02-10 09:29:27 +01:00
Paolo Tranquilli	fc7c72db77	Swift: tweaks to the schema doc documentation	2023-02-10 08:58:07 +01:00
Paolo Tranquilli	adf47b9a9c	Merge branch 'main' into redsun82/swift-doc-for-schema-doc	2023-02-10 08:49:31 +01:00
Paolo Tranquilli	c92fd97783	Merge pull request #12140 from github/redsun82/swift-fix-upgrade ... Swift: remove query predicates in upgrade/downgrade scripts	2023-02-10 08:49:08 +01:00
Geoffrey White	224bc9381a	Swift: Fix ConditionElement.toString().	2023-02-09 21:15:36 +00:00
Michael Nebel	8d8ebeade1	Merge pull request #12067 from michaelnebel/csharp/reflectionload ... C#: Delete dead assembly load code.	2023-02-09 18:49:36 +01:00
Mathias Vorreiter Pedersen	981c976754	C++: Expand comments.	2023-02-09 17:10:07 +00:00
Mathias Vorreiter Pedersen	6b851d0529	C++: Fix an inconsistency with too many out nodes.	2023-02-09 16:55:19 +00:00
Paolo Tranquilli	7fa85b34ea	Swift: remove query predicates in upgrade/downgrade scripts	2023-02-09 17:24:27 +01:00
Mathias Vorreiter Pedersen	7439de37a3	C++: Add a new test that demonstrates multiple out nodes.	2023-02-09 16:23:32 +00:00
Jeroen Ketema	9d6098af15	Merge pull request #12004 from jketema/single-use ... C++: Map operand nodes that are only used once onto the related instruction node	2023-02-09 17:18:39 +01:00
Sim4n6	09df055d86	Fix the exists cast warning	2023-02-09 15:25:54 +01:00
Sim4n6	b04d5684fb	add a blank line at the end of the file	2023-02-09 15:23:58 +01:00
Anders Schack-Mulligen	770f3c24bb	Java: Improve performance of GeneratedFileMarker.	2023-02-09 15:08:32 +01:00
Sim4n6	16ef50401b	Update python/ql/src/experimental/Security/UnsafeUnpackQuery.qll ... Co-authored-by: yoff <lerchedahl@gmail.com>	2023-02-09 14:59:28 +01:00
Ian Lynagh	968f588893	Merge pull request #12090 from igfoo/igfoo/kotlin-1.8.10 ... Kotlin: 1.8.10 and 1.8.20 are supported, and use 1.8.10 for CI	2023-02-09 12:06:42 +00:00
Paolo Tranquilli	1e279125dc	Swift: add documentation for generated documentation	2023-02-09 12:52:16 +01:00
Michael Nebel	0f469ee0f7	C#: Add stats for the scoped annotation relation.	2023-02-09 12:28:15 +01:00
Arthur Baars	07947e6528	Address comments	2023-02-09 12:02:14 +01:00
Jeroen Ketema	e4c211df2d	C++: Address review comments	2023-02-09 11:58:41 +01:00
dependabot[bot]	80a397b4a5	Merge pull request #12134 from github/dependabot/cargo/ruby/serde_json-1.0.93	2023-02-09 10:50:27 +00:00
Michael Nebel	d4985a99e0	C#: Add change note.	2023-02-09 11:32:09 +01:00
Michael Nebel	59ab353827	C#: Add upgrade and downgrade scripts.	2023-02-09 11:32:09 +01:00
Michael Nebel	54b45134ef	C#: Add example code including tests.	2023-02-09 11:32:09 +01:00
Michael Nebel	c00b089aa8	C#: Introduce library support for scoped.	2023-02-09 11:32:08 +01:00
Michael Nebel	955f23d021	C#: Introduce extractor support for scoped variables and parameters.	2023-02-09 11:32:08 +01:00
Michael Nebel	dd6ceb7053	C#: Extend the DB schema with a scoped annotation relation.	2023-02-09 11:32:08 +01:00
Michael Nebel	7e174dce8b	C#: Re-factor. Introduce variablekind enum.	2023-02-09 11:32:08 +01:00
Michael Nebel	89bebe9d36	C#: Re-factor local variable populate.	2023-02-09 11:32:08 +01:00
Michael B. Gale	ad4ae1c331	Merge pull request #12132 from github/mbg/fix/log-injection-precision ... Go: Downgrade `go/log-injection` precision to medium	2023-02-09 10:29:24 +00:00
Michael B. Gale	70a6ff84af	Add change note	2023-02-09 09:56:36 +00:00
Geoffrey White	0f6b05dedf	Merge pull request #12126 from geoffw0/append ... Swift: Move some models into collections	2023-02-09 09:33:08 +00:00
Michael Nebel	b895065be9	Merge pull request #12058 from michaelnebel/csharp/structdefaults ... C# 11: Check that we get AST for structs that doesn't initialise all fields.	2023-02-09 09:51:00 +01:00
Anders Schack-Mulligen	3e2bf23bfe	Merge pull request #12118 from michaelnebel/telemetry/performancefix ... C#/Java: Materialize sink/source/summary predicates to avoid bad join order.	2023-02-09 09:39:38 +01:00