11 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
edvraa	1682e993bc	Merge with Main	2021-07-12 11:32:47 +03:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
edvraa	c9c9758e01	Make similarly named files in tests and qhelp in sync	2021-04-22 12:23:46 +03:00
edvraa	c3deb48efa	Charpred for InstanceMethodSink	2021-04-16 17:19:42 +03:00
edvraa	3aedd2c1f4	Use TaintTracking2	2021-04-15 22:12:01 +03:00
edvraa	ac29184521	deserialization sinks	2021-03-20 21:50:46 +02:00
Tom Hvitved	78ddb37a8c	C#: Track type information in data flow ... This commit adds type information to data flow paths, by mapping node types onto the smaller set of GVN types, and implementing `ppReprType()`. The effect is a mere change in `DataFlow::PathNode::toString()`; no type-based pruning is done yet.	2019-12-10 15:46:28 +01:00
Tom Hvitved	eb990525d7	C#: Add precision tags to UnsafeDeserialization[UntrustedInput].ql	2019-10-28 14:19:40 +01:00
Geoffrey White	0427b1eb3f	C#: Fix more tests.	2019-10-23 18:20:44 +01:00
Raul Garcia (MSFT)	cb8dcf7db2	Publishing queries to the OSS Semmle repository	2019-10-22 09:55:39 +01:00