4 Commits

Author	SHA1	Message	Date
Jonas Jensen	01fc721497	C++: Fixup test annotation	2019-04-10 09:28:06 +02:00
Jonas Jensen	fd4967e6f1	C++: Fix SnprintfOverflow issues ... Requiring strict inclusion between types turned out to cause false positives in `SnprintfOverflow`, which relied indirectly on `RangeAnalysisUtils::linearAccessImpl` to identify acceptable bounds checks. This query was particularly affected because `snprintf` returns `int` (signed) but takes `size_t` (unsigned), so conversions are bound to happen.	2019-04-09 11:05:14 +02:00
Jonas Jensen	93286aabdf	C++: Test for FP introduced by relOp changes	2019-04-08 11:19:57 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00