Daniel Marjamäki
|
df87ce9e04
|
Fixed #1945 (False positives when a for loop header is in a macro)
|
2010-08-26 21:57:48 +02:00 |
Daniel Marjamäki
|
72916caee6
|
Reverted 7398453cb0
|
2010-08-15 21:25:14 +02:00 |
Sbastien Debrard
|
7398453cb0
|
Refactoring of obsolete functions checks. Ticket: #1940
|
2010-08-15 21:22:33 +02:00 |
Zachary Blair
|
c8087d3389
|
Fixed #162 (Initialisation of a variable by itself)
|
2010-08-14 21:34:04 -07:00 |
Daniel Marjamäki
|
5846630fa9
|
Added scanf check. Modified patch submitted by Eric Sesterhenn
|
2010-08-14 15:15:12 +02:00 |
Daniel Marjamäki
|
029613d4c4
|
Fixed #1923 (False positive: Possible null pointer derefence in else if)
|
2010-08-07 19:59:56 +02:00 |
Daniel Marjamäki
|
e7e86ef333
|
calculation in sizeof: added two more ASSERT_EQUALS to guard against false positives
|
2010-08-07 10:12:39 +02:00 |
Daniel Marjamäki
|
c395e51389
|
New check: look for calculation inside sizeof
|
2010-08-06 22:57:10 +02:00 |
Daniel Marjamäki
|
65f7bcbfa5
|
null pointers: fixed TODO assertion - dereference pointer in function call and then checking that it is not NULL
|
2010-08-05 08:19:36 +02:00 |
Daniel Marjamäki
|
6f228033d2
|
null pointers: fixed todo test case
|
2010-08-05 08:06:19 +02:00 |
Daniel Marjamäki
|
239d264432
|
uninitialized variables: fixed false negatives when uninitialized pointer data is read
|
2010-08-04 21:13:40 +02:00 |
Daniel Marjamäki
|
9c17114668
|
Fixed #1893 (false positive: dereferencing null pointer (try/catch))
|
2010-07-24 14:27:18 +02:00 |
Daniel Marjamäki
|
bbf2c6c6e6
|
Fixed #1880 (false positive: Uninitialized array (initialized in subfunction))
|
2010-07-19 10:03:54 +02:00 |
Martin Ettl
|
6cc3f76668
|
#1880: added todo testcase (false positive: (error) Uninitialized variable: y)
|
2010-07-18 18:55:53 +02:00 |
Daniel Marjamäki
|
1fb4758583
|
Fixed #1855 (false positive: uninitialized variable (function call in switch condition))
|
2010-07-18 13:19:37 +02:00 |
Daniel Marjamäki
|
11a72461f3
|
Fixed #1835 (false positive: uninitialized variable when using ?)
|
2010-07-08 11:16:49 +02:00 |
Daniel Marjamäki
|
a1793edabe
|
Fixed #1825 (*log(0) error)
|
2010-07-07 09:03:40 +02:00 |
Daniel Marjamäki
|
1b20f8d27d
|
Fixed #1824 (false positive: unitialised variable)
|
2010-07-06 13:18:28 +02:00 |
Daniel Marjamäki
|
c811acaa50
|
Fixed #1818 (False positive: Dangerous usage of strncpy (copying a constant string))
|
2010-07-05 12:45:39 +02:00 |
Zachary Blair
|
5ea28ccbba
|
Fixed #157 (Forgetting to put a break in a switch statement)
|
2010-06-30 00:10:30 -07:00 |
Daniel Marjamäki
|
c6888845a0
|
Fixed #1815 (False positive: uninitialized variable when using ? operator)
|
2010-06-30 08:28:34 +02:00 |
Daniel Marjamäki
|
ad0908cb3f
|
Fixed #1808 (false positive: uninitialized variable with multiple assignment)
|
2010-06-25 19:39:30 +02:00 |
Nicolás Alvarez
|
df3d98a7c2
|
Fix typos in sizeofsizeof error message.
|
2010-06-19 17:16:14 -03:00 |
Daniel Marjamäki
|
82b63dd736
|
Fixed #1633 (tokenizer: simplifyKnownVariable: improved handling of arithmetic)
|
2010-06-19 14:00:45 +02:00 |
Zachary Blair
|
efefceabae
|
Fixed #920 (new style check: find empty catch blocks)
|
2010-06-14 23:45:46 -07:00 |
Daniel Marjamäki
|
cb7e9fbec1
|
Fixed #1776 (False Negative: Unitialized array)
|
2010-06-14 08:36:34 +02:00 |
Martin Ettl
|
c9cd5ea250
|
added a todo testcase for ticket 1778
|
2010-06-09 01:21:52 +02:00 |
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 |