132 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	416aa49d99	C++: Capitalize alert message.	2021-01-26 17:24:03 +01:00
ihsinme	b899229298	Add files via upload	2021-01-25 00:33:54 +03:00
ihsinme	20e19ec467	Add files via upload	2021-01-25 00:09:55 +03:00
ihsinme	fcd532522d	Add files via upload	2021-01-24 22:36:42 +03:00
Mathias Vorreiter Pedersen	682b246441	C++: Fix path-problem format.	2021-01-22 13:40:44 +01:00
Geoffrey White	d5d8b48218	C++: More accurate solution using Guards library.	2021-01-20 17:15:42 +00:00
Geoffrey White	439fe41b0a	C++: Add a couple more test cases.	2021-01-20 15:33:32 +00:00
Geoffrey White	d2dd19a293	C++: It turns out __assert_fail is special (see DefaultOptions.qll) so we don't need a body here. And the body was wrong.	2021-01-19 16:56:19 +00:00
Geoffrey White	fe4ae7e975	C++: General solution for functions that may exit.	2021-01-19 16:56:19 +00:00
Geoffrey White	8fa3ffe125	C++: Add a few more test cases that we don't recognize as OK.	2021-01-19 16:56:19 +00:00
ihsinme	3ad45f28c9	Add files via upload	2021-01-13 14:18:54 +03:00
Geoffrey White	69664535b0	Merge pull request #4881 from ihsinme/main ... CPP: Add query for CWE-401 memory leak on unsuccessful call to realloc function	2021-01-13 10:58:09 +00:00
ihsinme	bbd3f7631e	Delete test.c ... sorry i was in a hurry	2021-01-11 23:52:26 +03:00
ihsinme	b92d63d5df	Delete CompilerRemovalOfCodeToClearBuffers.qlref ... sorry i was in a hurry	2021-01-11 23:51:37 +03:00
ihsinme	05f866e912	Delete CompilerRemovalOfCodeToClearBuffers.expected ... sorry i was in a hurry	2021-01-11 23:51:18 +03:00
ihsinme	ed6d8e3d18	Add files via upload	2021-01-11 23:40:38 +03:00
Mathias Vorreiter Pedersen	13a67c906e	Merge pull request #4810 from geoffw0/multtoalloc ... C++: Query for multiplications used in allocations.	2021-01-07 13:48:58 +01:00
ihsinme	f378c14659	Update MemoryLeakOnFailedCallToRealloc.expected	2021-01-07 15:43:58 +03:00
ihsinme	592cd284e8	Update test.c	2021-01-07 15:41:31 +03:00
ihsinme	0c7381a3b0	Add files via upload	2020-12-26 20:45:11 +03:00
Geoffrey White	1e3535754b	C++: Violation message.	2020-12-16 16:13:02 +00:00
Geoffrey White	2210344f4d	C++: Add a test.	2020-12-16 15:44:53 +00:00
Geoffrey White	209191bb24	C++: Add another good example.	2020-12-09 16:55:07 +00:00
Geoffrey White	80db155d54	C++: Fix example and test.	2020-12-09 16:46:48 +00:00
Robert Marsh	e80cc63219	Merge pull request #3861 from dilanbhalla/privatedata ... C++: Private Data File/Buffer Writes	2020-08-11 15:49:31 -04:00
dilanbhalla	dcfbb86674	pr fixes	2020-08-10 15:14:12 -07:00
dilanbhalla	48e540fa9a	minor fixes	2020-07-13 01:25:42 -07:00
dilanbhalla	db6d5c329f	file/buffer write dataflow queries complete	2020-07-13 00:57:05 -07:00
dilanbhalla	3b9daa2db2	added pr fixes	2020-07-07 11:05:39 -07:00
dilanbhalla	25bfc3a168	fixed references and used autoformat	2020-07-01 09:23:36 -07:00
dilanbhalla	e1130a2bfa	moved privatedata to experimental	2020-06-30 17:58:24 -07:00
dilanbhalla	3fdd11a9b5	scanf fixes, still need to update qhelp file	2020-06-30 17:22:29 -07:00