7 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	21a6520cd3	C#: Add empty provenance column to expected files.	2024-02-09 11:32:07 +01:00
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
Tom Hvitved	b5a1e039a4	C#: Merge queries FormatInvalid.ql, FormatMissingArgument.ql, and FormatUnusedArgument.ql	2020-12-21 10:13:56 +01:00
Tom Hvitved	d53faa86dc	C#: Restrict FormatInvalid.ql and UncontrolledFormatString.ql to calls with insertions	2020-12-18 10:53:11 +01:00
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Tom Hvitved	7cbf37c6ba	C#: Convert string.format() queries to path queries	2020-04-28 09:59:19 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00