1538 Commits

Author	SHA1	Message	Date
Jeroen Ketema	0acca2ba76	Merge pull request #12687 from jketema/unit-2 ... Make imports of `codeql.util.Unit` private	2023-03-29 13:07:12 +02:00
Anders Schack-Mulligen	7c74fd07e9	Merge pull request #12684 from aschackmull/dataflow/remove-footgun ... Dataflow: Remove accidentally exposed predicates.	2023-03-28 15:14:58 +02:00
Michael Nebel	50c3c159a9	C#: Make checked and unchecked as a local flow step.	2023-03-28 15:03:33 +02:00
Jeroen Ketema	3b8ad087eb	Make imports of codeql.util.Unit private	2023-03-28 14:14:13 +02:00
Anders Schack-Mulligen	d406b051fc	Dataflow: Remove accidentally exposed predicates.	2023-03-28 10:04:21 +02:00
Michael Nebel	730848cee8	Merge pull request #12648 from michaelnebel/csharp/cs-web-debug-binary ... C#: Improve cs/web/debug-binary to repect the RemoveAttributes transformation.	2023-03-28 09:40:46 +02:00
Michael Nebel	9f88a72d9f	C#: Make cs/web/debug-binary respect transformation file RemoveAttribute.	2023-03-27 10:39:44 +02:00
Jeroen Ketema	977f15f8a4	Merge pull request #12649 from jketema/unit ... Replace all definitions of `Unit` by `import codeql.util.Unit`	2023-03-27 08:49:50 +02:00
Anders Schack-Mulligen	85511ba19d	Dataflow: Sync	2023-03-24 12:42:06 +01:00
Jeroen Ketema	a87a9438c7	Replace all definitions of Unit by import codeql.util.Unit	2023-03-24 10:39:34 +01:00
Anders Schack-Mulligen	9d88f01c82	Merge pull request #12645 from aschackmull/dataflow/renaming ... Dataflow: Rename Make to Global and hasFlow to flow	2023-03-24 08:48:31 +01:00
Anders Schack-Mulligen	d440bc2d0c	Dataflow: Sync.	2023-03-23 13:40:23 +01:00
Anders Schack-Mulligen	2761aa73ca	Dataflow: Sync.	2023-03-23 13:06:19 +01:00
Kasper Svendsen	ce6be1f636	Dataflow: Instantiate stage 1 access paths with proper unit type	2023-03-23 08:32:16 +01:00
Michael Nebel	915efffe21	Merge pull request #12610 from michaelnebel/java/validatespecs ... Java/C#: Validate all AccessPaths.	2023-03-22 16:22:54 +01:00
Anders Schack-Mulligen	dc6729d0bf	Merge pull request #12616 from aschackmull/java-csharp/redundant-sign-analysis-case ... Java/C#: Remove useless disjuncts.	2023-03-22 13:33:46 +01:00
Michael Nebel	71d184e8c0	C#: Validate all access paths except for Field and Property.	2023-03-22 10:05:46 +01:00
Anders Schack-Mulligen	89d9d65755	Java/C#: Remove useless disjuncts.	2023-03-21 14:45:29 +01:00
Anders Schack-Mulligen	0d6dd7d25a	DataFlow: Sync.	2023-03-21 14:27:25 +01:00
Anders Schack-Mulligen	3876e4335f	Merge pull request #12420 from kaspersv/kaspersv/dataflow-remove-alias-preds ... Dataflow: Remove revFlowAlias and revFlowApAlias predicates	2023-03-20 16:30:15 +01:00
Kasper Svendsen	1d2f1b6ae6	Address comments	2023-03-20 13:34:14 +01:00
Kasper Svendsen	e0e3a1d621	Dataflow: remove revFlowApAlias trick	2023-03-20 13:04:13 +01:00
Michael Nebel	e78af3e66c	C#: Introduce Argument and Parameter index validation for models.	2023-03-20 09:38:40 +01:00
Michael Nebel	37484a415f	Sync files.	2023-03-20 09:38:40 +01:00
Michael Nebel	352bb5a29a	C#: Update internal documentation for this parameter in models.	2023-03-20 09:38:39 +01:00
Kasper Svendsen	9630feb5e4	Dataflow: Remove revFlowAlias trick	2023-03-20 09:04:35 +01:00
Michael Nebel	3fea9e4d0b	Sync files.	2023-03-16 14:12:29 +01:00
Michael Nebel	a9e5b34ad6	Merge pull request #12200 from michaelnebel/csharp/viablestatic ... C#: Support for virtual dispatch for operators.	2023-03-16 13:36:00 +01:00
Tom Hvitved	9f798902bd	Data flow: Add consistency check for DataFlowCall::getEnclosingCallable	2023-03-16 08:40:53 +01:00
Tom Hvitved	bdd56f1b6e	Data flow: Sync files	2023-03-14 10:01:56 +01:00
Michael Nebel	e2479940d2	C#: Overridable operator support in dispatch.	2023-03-13 15:15:03 +01:00
Tony Torralba	705691b096	Merge pull request #12446 from github/java/update-mad-decls-after-triage-2023-03-08T14-51-59 ... Java: Update MaD Declarations after Triage	2023-03-13 14:07:59 +01:00
Anders Schack-Mulligen	0c95ab2cdc	Merge pull request #12474 from hvitved/dataflow/call-back-post-update ... Data flow: Synthesize post-update nodes for callback arguments inside summarized callables	2023-03-13 13:21:52 +01:00
Erik Krogh Kristensen	060c37b6a2	Merge pull request #12345 from erik-krogh/delOldDeps ... delete old deprecations	2023-03-13 12:48:24 +01:00
erik-krogh	6c1ebd999e	Merge branch 'main' into delOldDeps	2023-03-13 11:00:29 +01:00
Michael Nebel	a964f536e8	C#: Fix issue with dispatch to implementations of virtual interface members.	2023-03-13 10:09:03 +01:00
Anders Schack-Mulligen	1e64748ffe	Dataflow: Autoformat.	2023-03-10 15:12:19 +01:00
Anders Schack-Mulligen	289f921171	Dataflow: Sync.	2023-03-10 14:56:54 +01:00
Anders Schack-Mulligen	00f0879ff5	Dataflow: Sync.	2023-03-10 14:56:54 +01:00
Tom Hvitved	32a699e34a	Data flow: Sync files	2023-03-10 12:43:21 +01:00
Tony Torralba	8aa80882ea	Sync files	2023-03-10 12:35:13 +01:00
Anders Schack-Mulligen	159d8e978c	Dataflow: one more autoformat post rebase	2023-03-10 10:04:35 +01:00
Anders Schack-Mulligen	5ad7ed49dd	C#: Autoformat	2023-03-10 09:39:41 +01:00
Mathias Vorreiter Pedersen	1f77f77153	DataFlow: Sync identical files.	2023-03-09 10:41:15 +00:00
Michael Nebel	67e7b8fc23	C#: If a type (or any child of a type) is a pointer like type then it is unsafe.	2023-03-08 10:02:27 +01:00
Mathias Vorreiter Pedersen	92ad099c1b	DataFlow: Remove bindingsets, remove the call column, and swap parameter and argument columns.	2023-03-06 13:47:59 +00:00
Mathias Vorreiter Pedersen	3bf28cc752	DataFlow: Sync identical files.	2023-03-06 13:46:21 +00:00
Mathias Vorreiter Pedersen	b667e0136f	C#: Add stub.	2023-03-06 13:44:23 +00:00
Anders Schack-Mulligen	5c7f2ac7f7	Merge pull request #12186 from aschackmull/dataflow/refactor-configuration ... Data flow: Refactor configuration	2023-03-06 13:38:59 +01:00
Anders Schack-Mulligen	557cb17f4d	Dataflow: Minor perf fix for single config wrapper.	2023-03-06 10:24:33 +01:00