435 Commits

Author	SHA1	Message	Date
PKEuS	3274a00b82	Moved some more tests to testgarbage.cpp	2015-01-21 10:04:46 +01:00
Daniel Marjamäki	6a8293a8b7	Library: More strict matching of functions	2015-01-08 19:31:41 +01:00
Daniel Marjamäki	ff11ba9847	Updated copyright year to 2015	2015-01-03 12:14:58 +01:00
Daniel Marjamäki	6194a4eefd	Fixed #6357 (Improve check: pointer arithmetic 'p+x' overrun, conditional x)	2014-12-26 09:12:00 +01:00
Daniel Marjamäki	7ab12cea63	Improved pointer arithmetic message	2014-12-25 14:31:46 +01:00
Daniel Marjamäki	bc594d52c8	Fixed #6349 (Pointer arithmetic: clarify message)	2014-12-25 10:05:55 +01:00
Daniel Marjamäki	7cfa54f0e0	Fixed #6353 (False positive: CheckBufferOverrun checking reassigned array function parameter)	2014-12-24 14:03:52 +01:00
Daniel Marjamäki	1b2a23b3fe	Fixed #6350 (Tokenizer::simplifyCast: set Token::isCasted when cast is removed)	2014-12-23 16:16:14 +01:00
Daniel Marjamäki	10ae551fef	CheckBufferOverrun: Use portability warning for pointer arithmetic UB. It can be used by intention and usually works as intended.	2014-12-22 10:56:17 +01:00
Daniel Marjamäki	93ac5a41cd	Fixed #6346 (pointer calculation overflow)	2014-12-22 09:38:00 +01:00
Daniel Marjamäki	a95e5bff2b	Fixed #6344 (false positive: out of bounds access when array size is unknown)	2014-12-20 18:50:08 +01:00
Daniel Marjamäki	a1537e1a6e	Fixed #6339 (false negative: array index out of bounds on allocated buffer using valueflow)	2014-12-17 16:23:48 +01:00
Alexander Mai	c2584aa635	#6303 crash in CheckBufferOverrun. Add check on loop variable in CheckBufferOverrun::checkScope().	2014-12-04 20:49:58 +01:00
Daniel Marjamäki	051d42ae6b	astyle formatting	2014-11-20 14:20:09 +01:00
orbitcowboy	f5d804f71a	running astyle	2014-11-20 10:13:03 +01:00
Frank Zingsheim	71c5d4bd60	Ticket #6232 (cppOut of bounds array access) ... --HG-- extra : rebase_source : 79ed3533a12a486ea3ed3f09f9bc55b1a4771161	2014-10-21 22:56:53 +02:00
PKEuS	6955e719cf	Collected garbage code tests and moved them to testgarbage.cpp	2014-10-16 10:59:46 +02:00
PKEuS	68b26f8faa	Fixed subsequent false negatives in CheckBufferOverrun::checkInsecureCmdLineArgs() (#5835)	2014-09-29 15:38:33 +02:00
Alexander Mai	ccd80e3407	#6141 FP: Unknown type is assumed to have size 0.	2014-09-27 21:51:11 +02:00
Dmitry-Me	1e298a31cf	Refactoring tests. Use utility function to warn about unsimplified code in tests.	2014-09-13 12:59:32 +02:00
PKEuS	4c18967329	Added unit test for #5849	2014-08-31 21:45:38 +02:00
Daniel Marjamäki	b6355b991f	Fixed #6070 (false positive: Array 'array[8192]' accessed at index 8192, which is out of bounds)	2014-08-19 07:03:00 +02:00
Daniel Marjamäki	47a2b35e98	BufferOverrun: Use ValueFlow string values more	2014-08-04 08:25:10 +02:00
Daniel Marjamäki	5de1e35350	CheckBufferOverrun: Fixed minsize checking of string literals. Check sizeof string instead of strlen.	2014-07-30 20:35:21 +02:00
Daniel Marjamäki	254b6438b9	CheckBufferOverrun::checkStringArgument: sizeof string is strlen+1	2014-07-08 16:04:09 +02:00
Daniel Marjamäki	9a4bd73a18	Fixed unit test	2014-07-08 08:02:02 +02:00
Daniel Marjamäki	0fd334911a	Fixed #5257 (Check memcpy size for string literals)	2014-07-06 08:41:39 +02:00
Daniel Marjamäki	53aa2f5982	astyle formatting ... [ci skip]	2014-07-06 07:16:28 +02:00
amai2012	77095e2b05	Add some more functions to posix.cfg which allow to enable TestBufferOverrun::buffer_overrun_1_posix_functions ... Fix some compiler warnings on MSVC	2014-07-05 22:47:10 +02:00
Daniel Marjamäki	a3acc3241e	Library: Added <minsize> element used for buffer overrun checking	2014-07-05 20:31:43 +02:00
Daniel Marjamäki	6c8558c112	CheckBufferOverrun: Removed old for-loop handling. This is handled through ValueFlow from now on.	2014-06-27 06:46:42 +02:00
Daniel Marjamäki	036b2f8ccf	CheckBufferOverrun: Added bufferOverrun2 that is based on ValueFlow/SymbolDatabase/Ast from the start. Replaced some old checking.	2014-06-26 17:36:20 +02:00
Simon Martin	966491d40b	Added a test for out-of-bounds character array access.	2014-05-27 16:21:13 +02:00
PKEuS	effa38c322	Fixed #5863 (False positive: array index is used before limits check)	2014-05-24 17:50:01 +02:00
PKEuS	04fbbdb5e8	Refactorized CheckBufferOverrun::arrayIndexThenCheck() and fixed false negative	2014-05-10 13:00:44 +02:00
Daniel Marjamäki	ed1d63ffc0	Fixed #5636 (FP: matrix out of bounds)	2014-05-03 18:12:06 +02:00
Alexander Mai	89dc652af9	#5631 Typo and misleading error message in negativeMemoryAllocationSize	2014-04-08 20:23:00 +02:00
Daniel Marjamäki	e5301b2b7a	ValueFlow: Improved valueflow of for loop 'for (i=a; i<10; i++)' => unknown start value but end value is known	2014-03-29 20:20:22 +01:00
PKEuS	1c58628223	Handle pointer/reference to array in setVarId (#2645)	2014-03-28 16:10:27 +01:00
PKEuS	63254b33f9	Fixed uncaught exception in testbufferoverrun.cpp	2014-03-27 19:55:11 +01:00
Daniel Marjamäki	6da9cca4ab	fixed unit test that I broke by mistake	2014-03-25 21:45:25 +01:00
Daniel Marjamäki	87daf5783e	buffer overflow: clean up old checking for negative index	2014-03-25 20:37:32 +01:00
Daniel Marjamäki	c8004a8d31	Buffer overruns: Use ValueFlow to detect negative index	2014-03-25 18:22:22 +01:00
Daniel Marjamäki	aa05bf0f16	ValueFlow: Improved abstract interpretation	2014-03-24 06:48:06 +01:00
Daniel Marjamäki	dbc8273cb7	ValueFlow: improved abstract interpretation of for loops	2014-03-24 00:16:02 +01:00
Daniel Marjamäki	b6276058da	Value Flow: Improved abstract interpretation of arithmetical expressions	2014-03-22 19:02:33 +01:00
PKEuS	49b25b05d9	Fixed crash in CheckBufferOverrun on garbage code (#5595)	2014-03-21 13:20:44 +01:00
Daniel Marjamäki	e240282443	Value Flow: Another try with the abstract interpretation of for loops	2014-03-17 18:43:47 +01:00
Daniel Marjamäki	8c3f2c2ad9	Revert 894a65b0. abstract interpretation of for loops. there was some crashes and performance problems. I will fix those problems when I have time and recommit.	2014-03-16 08:38:52 +01:00
Daniel Marjamäki	894a65b0b1	ValueFlow: Refactor the for-loop handling. Use abstract interpretation.	2014-03-15 11:29:33 +01:00