11 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09:11 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Tom Hvitved	09e4e7901a	C#: Update expected test output	2019-09-18 13:36:15 +02:00
Anders Schack-Mulligen	6299625b3d	C#: Adjust qltest expected output.	2019-09-12 11:00:49 +02:00
Tom Hvitved	c6a471e4b6	C#: Adopt shared data flow implementation ... - General refactoring to fit with the shared data flow implementation. - Move CFG splitting logic into `ControlFlowReachability.qll`. - Replace `isAdditionalFlowStepIntoCall()` with `TaintedParameterNode`. - Redefine `ReturnNode` to be the actual values that are returned, which should yield better path information. - No longer consider overrides in CIL calls.	2019-05-06 14:54:11 +02:00
calum	c9ffb38e4b	C#: Add sources and sinks in Winforms. Update some queries with new sources and sinks.	2019-01-18 15:42:44 +00:00
calum	69ab1ed5bd	C#: Add nodes predicate to all path queries.	2018-11-21 12:35:05 +00:00
calum	eddc52852d	C#: Convert security queries to path-problem and update qltest expected output.	2018-11-16 10:31:20 +00:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00