52 Commits

Author	SHA1	Message	Date
Daniel Marjamäki	f26bc6a75c	Fixed #2621 (Segmentation fault for GCC statement expression)	2011-03-13 10:34:54 +01:00
Daniel Marjamäki	f3728c0b76	Fixed #2647 (False positive: Possible null pointer dereference (member function call))	2011-03-12 20:57:19 +01:00
Robert Reif	6a2848e50f	fix another false negative introduced by fix for #2641	2011-03-12 12:27:19 -05:00
Robert Reif	384bd96766	fix false negative introduced by fix for #2641	2011-03-12 11:42:58 -05:00
Daniel Marjamäki	0a28b7309f	Fixed #2641 (False positive: Possible null pointer dereference (global pointer, function call))	2011-03-12 15:02:06 +01:00
Daniel Marjamäki	a77993db75	Refactoring of the CheckNullPointer::isPointer. Use the symbol database. Ticket: #2629	2011-03-06 21:23:33 +01:00
Daniel Marjamäki	7894d86132	Null pointers: Fixed false negative for such code: 'if (p && *p) {} else { *p=0; }'. Ticket: #2379	2011-02-20 14:38:49 +01:00
Daniel Marjamäki	5f0206725b	Null pointers: Fixed false negative for such code 'if (p && *p==0) {} *p = 0;'. Ticket: #2379	2011-02-19 21:28:18 +01:00
Daniel Marjamäki	29d05cf5f2	Null pointers: Fixed false negative for such code: 'abc->a = 0; if (abc && ..'. Ticket: #2379	2011-02-19 21:10:31 +01:00
Daniel Marjamäki	e7ef1b3627	Null pointer: fixed false negative when dereferencing struct and then checking if it's null. Ticket: #2379	2011-02-19 21:01:38 +01:00
Daniel Marjamäki	9a760b9654	Fixed #2582 (segmentation fault of cppcheck ( if() ))	2011-02-18 20:05:44 +01:00
Daniel Marjamäki	39c68e12ce	Fixed #2533 (false positive: (error) Uninitialized variable: cBuffer)	2011-02-03 22:29:32 +01:00
Raphael Geissert	f8e2d50e6f	Use Token::simpleMatch where no special patterns are needed	2011-02-02 13:27:02 -06:00
Raphael Geissert	8d5863133c	Use Token::simpleMatch where no patterns are used	2011-02-02 13:27:01 -06:00
Daniel Marjamäki	202c8eb4a0	Fixed #2525 (False positive 'Possible null pointer dereference')	2011-01-31 17:30:27 +01:00
Raphael Geissert	5137f5fb7f	Detect null pointer dereferences for many FILE-related functions ... Ticket #1415: check for calling f{eof,read,close,...} with NULL	2011-01-30 02:34:58 -06:00
Daniel Marjamäki	86e6822264	Fixed #2493 (false positive: (error) Possible null pointer dereference: pExpr)	2011-01-23 08:38:09 +01:00
Daniel Marjamäki	b5020468f6	Fixed #2467 (false positive: possible nullptr dereference)	2011-01-17 19:23:00 +01:00
Daniel Marjamäki	6edf35ebf5	Fixed #2463 (false positive: possible nullpointer dereference)	2011-01-15 12:09:36 +01:00
Daniel Marjamäki	9658e2299d	Fixed #2443 (Possible null pointer dereference: xxx - otherwise it is redundant to check if xxx is null at line)	2011-01-10 19:57:26 +01:00
Reijo Tomperi	226b605774	Change year 2010 -> 2011 in license texts.	2011-01-09 21:33:36 +02:00
Daniel Marjamäki	2848abbf36	Fixed #1219 (improve check: null pointer not detected 'if (p) return; *p = 0;')	2011-01-09 20:16:16 +01:00
Daniel Marjamäki	68beffca04	Fixed #2437 (false positive: possible null pointer dereference: tok2)	2011-01-08 17:16:52 +01:00
Daniel Marjamäki	77ed6ecb5d	Null pointers: Added comments	2011-01-06 13:18:49 +01:00
Daniel Marjamäki	d1854e330b	Fixed #2413 (fflush() with NULL argument is valid.)	2011-01-06 08:12:34 +01:00
Daniel Marjamäki	c74b2e3cbf	Fixed #2411 (possible null pointer dereference (aborting via function pointer not detected))	2011-01-05 21:48:26 +01:00
Daniel Marjamäki	3e5614a5a3	Null Pointer: Refactoring - broke out CheckNullPointer::isPointer	2010-12-31 18:30:04 +01:00
Daniel Marjamäki	b04885cd4f	astyle formatting	2010-12-31 15:57:08 +01:00
Daniel Marjamäki	4d8fae186b	added more comments	2010-12-31 15:56:41 +01:00
Daniel Marjamäki	b634242a58	Added comments for CheckNullPointer::nullPointerLinkedList	2010-12-31 14:37:34 +01:00
Daniel Marjamäki	377bcbe729	Remove redundant condition	2010-12-31 14:24:15 +01:00
Daniel Marjamäki	1a8c410c06	gcc: fixed compiler warning (suggest parantheses around assignment)	2010-12-31 14:18:24 +01:00
Daniel Marjamäki	3de9d9cb31	Refactoring and commenting CheckNullPointer::nullPointerAfterLoop	2010-12-31 14:17:10 +01:00
Daniel Marjamäki	5f3d2a7e35	Fixed #2090 (False negative: null pointer dereference 's=0; strcpy(s,p);')	2010-12-26 19:29:58 +01:00
Daniel Marjamäki	c0bedb5036	Fixed #2331 (Token::Match is called with varid 0)	2010-12-19 21:27:28 +01:00
Daniel Marjamäki	696550abd3	Fixed #2299 (false positive: possible nullpointer dereference)	2010-12-17 21:09:12 +01:00
Daniel Marjamäki	0cebcc8fa9	Fixed #2300 (false positive: possible nullpointer dereference)	2010-12-16 21:41:50 +01:00
vBm	46a11183a5	Fixed some spelling mistakes	2010-12-15 18:45:53 +01:00
Daniel Marjamäki	ee083cd7a0	Fixed #2284 (False positive: Possible null pointer reference)	2010-12-09 18:17:56 +01:00
Daniel Marjamäki	065af5c444	Fixed #2251 (False positive: Possible null pointer reference)	2010-11-29 20:30:23 +01:00
Daniel Marjamäki	cdb685c83c	Fixed #2245 (False positive: Possible null pointer dereference)	2010-11-29 20:19:31 +01:00
Daniel Marjamäki	a8d7ac0f0d	Fixed #2193 (false negative: nullpointer dereference)	2010-11-12 19:42:02 +01:00
Daniel Marjamäki	95bfa50d7e	Null pointers: Fixed false negatives in the CheckAndDeRef checking	2010-11-04 21:22:29 +01:00
Daniel Marjamäki	f3bf14ba13	Fixed #2171 (false positive: possible nullpointer dereference)	2010-11-04 21:09:32 +01:00
Daniel Marjamäki	c29940b114	Fixed #2166 (false positive: possible null pointer dereference)	2010-11-04 18:18:19 +01:00
Daniel Marjamäki	94fc13f0c4	Fixed #2159 (False positive: Null pointer dereference 'if (!x) return *y;')	2010-11-01 19:21:08 +01:00
Daniel Marjamäki	285d76a413	Null pointers: Fixed false positive for 'x && x->y'	2010-10-31 19:48:58 +01:00
Daniel Marjamäki	69c6358198	CheckNullPointer: Reuse CheckNullPointer::isPointerDeRef in CheckNullPointer::nullPointerByDeRefAndChec	2010-10-31 16:07:50 +01:00
Daniel Marjamäki	32def3a3f0	CheckNullPointer: Reuse the CheckNullPointer::isPointerDeRef function	2010-10-31 15:46:08 +01:00
Daniel Marjamäki	33d3fd4716	CheckNullPointer: Reduced false negatives by making pattern more generic	2010-10-31 15:40:34 +01:00