59 Commits

Author	SHA1	Message	Date
Geoffrey White	1bd4aeebad	CPP: Effects of #1715.	2019-08-15 14:05:09 +01:00
Geoffrey White	02e1edd640	CPP: Test taint through lambdas.	2019-08-15 14:00:45 +01:00
Jonas Jensen	38ec693ead	C++: Improved ConstructorCall field flow ... This commit changes C++ `ConstructorCall` to behave like `new`-expressions in Java: they are both `ExprNode`s and `PostUpdateNodes`, and there's a "pre-update node" (here called `PreConstructorCallNode`) to play the role of the qualifier argument when calling a constructor.	2019-08-13 11:05:13 +02:00
Jonas Jensen	6a3f5efc1b	C++: Accept AST field flow test output	2019-08-08 14:05:03 +02:00
Geoffrey White	c2fd2e273e	CPP: Model taint flow through std::swap.	2019-07-12 18:00:39 +01:00
Geoffrey White	f132bca06e	CPP: Add a taint flow test of 'std::swap'.	2019-07-12 16:37:01 +01:00
Robert Marsh	919f5c616f	C++: comment and test for taint flow via memcpy	2019-04-23 11:17:18 -07:00
Robert Marsh	9a9ec7bb17	C++: add IR-based taint tracking library	2019-02-21 17:09:09 -08:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00