10 Commits

Author	SHA1	Message	Date
Geoffrey White	cf194219b9	CPP: Fix FPs.	2019-07-15 14:58:35 +01:00
Geoffrey White	5362fef81c	CPP: Additional AllocaInLoop test cases.	2019-07-15 14:50:02 +01:00
Jonas Jensen	40aea2f76d	C++: Shorten alert message ... We don't write the reason for the alert in the alert message.	2019-05-01 08:33:36 +02:00
Jonas Jensen	e38ac9f88a	C++: suppress alerts in tightly bounded loops	2019-05-01 08:33:35 +02:00
Ziemowit Laski	09e729ff59	Turns out that '__builtin_alloca' takes 'unsigned long', not 'unsigned long long'; rename some parameters to align with C11 standard.	2019-03-19 13:27:14 -07:00
Ziemowit Laski	11ed4f3312	Change __builtin_alloca declaration to use an unsigned long long parameter.	2019-03-19 13:12:29 -07:00
Ziemowit Laski	ff3430d8d0	Use '// GOOD' and '// BAD' annotations for query diagnostics.	2019-03-19 12:29:38 -07:00
Ziemowit Laski	566fdc3f70	Change names of parameters to memcpy(), as per Geoff.	2019-03-18 11:15:43 -07:00
Ziemowit Laski	2d5bdc85b0	Add 'restrict' support to the C++ test cases.	2019-03-14 12:12:45 -07:00
Ziemowit Laski	586aa0ae41	Updated query to look for Microsoft-specific '_alloca' and '_malloca' entry points. Added sundry positive and negative test cases.	2019-03-13 18:43:24 -07:00