807 Commits

Author	SHA1	Message	Date
Tom Hvitved	ea6092ad3f	Revert "C#: Add support for flow through side-effects on static fields" ... This reverts commit 1bcac50db1.	2024-08-23 14:10:56 +02:00
Anders Schack-Mulligen	8470e91c16	Legacy Dataflow: Sync.	2024-08-20 10:07:57 +02:00
Michael Nebel	f0817dc07c	C#/Java: Use a parameterized module for making the source and sink callable classes.	2024-08-14 09:50:38 +02:00
Tom Hvitved	3395dc9e71	Merge pull request #16576 from hvitved/csharp/static-field-side-effect ... C#: Add support for flow through side-effects on static fields	2024-08-13 14:16:28 +02:00
Tom Hvitved	fbcb4498fe	Merge pull request #16817 from hvitved/csharp/multi-body-dataflow-dispatch ... C#: Restrict multi-body dataflow dispatch based on file-system distance	2024-08-13 12:15:22 +02:00
Michael Nebel	4a5c9f0ec4	Merge pull request #17007 from michaelnebel/shared/neutralimplementation ... C#/Java/Go: Neutrals are split into separate classes.	2024-08-12 13:58:12 +02:00
Tom Hvitved	1bcac50db1	C#: Add support for flow through side-effects on static fields	2024-08-12 10:01:51 +02:00
Anders Schack-Mulligen	7a48fe1102	Dataflow: Replace ppReprType with DataFlowType.toString.	2024-07-25 13:08:47 +02:00
Michael Nebel	2796597d1a	Code quality improvements.	2024-07-19 09:36:17 +02:00
Michael Nebel	ca4bd0c606	C#/Java/Go: Neutrals are split into seperate classes.	2024-07-18 16:29:38 +02:00
Anders Schack-Mulligen	da5abc8321	Dataflow: Replace MakeSets with QlBuiltins::InternSets.	2024-07-15 13:35:57 +02:00
Tom Hvitved	0459422a6c	C#: Restrict multi-body dataflow dispatch based on file-system distance	2024-07-11 16:52:20 +02: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
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
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
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	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	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
Michael Nebel	763d53afed	C#: Remove the override and ext column from the summaries printing test.	2024-05-16 15:08:45 +02:00
Anders Schack-Mulligen	2f0987e980	Dataflow: Add dummy DataFlowSecondLevelScope implementations. ... These could be an empty type, but Unit was available and it probably doesn't matter.	2024-04-15 15:16:30 +02:00
Anders Schack-Mulligen	004bda1ee0	C#: Add alert provenance plumbing.	2024-04-12 09:19:56 +02:00
Anders Schack-Mulligen	eafc0075fd	Legacy dataflow: Sync.	2024-04-12 09:19:54 +02:00
Michael Nebel	10d96ee02f	C#: Address review comments.	2024-04-09 10:31:48 +02:00
Michael Nebel	8fa9191434	C#: Deprecate the getFullyQualifiedName predicate.	2024-04-08 13:46:44 +02:00
Tom Hvitved	64e82bb00e	C#: Include all non-source-code properties in data flow	2024-04-03 10:22:36 +02:00
Geoffrey White	4a4c77e81d	Remove claims about models-as-data that require you to select a parameter from non-Java languages. We believe this is only possible in Java.	2024-03-25 15:41:00 +00:00
Michael Nebel	6619be3137	Merge pull request #15940 from michaelnebel/csharp/sourcesinktests ... C#: Source- and sink tests.	2024-03-21 08:12:16 +01:00
Michael Nebel	90db9b330f	C#: Add MaD source and sink test query to shared library.	2024-03-19 13:45:38 +01:00
Tom Hvitved	fc55567d90	Merge pull request #15853 from hvitved/dataflow/get-location ... Data flow: Replace `hasLocationInfo` with `getLocation`	2024-03-18 20:21:46 +01:00
Tom Hvitved	257686eb9a	C#: Implement new data flow interface	2024-03-11 20:56:38 +01:00
Tom Hvitved	da66281fef	Sync files	2024-03-11 13:02:04 +01:00
Tom Hvitved	7a39f077d9	Data flow: Add ConfigSig::accessPathLimit	2024-03-11 13:01:58 +01:00
Michael Nebel	990dec67d0	C#: Address more review comments.	2024-03-07 09:40:34 +01:00
Michael Nebel	7f6c84dda8	C#: Fix bad join order.	2024-03-07 09:40:34 +01:00
Michael Nebel	58a1353ddc	C#: Clean up implementation and remove CIL dataflow implementation.	2024-03-07 09:40:33 +01:00
Tom Hvitved	a92e394a7c	C#: Variable capture follow-up	2024-03-04 19:36:30 +01:00
Tom Hvitved	acd52192d1	C#: Adopt shared variable capture library	2024-02-26 09:53:30 +01:00
Michael Nebel	1a155b3a30	Merge pull request #15667 from michaelnebel/csharp/syntheticconstructorbody ... C#: Add synthetic bodies and inititializers for default constuctors.	2024-02-23 11:14:00 +01:00