1577 Commits

Author	SHA1	Message	Date
Michael Nebel	02165e8ee1	Merge pull request #9327 from michaelnebel/csharp/dotnetruntimerefresh ... C#: Re-create summary models and include source and sink models as well.	2022-08-01 16:15:54 +02:00
Paolo Tranquilli	9b26921cb6	Control flow: add order disambuigation customization	2022-07-28 09:11:42 +02:00
Paolo Tranquilli	ebf650c0c0	Control Flow: add more ordering for edges	2022-07-27 15:01:17 +02:00
Michael Nebel	6603024488	C#: Allow encryption- prefix for sinks in CsvValidation.	2022-07-18 14:32:31 +02:00
Michael Nebel	57ba0c4e5d	C#: Move sinks into System.Security.Cryptography framework code.	2022-07-18 14:28:49 +02:00
Michael Nebel	c91d49a0fe	C#: Add provenance column to CSV format for SymmetricAlgorithm.	2022-07-18 14:28:49 +02:00
Michael Nebel	a5b7e2a2e1	C#: Convert set Key of SymmetricAlgorithm to Csv sink.	2022-07-18 14:28:49 +02:00
Michael Nebel	032448041d	C#: Convert CreateSymmetricKey to CSV sink.	2022-07-18 14:28:49 +02:00
Michael Nebel	1d405dba14	C#: Collapse Sink classes.	2022-07-18 14:28:49 +02:00
Michael Nebel	383ad51682	C#: Use CSV format for CreateEncryptor and CreateDecryptor sinks.	2022-07-18 14:28:49 +02:00
Erik Krogh Kristensen	85a652f3d1	remove a bunch of repeated words	2022-07-14 12:42:48 +02:00
Anders Schack-Mulligen	dc517a758e	Autoformat	2022-06-23 14:44:40 +02:00
Anders Schack-Mulligen	4a317a25d3	Dataflow: Sync.	2022-06-23 14:34:52 +02:00
Michael Nebel	0ef97b41c8	C#: Update .NET Runtime models and add sources and sinks.	2022-06-22 13:03:10 +02:00
Anders Schack-Mulligen	df6d68b215	Merge pull request #9618 from aschackmull/dataflow/deprecate-barrierguard-class ... Dataflow: Deprecate BarrierGuard class	2022-06-22 10:44:08 +02:00
Michael Nebel	b4457de58c	C#/Java: Fix typo in the QL doc comment.	2022-06-20 16:26:07 +02:00
Michael Nebel	38c6bf55b9	C#: Make CSV model validation of the provenance column.	2022-06-20 16:20:01 +02:00
Michael Nebel	5e3bb8297a	C#: Make the model predicates emmit the provenance directly to enable testing.	2022-06-20 16:20:01 +02:00
Michael Nebel	da0b9db57f	C#: Update flow summary printing in test cases to reflect provenance.	2022-06-20 16:20:01 +02:00
Michael Nebel	2975e51652	C#: Update existing production models with provenance information.	2022-06-20 16:20:01 +02:00
Michael Nebel	d6fa7db9f2	C#: Update CSV validation to the new format and improve test failure printing.	2022-06-20 16:20:01 +02:00
Michael Nebel	e3a5f7b8a3	C#: Introduce provenance column in CSV format for Models as data summaries, sources and sinks.	2022-06-20 16:20:01 +02:00
Anders Schack-Mulligen	1b374e262f	C#: Replace deprecated barrier guards.	2022-06-16 11:25:29 +02:00
Anders Schack-Mulligen	456f02fd82	C#: Add BarrierGuard parameterised module.	2022-06-16 11:25:29 +02:00
Anders Schack-Mulligen	6518a01ded	Dataflow: Sync.	2022-06-16 11:25:28 +02:00
Michael Nebel	e1c7003cde	C#: Only consider directly public auto implemented properties with public getters and setters as being tainted.	2022-06-16 08:43:06 +02:00
Michael Nebel	9639dca33f	C#: Consider all properties of ASP.NET Core like objects to also be sources of tainted data.	2022-06-15 15:13:37 +02:00
Anders Schack-Mulligen	4f3751dfea	Merge pull request #9316 from hvitved/dataflow/edges-get-a-successor-consistency ... Data flow: Make `PathGraph::edges/2` and `PathNode::getASuccessor/1` consistent	2022-06-01 10:38:25 +02:00
Nick Rolfe	f417c12c5e	Merge pull request #9332 from github/post-release-prep/codeql-cli-2.9.3 ... Post-release preparation for codeql-cli-2.9.3	2022-05-31 16:17:50 +01:00
Tom Hvitved	bcdef98392	Data flow: Sync files	2022-05-25 14:39:37 +02:00
Tom Hvitved	a4023b8a1d	Data flow: Make PathGraph::edges/2 and PathNode::getASuccessor/1 consistent	2022-05-25 14:39:37 +02:00
Tom Hvitved	42f05dadc4	Data flow: Sync files	2022-05-25 14:21:22 +02:00
Michael Nebel	268230ef19	C#: Add QlDoc to the Generated file.	2022-05-25 08:28:14 +02:00
Michael Nebel	f8e729025f	C#: Add generated Dotnet Runtime summary models that allows to up two reads and two stores and update flow summaries test.	2022-05-25 08:28:14 +02:00
Michael Nebel	3b62b45ea8	C#: Add generated framework models to ExternalFlow.	2022-05-25 08:28:14 +02:00
Michael Nebel	daace0fe68	Merge pull request #9270 from michaelnebel/csharp/summarized-callable-fix ... C#: Summarized callable	2022-05-24 16:36:44 +02:00
Tom Hvitved	728ccafe2b	Merge pull request #9024 from hvitved/dataflow/content-flow-lib ... Data flow: Introduce `ContentDataFlow.qll`	2022-05-24 15:09:16 +02:00
Tom Hvitved	6345816acf	Rework ContentDataFlow implementation	2022-05-24 10:34:06 +02:00
Michael Nebel	42be60ea57	C#: Address codereview comments.	2022-05-24 08:21:39 +02:00
Michael Nebel	eed02a2a9f	C#: Fix issue with isAutoGenerated predicate and make sure that data flow only use relevant summaries.	2022-05-24 08:21:38 +02:00
Michael Nebel	bf958ff5bb	Merge pull request #9255 from michaelnebel/csharp/test-clearscontent ... C#: Remove default clears content.	2022-05-23 10:30:30 +02:00
Michael Nebel	c82ab6813f	Merge pull request #9256 from michaelnebel/csharp/test-ranking ... C#: Rank summaries and source code in dataflow callables.	2022-05-23 10:29:52 +02:00
Anders Schack-Mulligen	f2218944f6	Merge pull request #9214 from hvitved/dataflow/lambda-fp-flow ... Data flow: Do not discard call context when computing reverse lambda flow through jumps	2022-05-23 10:02:51 +02:00
Michael Nebel	ddde1d4607	C#: Remove default clears content.	2022-05-22 15:16:44 +02:00
Michael Nebel	9f611d79ac	C#: Rank summaries and source code such that only one is used.	2022-05-22 15:14:19 +02:00
Anders Schack-Mulligen	8beef45599	Merge pull request #9195 from aschackmull/java/perf-local-flow ... Java: Performance fixes for local flow relation	2022-05-20 12:38:02 +02:00
Tom Hvitved	909ad2a61a	Address review comment	2022-05-19 15:37:18 +02:00
Tom Hvitved	f83deb6571	Data flow: Sync files	2022-05-19 15:20:43 +02:00
Tom Hvitved	bd9b6567c7	Data flow: Introduce ContentDataFlow.qll	2022-05-19 13:28:56 +02:00
Michael Nebel	ff1e6637ac	C#: Fix issue with summaryElement predicate.	2022-05-19 13:06:24 +02:00