Daniel Marjamäki
|
9d88e17c39
|
Tokenizer::simplifyKnownVariables: Reduce debug-warnings for conditional increment
|
2010-11-21 13:40:42 +01:00 |
Daniel Marjamäki
|
ec6edaee6e
|
Buffer overflow: Added unit test that makes sure that array index out of bounds is detected inside loop. Ticket: #2199
|
2010-11-21 12:24:57 +01:00 |
Zachary Blair
|
215cb5ac8d
|
Fixed #2162 (false positive: Mutual exclusion over ||)
|
2010-11-21 00:06:43 -08:00 |
Daniel Marjamäki
|
0fe4249cfc
|
Fixed #2216 (wrong warning when C++0x keyword delete is used)
|
2010-11-20 17:20:25 +01:00 |
Daniel Marjamäki
|
e8ca76e02e
|
Fixed #2200 (MathLib: Calculation overflow)
|
2010-11-20 10:05:33 +01:00 |
Daniel Marjamäki
|
9ccc57a455
|
Fixed #2214 (Improve check: Memory leak not detected when pointer is incremented)
|
2010-11-20 08:35:23 +01:00 |
Daniel Marjamäki
|
fd64a7e683
|
Mutual exclusion: Disable this check until #2162 is fixed.
|
2010-11-20 07:43:07 +01:00 |
Daniel Marjamäki
|
66c2825b23
|
Fixed #2210 (False positive: buffer overrun (snprintf, unknown type))
|
2010-11-18 19:26:46 +01:00 |
Daniel Marjamäki
|
aa653fe42b
|
Uninitialized variables: Fixed simple undetected case for '= %var% |' and '| %var% ;'
|
2010-11-16 20:16:44 +01:00 |
Daniel Marjamäki
|
35c72db251
|
Uninitialized variables: Fixed simple undetected case for '= %var% -'
|
2010-11-16 20:07:41 +01:00 |
Daniel Marjamäki
|
cbdae275ed
|
Uninitialized variables: Fixed false negative. Ticket: #2207
|
2010-11-16 20:01:57 +01:00 |
Robert Reif
|
77a5d4e399
|
Fixed #2204 (False positive when using const class members)
|
2010-11-16 07:30:55 +01:00 |
Ettl Martin
|
379daa3f24
|
fixed: wrong testcase from my last commit im testmathlib.cpp
|
2010-11-15 22:12:25 +01:00 |
Ettl Martin
|
88cc29ea0a
|
mathlib: added todo testcases for ticket #2200
|
2010-11-15 21:03:49 +01:00 |
Daniel Marjamäki
|
29bb553782
|
Fixed #2207 (False positive: uninitialized variable (return if uninitialized))
|
2010-11-15 20:35:01 +01:00 |
Daniel Marjamäki
|
d250cb5aa2
|
Fixed #2206 (False positive: variable is assigned a value that is never used (array initializers))
|
2010-11-15 17:53:55 +01:00 |
Daniel Marjamäki
|
7b3e7f6467
|
Fixed #2205 (False positive: variable is assigned a value that is never used (assigning to dereferenced casted pointers))
|
2010-11-15 17:30:07 +01:00 |
Daniel Marjamäki
|
6d1c0687c9
|
Fixed #2202 (false postive: Data is allocated but not initialized: rbdc)
|
2010-11-15 17:11:08 +01:00 |
Zachary Blair
|
36d80d6eaa
|
Fixed #2058 (Warn for unused variable when only doing malloc/free)
|
2010-11-14 17:37:36 -08:00 |
Daniel Marjamäki
|
378e83e73d
|
Fixed #2201 (false positive: Uninitialized variable: __v0)
|
2010-11-14 17:35:22 +01:00 |
Kimmo Varis
|
41f06cef69
|
Update VS2010 solution/project files.
|
2010-11-14 11:04:45 +02:00 |
Daniel Marjamäki
|
71c1ce71ce
|
Tokenizer::simplifyKnownVariables: Simplify known variables for struct members
|
2010-11-13 18:45:35 +01:00 |
Daniel Marjamäki
|
723570fe6c
|
Tokenizer: added assertions to check that no debug messages are given.
|
2010-11-13 17:40:57 +01:00 |
Daniel Marjamäki
|
667cc8f6e5
|
Tokenizer: Skip debug warnings in Tokenizer::simplifyKnownVariables for loop variable
|
2010-11-13 16:40:04 +01:00 |
Daniel Marjamäki
|
5e93281310
|
Tokenizer: Added TODO test cases for splitting up variable declarations
|
2010-11-13 15:45:33 +01:00 |
Daniel Marjamäki
|
3d195f2326
|
Auto variables: improved the check for 'return retval.c_str()'. Ticket: #2191
|
2010-11-13 15:38:21 +01:00 |
Daniel Marjamäki
|
47d37e7a05
|
Uninitialized variables: Fixed false negatives when calling unknown function with uninitialized variable by value: 'f(a+1)'
|
2010-11-13 15:10:17 +01:00 |
Daniel Marjamäki
|
85cafb2035
|
Visual Studio 2008: Added lib/symboldatabase files
|
2010-11-13 12:28:49 +01:00 |
Daniel Marjamäki
|
bf15236b9e
|
Fixed #2196 (False positive: Invalid data is allocated but not initialized (initialization in loop))
|
2010-11-13 10:33:35 +01:00 |
Daniel Marjamäki
|
3303c40879
|
uninitialized variables: fixed problem when parsing loop bodies
|
2010-11-13 08:03:59 +01:00 |
Daniel Marjamäki
|
f7ca4f09ef
|
Fixed #2151 (false negative: memory leak when calling subfunction that doesn't deallocate the memory)
|
2010-11-12 21:09:34 +01:00 |
Daniel Marjamäki
|
a8d7ac0f0d
|
Fixed #2193 (false negative: nullpointer dereference)
|
2010-11-12 19:42:02 +01:00 |
Daniel Marjamäki
|
9d7a623985
|
Uninitialized variables: Passing uninitialized array as parameter to function. Ticket: #2188
|
2010-11-12 17:38:25 +01:00 |
Daniel Marjamäki
|
e523d5a3a3
|
Fixed #914 (improve check: usage of uninitialized variable)
|
2010-11-12 17:14:37 +01:00 |
Daniel Marjamäki
|
1204043556
|
Fixed #2148 (uninitialized variable: false negative, function parameter that is passed by value)
|
2010-11-12 17:06:14 +01:00 |
Daniel Marjamäki
|
6b489230e8
|
Fixed #2188 (Does not detect initialization)
|
2010-11-12 16:11:44 +01:00 |
Daniel Marjamäki
|
ba7a3b376e
|
Fixed #2167 (Drop linefeeds from error messages)
|
2010-11-11 19:54:43 +01:00 |
Daniel Marjamäki
|
0328d26fcb
|
Fixed #2192 (false positive: resource leak)
|
2010-11-11 17:40:20 +01:00 |
Robert Reif
|
07f4067fa8
|
typedef: better handling of __typeof__
|
2010-11-11 17:02:04 +01:00 |
Robert Reif
|
a09c221014
|
typedefs: handle __typeof__
|
2010-11-11 06:40:49 +01:00 |
Daniel Marjamäki
|
624ce205b9
|
Fixed #2185 (False negative: when constant is undefined a 'dangerous usage of strncpy' is not found)
|
2010-11-10 20:20:05 +01:00 |
Daniel Marjamäki
|
41bbe5d0cf
|
Fixed #2182 (Context sensitive false positive)
|
2010-11-10 18:24:40 +01:00 |
Daniel Marjamäki
|
28c53cabea
|
Fixed #2184 (False Positive: memory leak)
|
2010-11-10 17:46:40 +01:00 |
Daniel Marjamäki
|
508c171945
|
Symbol database: add support for class inline functions with classes
|
2010-11-09 17:06:07 +01:00 |
Robert Reif
|
36b03bdd3e
|
Fixed #2179 (Segmentation fault in assignment operator)
|
2010-11-09 06:58:19 +01:00 |
Daniel Marjamäki
|
c2bf3647a4
|
Fixed #2178 (segmentation fault of cppcheck)
|
2010-11-08 19:47:19 +01:00 |
Daniel Marjamäki
|
586f4992d8
|
Tokenizer::simplifyKnownVariables: Fixed TODO test cases in TestBufferOverrun
|
2010-11-07 17:42:32 +01:00 |
Daniel Marjamäki
|
cd94fa89e0
|
Tokenizer: More specific bail outs in simplifyKnownVariables
|
2010-11-07 11:07:56 +01:00 |
Daniel Marjamäki
|
b881718d9f
|
Tokenizer: better bailout in simplifyKnownVariables when there is loop
|
2010-11-07 10:42:08 +01:00 |
Daniel Marjamäki
|
fb068a4e71
|
Fixed #2170 (false positive: After a strncpy() the buffer should be zero-terminated)
|
2010-11-07 09:37:45 +01:00 |