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 |