Daniel Marjamäki
|
2d955bb9a6
|
Uninitvar: Added TODO test case for false negatives. Related with #4652
|
2013-06-02 18:26:03 +02:00 |
|
Daniel Marjamäki
|
065853a59a
|
Fixed #4652 (False positive: variable value tracking into loop body)
|
2013-05-29 16:16:12 +02:00 |
Frank Zingsheim
|
bca751b9f4
|
Fixed #4773 (Regression: wrong detection of unitialized variable)
|
2013-05-06 18:45:00 +02:00 |
|
Daniel Marjamäki
|
bfb1bc50e3
|
Fixed #4760 (false negative: (error) usage of uninitialized variable (struct member))
|
2013-05-02 20:34:15 +02:00 |
|
Daniel Marjamäki
|
44cb070e13
|
Fixed #4737 (False positive: Uninitialized variable 'do_something(&((char*)&var)[0],1);')
|
2013-05-01 13:52:28 +02:00 |
|
Daniel Marjamäki
|
80cb2a9b20
|
Updated TestUninitVar test cases. They should not have unsimplified code.
|
2013-04-17 21:06:19 +02:00 |
|
Daniel Marjamäki
|
7fdaba43ed
|
Uninitialized variables: Fixed fp when initializing struct with function in loop body
|
2013-04-10 20:46:44 +02:00 |
|
Daniel Marjamäki
|
96a5429cee
|
Uninitialized variables: Assume that function initializes struct if it is unknown if it does
|
2013-04-10 20:04:32 +02:00 |
|
Daniel Marjamäki
|
4c8b17c040
|
Fixed #4717 (False positive: Uninitialized variable inside ({..}))
|
2013-04-09 17:02:11 +02:00 |
|
Daniel Marjamäki
|
894a2435ae
|
Fixed #4718 (False positive: unititialized variable (value flow))
|
2013-04-08 19:34:39 +02:00 |
|
Daniel Marjamäki
|
c9469993e2
|
Uninitialized variables: Fixed false positives when using sizeof inside loop
|
2013-03-22 08:10:46 +01:00 |
|
Daniel Marjamäki
|
a79354d51c
|
Uninitialized variables: Fixed false positive when taking address of uninitialized array that is a struct member
|
2013-03-20 16:59:45 +01:00 |
Ettl Martin
|
1b9c1c03fa
|
unittests: removed not needed '\n' at the end of testcases.
|
2013-03-20 15:36:16 +01:00 |
|
Daniel Marjamäki
|
1f04e2c228
|
Fixed #4439 (False positive: Uninitialized variable (casting address))
|
2013-03-13 17:32:47 +01:00 |
|
Daniel Marjamki
|
ee435bf885
|
Fixed #4600 (False positive Uninitialized struct member when using it as 'out parameter')
|
2013-02-23 15:57:58 +01:00 |
|
Daniel Marjamäki
|
382d7a10e8
|
Uninitialized variables: improved checking of c++ code
|
2013-02-15 18:13:47 +01:00 |
|
Daniel Marjamäki
|
28e38a9e56
|
Fixed #4519 (false positive: (error) Uninitialized variable: eax (inline assembly usage))
|
2013-02-12 15:59:23 +01:00 |
|
Daniel Marjamäki
|
75cf951c56
|
add return value to test case
|
2013-02-11 18:39:03 +01:00 |
|
Daniel Marjamäki
|
442db6cdf9
|
Fixed #4569 (False Positive: Uninitialised variable)
|
2013-02-11 18:31:14 +01:00 |
|
Daniel Marjamäki
|
94f1d34dcb
|
Fixed #4560 (false positive: (error) Uninitialized variable: s)
|
2013-02-11 17:05:59 +01:00 |
Mathias De Maré
|
dfd557888d
|
Fixed #4565 (false positive: dangerous usage (not null-terminated))
|
2013-02-10 13:36:40 +01:00 |
|
Frank Zingsheim
|
5144307642
|
Raise syntax error for if-condition without parentheses according to #2518 #4171
|
2013-02-05 21:13:57 +01:00 |
|
Daniel Marjamäki
|
4ac5648656
|
Uninitialized struct: Fixed false positive in for loop
|
2013-02-05 17:01:46 +01:00 |
|
Frank Zingsheim
|
89560564ed
|
Refactoring: Add braces to an if-block, for-block, etc. in tokenizer.
Fixed #4521 (Tokenizer: Wrong braces for triple if else)
|
2013-02-02 16:01:34 +01:00 |
|
Daniel Marjamäki
|
3679a809dd
|
Uninitialized variables: fixed false positive
|
2013-01-28 18:08:20 +01:00 |
|
Daniel Marjamki
|
8738223e82
|
Fixed #4512 (Improve check: Uninitialized variable not detected)
|
2013-01-26 08:16:53 +01:00 |
|
Daniel Marjamäki
|
ae43b12bf1
|
Fixed #4511 (False positive: uninitialized struct member)
|
2013-01-25 18:20:57 +01:00 |
Robert Reif
|
3b08b410a2
|
Symbol database: Improved function lookup (a.b.f()). Ticket: #4494
|
2013-01-25 06:49:04 +01:00 |
|
Daniel Marjamäki
|
c235737b6c
|
Uninitialized variables: improved checking of loops
|
2013-01-24 19:41:15 +01:00 |
|
Robert Reif
|
cecd726b11
|
Symbol database: Improved function lookup for foo.f(). Ticket #4494
|
2013-01-23 16:53:55 +01:00 |
|
Robert Reif
|
ddb604d1a5
|
Symbol database: function lookup when :: is used. Ticket #4494
|
2013-01-22 06:55:25 +01:00 |
|
Daniel Marjamki
|
c478a3214f
|
Uninitialized variables: Added TODO test case (while)
|
2013-01-20 18:40:24 +01:00 |
|
Daniel Marjamki
|
76534ccd1b
|
Uninitialized struct member: Fixed false negatives for return statements
|
2013-01-20 17:54:32 +01:00 |
|
Daniel Marjamki
|
e63f2c3b5b
|
Uninitialized struct member: Avoid false positive when struct member is passed by address
|
2013-01-20 13:12:40 +01:00 |
|
Daniel Marjamki
|
f1c195e652
|
Fixed #3506 (false negative: not initialized variables ( struct timeval))
|
2013-01-19 12:48:56 +01:00 |
|
Daniel Marjamki
|
3cf0e88fbe
|
Uninitialized struct members: Improved checking when struct member is used in expression
|
2013-01-19 10:09:58 +01:00 |
|
Daniel Marjamäki
|
7c615f0f12
|
Fixed #4497 (False positive: uninitialized struct (writing/reading member))
|
2013-01-18 21:26:28 +01:00 |
|
Daniel Marjamäki
|
77e9f65e6b
|
Uninitialized struct members: Fixed unit test
|
2013-01-17 23:55:13 +01:00 |
|
Daniel Marjamäki
|
2c6b383822
|
Uninitialized member variables: Improvements
|
2013-01-17 21:04:22 +01:00 |
|
Daniel Marjamäki
|
93fb6b0c6a
|
Fixed #4493 (FP: uninit struct member (struct is assigned))
|
2013-01-17 17:01:04 +01:00 |
|
Daniel Marjamäki
|
5773e69ab1
|
Uninitialized variables: Add experimental checking of struct members
|
2013-01-16 20:28:29 +01:00 |
Reijo Tomperi
|
5d5f7085bf
|
Updating year 2012 -> 2013 to .cpp and .h files and man page.
|
2013-01-01 18:29:08 +02:00 |
|
Daniel Marjamäki
|
de2c133f6a
|
Fixed #4426 (False positive: Unitialized variable warning when comparing addresses)
|
2012-12-28 12:32:15 +01:00 |
|
Daniel Marjamäki
|
b914466285
|
Uninitialized variables: fixed false positives by bailing out when variable is conditionally initialized and then there is a conditional return.
|
2012-12-27 18:45:00 +01:00 |
|
Daniel Marjamäki
|
f16c30248a
|
Uninitialized variables: fixed FP when there are function calls where type* is converted to unknown_type
|
2012-12-25 14:05:29 +01:00 |
|
Daniel Marjamäki
|
f381058293
|
Uninitialized variables: fixed FP when there are suspicious function calls where type** is converted to type*
|
2012-12-25 13:58:15 +01:00 |
|
Daniel Marjamäki
|
bcc5a82b1d
|
Uninitialized variables: Fixed FP when using typeof on uninitialized data in return statement
|
2012-12-25 13:31:54 +01:00 |
|
Daniel Marjamäki
|
299c1bb208
|
Uninitialized variables: handle unsimplified labels better
|
2012-12-25 10:37:21 +01:00 |
|
Daniel Marjamäki
|
83da4125e3
|
Uninitialized variables: Better value flow analysis. Fixed false positives.
|
2012-12-24 19:11:13 +01:00 |
|
Daniel Marjamäki
|
0b4da3d5cd
|
Uninitialized variables: Fixed false positives when variable x is given a nonzero value when variable y is uninitialized.
|
2012-12-23 16:27:04 +01:00 |