Daniel Marjamäki
|
472bd9dabe
|
Fixed #1726 (False negative: null pointer dereference in switch block)
|
2010-06-06 12:15:31 +02:00 |
|
Daniel Marjamäki
|
07e00d57d9
|
Fixed #1725 (segfault in ExecutionPath::bailOutVar (probably caused by #1721 fix))
|
2010-06-05 09:45:35 +02:00 |
|
Daniel Marjamäki
|
b11e23eb08
|
Fixed #1721 (False negative: uninitialized variable in switch block)
|
2010-06-03 20:02:58 +02:00 |
|
Daniel Marjamäki
|
37ae4692bb
|
Uninitialized variables: fixed false negative when using uninitialized variable inside malloc call
|
2010-05-30 10:30:51 +02:00 |
|
Daniel Marjamäki
|
1ec49430e3
|
Uninitialized variables: better handling when uninitialized variables are used in function calls
|
2010-05-30 09:31:10 +02:00 |
|
Daniel Marjamäki
|
ab41879246
|
ExecutionPath: Better handling of 'FOREACH (..) {}'
|
2010-05-30 09:00:18 +02:00 |
|
Daniel Marjamäki
|
f41334e58a
|
ExecutionPath: better handling of 'FOREACH(..){..}'
|
2010-05-30 08:26:44 +02:00 |
|
Daniel Marjamäki
|
406cbda563
|
Uninitialized variables: better handling of struct variables
|
2010-05-30 07:55:11 +02:00 |
|
Daniel Marjamäki
|
d3c20cac81
|
Fixed #1712 (False negative: dereferencing uninitialized pointer)
|
2010-05-27 19:00:52 +02:00 |
|
Daniel Marjamäki
|
88e9a4ade6
|
Fixed #1704 (false negative: null pointer dereference)
|
2010-05-26 19:16:42 +02:00 |
|
Daniel Marjamäki
|
75c9355e9a
|
Added some multipass checking for the uninitialized variables. It is still experimental. You can activate it with the '--test-2-pass' switch. Some more refactorings are needed to make it truly usable, the main thing is to make it thread safe.
|
2010-05-21 19:35:18 +02:00 |
|
Daniel Marjamäki
|
6edb2e77b4
|
Refactoring: Removed Severity::possibleStyle
|
2010-05-16 14:43:42 +02:00 |
|
Daniel Marjamki
|
972046c4bd
|
Added test CheckOther::sizeofsizeof. Inspired by #1682
|
2010-05-15 14:06:45 +02:00 |
|
Daniel Marjamäki
|
7c52c8683d
|
Fixed #1662 (false positive: Data is allocated but not initialized, when using sprintf)
|
2010-05-09 07:48:52 +02:00 |
|
Daniel Marjamäki
|
2901434773
|
Fixed #1658 (false negative: uninitialized pointer usage)
|
2010-05-08 19:23:46 +02:00 |
|
Daniel Marjamäki
|
bd22a18dc1
|
Refactoring: Changed 'possible style' to 'style'
|
2010-05-08 09:49:01 +02:00 |
Zachary Blair
|
21b7eb61f5
|
Fixed #959: (new check: wrong usage of fflush()) Simplified and set severity to error
|
2010-05-06 23:08:10 -07:00 |
|
Zachary Blair
|
707d27f3d8
|
Fixed #959 (new check: wrong usage of fflush())
|
2010-05-03 23:14:45 -07:00 |
|
Daniel Marjamäki
|
cccccff96f
|
Fixed #1629 (False negative: null pointer derefence not detected 'c[0] = 0')
|
2010-04-28 22:07:39 +02:00 |
|
Daniel Marjamäki
|
2666aad207
|
Fixed #1632 (false positive: unintialized variable)
|
2010-04-28 21:33:11 +02:00 |
|
Daniel Marjamäki
|
eb82a89758
|
ExecutionPath: Better handling of if
|
2010-04-25 11:55:57 +02:00 |
|
Daniel Marjamäki
|
a15e25f9fe
|
Fixed #1571 ('C-style pointer casting' should not be reported for C files)
|
2010-04-24 16:46:09 +02:00 |
|
Daniel Marjamäki
|
f3bea249ac
|
Removed the check for unreachable code. The g++ warning -Wunreachable-code is recommended instead. This closes #1603 (break after a return or goto should not be an error in a switch statement).
|
2010-04-24 14:30:45 +02:00 |
|
Zachary Blair
|
680a470741
|
Fixed #1564 (CppCheck does not recognise redundant IF)
|
2010-04-22 01:21:54 -07:00 |
|
Zachary Blair
|
c26e619b23
|
Fixed #855 (Refactoring: move conditions into checks)
|
2010-04-20 23:38:25 -07:00 |
Reijo Tomperi
|
35d2a27b9c
|
Update copyright year in all source files
|
2010-04-13 22:23:17 +03:00 |
|
Zachary Blair
|
bd7dc9946e
|
Fixed #1530 (possible new check: strlen return value versus zero.)
|
2010-04-13 19:30:25 +02:00 |
|
Daniel Marjamäki
|
38a28e28ec
|
Fixed #1581 (False positives 'The scope of the variable x can be reduced')
|
2010-04-09 16:53:27 +02:00 |
Martin Ettl
|
4bc325f077
|
#ticket 1513: added sqrt() support
|
2010-04-05 20:20:20 +02:00 |
|
Martin Ettl
|
fe7c6aed9f
|
#ticket 1513: added pow() support
|
2010-04-05 20:07:53 +02:00 |
|
Martin Ettl
|
218c18496d
|
#ticket 1513 added fmod() support
|
2010-04-05 19:45:33 +02:00 |
|
Martin Ettl
|
d4923e2a92
|
added atan2() check to ticket #1513
|
2010-04-05 19:35:56 +02:00 |
Daniel Marjamäki
|
61e1c4183f
|
Uninitialized variables: better handling of 'a[b[..]]' when b is not initialized
|
2010-04-05 09:04:30 +02:00 |
|
Daniel Marjamäki
|
d26a2cfc16
|
Uninitialized variables: Detect reading uninitialized data through array/pointer variable
|
2010-04-05 08:38:26 +02:00 |
|
Daniel Marjamäki
|
abceff497b
|
Refactoring: some refactoring of ExecutionPath. The foundError was removed. No automatic bailout of all checks are made when errors are found.
|
2010-04-04 11:24:52 +02:00 |
|
Daniel Marjamäki
|
78852b08ab
|
Fixed #1566 (false negative: uninitialized variable)
|
2010-04-04 09:17:53 +02:00 |
|
Daniel Marjamäki
|
849be383e6
|
Tokenizer: tokenize 1E-2 into a single token
|
2010-04-04 08:01:05 +02:00 |
|
Reijo Tomperi
|
a1d0defbc0
|
astyle fix
|
2010-04-02 21:42:06 +03:00 |
|
Martin Ettl
|
c391a03db6
|
added acos() check to ticket #1513; added testcases for MathLib::toDoubleNumber(), now double conversion of zeros is handled correctly; changed assertEquals() function of testsuite parameters from unsigned int to double. This is needed to avoid overflow of unsigned int by comparing negative floating point values.
|
2010-04-02 20:23:37 +02:00 |
|
Daniel Marjamäki
|
734b10e650
|
Fixed #1479 (false positive: unintialized variable when using goto)
|
2010-04-02 08:35:05 +02:00 |
|
Daniel Marjamäki
|
8b5aae9adb
|
astyle formatting
|
2010-04-02 07:32:03 +02:00 |
|
Daniel Marjamäki
|
0cad22314e
|
Reverted 'astyle fix'. Those changes are not in sync with my astyle configuration/setup.
|
2010-04-02 07:30:58 +02:00 |
|
Martin Ettl
|
193aa7d1d3
|
astyle fix
|
2010-04-02 02:21:53 +02:00 |
|
Martin Ettl
|
b5fb01c202
|
ticket #1513 new check: Detecting obviously wrong math call arguments passed to math functions)
|
2010-04-02 02:19:38 +02:00 |
|
Daniel Marjamäki
|
c3edc5fd89
|
Fixed #1148 (improve check: usage of uninitialized variables)
|
2010-03-28 21:27:06 +02:00 |
|
Daniel Marjamäki
|
c7867af3c5
|
Fixed #1533 (False positive: Uninitialized variable)
|
2010-03-28 10:42:37 +02:00 |
Raphael Geissert
|
c0e09c4cb3
|
Fixed #1511 (false negative null pointer deref when dereferencing pointers to constants)
|
2010-03-26 16:44:46 +01:00 |
|
Daniel Marjamäki
|
15d67a2369
|
Fixed #1503 (False positive for uninitialized variable)
|
2010-03-16 19:09:37 +01:00 |
|
Daniel Marjamäki
|
7f42ed3ad0
|
Fixed #1472 (false positive: Data is allocated but not initialized: service)
|
2010-03-07 09:08:52 +01:00 |
|
Daniel Marjamäki
|
6ca4b008d0
|
null pointer: Fixed better error message for 'possible null pointer' + removed redundant check in our Tokenizer.
|
2010-02-28 07:26:50 +01:00 |