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 |
|
Daniel Marjamäki
|
6faa4b79d3
|
CheckNullPointer: Refactoring. Created the function CheckNullPointer::isPointerDeRef that can be used to detect if a pointer is dereferenced
|
2010-10-31 15:32:19 +01:00 |
|
Daniel Marjamäki
|
df8a93bf97
|
Null pointers: Broke out the checking into separate file
|
2010-10-31 11:51:25 +01:00 |