13 Commits

Author	SHA1	Message	Date
Jami Cogswell	e226da4f04	Java: use post-process provenance pretty-printing in .ql library-tests	2024-07-29 11:46:28 -04:00
Anders Schack-Mulligen	5c635e982e	C++/C#/Java: Update expected output.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	e9e445b2ba	Java: Add empty provenance column to expected files.	2024-02-09 11:32:00 +01:00
Chris Smowton	f552a15aae	Mass-rename MethodAccess -> MethodCall	2023-10-24 10:30:26 +01:00
Ed Minnix	95c28967cc	Refactor dataflow library tests	2023-04-17 23:48:06 -04:00
Anders Schack-Mulligen	aa9912a699	Java: Fix expected output	2022-01-18 10:36:52 +01:00
Anders Schack-Mulligen	f6541811d2	Dataflow: Update more tests.	2021-09-07 13:02:20 +02:00
Tom Hvitved	15ee1e37b9	Java: Follow-up changes	2020-02-04 14:09:12 +01:00
Anders Schack-Mulligen	38aba7bfc1	Java: Fix qltest.	2019-10-07 15:51:42 +02:00
Cornelius Riemenschneider	9ef61bd43c	Address more parts of Anders review.	2019-10-07 15:19:20 +02:00
Cornelius Riemenschneider	0f5dd5d7c7	Add one more test with a more complicated guard.	2019-10-07 15:14:42 +02:00
Cornelius Riemenschneider	d79eaffd3a	Prune unreachable paths in the Java dataflow library based on call context. ... We now detect patterns like f(bool cond){ if(cond) then A else B and prune branches for calls like f(true) or f(false). This pruning is done both in the local (bigstep) flow graph as well as in the inter-procedural dataflow graph.	2019-10-07 15:10:54 +02:00
Cornelius Riemenschneider	dba93b30e7	Add tests exhibiting false positives in the dataflow library, where call context is not used to prune branches.	2019-10-07 14:59:55 +02:00