1551 Commits

Author	SHA1	Message	Date
Joe Farebrother	8b08e6042c	Update formatting	2023-04-05 14:22:55 +01:00
Joe Farebrother	941df4f274	Add test for cleartext storage	2023-04-05 13:57:23 +01:00
Joe Farebrother	cb2b2bc334	Add qldoc and remove redundant import	2023-04-05 13:57:23 +01:00
Joe Farebrother	92198e1af0	Add local file writes as external location sinks	2023-04-05 13:57:23 +01:00
Michael Nebel	fc43a4e569	C#: Re-factor CleartextStorage to use the new API.	2023-03-31 13:10:42 +02:00
Michael Nebel	fc21f01cb9	Merge pull request #12690 from michaelnebel/csharp/checkedlocalflow ... C#: Dataflow via checked and unchecked expressions.	2023-03-31 10:12:01 +02:00
Michael Nebel	31e352afb0	C#: Actually add the deprecated keyword to the deprecated classes.	2023-03-30 09:45:49 +02:00
Michael Nebel	483e5c5264	C#: Re-factor ExposureOfPrivateInformation to use the new API.	2023-03-29 13:19:56 +02:00
Michael Nebel	cc4f3f6234	C#: Re-factor CodeInjection to use the new API.	2023-03-29 13:19:56 +02:00
Michael Nebel	60c5bbde0f	C#: Re-factor ConditionalBypass to use the new API.	2023-03-29 13:19:56 +02:00
Michael Nebel	cab976cf8f	C#: Re-factor CommandInjection to use the new API.	2023-03-29 13:19:56 +02:00
Michael Nebel	c03ce2f63b	C#: Re-factor HardCodedSymmetricEncryptionKey to use the new API.	2023-03-29 13:19:56 +02:00
Michael Nebel	5278bbcaaa	C#: Re-factor SymmetricKeyTaintTrackingConfiguration to use the new API.	2023-03-29 13:19:56 +02:00
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