5 Commits

Author	SHA1	Message	Date
Anders Fugmann	44752d5ee0	C++: Model strdupa and strndupa string functions returning memory allocated with alloca	2021-08-18 13:12:08 +02:00
Geoffrey White	244966e216	C++: Add a test with strdup.	2021-03-30 14:49:05 +01:00
Jonas Jensen	75873bb4a6	C++: Detect non-allocating placement new ... This adds a `NewOrNewArrayExpr.getPlacementPointer` predicate and uses it in `Alloc.qll` to detect when a `new`-expression is not an allocation. User-defined replacements for `operator new` may not be allocations either, but the code continues to assume that they are. It's possible that we want to change this assumption in the future or leave it up to individual queries to decide on which side to err. It's hard to statically tell whether `operator new` has been overloaded in a particular file because it can be overloaded by a definition that is not in scope but is only linked together with that file.	2018-11-22 11:31:19 +01:00
Jonas Jensen	a17debac3e	C++: Placement-new tests for MemoryNeverFreed.ql	2018-11-22 10:48:18 +01:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00