8663 Commits

Author	SHA1	Message	Date
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
Tamás Vajk	456c649c7d	Merge pull request #16895 from tamasvajk/feature/fix-glob-pattern-processing ... C#: Fix glob pattern processing: allow `**/` to match empty string	2024-07-04 10:46:36 +02:00
Tamas Vajk	6a036f4e84	Improve code quality	2024-07-03 12:45:47 +02:00
Tom Hvitved	4ae8720930	SSA: Add BasicBlock.{getNode/1,length/0} to the input signature	2024-07-03 11:32:35 +02:00
Tamas Vajk	b36db5ad11	C#: Fix glob pattern processing: allow **/ to match empty string	2024-07-03 08:09:34 +02:00
Michael Nebel	e05f835683	C#: Update model generator expected output.	2024-07-02 07:52:30 +01:00
Michael Nebel	5639ada3ed	C#: Do not generate source models for Overriable callables that overrides or implements something.	2024-07-02 07:52:26 +01:00
Michael Nebel	70494d339d	C#: Re-write some of the existing source model generation tests and introduce a new one for ToString.	2024-07-02 07:52:22 +01:00
Michael Nebel	25b20186af	Merge pull request #16861 from michaelnebel/modelgen/sourcesinklift ... C#/Java: Do not lift source and sink models.	2024-07-02 08:50:31 +02:00
Tamás Vajk	b4707abf4c	Merge pull request #16871 from tamasvajk/fix/quality-issues ... C#: Fix quality issues	2024-07-01 22:23:43 +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
Tom Hvitved	075a249f3b	C#: Add SSA test for multi-bodied method	2024-06-28 14:27:51 +02:00
Tamas Vajk	199a9688af	C#: Fix quality issues	2024-06-28 13:58:08 +02:00
Tamas Vajk	4db586f17d	Add TSP diagnostic for binlog usage	2024-06-28 09:40:41 +02:00
Tamas Vajk	c8927447f5	Record diagnostics in binlog extraction test	2024-06-28 09:40:13 +02:00
Tamas Vajk	1e2d1ef715	Use dedicated API to get generated syntax trees	2024-06-27 14:49:29 +02:00
Tamas Vajk	0b41d5121a	Compute unique identifier (folder path) for each compilation	2024-06-27 14:49:24 +02:00
Tamas Vajk	1ae40c95b1	Change binlog test to have colliding generated file locations	2024-06-27 14:49:20 +02:00
Tamas Vajk	b22f5f557a	Fix failed extraction handling	2024-06-27 14:49:16 +02:00
Tamas Vajk	fb0520c74a	C#: Adjust trap location, database ID and archiving of generated sources	2024-06-27 14:49:10 +02:00
Tamas Vajk	dcd84f47a4	Improve source archiving to handle non-existent files	2024-06-27 14:49:06 +02:00
Tamas Vajk	31ad195dc3	C#: Add binlog support to buildless with source generator support	2024-06-27 14:48:54 +02:00
Tamás Vajk	b2d2f2d0d8	Merge pull request #16858 from tamasvajk/fix/solution ... C#: Fix solution file	2024-06-27 14:31:15 +02:00
Tamas Vajk	3e20d908c4	C#: Fix solution file	2024-06-27 10:53:39 +02:00
Michael Nebel	f7ce4f39ea	C#: Update expected source/sink model generator expected test output.	2024-06-27 10:42:37 +02:00
Michael Nebel	3180d8f752	C#: Add some source/sink examples where lifting is applied.	2024-06-27 10:27:50 +02:00
Michael Nebel	64ac52e918	C#: Only lift summary models in the model generator.	2024-06-27 09:54:00 +02:00
Tamas Vajk	0c34b4535a	C#: Change string.Format calls to interpolated strings	2024-06-27 09:20:50 +02:00
Tamas Vajk	6b6d705b4f	C#: Fix integration test expected file	2024-06-27 08:14:37 +02:00
Michael Nebel	e1f65d1f8b	Merge pull request #16836 from michaelnebel/csharp/bestlocation ... C#: Be more consistent when picking between locations.	2024-06-26 12:46:50 +02:00
Tamás Vajk	81f4786643	Merge pull request #16832 from tamasvajk/feature/update-dependencies ... C#: Update (some) nuget dependencies	2024-06-26 11:12:26 +02:00
Michael Nebel	e258d9fa74	C#: Use the first best location from the list of locations.	2024-06-26 11:04:38 +02:00
Michael Nebel	d18915a1e4	C#: Update expected test output.	2024-06-25 16:02:58 +02:00
Michael Nebel	e15a47d58c	C#: Update the extractor to use the BestOrDefault extension method to choose between multiple locations.	2024-06-25 16:02:54 +02:00
Michael Nebel	dd65d960be	C#: Introduce a Location extension method to help pick a unique location.	2024-06-25 16:02:49 +02:00
Michael Nebel	8dc95ce9b0	Merge pull request #16722 from michaelnebel/csharp/modelgensourcesink ... C#/Java: Respect manual neutrals, sources and sinks in model generation.	2024-06-25 15:55:06 +02:00
Tamas Vajk	5058727980	C#: Update (some) nuget dependencies	2024-06-25 15:24:08 +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	854674a71c	C#: Update expected test output.	2024-06-24 13:07:30 +02:00
Michael Nebel	b27a9d948a	C#: Exclude APIs with a manual source neutral from source model generation and allow source generation for all source kinds.	2024-06-24 13:07:14 +02:00
Michael Nebel	2657e7f56d	C#: Add some source and sink modelling examples where a neutral exist.	2024-06-24 13:05:35 +02:00
Michael Nebel	b7bc540325	C#: Adjust implementation to use the shared model printer.	2024-06-24 11:50:46 +02:00
Michael Nebel	94d12edfdb	Merge pull request #16759 from michaelnebel/modelgen/sourcesinkmodelgen ... C#/Java: Introduce source and sink model generation sanitisers.	2024-06-24 11:47:11 +02:00
Michael Nebel	99907471b2	C#: Update model generator expected output.	2024-06-19 14:10:52 +02:00
Michael Nebel	40204911bc	C#: Only allow source propgatation upwards in the call stack if the call path consists of unique call targets (to avoid unwanted virtual dispatch). This severely tightens the generation of extrapolated sources.	2024-06-19 14:10:49 +02:00