2356 Commits

Author	SHA1	Message	Date
Michael Nebel	469b289db9	C#: Add change note.	2023-02-14 13:14:45 +01:00
Michael Nebel	238a70fc55	C#: Add library support for checked operators.	2023-02-14 12:58:15 +01:00
Michael Nebel	b3602a5b7f	C#: Use functionname as stored in the database.	2023-02-13 13:53:46 +01:00
Anders Schack-Mulligen	e877b161d8	Merge pull request #12124 from hvitved/dataflow/stage1-dispatch ... Data flow: Call context virtual dispatch pruning in stage 1	2023-02-13 13:13:43 +01:00
Tom Hvitved	f7a5a33474	Address review comment	2023-02-13 09:01:15 +01:00
Michael Nebel	0f469ee0f7	C#: Add stats for the scoped annotation relation.	2023-02-09 12:28:15 +01: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	c00b089aa8	C#: Introduce library support for scoped.	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
Tom Hvitved	8e8897b08b	Data flow: Sync files	2023-02-07 15:15:04 +01:00
Mathias Vorreiter Pedersen	00fe448e3a	Merge pull request #12072 from aschackmull/dataflow/stage3-perf ... Dataflow: Fix join in `fwdFlowRead` (take 2)	2023-02-06 10:43:11 +00:00
github-actions[bot]	faf21f3edb	Post-release preparation for codeql-cli-2.12.2	2023-02-02 23:01:04 +00:00
Anders Schack-Mulligen	67d4ed53b9	Dataflow: Sync.	2023-02-02 16:33:00 +01:00
Jeroen Ketema	3cf5107b45	Apply suggestions from code review	2023-02-02 15:48:29 +01:00
github-actions[bot]	a4fa984792	Release preparation for version 2.12.2	2023-02-02 14:34:55 +00:00
Michael Nebel	86e9bf2f81	Merge pull request #11996 from michaelnebel/csharp/refstructreffield ... C# 11: Extractor support for `ref` fields in `ref struct`.	2023-01-31 13:08:57 +01:00
Michael Nebel	115a0a4318	C#: Add change note.	2023-01-30 14:28:35 +01:00
Michael Nebel	b25414fe93	C#: Add DB upgrade and downgrade scripts.	2023-01-30 14:28:35 +01:00
Michael Nebel	2be090bb91	C#: Add predicate isRef to the CIL Field class.	2023-01-30 14:28:35 +01:00
Michael Nebel	812bc20812	C#: Add CIL fields as entities that can carry type annotations.	2023-01-30 14:28:35 +01:00
Michael Nebel	3a4ec90ae9	C#: Extraction of ref modifier for fields.	2023-01-30 14:28:34 +01:00
Mathias Vorreiter Pedersen	95b15825f9	DataFlow: Sync identical files.	2023-01-27 16:24:31 +00:00
Michael Nebel	4df615f994	Merge pull request #11922 from michaelnebel/csharp11/strings ... C# 11: String related functionality.	2023-01-24 10:31:31 +01:00
Alex Ford	55550e7980	Merge pull request #11941 from alexrford/summary-component-tostring-syntheticglobal ... Add missing toString case for synthetic globals	2023-01-23 10:00:00 +00:00
Michael Nebel	69a42d8b1f	Merge pull request #11931 from michaelnebel/csharp/refactor ... Remove the Csv postfix of some predicate names.	2023-01-23 09:09:48 +01:00
Michael Nebel	440fe80c14	C#: Update stats.	2023-01-23 09:06:34 +01:00
github-actions[bot]	b62cb6ba84	Post-release preparation for codeql-cli-2.12.1	2023-01-20 19:49:56 +00:00
Alex Ford	e4df1f5a6f	Ruby: add missing toString case for synthetic globals	2023-01-20 13:31:43 +00:00
Michael Nebel	4d321d6833	C#: Add upgrade and downgrade scripts.	2023-01-20 13:39:41 +01:00
Michael Nebel	6c7c0854d1	C#: Add change note.	2023-01-20 13:39:41 +01:00
Michael Nebel	c87668a91d	C#: Library support for string UTF8/UTF16 encodings.	2023-01-20 13:39:41 +01:00
Michael Nebel	e8eedb7b4d	C#: Extractor support for UTF-8 encoded strings.	2023-01-20 13:39:41 +01:00
github-actions[bot]	005b3e4a47	Release preparation for version 2.12.1	2023-01-20 12:03:19 +00:00
Michael Nebel	9cd1dc70e5	C#: Remove the Csv postfix of some predicates.	2023-01-19 15:02:52 +01:00
Michael Nebel	4c94adb5ec	C#: Add change note.	2023-01-18 10:50:04 +01:00
Michael Nebel	821d294be8	C#: Add library support for CIL generic attributes.	2023-01-18 10:49:44 +01:00
Michael Nebel	8b231c51f9	C#: Improve printing of constructed generic CIL types.	2023-01-18 10:49:44 +01:00
Michael Nebel	b680795d15	C#: The generic attribute type is a constructed class.	2023-01-18 10:49:44 +01:00
Michael Nebel	211af1943c	C#: Library support for generic attributes.	2023-01-18 10:48:30 +01:00
Michael Nebel	3a4623b437	Merge pull request #11907 from michaelnebel/csharp/cil/attributes ... C#: CIL attributes	2023-01-18 10:46:34 +01:00
Rasmus Wriedt Larsen	e0ccb9306a	Merge pull request #11908 from RasmusWL/dataflow-consistency-more-excludes ... DataFlow: Add `uniqueParameterNodePositionExclude`	2023-01-18 10:44:51 +01:00
Michael Nebel	8e3e6505ad	C#: Add change note.	2023-01-18 07:56:24 +01:00
Rasmus Wriedt Larsen	a0b1c2ea79	DataFlow: Add uniqueParameterNodePositionExclude	2023-01-17 14:05:22 +01:00
Rasmus Wriedt Larsen	2b0a5fd5d1	DataFlow: Add uniqueParameterNodeAtPositionExclude	2023-01-17 14:05:17 +01:00
Michael Nebel	8981d4c06b	C#: Add change note.	2023-01-16 13:43:26 +01:00
Michael Nebel	2f602a629f	C#: Add upgrade and downgrade scripts.	2023-01-16 13:27:37 +01:00
Michael Nebel	dc50b6bad3	C#: Support for operators in implements relations.	2023-01-16 13:07:50 +01:00
Michael Nebel	8c2931cbb8	C#: Operators are now allowed to be declared virtual.	2023-01-16 13:07:50 +01:00
Michael Nebel	c1c0ff4308	C#: Update database stats.	2023-01-12 19:06:29 +01:00