1598 Commits

Author	SHA1	Message	Date
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	39b5dbfaf7	C#: Perform fewer regexpCaptures when matching version numbers	2024-07-10 14:50:39 +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
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	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	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
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
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
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
erik-krogh	baa31e1469	delete outdated deprecations	2024-04-25 22:19:28 +02:00
Anders Schack-Mulligen	b2f09949df	Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2 ... Dataflow: update fieldFlowBranchLimit semantics	2024-04-23 10:08:05 +02:00
Michael Nebel	bc0e580683	C#: Address review comments.	2024-04-17 09:34:27 +02:00
Michael Nebel	e7bfd7df62	C#: Take more sources and sinks into account when reporting in the telemetry queries.	2024-04-16 16:05:16 +02:00
Michael Nebel	543032a3de	C#: Add ParallelSink QL Doc.	2024-04-16 16:05:16 +02:00
Michael Nebel	f69737b407	C#: Move parallelsink to the library qlpack.	2024-04-16 16:05:16 +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	fc689efd1b	C#: Add debug version of the getFullyQualifiedName predicate.	2024-04-08 13:47:59 +02:00
Michael Nebel	8fbfafc1d7	C#: Dont cache the deprecated getFullyQualifiedName predicate.	2024-04-08 13:46:45 +02:00
Michael Nebel	b677e89f35	C#: Deprecate getFullyQualifiedNameWithTypes.	2024-04-08 13:46:45 +02:00
Michael Nebel	8fa9191434	C#: Deprecate the getFullyQualifiedName predicate.	2024-04-08 13:46:44 +02:00
Michael Nebel	2fb9c2db6f	C#: Remove deprecated qualifiedName predicates.	2024-04-08 13:46:44 +02:00
Tom Hvitved	c2f91a5ccf	Merge pull request #16104 from hvitved/csharp/more-compiler-generated ... C#: Mark more expressions as compiler generated	2024-04-04 09:09:16 +02:00