4 Commits

Author	SHA1	Message	Date
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