walkero/cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases1 Wiki Activity
22,738 Commits 13 Branches 88 Tags
f7029e62ac
Commit Graph

459 Commits

Author SHA1 Message Date
Daniel Marjamäki
2b0e4926bc valueFlowAfterAssign: variable initialization 2020-06-14 21:14:05 +02:00
Paul Fultz II
0c659a1499
Fix incorrect logic for condition () 2020-06-09 08:16:53 +02:00
Daniel Marjamäki
6d796b434e Fixed (ValueFlow: does not handle many assignments well) 2020-06-08 21:17:12 +02:00
Paul Fultz II
eed2e829a7
Revert "Cleanup: Removed Tokenizer::simplifyTokenList2. As a side-effect, rules for "simple" token list are now executed on normal token list." () 
This reverts commit 187cde183dfd7baea8cee270a0fccac18f6a945a.
 2020-05-30 11:23:22 +02:00
PKEuS
187cde183d Cleanup: Removed Tokenizer::simplifyTokenList2. As a side-effect, rules for "simple" token list are now executed on normal token list. 2020-05-29 21:21:07 +02:00
Daniel Marjamäki
d64631219b Fixed (Wrong value for sizeof) 2020-05-28 21:24:48 +02:00
Oliver Stöneberg
4f68d85633
optimized non-matchcompiled Token::simpleMatch() a bit () 2020-05-26 20:13:56 +02:00
Paul Fultz II
526abd4b52
Fix issue 9738: ValueFlow: handle std::tie better () 2020-05-22 22:57:20 +02:00
Paul Fultz II
8301fa8244
Fix issue 8144: valueFlowBeforeCondition: struct () 2020-05-21 08:47:48 +02:00
orbitcowboy
9861a5291e Formatted the code, there are no functional changes [ci skip] 2020-05-20 23:45:00 +02:00
PKEuS
fb1afe2345 Fixed test suite: Do no longer apply simplifyTokenList2 to token lists, except for those tests that test those simplifications, because checks are no longer run on that simplified token list 
Changed failing unit test to TODO tests, as they indicate patterns we do no longer understand properly.
 2020-05-20 18:54:16 +02:00
PKEuS
c9d8f607df Optimization: Reduced peak memory usage (30% in my test case) by immediately deleting simplecpp::TokenList while creating the cppcheck TokenList. 2020-05-19 12:08:17 +02:00
PKEuS
793ed68029 Refactorization: Moved code from header to source 
- from utils.h to new utils.cpp
- from token.h to token.cpp
- from valueflow.h to valueflow.cpp
- from errorlogger.h to errorlogger.cpp
 2020-05-19 08:35:12 +02:00
Daniel Marjamäki
08ddd84780 Update copyright year 2020-05-10 11:16:32 +02:00
Daniel Marjamäki
3e0218299b Revert "Update copyright year" 
This reverts commit 6eec6c4bd53d42e3a1179fd3a8a7dae5a43d4d50.
 2020-05-10 11:13:05 +02:00
Daniel Marjamäki
6eec6c4bd5 Update copyright year 2020-05-10 11:11:34 +02:00
Paul Fultz II
2a09465a07
Fix issue 9686: Regression: ValueFlow should handle try/catch better () 2020-04-22 19:20:03 +02:00
Oliver Stöneberg
1af959af2c
fixed -Wextra-semi-stmt Clang warnings () 
* fixed -Wextra-semi-stmt Clang warnings

* adjusted REDIRECT macro to require a semicolon

* testmathlib.cpp: rolled back accidental change
 2020-04-21 17:27:51 +02:00
Daniel Marjamäki
e8bbfdbfee Fixed (Multiple checks to std::atomic are not redundant) 2020-04-19 17:29:40 +02:00
Paul Fultz II
e2efb338b6
Fix issue 9678: False positive: generic valueflow forward analysis () 2020-04-19 08:28:07 +02:00
Paul Fultz II
8b27f1c216
Fix issue 9667: crash: crash in valueflow for weird code where label address is returned () 2020-04-11 13:56:53 +02:00
Paul Fultz II
6cc58e1086
Set a max for the combination of arguments that can be passsed through valueFlowSubFunction () 
* Set a max for the combination of arguments that can be passsed

* Skip mismatch path ids when computing the cross product
 2020-04-01 22:33:09 +02:00
Paul Fultz II
b68d6f9471
Fix crash in valueflow when using local classes () 2020-03-22 10:12:53 +01:00
Paul Fultz II
7fd3580f21
Dont traverse conditions multiple times () 2020-03-20 10:37:16 +01:00
Paul Fultz II
f2527f5340
Fix crash in valueFlowForLoopSimplifyAfter () 2020-03-20 07:16:05 +01:00
Rikard Falkeborn
f6e7fb4bd9
Bugfix valuetype for some integer constants () 2020-02-19 07:51:39 +01:00
Paul Fultz II
921887a281
Use valueFlowGeneric for valueFlowForwardExpression () 2020-02-16 16:02:22 +01:00
Paul Fultz II
61d847cac2
Fix issue 9637: false positive: Condition 'i<2U' is always true () 2020-02-15 07:57:43 +01:00
Paul Fultz II
7368a54629
Add generic valueflow forward analysis () 2020-02-13 16:27:06 +01:00
Daniel Marjamäki
3ec03b8915 Fixed (False positive: containerSize) 2020-02-12 18:53:36 +01:00
Rikard Falkeborn
0bb98aeef9 Fix 9577 (endless recursion in Valueflow::bifurcate()) () 
Ensure bifurcate() does not recurse endlessly where a variable is
initialized recursively, or a variable is initialized as x(0) or x{0}
followed by a recursive assignment (for example int x(0); x = x / 1;).

The first case is solved by bailing out if there initialization is done
using x(0) or x{0}, the second by adding a missing depth argument to a
recursive call.
 2020-01-17 03:17:26 +01:00
Paul Fultz II
90f82d0374 Fix issue 9541: false negative: knownConditionTrueFalse () 
* Fix issue 9541: false negative: knownConditionTrueFalse

* Add another test case

* Add another test

* Fix FPs

* Format

* Fix compile error

* Remove double conditions

* Fix compile error
 2020-01-05 16:25:33 +01:00
Paul Fultz II
75de485c4d Fix issue 9551: Out-of-bounds in getLifetimeTokens() () 2019-12-29 08:23:58 +01:00
Daniel Marjamäki
fe23d017f3 Fixed (False positive accessMoved on int) 2019-12-21 07:39:14 +01:00
Daniel Marjamäki
33ec78fe6e Fixed (false positive: (style) Condition 's.x<127U' is always true) 2019-12-20 19:06:35 +01:00
Daniel Marjamäki
a241be0ecc Fixed (False positive: Out of bounds access when using const pointer) 2019-12-15 20:10:28 +01:00
Daniel Marjamäki
bcfc5924fa Fixed (False positive: Out of bounds access in expression 'v[0]' because 'v' is empty.) 2019-12-14 19:04:19 +01:00
Sebastian
95e0b0d0f9
Fix : Crash in valueflow.cpp solveExprValues() (division by zero) () 
`break` if divider `intval` is 0 to avoid division by 0 as suggested by @pfultz2
Trac ticket: https://trac.cppcheck.net/ticket/9510
 2019-12-06 08:08:40 +01:00
Paul Fultz II
f9d33c07f8 Fix issue 9458: Crash with shadow variables in a lambda () 
* Fix issue 9458: Crash with shadow variables in a lambda

* Format
 2019-11-29 09:45:02 +01:00
Rikard Falkeborn
11319a397a ValueFlow: Add test with hexadecimal floating point literal () 2019-11-10 08:27:55 +01:00
Rikard Falkeborn
f83eb127ae ValueFlow: sizeof string and char literals () 2019-10-20 21:02:28 +02:00
Daniel Marjamäki
e50b9e2bef Fixed (False positive uninitialized variable) 2019-10-20 15:20:05 +02:00
Daniel Marjamäki
9a2b71494f ValueFlow: Set value for :: 2019-10-19 21:08:59 +02:00
Daniel Marjamäki
e0093c99ce Fixed (False positive: ValueFlow does not handle return in switch properly.) 2019-10-18 16:16:56 +02:00
Daniel Marjamäki
3a0a0fdefb Fixed (False positive: known condition after function call) 2019-10-18 08:21:07 +02:00
Ken-Patrick Lehrmann
24211cf8b9 Fix crashes in valueflow () 
* Fix crashes in valueflow

http://cppcheck1.osuosl.org:8000/crash.html

For instance in http://cppcheck1.osuosl.org:8000/styx
```
==19651==ERROR: AddressSanitizer: SEGV on unknown address 0x00000000001c (pc 0x556f21abc3df bp 0x7ffc140d2720 sp 0x7ffc140d2710 T0)
==19651==The signal is caused by a READ memory access.
==19651==Hint: address points to the zero page.
     0x556f21abc3de in Variable::isGlobal() const ../lib/symboldatabase.h:342
     0x556f221f801a in valueFlowForwardVariable ../lib/valueflow.cpp:2471
     0x556f22208130 in valueFlowForward ../lib/valueflow.cpp:3204
     0x556f221e9e14 in valueFlowReverse ../lib/valueflow.cpp:1892
     0x556f221f1a43 in valueFlowBeforeCondition ../lib/valueflow.cpp:2200
     0x556f2223dbb5 in ValueFlow::setValues(TokenList*, SymbolDatabase*, ErrorLogger*, Settings const*) ../lib/valueflow.cpp:6521
     0x556f220e5991 in Tokenizer::simplifyTokens1(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) ../lib/tokenize.cpp:2342
     0x556f21d8d066 in CppCheck::checkFile(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::istream&) ../lib/cppcheck.cpp:508
     0x556f21d84cd3 in CppCheck::check(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) ../lib/cppcheck.cpp:192
     0x556f21a28796 in CppCheckExecutor::check_internal(CppCheck&, int, char const* const*) ../cli/cppcheckexecutor.cpp:884
     0x556f21a24be8 in CppCheckExecutor::check(int, char const* const*) ../cli/cppcheckexecutor.cpp:198
     0x556f22313063 in main ../cli/main.cpp:95
```

* Add test case for crash in valueflow
 2019-10-16 20:54:07 +02:00
Daniel Marjamäki
887825d834 astyle formatting 
[ci skip]
 2019-10-05 15:42:47 +02:00
Paul Fultz II
997803869d Forward values after assignment in valueFlowReverse () 
* Forward values after assignment in valueFlowReverse

* Rename variables

* Format
 2019-10-03 09:58:57 +02:00
Daniel Marjamäki
b55c587ab2 astyle formatting 
[ci skip]
 2019-09-26 10:32:49 +02:00
Paul Fultz II
597d0fa35b Support expression in valueFlowAfterCondition () 
* Add valueFlowForwardExpression function to forward values of an expression

* Use token for expression

* Fix name in bailout message

* Handle expressions

* Add more tests for more expressions

* Add more tests

* Solve the expression if possible

* Formatting
 2019-09-26 10:32:25 +02:00