PKEuS
|
1c1c31bea0
|
Tokenizer: Refactorings and improvements. Better handling of []
|
2011-12-07 21:15:00 +01:00 |
PKEuS
|
97eecb78a7
|
Fixed #3381 (false positive: (style) Statements following return, break, continue, goto or throw will never be executed)
|
2011-12-07 18:20:52 +01:00 |
Edoardo Prezioso
|
b9224439c1
|
Add 'exit' and 'abort' to the flow control list in order to simplify code after them.
|
2011-12-06 22:56:12 +01:00 |
Edoardo Prezioso
|
eb5fe250ab
|
Partial fix ticket #3385 ('throw' isn't removed if the argument of the function is type 'struct|class').
|
2011-12-06 21:02:26 +01:00 |
Ettl Martin
|
4884a1dfe0
|
sanity check for ticket #3387 ( buffer access out of bounds)
|
2011-12-06 20:53:56 +01:00 |
Edoardo Prezioso
|
0504952950
|
Remove some redundant parenthesis - part 9
|
2011-12-06 16:53:57 +01:00 |
Edoardo Prezioso
|
9cadd7c17a
|
Remove some redundant semicolons - part 8
|
2011-12-04 19:11:51 +01:00 |
Edoardo Prezioso
|
4946b036ad
|
Remove some redundant semicolons - part 7
|
2011-12-04 18:08:35 +01:00 |
Edoardo Prezioso
|
52a174fa9d
|
Remove some redundant semicolons - part 6
|
2011-12-04 17:30:25 +01:00 |
Edoardo Prezioso
|
b45d63a10a
|
Remove some redundant semicolons - part 5
|
2011-12-04 17:15:53 +01:00 |
Edoardo Prezioso
|
2fc067e6ab
|
Tokenizer::simplifyConst : handle also '%type% const' when the 'type' token is the first one in the list.
|
2011-12-04 16:59:19 +01:00 |
Edoardo Prezioso
|
a363749a17
|
1) Remove some redundant semicolons - part 4 ('typedef' != _tokens.str());
2) Tokenizer: Use Token::eraseTokens instead of using the same instructions as the ones inside such function.
|
2011-12-04 15:40:05 +01:00 |
Daniel Marjamäki
|
eeb6dc48a5
|
Fixed #3359 (False positive: array[idx++] += val triggers unexpected 'Array index out of bounds' error)
|
2011-12-04 12:22:21 +01:00 |
Daniel Marjamäki
|
49784a44e1
|
Tokenizer: improved handling of inner templates. Partial fix for #3226
|
2011-12-04 11:38:41 +01:00 |
Edoardo Prezioso
|
f47ac539d6
|
Tokenizer::simplifyFlowControl: 1) remove consecutive 'break' or 'continue', since they don't influence the CheckOther results; 2) improve the code speed where possible;
Tokenizer::eraseDeadCode: Ditto.
|
2011-12-03 17:15:19 +01:00 |
Daniel Marjamäki
|
50dfdf7c2e
|
Fixed #3350 (Analysis failed)
|
2011-12-03 15:15:15 +01:00 |
Daniel Marjamäki
|
c90558f730
|
Fixed #3358 (False null pointer dereference positive with ternary ?: operator)
|
2011-12-03 13:10:07 +01:00 |
Daniel Marjamäki
|
b7988a3dab
|
Fixed #3336 (False positive: Member function is not used (used by template function))
|
2011-12-03 12:19:26 +01:00 |
PKEuS
|
1f438b0505
|
Fixed #3375 (Improve check: Detect unreachable code)
|
2011-12-03 11:43:23 +01:00 |
Daniel Marjamäki
|
fb3115a199
|
Fixed #3267 (False positive: resource leak in vdr-xinelib)
|
2011-12-03 09:53:36 +01:00 |
Edoardo Prezioso
|
00bae586e9
|
Add 'throw' to the flow control statements list for simplification of dead code.
|
2011-12-03 02:04:29 +01:00 |
Edoardo Prezioso
|
42a557432d
|
Remove some redundant semicolons - part 3
|
2011-12-02 23:04:06 +01:00 |
Edoardo Prezioso
|
c2ddb67316
|
Remove some redundant semicolons - part 2
|
2011-12-02 22:58:29 +01:00 |
Edoardo Prezioso
|
ff1cb241a8
|
Remove some redundant semicolons - part 1
|
2011-12-02 22:39:33 +01:00 |
Daniel Marjamäki
|
9a84c5845a
|
Fixed #3373 (False posititive: incorrect %* handling in sscanf)
|
2011-12-02 17:09:32 +01:00 |
Daniel Marjamäki
|
6763e596b9
|
Fixed #3345 (false positive: possible null pointer dereference (guarded by &&))
|
2011-12-02 06:11:55 +01:00 |
Richard Quirk
|
b2ea78543b
|
Fix false positive with non-const function calls
|
2011-12-01 19:57:04 +01:00 |
Daniel Marjamäki
|
98480bf504
|
Fixed #3354 (Incorrect both sides of '||' expression match when using increment in expression.)
|
2011-12-01 17:46:33 +01:00 |
Daniel Marjamäki
|
31b576de3b
|
Fixed #3334 (Test for same expression on both sides of '&' reports false positive)
|
2011-12-01 17:07:55 +01:00 |
Daniel Marjamäki
|
c5695503b3
|
Merge pull request #66 from makulik/master
Fixed preprocessor testcases
|
2011-11-30 20:57:45 -08:00 |
Zachary Blair
|
344d7e2f34
|
Fixed #3283 (False negative: array index out of bounds not found for constant string and known array index value)
|
2011-11-30 19:17:09 -08:00 |
makulik
|
8c04431b17
|
Removed int cast from undef preprocessor testcases
Signed-off-by: makulik <g-makulik@t-online.de>
|
2011-11-30 22:10:49 +01:00 |
makulik
|
31c22ca31e
|
Fixed preprocessor testcases
Signed-off-by: makulik <g-makulik@t-online.de>
|
2011-11-30 21:51:23 +01:00 |
Daniel Marjamäki
|
0bf17213ec
|
Merge pull request #65 from makulik/master
Solution for ticket #3353 'Allow explicit undef's for configuration'
|
2011-11-30 12:42:11 -08:00 |
Daniel Marjamäki
|
323019c48f
|
Fixed #3355 (False positive: member variable initialization (::ZeroMemory))
|
2011-11-30 21:28:16 +01:00 |
makulik
|
1e8fc71f8e
|
Solution for ticket #3353 'Allow explicit undef's for configuration'
Signed-off-by: makulik <g-makulik@t-online.de>
|
2011-11-30 20:24:01 +01:00 |
PKEuS
|
ee3e10ea97
|
Fixed #3364 (Crash in printf parsing)
|
2011-11-30 20:23:29 +01:00 |
Daniel Marjamäki
|
d0247f3a8d
|
Fixed #3268 (False positive: resource leak in vdr-xineliboutput)
|
2011-11-30 20:07:56 +01:00 |
Daniel Marjamäki
|
dcd3f4fe3d
|
Fixed #3267 (False positive (experimental): resource leak in vdr-xinelib)
|
2011-11-30 19:43:02 +01:00 |
Daniel Marjamäki
|
414e0ecc3c
|
Uninitvar: Reactivated the checking
|
2011-11-30 18:57:52 +01:00 |
Daniel Marjamäki
|
b61c01c6a4
|
Fixed #3356 (false positive: (warning) Comparison of a boolean with integer that is neither 1 nor 0)
|
2011-11-29 18:14:57 +01:00 |
Daniel Marjamäki
|
b538f49a6e
|
Merge pull request #61 from richq/sameexpr
Fix for #3317 - same expression on both side of '&&' false positives
|
2011-11-29 08:50:02 -08:00 |
PKEuS
|
be0acad11f
|
Improvements to Nullpointer dereference on function call check:
printf format string parser improved (similar to my recent patch
on the argument counter), frexp/modf supported (#1572), Code
cleanup
|
2011-11-28 22:32:07 +02:00 |
Daniel Marjamäki
|
39af75abb4
|
Fixed #3303 (false positive: memory leak (reference count))
|
2011-11-28 20:08:29 +01:00 |
Daniel Marjamäki
|
522da8d258
|
sizeof for numeric constant : disabled check. see ticket #3179
|
2011-11-27 18:50:21 +01:00 |
Marek Zmysłowski
|
e0b50719f4
|
Fixed #909 (improve check: out of bounds of memchr function and out of bounds check)
|
2011-11-27 07:54:52 +01:00 |
PKEuS
|
71c8669261
|
Fixed #3311, #3313 and #3339 (printf format string false positives)
|
2011-11-27 07:29:09 +01:00 |
PKEuS
|
6b1594244e
|
code cleanups and refactorings
|
2011-11-26 21:15:16 +01:00 |
Daniel Marjamäki
|
50c320ef27
|
memory leaks: Made leak checking inconclusive instead of experimental
|
2011-11-25 14:47:45 +01:00 |
Marek Zmysłowski
|
a8f2dc1fec
|
Fixed #1841 (STL: false negative for invalidated iterator after erase)
|
2011-11-25 07:34:50 +01:00 |