PKEuS
|
f1714110d0
|
Fixed crash if double constants are passed as default arguments (#6494)
|
2015-02-03 22:12:05 +01:00 |
Dmitry-Me
|
c05e632baf
|
Cache and reuse value
|
2015-02-03 11:00:40 +03: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
|
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
|
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
|
6a8293a8b7
|
Library: More strict matching of functions
|
2015-01-08 19:31:41 +01:00 |
|
Daniel Marjamäki
|
1068e095e7
|
Fixed cppcheck warning about iterator post increment
|
2015-01-06 15:16:29 +01:00 |
|
Daniel Marjamäki
|
eee9183406
|
ValueFlow: improved handling of conditional noreturn scope in valueFlowForward
|
2015-01-06 14:12:35 +01:00 |
|
Daniel Marjamäki
|
1f698ca493
|
ValueFlow: Fixed valueFlowForward, when condition is false and else-block returns dont set values below the else-code
|
2015-01-05 16:39:47 +01:00 |
|
Daniel Marjamäki
|
c5467766e2
|
ValueFlow: Fix for valueflow analysis after for loop
|
2015-01-05 14:00:12 +01:00 |
|
Daniel Marjamäki
|
ff11ba9847
|
Updated copyright year to 2015
|
2015-01-03 12:14:58 +01:00 |
|
Daniel Marjamäki
|
2831bbd420
|
ValueFlow: better handling of goto to avoid false positives
|
2015-01-01 14:29:49 +01:00 |
|
PKEuS
|
58f4660c94
|
Fixed #5223: Bailout in valueFlowForLoop1() for complex conditions
Refactorization: Reuse result instead of calling MathLib::toLongNumber() twice
|
2014-12-30 19:56:47 +01:00 |
|
PKEuS
|
ec826a0e0e
|
Fixed #6022: Support ++%var% in valueFlowForLoop1
Fixed TODO unit test: properly handle loops that are never executed
|
2014-12-30 18:50:22 +01:00 |
|
Daniel Marjamäki
|
5490fad8c7
|
Fixed #5840 (False positive (inconclusive): Possible nullpointer dereference - use before for-loop over nested list)
|
2014-12-14 14:10:42 +01:00 |
|
Daniel Marjamäki
|
d8b50e73df
|
Fixed #6002 (Defect: False positive due to pointer address not being associated with variable in for loop)
|
2014-10-20 15:54:02 +02:00 |
|
Daniel Marjamäki
|
0fd6586fcc
|
Fixed #6219 (valueFlowForward: better multivariable analysis needed to avoid FP)
|
2014-10-17 06:50:33 +02:00 |
|
Daniel Marjamäki
|
228206f556
|
Fixed #6067 (ValueFlow: subfunction, condition with && or ||)
|
2014-10-15 16:34:03 +02:00 |
|
Daniel Marjamäki
|
31d8cac8c9
|
Fixed #6138 (ValueFlow: entry can't be 0 in loop code 'while (entry = get()) entry->value;')
|
2014-10-11 17:48:51 +02:00 |
|
PKEuS
|
0cc5b67bf6
|
Avoid copying std::list object in valueFlowAfterAssign
|
2014-09-24 13:22:22 +02:00 |
|
Daniel Marjamäki
|
ee93d30d94
|
ValueFlow: improved valueflow for loops that assign variable and then break
|
2014-09-23 16:06:02 +02:00 |
|
Dmitry-Me
|
6f9730b1d8
|
Reorder checks, unwrap code
|
2014-09-16 10:17:06 +04:00 |
|
Daniel Marjamäki
|
29a49d0641
|
removed some redundant null pointer checks before calling Token::Match
|
2014-09-14 11:35:04 +02:00 |
Simon Martin
|
53b58f0ed9
|
Refactoring. Use Token::Match instead of hardcoded patterns to increase readability.
|
2014-09-14 11:26:16 +02:00 |
Alexander Mai
|
6b26b6ed31
|
Fix read access to uninitialized variable
|
2014-09-06 22:27:13 +02:00 |
|
Alexander Mai
|
5a96413220
|
#6127 crash on patch(?)-".c" file. Avoid segfault.
|
2014-09-04 21:28:18 +02:00 |
|
Daniel Marjamäki
|
b3e4abd82a
|
Fixed Cppcheck warnings
|
2014-09-04 18:08:56 +02:00 |
|
Daniel Marjamäki
|
05617d7285
|
Fixed #6118 (False positive: divide by zero - if condition not evaluated properly)
|
2014-09-04 17:52:14 +02:00 |
|
PKEuS
|
5d0aa15002
|
Merge pull request #416 from Dmitry-Me/removeDuplicateChecks
Remove duplicate checks
|
2014-09-04 07:46:45 +02:00 |
|
Alexander Mai
|
270f59e76a
|
Fix doxygen warning and astyle formatting
|
2014-09-03 20:38:41 +02:00 |
|
Dmitry-Me
|
68d650e9ac
|
Remove duplicate checks
|
2014-09-03 14:17:34 +04:00 |
|
Alexander Mai
|
a632f68345
|
#6122 segmentation fault (invalid code) in in valueFlowForLoop2. Simple fix and testcase.
|
2014-09-02 19:41:50 +02:00 |
|
PKEuS
|
78932094c8
|
Fixed crash on garbage code #6106
|
2014-08-31 12:12:03 +02:00 |
|
Daniel Marjamäki
|
eeeb8aa0a7
|
ValueFlow: Fix crash for lambda function
|
2014-08-27 17:27:34 +02:00 |
|
Daniel Marjamäki
|
ae8a20b197
|
Fixed #6086 (False positive: valueFlow, conditional code returns)
|
2014-08-27 16:59:18 +02:00 |
|
Daniel Marjamäki
|
23ec9fea8e
|
Fixed #6024 (False positive (nullPointer) using in 1.66)
|
2014-08-26 18:48:11 +02:00 |
|
PKEuS
|
5e2ea8b6cd
|
Fixed crash #6089 by using information stored in Variable instead of accessing Variable::nameToken
|
2014-08-26 11:08:21 +02:00 |
|
Daniel Marjamäki
|
789b01aad2
|
ValueFlow: fixed one more hang in valueFlowForward
|
2014-08-24 08:50:01 +02:00 |
|
PKEuS
|
69b7f91034
|
Support :: in some more places
|
2014-08-19 11:36:32 +02:00 |
|
Daniel Marjamäki
|
b2288e5ada
|
Fixed #6022 (Defect: False positive due to bug in determining bounds of for loop 'for (i = 2; i < 1; ++i)')
|
2014-08-18 16:45:22 +02:00 |
|
PKEuS
|
df080ab5c3
|
Refactorization in valueflow.cpp: Removed redundant loop, rearranged code.
|
2014-08-18 10:25:30 +02:00 |
|
Daniel Marjamäki
|
5cdbe0f42d
|
ValueFlow: Improved value flow after for loop
|
2014-08-17 10:40:22 +02:00 |
|
Daniel Marjamäki
|
7ca742c454
|
Fixed #5062 (ValueFlow: Handle comma operator in abstract interpretation)
|
2014-08-17 06:42:16 +02:00 |
|
Daniel Marjamäki
|
65f10edcb6
|
Fixed #5866 (False negative: useless condition or null pointer dereference (null object after while loop, method))
|
2014-08-16 18:32:25 +02:00 |
|
Daniel Marjamäki
|
e83f08a825
|
Fixed #6044 (hang: darkplaces / cl_particles.c)
|
2014-08-14 06:13:42 +02:00 |
|
Daniel Marjamäki
|
f0cb6ef33d
|
Change fix for hang so there won't be FP
|
2014-08-13 05:36:17 +02:00 |
|
Daniel Marjamäki
|
bdfe43d82c
|
Fix hang in libdmtx package. found through daca2.
|
2014-08-13 04:03:17 +02:00 |