8354 Commits

Author	SHA1	Message	Date
Michael Nebel	213e3918df	C#: Add some more external flow testcases (one with a spurious result).	2024-06-03 10:40:02 +02:00
Michael Nebel	b08a0a303f	C#: Re-factor external models tests to use compiled code instead of emulating it.	2024-06-03 10:39:59 +02:00
Michael Nebel	88b978f0ec	Merge pull request #16574 from michaelnebel/csharp/updatenetruntimemodels ... C#: Re-generate .NET 8 Runtime models.	2024-06-03 10:33:10 +02:00
Paolo Tranquilli	096a31dbef	Mark all integration tests as legacy ... This is in preparation for the new integration test framework. Tests marked thus will be run by the current framework and ignored by the new one.	2024-05-31 16:04:50 +02:00
Michael Nebel	e2758f2abb	C#: Update expected test output.	2024-05-31 15:06:16 +02:00
Michael Nebel	d38894a5e5	C#: Update .NET 8 runtime models.	2024-05-31 14:19:48 +02:00
Michael Nebel	8b75bb2ba9	C#: The model generator should consider System.Type and System.DateTime as sanitizers.	2024-05-31 12:50:18 +02:00
Michael Nebel	02f9aec517	C#: Add some spurious summary generation examples.	2024-05-31 12:50:14 +02:00
Michael Nebel	b628c2e121	C#: Update flow summaries expected output.	2024-05-31 12:50:10 +02:00
Michael Nebel	5e1801f7be	C#: Update models based on review comments.	2024-05-31 12:50:06 +02:00
Michael Nebel	121378a262	C#: Add change-note.	2024-05-31 12:50:02 +02:00
Michael Nebel	0985a3a5f6	C#: Update expected test output.	2024-05-31 12:49:58 +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	90538d4b4c	C#: Update expected test output.	2024-05-31 12:49:48 +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	38d246a3bd	C#: Update flowsummaries expected output.	2024-05-31 12:49:40 +02:00
Michael Nebel	db0131d931	C#: Update .NET8 models.	2024-05-31 12:49:35 +02:00
Cornelius Riemenschneider	d66d7d8a3a	C#: Move to new packaging rules.	2024-05-30 14:25:16 +02:00
Cornelius Riemenschneider	60b5317c5f	C++: Move to new packaging rules.	2024-05-30 14:25:15 +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
Michael Nebel	5a25967019	C#: Address review comments.	2024-05-28 13:38:23 +02:00
Anders Schack-Mulligen	d88c498d49	Merge pull request #16456 from aschackmull/dataflow/callcontext-grouping ... Dataflow: Implement call context grouping to improve performance	2024-05-27 14:11:11 +02:00
Cornelius Riemenschneider	735bea624a	Place the C++ autobuilder in the correct path.	2024-05-27 11:55:14 +02:00
Anders Schack-Mulligen	5c635e982e	C++/C#/Java: Update expected output.	2024-05-27 11:01:52 +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
Cornelius Riemenschneider	d30ed54bfd	Merge branch 'main' into criemen/bazel-csharp	2024-05-24 18:02:20 +02:00
Michael Nebel	c59c7cf02a	C#: Use manual sink callables as exclusion for extrapolated sinks.	2024-05-24 12:50:48 +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	ad55744877	C#: Add model generator test case for property.	2024-05-24 12:50:48 +02:00
Michael Nebel	057a420833	C#: Update expected test output.	2024-05-24 12:50:48 +02:00
Michael Nebel	a8feda2e2b	C#: Introduce lifting of callables in the model generator.	2024-05-24 12:50:48 +02:00
Michael Nebel	0d397cea9f	C#: Add some model generator tests related to lifting.	2024-05-24 12:50:48 +02:00
Michael Nebel	3ad29d843d	C#: Re-factor model generator specific to align with Java.	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
Tamas Vajk	9aee2dc002	C#: Adjust compiler argument integration test	2024-05-24 08:39:08 +02:00
Michael Nebel	f5c654b669	Merge pull request #16579 from tamasvajk/fix/integration-test-2 ... C#: Fix integration test expected file	2024-05-24 08:16:37 +02:00
Dave Bartolomeo	f498e05099	Merge branch 'main' into dbartol/v1	2024-05-23 14:37:28 -04:00
Dave Bartolomeo	613ccaac1d	Add change note to all v1.0.0 packs	2024-05-23 13:01:22 -04:00
Tamas Vajk	5928ede324	C#: Fix integration test expected file	2024-05-23 16:47:35 +02:00
Tamás Vajk	c0d623c056	Merge pull request #16567 from tamasvajk/refactor/static-extraction-state ... C#: Refactor static compilation state	2024-05-23 14:49:33 +02:00
Tamás Vajk	5cf7112d4c	Merge pull request #16541 from tamasvajk/buildless/use-nuget-config-fallback ... C#: Use nuget feeds from nuget.config in fallback restore	2024-05-23 10:43:03 +02:00
Cornelius Riemenschneider	303dc200c1	Add standalone dependency to autobuilder, following upstream changes.	2024-05-23 10:24:44 +02:00
Cornelius Riemenschneider	576ea325e8	Merge remote-tracking branch 'origin/main' into criemen/bazel-csharp	2024-05-23 10:21:19 +02:00
Tamas Vajk	7042f3222a	Code quality improvements	2024-05-23 09:49:09 +02:00
Tamas Vajk	c58971e632	C#: Refactor static compilation state	2024-05-23 09:47:49 +02:00
Tom Hvitved	11da42b049	Merge pull request #16134 from hvitved/csharp/autobuild-buildless-process-indirection ... C#: Avoid process creation indirection in auto-builder	2024-05-23 09:25:58 +02:00
Tom Hvitved	f517c00658	Merge pull request #16559 from hvitved/csharp/callable-always-returns-true ... C#: Simplify logic in `JsonWebTokenHandlerLib.qll`	2024-05-23 09:25:19 +02:00