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 |