1506 Commits

Author	SHA1	Message	Date
Jami Cogswell	9abe3e3da4	Shared: use a module as input to 'KindValidation'	2023-06-09 14:35:37 -04:00
Anders Schack-Mulligen	2ecce575a9	C#: Fix types of summary parameter nodes.	2023-06-09 15:39:28 +02:00
Anders Schack-Mulligen	98f51d7f29	Dataflow: Sync.	2023-06-09 15:39:28 +02:00
Anders Schack-Mulligen	5e6031724a	C#: Adjust to FlowSummaryImpl changes.	2023-06-09 15:27:17 +02:00
Anders Schack-Mulligen	2cc5bde925	Dataflow: Sync.	2023-06-09 15:27:17 +02:00
Michael Nebel	5510d050c1	C#: Synthetic names only needs to rely on the output stack.	2023-06-09 11:40:04 +02:00
Michael Nebel	7620c051d3	C#: Remove the savechanges origin name from the synthetic name (this is not needed).	2023-06-09 09:15:45 +02:00
Anders Schack-Mulligen	d230509905	Dataflow: Address review comments.	2023-06-09 08:37:36 +02:00
Anders Schack-Mulligen	4399138c82	Dataflow: Fix QL4QL alert.	2023-06-09 08:37:36 +02:00
Anders Schack-Mulligen	53f2b8aab0	Dataflow: Sync.	2023-06-09 08:37:36 +02:00
Anders Schack-Mulligen	96c1b5b0a9	C#: Enable type strengthening.	2023-06-09 08:37:35 +02:00
Anders Schack-Mulligen	e8cea79f1d	Dataflow: Sync.	2023-06-09 08:37:35 +02:00
Jami Cogswell	da58b2afc8	Shared: move shared file to 'shared' folder and add parameterized module for 'getInvalidModelKind'	2023-06-08 20:05:27 -04:00
Michael Nebel	2a1c0e8ba6	C#: Re-factor.	2023-06-08 19:02:07 +02:00
Mathew Payne	8052b35e62	Merge branch 'main' into csharp-ext	2023-06-08 10:58:02 +01:00
Mathew Payne	c493e276ec	Update MaD sink kinds from main	2023-06-08 10:57:12 +01:00
Jami Cogswell	5a23421d9a	Shared: minor updates to comments	2023-06-05 13:46:56 -04:00
Jami Cogswell	7a4b74dd6a	C#: fix typo with outdated sink msg location	2023-06-05 13:21:39 -04:00
Jami Cogswell	6c46cd9c21	Java/C#/Go/Swift: move 'SharedModelValidation.qll' to internal folder	2023-06-05 13:11:08 -04:00
Jami Cogswell	9d5972acc2	Shared: update qldocs	2023-06-05 12:18:34 -04:00
Jami Cogswell	3f1dc8e5c7	Shared: add outdated Swift sink kinds	2023-06-05 12:18:34 -04:00
Jami Cogswell	62ac0dc471	Shared: add outdated sink kind msg to 'getInvalidModelKind' for all languages	2023-06-05 12:18:33 -04:00
Jami Cogswell	76f5dca861	Shared: move 'OutdatedSinkKind' to shared file and add outdated JS and C# sink kinds	2023-06-05 12:18:33 -04:00
Jami Cogswell	7b629f5d63	Shared: include 'qltest%' and 'test-%'	2023-06-05 12:18:33 -04:00
Jami Cogswell	615f2a573b	Java/C#/Go/Swift: remove commented-out code	2023-06-05 12:18:33 -04:00
Jami Cogswell	7317c29eea	Shared: update kind information	2023-06-05 12:18:33 -04:00
Jami Cogswell	79f61cc645	Java/C#/Go/Swift: use 'SharedModelValidation' file	2023-06-05 12:18:33 -04:00
Jami Cogswell	ddb5d92ef8	Shared: add source, summary, and neutral shared valid kinds	2023-06-05 12:18:33 -04:00
Jami Cogswell	869f820fcf	Shared: add 'SharedModelValidation' file as experiment	2023-06-05 12:18:33 -04:00
erik-krogh	44b6366586	delete old deprecations	2023-06-02 11:58:08 +02:00
Michael Nebel	d12dfabf9d	C#: Use synthetic globals instead of jump returns in the EntityFramework implementation.	2023-06-01 09:30:31 +02:00
Michael Nebel	93d9783940	C#: Expose a synthetic global singleton stack.	2023-06-01 09:30:31 +02:00
Michael Nebel	3862f8e3c0	C#: Expose synthetic globals for use in C#, allow printing of summaries that uses synthetic globals.	2023-06-01 09:30:31 +02:00
Michael Nebel	2266e28583	Merge pull request #13262 from michaelnebel/flowsummary/refactorgetcomponentstack ... C#: Re-factor getComponent.	2023-05-31 08:22:44 +02:00
Jami	6867e94ed5	Merge pull request #13158 from jcogs33/jcogs33/update-csharp-sink-kinds ... C#: update MaD sink kinds	2023-05-26 08:03:21 -04:00
Michael Nebel	915042a881	Minor cleanup and sync files.	2023-05-26 12:25:00 +02:00
Michael Nebel	066554cee6	C#: Re-factor getComponent.	2023-05-26 12:24:59 +02:00
Michael Nebel	7a9820cc1b	C#: Convert Entity Framework summaries for DbSet into MaD models.	2023-05-23 09:46:18 +02:00
Jami Cogswell	06a28f6221	C#: update 'remote' sink kind to 'file-content-store'	2023-05-16 14:07:20 -04:00
Jami Cogswell	74cd2407fb	C#: update 'xss' sink kind to 'js-injection'	2023-05-16 14:07:20 -04:00
Jami Cogswell	a0b502fa44	C#: update 'html' sink kind to 'html-injection'	2023-05-16 14:07:20 -04:00
Jami Cogswell	b6d011b187	C#: update 'sql' sink kind to 'sql-injection'	2023-05-16 14:07:19 -04:00
Jami Cogswell	613077c7a9	C#: update 'code' sink kind to 'code-injection'	2023-05-16 14:07:19 -04:00
Tom Hvitved	3027ed2ca8	C#: Include arguments to ILogger extension method calls in LogMessageSink	2023-05-16 16:04:58 +02:00
Tom Hvitved	165dc0b9bf	C#: Filter away phi (read) input steps from a node into itself	2023-05-15 09:35:04 +02:00
Tom Hvitved	75dd4c8653	C#: Filter away use-use steps from a node into itself	2023-05-15 09:35:04 +02:00
Mathew Payne	681623d631	Update kind model validation	2023-05-10 10:06:22 +01:00
Mathew Payne	0f85b98cc7	Update models to match new data extensions names	2023-05-10 10:00:16 +01:00
Mathew Payne	0e932574f4	Fix Ldap class name	2023-05-09 17:42:17 +01:00
Mathew Payne	e84657242c	Fix names	2023-05-09 17:38:15 +01:00