Daniel Marjamäki
|
6afe2e9fdc
|
astyle formatting
|
2015-02-13 16:36:47 +01:00 |
Dmitry-Me
|
5674b3c49d
|
early break in loop for readability
|
2015-02-13 16:36:20 +01:00 |
Dmitry-Me
|
7961bba0da
|
Path: better handling of UNC paths
|
2015-02-13 16:32:45 +01:00 |
Daniel Marjamäki
|
2d21eb07ba
|
Cleaned up snprintf hardcoding in CheckBufferOverrun
|
2015-02-13 06:44:38 +01:00 |
Daniel Marjamäki
|
9aad4fa8ca
|
CheckBufferOverrun: Remove hardcoding for sprintf and rely on cfg configuration instead
|
2015-02-12 17:29:36 +01:00 |
amai2012
|
baba720e58
|
Merge pull request #518 from Dmitry-Me/removeRedundantCode
Remove completely redundant code
|
2015-02-11 17:17:15 +01:00 |
Daniel Marjamäki
|
a24cbc448a
|
CheckBufferOverrun: loop through all arguments in checkFunctionCall
|
2015-02-11 16:24:25 +01:00 |
Daniel Marjamäki
|
d9deabe2ce
|
TestBufferOverrun: clean up
|
2015-02-10 17:29:36 +01:00 |
Dmitry-Me
|
77aa385384
|
Remove completely redundant code
|
2015-02-10 13:52:04 +03:00 |
Dmitry-Me
|
dfd19233e9
|
Simplify loop logic
|
2015-02-09 14:40:17 +03:00 |
Dmitry-Me
|
6eacb4957c
|
Simplify ternary operators, use else-if to avoid extra comparison
|
2015-02-09 11:46:27 +03:00 |
Dmitry-Me
|
fd0155cacf
|
Reuse already known values
|
2015-02-09 10:23:36 +03:00 |
Daniel Marjamäki
|
8a1b8df1ba
|
ValueFlow: Improved handling of alias values in valueFlowForward
|
2015-02-08 19:20:05 +01:00 |
Daniel Marjamäki
|
1d873de67f
|
Fix testrunner
|
2015-02-07 19:44:33 +01:00 |
Daniel Marjamäki
|
62a5d88eb0
|
ValueFlow: Improved handling of strings
|
2015-02-07 18:14:22 +01:00 |
Matthias Krüger
|
dd70b6e0cd
|
fix internal message: [lib/valueflow.cpp:239]: (warning) Found simple pattern inside Token::Match() call: "} ;"
|
2015-02-07 12:51:17 +01:00 |
Daniel Marjamäki
|
29db3eb848
|
Fixed #5980 (ValueFlow: pointer cant be 0 below throw in switch)
|
2015-02-07 10:45:30 +01:00 |
Dmitry-Me
|
6f6f9f7754
|
Reorder checks, move declaration
|
2015-02-06 16:30:39 +03:00 |
Daniel Marjamäki
|
eec938dbad
|
Fixed #6249 (False positive: Incorrect detection of (assignment + comparison) inside for-clause)
|
2015-02-05 20:17:30 +01:00 |
Dmitry-Me
|
cc18b8d1bb
|
Merge overlapping patterns
|
2015-02-05 17:30:49 +03:00 |
Dmitry-Me
|
1f31dd749b
|
Break loop early
|
2015-02-04 10:47:58 +03:00 |
Robert Reif
|
323475393b
|
Symboldatabase: improved debug output
|
2015-02-04 06:08:41 +01:00 |
PKEuS
|
f1714110d0
|
Fixed crash if double constants are passed as default arguments (#6494)
|
2015-02-03 22:12:05 +01:00 |
Daniel Marjamäki
|
5888b65bd4
|
fixed --check-library information message
|
2015-02-03 17:50:32 +01:00 |
Dmitry-Me
|
5517c22524
|
Omit redundant token match
|
2015-02-03 15:01:09 +03:00 |
Dmitry-Me
|
c05e632baf
|
Cache and reuse value
|
2015-02-03 11:00:40 +03:00 |
Dmitry-Me
|
21fbc30d59
|
Calling a function using Class::func() syntax should not be simplified
|
2015-02-02 10:37:10 +03:00 |
PKEuS
|
9dfb864522
|
Fixed two nullpointer messages in cppcheck
|
2015-02-01 15:21:09 +01:00 |
PKEuS
|
451a277b18
|
Refactorization: Support function default values in ValueFlow, removed now obsolete CheckNullPointer::nullPointerDefaultArgument().
-> Use valueFlowForward() to parse values passed to functions
-> valueFlowForward(): Set value in first occurrence of a variable in a condition
|
2015-02-01 15:15:00 +01:00 |
PKEuS
|
f78744ac30
|
Fixed AST generation if expression starts with ternary operator
|
2015-02-01 14:02:19 +01:00 |
Daniel Marjamäki
|
d6c94e3828
|
isOppositeCond: Fixed FN
|
2015-02-01 13:03:38 +01:00 |
Daniel Marjamäki
|
d091639080
|
Fixed #6482 (False positive multiCondition)
|
2015-02-01 12:58:06 +01:00 |
PKEuS
|
b74b94b1e6
|
Partially reverted previous commit - std::vetcor instance creation can't be avoided without generating lots of debug messages
|
2015-02-01 12:33:53 +01:00 |
PKEuS
|
58c3fdd063
|
Fixed crash on garbage code introduced recently, optimized code in valueFlowFunctionReturn.
|
2015-02-01 12:26:46 +01:00 |
PKEuS
|
a4cc4c3e3f
|
Refactorization: Use SymbolDatabase scope information in ValueFlow
|
2015-02-01 12:10:20 +01:00 |
PKEuS
|
54b6b8e571
|
Fixed false positive #6481
|
2015-01-31 20:34:06 +01:00 |
PKEuS
|
21cb0cfd60
|
Take simplifyIfNotNull and simplifyIfNot out of simplifyTokenList1 (first step for #6072)
|
2015-01-31 20:12:02 +01:00 |
PKEuS
|
1f97e3001b
|
Fixed calculation of array size (#6487)
|
2015-01-31 19:06:44 +01:00 |
PKEuS
|
ae4b86c231
|
Several improvements to CheckMemoryLeakNoVar::checkForUnusedReturnValue():
- Support user defined functions (solves TODO tests)
- Print message if return value is not stored properly (adapted message text, #6458)
|
2015-01-31 17:28:03 +01:00 |
Daniel Marjamäki
|
73113c67e7
|
Fixed #6480 (False positive unreachableCode - member function exit called instead of ::exit())
|
2015-01-31 16:55:55 +01:00 |
PKEuS
|
789665dadf
|
Fixed #6455: Show uninitvar even for const variables
|
2015-01-31 13:21:22 +01:00 |
PKEuS
|
27924d4ae2
|
Improved detection of array dimensions (#6430)
|
2015-01-31 13:12:06 +01:00 |
PKEuS
|
f771a79738
|
Removed obsolete internal check. The underlying but in Token::Match should be fixed since b4f0869a71
|
2015-01-31 12:56:54 +01:00 |
PKEuS
|
18b0e14590
|
Refactorizations: Fixed a pattern in checkbufferoverrun.cpp, simplified one in checkclass.cpp
|
2015-01-31 12:32:05 +01:00 |
PKEuS
|
b2835051df
|
Refactorization: Renamed Token::Match pattern %var% to %name%, implement new pattern %var% which is true if varId > 0.
|
2015-01-31 12:32:04 +01:00 |
PKEuS
|
33f5d27b53
|
Fixed varId0 message #6443.
|
2015-01-31 10:33:32 +01:00 |
Daniel Marjamäki
|
57ec1aea91
|
Library: Don't rely on ast in isNotLibraryFunction since it's used in tokenizer
|
2015-01-31 10:24:10 +01:00 |
PKEuS
|
36841cfa41
|
Better support for stream operator in CheckAutoVariables::returnReference() (#6423)
|
2015-01-31 10:12:49 +01:00 |
PKEuS
|
3a1bd4a5ad
|
Fixed gcc shadowing warnings
|
2015-01-30 22:04:26 +01:00 |
PKEuS
|
dcc1362890
|
SymbolDatabase: Support std::array (fixes #6401)
|
2015-01-30 21:56:27 +01:00 |