Daniel Marjamäki
|
88491267d6
|
ValueFlow: Added Value::valueKind that says if value is known or possible
|
2015-07-16 17:33:16 +02:00 |
Alexander Mai
|
b604d63dd8
|
#6726 cppcheck hangs with 100% CPU load (invalidcode) inside Token::astOperand2(). #6840 egmentation fault (invalid code) in Token::astOperand2. Improve stability on invalid code
|
2015-07-15 15:19:48 +02:00 |
Daniel Marjamäki
|
405a1fba11
|
ValueFlow: set values for false/true
|
2015-07-14 18:02:26 +02:00 |
Daniel Marjamäki
|
7ccd30362c
|
Fixed #6826 (False positive: ValueFlow conditional value used in condition)
|
2015-07-12 19:35:47 +02:00 |
Daniel Marjamäki
|
f3b4c1d0db
|
Remove some useless casts, probably added to avoid false positives.
|
2015-07-04 13:19:21 +02:00 |
Daniel Marjamäki
|
b8e77c8005
|
valueflow: fix for ?:. the condition result is not a result of the ?.
|
2015-07-04 11:17:38 +02:00 |
Daniel Marjamäki
|
7e1ddea653
|
One more fix for #6811 (ValueFlow: result of ?:)
|
2015-07-02 20:52:04 +02:00 |
Daniel Marjamäki
|
c751039612
|
Fixed #6811 (ValueFlow: result of ?:)
|
2015-07-02 20:11:27 +02:00 |
Daniel Marjamäki
|
75b0430ba5
|
Token::strValue: fixed handling of backslash
|
2015-06-07 11:25:33 +02:00 |
Simon Martin
|
98e6dca4f2
|
Ticket #6713: Properly detect ternary operator in valueFlowForward.
|
2015-05-30 20:55:36 +02:00 |
amai2012
|
729b240d9c
|
Refactoring (compiler warnings and a typo)
|
2015-05-25 23:15:59 +02:00 |
Daniel Marjamäki
|
eb0db322eb
|
Fixed #6560 (ValueFlow: handling ternary operator better in valueFlowSubFunction)
|
2015-05-24 17:02:00 +02:00 |
PKEuS
|
3ce4e68ca6
|
Refactorization: Make use of do-loops to avoid redundant Token::Match() calls
|
2015-05-13 13:40:40 +02:00 |
Daniel Marjamäki
|
ca1f19b6d4
|
Fixed #6378 (valueFlowForward: decrement not handled)
|
2015-05-02 17:30:09 +02:00 |
Dmitry-Me
|
8a4033e13a
|
Omit unneeded actions
|
2015-03-24 16:01:59 +03:00 |
Jakub Melka
|
b7d92a4fc7
|
Fixed warnings of CppCheck's own code (caused by new check #695)
|
2015-03-08 18:18:09 +01:00 |
Daniel Marjamäki
|
d1892786b8
|
ValueFlow: Improved when using '[' on arrays and strings
|
2015-02-24 15:57:39 +01: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 |
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 |
Daniel Marjamäki
|
970fda9e79
|
ValueFlow: Fixed nullpointer FP warning in checksizeof
|
2014-08-11 16:21:20 +02:00 |
Daniel Marjamäki
|
8bbbb54f94
|
Refactoring valueFlowSubFunction
|
2014-08-06 06:33:06 +02:00 |
Daniel Marjamäki
|
9eb28cb8af
|
ValueFlow: Improved analysis of assignments
|
2014-08-05 08:28:46 +02:00 |
Daniel Marjamäki
|
a2f776b1b7
|
Dead pointer: Added checking for dead pointer usage when pointer alias local variable that has gone out of scope.
|
2014-08-05 06:24:23 +02:00 |
Daniel Marjamäki
|
d35ce5f0db
|
ValueFlow: Better handling of calculated function arguments in valueFlowSubFunction
|
2014-08-04 12:31:04 +02:00 |
Daniel Marjamäki
|
344016f7ab
|
ValueFlow: Handle string values in valueFlowSubFunction
|
2014-08-04 12:13:15 +02:00 |
Daniel Marjamäki
|
79fc549de0
|
ValueFlow: start adding valueflow handling of strings and pointer aliases
|
2014-08-03 20:11:22 +02:00 |
Daniel Marjamäki
|
f908959196
|
ValueFlow: improved analysis in for loops to avoid fp
|
2014-08-01 16:12:57 +02:00 |
Daniel Marjamäki
|
688b798b88
|
ValueFlow: Cleanup variable
|
2014-08-01 08:59:07 +02:00 |
Daniel Marjamäki
|
57c2e928d1
|
ValueFlow: Simple multivariable control flow analysis to avoid FP when 'control variable' is used
|
2014-08-01 07:35:15 +02:00 |
Daniel Marjamäki
|
25846cf223
|
ValueFlow: Fix for if/else valueflow analysis
|
2014-07-30 18:12:33 +02:00 |
Daniel Marjamäki
|
15bb447fdc
|
Fixed #5965 (False positive zerodiv - loop iterating over double variable)
|
2014-07-17 08:44:55 +02:00 |
Daniel Marjamäki
|
5bdd197b01
|
Fixed #5981 (FP: nullPointer on repeated switch)
|
2014-07-16 09:12:56 +02:00 |
Daniel Marjamäki
|
c531749d7a
|
ValueFlow: Small cleanups
|
2014-07-15 10:36:13 +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
|
b7d7633b97
|
ValueFlow: Improved analysis after switch
|
2014-06-30 17:56: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 |
Daniel Marjamäki
|
df799f97c5
|
valueFlowBefore: better analysis of conditional assignment
|
2014-06-30 00:02:49 +02:00 |
Daniel Marjamäki
|
4f43e4f9aa
|
Fixed #5959 (ValueFlow: return value from subfunction)
|
2014-06-29 18:04:38 +02:00 |
Daniel Marjamäki
|
893996d182
|
Fixed #5937 (ValueFlow: wrong analysis of calculations with different variable operands)
|
2014-06-29 10:57:39 +02:00 |
Daniel Marjamäki
|
9eaadc81e2
|
Fixed #5861 (valueFlowSubFunction: fp for float value)
|
2014-06-28 12:04:20 +02:00 |
Daniel Marjamäki
|
5af96c2dd8
|
Fixed #5947 (valueFlowForward: forward conditions not handled properly)
|
2014-06-25 16:00:56 +02:00 |
Daniel Marjamäki
|
c77786a745
|
valueFlowAfterCondition: wrong analysis for floats
|
2014-06-25 06:17:44 +02:00 |
Daniel Marjamäki
|
54aede9086
|
Fixed #5941 (ValueFlow: Wrong value in subfunction under ?)
|
2014-06-24 19:30:46 +02:00 |
Daniel Marjamäki
|
ae81b09b58
|
Refactoring: Move isScopeNoReturn implementation to library and reuse it both in ValueFlow and Tokenizer
|
2014-06-22 19:13:15 +02:00 |
Daniel Marjamäki
|
f78cbda2db
|
Refactoring: Removed CheckNullPointer::nullPointerByCheckAndDeRef and implemented needed analysis in ValueFlow instead.
|
2014-06-22 10:02:14 +02:00 |
Daniel Marjamäki
|
ef81bc363a
|
ValueFlow: analysis in condition.
|
2014-06-19 17:29:41 +02:00 |
Daniel Marjamäki
|
dec251ac44
|
ValueFlow: Refactoring. Use utility function isVariableChanged.
|
2014-06-19 05:41:19 +02:00 |
Daniel Marjamäki
|
84581817f6
|
ValueFlow: Improved valueFlowForward. RHS in assignment.
|
2014-06-18 21:07:01 +02:00 |
Daniel Marjamäki
|
13761927ff
|
ValueFlow: better analysis in valueFlowAfterCondition of 'if|while ( %var% )' etc
|
2014-06-18 06:57:48 +02:00 |
Daniel Marjamäki
|
9999ce9468
|
ValueFlow: extend aftercondition analysis below conditional code
|
2014-06-18 05:51:23 +02:00 |
Daniel Marjamäki
|
847bb44bdd
|
ValueFlow: Improved analysis after condition when ! operator is used
|
2014-06-16 16:39:41 +02:00 |
Daniel Marjamäki
|
a27ca11b85
|
Fixed #5916 (ValueFlow: Add a valueFlowAfterCondition() function)
|
2014-06-15 16:47:01 +02:00 |
Daniel Marjamäki
|
ad879320e5
|
ValueFlow: Fixed 'function call => calculation' value flow
|
2014-06-13 16:34:57 +02:00 |
PKEuS
|
adf38fcfd0
|
Further include cleanup
|
2014-05-24 12:50:04 +02:00 |
Matthias Krüger
|
879023b6b2
|
travis: compile one pair of jobs with -DCHECK_INTERNAL and run --enable=internal,...
suppress warnings in testtoken.cpp
fix warnings in valueflow
|
2014-05-19 21:44:00 +02:00 |
PKEuS
|
09e03fa6ef
|
Fixed some complaints of PVS Studio
|
2014-05-19 14:37:54 +02:00 |
PKEuS
|
5fbd58d98d
|
Fixed messages of CheckInternal, fixed a false positive.
|
2014-05-18 20:39:52 +02:00 |
PKEuS
|
70dfb55f21
|
Simplified some Token::Match patterns
|
2014-05-11 17:50:58 +02:00 |
Daniel Marjamäki
|
5a23b739da
|
ValueFlow: Improved bailout when variable is reassigned
|
2014-05-03 12:49:07 +02:00 |
Daniel Marjamäki
|
fadc27092e
|
Fixed #5752 (FP (error) Possible null pointer dereference)
|
2014-05-01 15:15:26 +02:00 |
Daniel Marjamäki
|
b5e023a46c
|
Fixed #5472 (sizeof not handled as operator with respect to null pointer dereference)
|
2014-04-29 20:09:11 +02:00 |
Daniel Marjamäki
|
1233d8e47f
|
Fixed #5657 (false positive: (error) Possible null pointer dereference: p)
|
2014-04-28 15:54:54 +02:00 |
Daniel Marjamäki
|
3300d39854
|
Fixed #5721 (valueFlowBeforeCondition: stop when goto label is seen)
|
2014-04-28 06:21:48 +02:00 |
Alexander Mai
|
1317063b21
|
Fix some more (clang++) compiler warnings
|
2014-04-26 20:44:21 +02:00 |
Alexander Mai
|
b74e997435
|
Fix false positive nullPointer messages within sqlite3 after goto by adding a suitable bailout inside valueFlowAfterAssign()
|
2014-04-26 14:41:28 +02:00 |
Daniel Marjamäki
|
853d56030b
|
Fixed #5559 (false positive: (error) Possible null pointer dereference: pSTRunner)
|
2014-04-26 11:27:58 +02:00 |
Daniel Marjamäki
|
fe80f858d1
|
ValueFlow: Improved analysis in the valueFlowAfterAssign
|
2014-04-22 16:10:20 +02:00 |
Daniel Marjamäki
|
5fc43f85b1
|
ValueFlow: Refactoring. Created utility function isVariableChanged()
|
2014-04-20 14:21:43 +02:00 |
Daniel Marjamäki
|
56eb717b8a
|
Fixed #5656 (false positive: (error) Possible null pointer dereference: f)
|
2014-04-18 16:10:18 +02:00 |
PKEuS
|
076f7a7542
|
Fixed some coverity findings about dead code, fixed a misleading comment
|
2014-04-14 22:46:51 +02:00 |
Daniel Marjamäki
|
5ee85ee88a
|
ValueFlow: Improved handling of bitand against a single-bit integer literal
|
2014-04-14 06:45:39 +02:00 |
Daniel Marjamäki
|
189360ae20
|
ValueFlow: changed back bailout message
|
2014-04-02 19:22:40 +02:00 |
Daniel Marjamäki
|
f13be7fb6c
|
Travis: Fixed possible null pointer dereference reported by travis
|
2014-04-02 19:08:44 +02:00 |
Daniel Marjamäki
|
830249d72e
|
Fixed #5510 (FP: nullPointer - variable initialized in function call)
|
2014-04-01 07:06:20 +02:00 |
Alexander Mai
|
5fc89656c0
|
Fix some uninitialized variables
|
2014-03-30 10:22:06 +02:00 |
Daniel Marjamäki
|
e5301b2b7a
|
ValueFlow: Improved valueflow of for loop 'for (i=a; i<10; i++)' => unknown start value but end value is known
|
2014-03-29 20:20:22 +01:00 |
Daniel Marjamäki
|
8eeda150cf
|
ValueFlow: Improved simplification inside for-loops
|
2014-03-25 21:40:36 +01:00 |
Daniel Marjamäki
|
c8004a8d31
|
Buffer overruns: Use ValueFlow to detect negative index
|
2014-03-25 18:22:22 +01:00 |
Daniel Marjamäki
|
aa05bf0f16
|
ValueFlow: Improved abstract interpretation
|
2014-03-24 06:48:06 +01:00 |
Daniel Marjamäki
|
dbc8273cb7
|
ValueFlow: improved abstract interpretation of for loops
|
2014-03-24 00:16:02 +01:00 |
Daniel Marjamäki
|
c14a3d67bb
|
ValueFlow: Handle division by zero better in abstract interpretation
|
2014-03-23 20:37:56 +01:00 |
Daniel Marjamäki
|
30fa187b30
|
Fixed #5549 (ValueFlow: Handle static variables better in valueFlowAfterAssign)
|
2014-03-23 17:57:27 +01:00 |
Daniel Marjamäki
|
b6276058da
|
Value Flow: Improved abstract interpretation of arithmetical expressions
|
2014-03-22 19:02:33 +01:00 |
Alexander Mai
|
cdd6d4df27
|
Removing a useless variable to fix cppcheck warning in its own code
|
2014-03-21 22:11:10 +01:00 |
Daniel Marjamäki
|
045e9e692b
|
ValueFlow: restricted bailouts in for loops
|
2014-03-21 08:48:49 +01:00 |
Daniel Marjamäki
|
fc014f055f
|
ValueFlow: Removed wrong bailout
|
2014-03-21 08:33:45 +01:00 |
Daniel Marjamäki
|
01c29ed15f
|
Fixed #5518 (FP regression in 1.64: Array accessed out of bounds)
|
2014-03-18 17:04:33 +01:00 |
Daniel Marjamäki
|
e240282443
|
Value Flow: Another try with the abstract interpretation of for loops
|
2014-03-17 18:43:47 +01:00 |
Daniel Marjamäki
|
8c3f2c2ad9
|
Revert 894a65b0 . abstract interpretation of for loops. there was some crashes and performance problems. I will fix those problems when I have time and recommit.
|
2014-03-16 08:38:52 +01:00 |
Daniel Marjamäki
|
894a65b0b1
|
ValueFlow: Refactor the for-loop handling. Use abstract interpretation.
|
2014-03-15 11:29:33 +01:00 |
Thomas Jarosch
|
93341f4449
|
Use simple match where possible
Fixes these warnings found by "--enable=internal":
[lib/checkclass.cpp:972]: (warning) Found simple pattern inside Token::Match() call: "* *"
[lib/checkbufferoverrun.cpp:635]: (warning) Found simple pattern inside Token::Match() call: "."
[lib/checkbufferoverrun.cpp:1397]: (warning) Found simple pattern inside Token::Match() call: ";"
[lib/checksizeof.cpp:299]: (warning) Found simple pattern inside Token::Match() call: "."
[lib/checksizeof.cpp:301]: (warning) Found simple pattern inside Token::Match() call: ")"
[lib/checksizeof.cpp:303]: (warning) Found simple pattern inside Token::Match() call: "]"
[lib/checksizeof.cpp:318]: (warning) Found simple pattern inside Token::Match() call: ")"
[lib/checknullpointer.cpp:413]: (warning) Found simple pattern inside Token::Match() call: "delete"
[lib/checkio.cpp:1336]: (warning) Found simple pattern inside Token::Match() call: "> ("
[lib/checkstl.cpp:1509]: (warning) Found simple pattern inside Token::findmatch() call: ";"
[lib/checkstl.cpp:1512]: (warning) Found simple pattern inside Token::findmatch() call: ";"
[lib/checkstl.cpp:1594]: (warning) Found simple pattern inside Token::Match() call: "="
[lib/checkstl.cpp:1598]: (warning) Found simple pattern inside Token::Match() call: "] ="
[lib/checkunusedvar.cpp:755]: (warning) Found simple pattern inside Token::Match() call: "goto"
[lib/checkunusedvar.cpp:793]: (warning) Found simple pattern inside Token::Match() call: "="
[lib/checkuninitvar.cpp:376]: (warning) Found simple pattern inside Token::Match() call: "> ("
[lib/checkother.cpp:86]: (warning) Found simple pattern inside Token::Match() call: "> ("
[lib/checkother.cpp:2181]: (warning) Found simple pattern inside Token::Match() call: "> {"
[lib/valueflow.cpp:54]: (warning) Found simple pattern inside Token::Match() call: "&"
[lib/valueflow.cpp:409]: (warning) Found simple pattern inside Token::Match() call: "do"
[lib/valueflow.cpp:425]: (warning) Found simple pattern inside Token::Match() call: ") {"
[lib/valueflow.cpp:487]: (warning) Found simple pattern inside Token::Match() call: ") {"
[lib/valueflow.cpp:511]: (warning) Found simple pattern inside Token::Match() call: "} else {"
[lib/valueflow.cpp:615]: (warning) Found simple pattern inside Token::Match() call: "for ("
[lib/symboldatabase.cpp:80]: (warning) Found simple pattern inside Token::Match() call: "= {"
[lib/symboldatabase.cpp:1069]: (warning) Found simple pattern inside Token::Match() call: "std ::"
[lib/tokenize.cpp:2207]: (warning) Found simple pattern inside Token::Match() call: "< >"
[lib/tokenize.cpp:2730]: (warning) Found simple pattern inside Token::Match() call: ";"
[lib/tokenize.cpp:4234]: (warning) Found simple pattern inside Token::Match() call: "try {"
[lib/tokenize.cpp:4235]: (warning) Found simple pattern inside Token::Match() call: "} catch ("
[lib/tokenize.cpp:5500]: (warning) Found simple pattern inside Token::Match() call: "INT8"
[lib/tokenize.cpp:5752]: (warning) Found simple pattern inside Token::Match() call: "}"
[lib/tokenize.cpp:5752]: (warning) Found simple pattern inside Token::Match() call: "do"
|
2014-03-14 16:27:47 +01:00 |