Daniel Marjamäki
|
5bdd197b01
|
Fixed #5981 (FP: nullPointer on repeated switch)
|
2014-07-16 09:12:56 +02:00 |
|
Daniel Marjamäki
|
d41ef3a6d0
|
TemplateSimplifier: Fixed crash caused by null pointer dereference. I don't have a testcase. But the code is suspicious, in the loop we check if tok3 is null and then in the loop head we call tok3->next().
|
2014-07-15 21:28:52 +02:00 |
|
Daniel Marjamäki
|
c531749d7a
|
ValueFlow: Small cleanups
|
2014-07-15 10:36:13 +02:00 |
|
Daniel Marjamäki
|
40030ce27c
|
Merge pull request #362 from Dmitry-Me/betterVariableNamesFixTypoInComment
Clearer variable names, fix typo in comment.
|
2014-07-11 17:00:52 +02:00 |
Dmitry-Me
|
9829e0b48a
|
Clearer variable names, fix typo in comment.
|
2014-07-11 11:33:09 +04:00 |
PKEuS
|
4e9130061a
|
Merge pull request #361 from Dmitry-Me/reduceVariablesLifetime
Bring variables declaration to where they are really needed.
|
2014-07-10 20:29:33 +02:00 |
|
Dmitry-Me
|
ba3757dfd3
|
Bring variables decalaration to where they are really needed.
|
2014-07-10 11:23:14 +04:00 |
|
Daniel Marjamäki
|
bc6a320f91
|
Merge pull request #359 from Dmitry-Me/useReferencesToAvoidDeepCopy
Use references instead of deep copying the strings
|
2014-07-10 08:31:09 +02:00 |
|
Daniel Marjamäki
|
798c6c6898
|
Merge pull request #360 from matthiaskrgr/daca_
daca: keep files that we can check (see path.cpp).
|
2014-07-10 08:29:43 +02:00 |
Matthias Krüger
|
bfb2ebedec
|
daca: keep files that we can check (see path.cpp).
|
2014-07-09 18:47:44 +02:00 |
|
Daniel Marjamäki
|
cb9d67b9ec
|
Fixed #5901 (False positive: (error) Using 'memcpy' with vector of uint8_t items)
|
2014-07-09 15:00:06 +02:00 |
|
Dmitry-Me
|
d0cbfeb186
|
Use references instead of deep copying the strings
|
2014-07-09 11:21:38 +04:00 |
|
Daniel Marjamäki
|
7b0616786c
|
Merge pull request #358 from Dmitry-Me/reuseDataFromPreviousCodeAndOmitChecks2
Omit unnecessary checks
|
2014-07-09 06:45:52 +02:00 |
Alexander Mai
|
df95cd09f0
|
Fix compiler warnings about type mismatch
|
2014-07-08 21:47:22 +02:00 |
|
Daniel Marjamäki
|
14def42c99
|
Fixed #5972 (FP: Buffer is accessed out of bounds)
|
2014-07-08 16:31:08 +02:00 |
|
Daniel Marjamäki
|
254b6438b9
|
CheckBufferOverrun::checkStringArgument: sizeof string is strlen+1
|
2014-07-08 16:04:09 +02:00 |
|
Dmitry-Me
|
7da6ce8704
|
Omit unnecessary checks
|
2014-07-08 12:28:57 +04:00 |
|
Daniel Marjamäki
|
9a4bd73a18
|
Fixed unit test
|
2014-07-08 08:02:02 +02:00 |
|
Daniel Marjamäki
|
4d0189c672
|
CheckBufferOverrun: Fixed crash. The crash occured in ThreadHandler in the deserialize() function. Probably because " was used in error message.
|
2014-07-08 07:08:51 +02:00 |
|
Daniel Marjamäki
|
6afe9a4fbe
|
astyle formatting
[ci skip]
|
2014-07-08 06:44:57 +02:00 |
|
amai2012
|
9b38ae73c1
|
Attempt to fix 2 Coverity messages.
Replace a few unsigned int by std::size_t
|
2014-07-07 21:25:30 +02:00 |
|
Daniel Marjamäki
|
987ce5a408
|
Fixed #5968 (False positive: 'Possible null pointer dereference' when checking null in negated conjuction)
|
2014-07-07 17:48:58 +02:00 |
|
Daniel Marjamäki
|
26a3bdfe00
|
ValueFlow: Cleanup code by using SymbolDatabase provided scope info
|
2014-07-07 16:34:21 +02:00 |
|
Daniel Marjamäki
|
3169a2d215
|
astyle formatting
[ci skip]
|
2014-07-06 17:50:21 +02:00 |
|
amai2012
|
0ddd7752b5
|
Avoid crash reported in #5943 (using the example from duplicate ticket #5971)
Replace a few size_t/unsigned int by std::size_t
|
2014-07-06 14:48:24 +02:00 |
|
amai2012
|
f1bf38004b
|
Fix MSVC compiler warnings
|
2014-07-06 13:08:22 +02:00 |
|
Daniel Marjamäki
|
0fd334911a
|
Fixed #5257 (Check memcpy size for string literals)
|
2014-07-06 08:41:39 +02:00 |
|
Daniel Marjamäki
|
53aa2f5982
|
astyle formatting
[ci skip]
|
2014-07-06 07:16:28 +02:00 |
|
amai2012
|
77095e2b05
|
Add some more functions to posix.cfg which allow to enable TestBufferOverrun::buffer_overrun_1_posix_functions
Fix some compiler warnings on MSVC
|
2014-07-05 22:47:10 +02:00 |
|
Daniel Marjamäki
|
a3acc3241e
|
Library: Added <minsize> element used for buffer overrun checking
|
2014-07-05 20:31:43 +02:00 |
|
Alexander Mai
|
88890a851c
|
Fix compiler warning (and minor cleanup).
|
2014-07-05 12:10:23 +02:00 |
|
Daniel Marjamäki
|
4ee9b3781f
|
Merge pull request #356 from Dmitry-Me/simplifyCodeWithTempVariables
Use temp variables to simplify code.
|
2014-07-05 00:50:13 +02:00 |
|
Dmitry-Me
|
4f21b31004
|
Use temp variables to simplify code.
|
2014-07-04 10:56:43 +04:00 |
|
Daniel Marjamäki
|
51396e52aa
|
Merge pull request #353 from Dmitry-Me/breakLoopEarlyInsteadOfContinuingBitwiseAnd
Break the loop once the result can no longer change.
|
2014-07-03 06:54:00 +02:00 |
|
Daniel Marjamäki
|
d40b77dce2
|
Removed special 'else if' handling. this is redundant since these are simplified.
|
2014-07-02 16:16:19 +02:00 |
PKEuS
|
719304a8fc
|
Added internal check for || and | inside Token::Match patterns.
|
2014-07-02 15:51:18 +02:00 |
|
PKEuS
|
62d07878d7
|
Fixed two issues in matchcompiler:
- Use correct findmatch or findsimplematch for verification
- Print failing pattern also for findmatch/findsimplematch
|
2014-07-02 15:25:54 +02:00 |
|
PKEuS
|
b4f0869a71
|
Reduced Token::Match complexity, better support for complex patterns
|
2014-07-02 15:25:41 +02:00 |
|
PKEuS
|
817d32f791
|
Fixed and cleaned up Token::Match engine
|
2014-07-02 15:25:19 +02:00 |
|
Dmitry-Me
|
b38e43ebae
|
Negation not needed anymore.
|
2014-07-02 11:12:39 +04:00 |
Zachary D. Blair
|
f6523e384b
|
Fixed 4979 (Doesn't allow any ordering of int modifiers)
|
2014-07-01 23:59:04 -07:00 |
|
PKEuS
|
3d0ebe196b
|
Several improvements to CheckUnusedVar::checkFunctionVariableUsage_iterateScopes():
- Use AST in some places
- Fixed misusage of Token::isStandardType (fixes false negative)
- Removed some redundant conditions
|
2014-07-02 00:18:40 +02:00 |
|
PKEuS
|
220f7503ce
|
Fixed wrong configuration of itoa in std.cfg
|
2014-07-01 19:25:26 +02:00 |
|
Daniel Marjamäki
|
5e9e90b1c1
|
Fixed Token::Match pattern. In x|y|.. patterns, all %cmd% should be placed before plain-text operands.
|
2014-07-01 15:55:29 +02:00 |
|
Dmitry-Me
|
454dd0a736
|
Break the loop once the result can no longer change.
|
2014-07-01 17:16:45 +04:00 |
|
Daniel Marjamäki
|
b7d7633b97
|
ValueFlow: Improved analysis after switch
|
2014-06-30 17:56:42 +02:00 |
|
PKEuS
|
ec59f1d9df
|
matchcompiler.py: Check Token::type() before comparing Token::str() against "||" or "|"
|
2014-06-30 14:04:18 +02:00 |
|
PKEuS
|
78f0a47170
|
matchcompiler.py: Show pattern that caused the InternalError
|
2014-06-30 14:04:18 +02:00 |
|
amai2012
|
6b5f34df4b
|
ix compiler warning on Windows 64bit
|
2014-06-30 12:48:42 +02:00 |
|
Daniel Marjamäki
|
f1762f9ed6
|
Fixed #5939 (fp: Possible null pointer dereference, after check against NULL in for loop)
|
2014-06-30 07:26:48 +02:00 |