105 Commits

Author	SHA1	Message	Date
Jonas Jensen	80183464d9	C++: Define DefinitionByReferenceNode ... This enables data flow through `memcpy` and similar functions modeled in `semmle.code.cpp.model`.	2019-02-27 15:53:00 +01:00
Jonas Jensen	5647a1a658	C++: BlockVar value stops at def by ref (partial)	2019-02-27 15:05:53 +01:00
Jonas Jensen	20f3df0d09	C++: Add tests to demo lack dataflow by reference	2019-02-27 13:19:16 +01:00
Jonas Jensen	502b7cfe33	C++: Don't use C-style varargs in test.cpp sink ... As we prepare to clarify how conversions are treated, we don't want a `sink(...)` declaration where it's non-obvious which conversions are applied to arguments.	2019-01-16 09:47:58 +01:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00