2220 Commits

Author	SHA1	Message	Date
Tom Hvitved	39b5dbfaf7	C#: Perform fewer regexpCaptures when matching version numbers	2024-07-10 14:50:39 +02:00
github-actions[bot]	ae3aba061b	Post-release preparation for codeql-cli-2.18.0	2024-07-08 13:30:13 +00:00
github-actions[bot]	b0d6778652	Release preparation for version 2.18.0	2024-07-08 09:10:51 +00:00
Tom Hvitved	d675304703	Merge pull request #16875 from hvitved/csharp/ssa-param-def ... C#: Move implicit entry definitions inside method bodies in SSA construction	2024-07-04 10:51:06 +02:00
Tom Hvitved	4ae8720930	SSA: Add BasicBlock.{getNode/1,length/0} to the input signature	2024-07-03 11:32:35 +02:00
Tom Hvitved	c5c97aca50	C#: Move implicit entry definitions inside method bodies in SSA construction	2024-07-01 10:48:13 +02:00
Arthur Baars	b12b33c8f9	Merge remote-tracking branch 'upstream/main' into 'rc/3.14'	2024-06-28 19:50:35 +02:00
github-actions[bot]	fd385736e6	Post-release preparation for codeql-cli-2.17.6	2024-06-25 06:39:45 +00:00
github-actions[bot]	e32a587078	Release preparation for version 2.17.6	2024-06-24 14:33:10 +00:00
Anders Schack-Mulligen	3ede3af6f2	C#: Fix join-order.	2024-06-24 13:35:49 +02:00
Anders Schack-Mulligen	8c23e21073	Dataflow: Cache compatibleTypes.	2024-06-24 13:35:48 +02:00
Michael Nebel	b7bc540325	C#: Adjust implementation to use the shared model printer.	2024-06-24 11:50:46 +02:00
Michael Nebel	0fabca94db	C#: Use the new shared classes for Source and Sink callables.	2024-06-17 12:53:06 +02:00
Michael Nebel	9ea2b463f0	C#: Update .NET 8 Runtime models.	2024-06-13 08:36:23 +02:00
github-actions[bot]	8a25081a0e	Post-release preparation for codeql-cli-2.17.5	2024-06-10 15:33:08 +00:00
github-actions[bot]	877bfa2468	Release preparation for version 2.17.5	2024-06-10 13:40:39 +00:00
Anders Schack-Mulligen	0e8d72c126	C#: Add support for pretty-printed provenace in tests. Convert one test.	2024-06-07 11:45:16 +02:00
Michael Nebel	d5af71a6c9	Merge pull request #16647 from michaelnebel/csharp/idempotentsummarygeneration ... C#: Make summary generation idempotent.	2024-06-07 10:38:25 +02:00
Owen Mansel-Chan	3fb5ad2a0d	Cover all params in QLDoc of modelCoverage	2024-06-04 17:06:00 +01:00
Tom Hvitved	48455ec3c9	C#: Improve performance of MissingXMLValidation query	2024-06-04 08:35:53 +02:00
Michael Nebel	46f5b13854	C#: Only dispatch to summarized callables with generated summaries in case there are no source dispatch possibilities.	2024-06-03 10:40:10 +02:00
Michael Nebel	eb0925be60	C#: There should at least be one manual summary for a non-source summarized callable.	2024-06-03 10:40:06 +02:00
Michael Nebel	d38894a5e5	C#: Update .NET 8 runtime models.	2024-05-31 14:19:48 +02:00
Michael Nebel	5e1801f7be	C#: Update models based on review comments.	2024-05-31 12:50:06 +02:00
Michael Nebel	9bb7575018	C#: Promote IDataRecord and IDbCommand to manual summaries such that they are used in conjunction with source code.	2024-05-31 12:49:53 +02:00
Michael Nebel	cd5168b570	C#: Limit the defintion of database flow source and use summaries for better paths and reduced result multiplicity.	2024-05-31 12:49:44 +02:00
Michael Nebel	db0131d931	C#: Update .NET8 models.	2024-05-31 12:49:35 +02:00
github-actions[bot]	906b65d09c	Post-release preparation for codeql-cli-2.17.4	2024-05-28 18:02:25 +00:00
github-actions[bot]	33b4ae8bbb	Release preparation for version 2.17.4	2024-05-28 15:44:32 +00:00
Michael Nebel	195ccb0018	Merge pull request #16484 from michaelnebel/csharp/superimplmodelgen ... C#: Lift models.	2024-05-28 15:49:35 +02:00
Anders Schack-Mulligen	1432519cc2	Dataflow: Add totalorder predicates to all languages.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	bc8ca1af86	Dataflow: Introduce NodeRegions for use in isUnreachableInCall.	2024-05-27 11:01:51 +02:00
Michael Nebel	d272d6a9ca	C#: Assume that models should apply when a method is overridable except for the implicit methods on Object and ValueType.	2024-05-24 12:50:48 +02:00
Michael Nebel	95473c06fc	Merge pull request #16520 from michaelnebel/csharp/fixsummarizedcallabledataflow ... C#: Make the flow summary filtering in the adapter.	2024-05-24 12:48:03 +02:00
Dave Bartolomeo	613ccaac1d	Add change note to all v1.0.0 packs	2024-05-23 13:01:22 -04:00
Dave Bartolomeo	ffe4c8c87b	Update all pack versions to 1.0.0	2024-05-22 13:39:08 -04:00
Michael Nebel	2449074f3d	C#: Remove the DataFlowSummarizedCallable as this narrowing is now handled in the adapter.	2024-05-22 15:11:41 +02:00
Michael Nebel	e4319db18d	C#: Filter out unwanted summaries at the root.	2024-05-22 12:53:55 +02:00
Tom Hvitved	d9019f9676	C#: Fix performance issue in EntityFramework modelling	2024-05-21 08:53:51 +02:00
Michael Nebel	763d53afed	C#: Remove the override and ext column from the summaries printing test.	2024-05-16 15:08:45 +02:00
github-actions[bot]	32e8b5c667	Post-release preparation for codeql-cli-2.17.3	2024-05-14 21:14:08 +00:00
github-actions[bot]	100166fa53	Release preparation for version 2.17.3	2024-05-14 19:23:18 +00:00
Chuan-kai Lin	372746ffd4	Merge pull request #16419 from github/cklin/csharp-entities-reorder ... C#: Use entities in reorder directives	2024-05-13 10:25:50 -07:00
Michael Nebel	cfb0a862c1	Merge pull request #16356 from michaelnebel/csharp/aligntelemetryimplementation ... C#: Base telemetry Api Source/Sink nodes on abstract classes.	2024-05-07 09:16:38 +02:00
Michael Nebel	757cf8d43a	C#: Fix a comment typo.	2024-05-06 16:48:31 +02:00
Tom Hvitved	6233da3e40	Merge pull request #16399 from hvitved/csharp/unique-get-location ... C#: Make `Element.getLocation` (mostly) functional	2024-05-05 20:18:19 +02:00
Chuan-kai Lin	077a2e3479	C#: Use entities in reorder directives	2024-05-03 11:15:42 -07:00
Tom Hvitved	3c91333d0b	Address review comment	2024-05-03 14:09:41 +02:00
Michael Nebel	e64a2d6c9c	C#: Align telemetry implementation with Java.	2024-05-03 12:48:14 +02:00
Tom Hvitved	f5d4b2e6cd	C#: Make Element.getLocation (mostly) functional	2024-05-02 14:16:34 +02:00