432 Commits

Author SHA1 Message Date
chrchr-github
428144c53c
Fix : vector constructed from pointers () 2021-10-04 07:55:17 +02:00
Daniel Marjamäki
f3d9755e65 UninitVar: too many warnings (pointer dereference) 2021-10-03 18:12:29 +02:00
chrchr-github
609e20d9d8
ValueFlow: string can be constructed from init list () 2021-10-02 23:09:49 +02:00
chrchr-github
0c16e346f1
Minor: add endsWith() template, empy() check () 2021-09-28 20:34:21 +02:00
Paul Fultz II
5c3b69fe96
Fix 10496: crash: endless recursion (symbolDatabaseCreateExprId => isSameExpr => isSameExpr ...) () 2021-09-25 11:55:49 +02:00
Daniel Marjamäki
2ee920dc4e Fixed (False positive: unreadVariable when assigning to reference returned by method) 2021-09-24 07:30:17 +02:00
Daniel Marjamäki
6f4ce486a2 Fix FP in constVariable 2021-09-11 20:25:46 +02:00
Paul Fultz II
0335671b35
Fix 10450: regression, FP : Iterator 'iter' from different container 'l' are used together () 2021-09-05 07:35:33 +02:00
Ken-Patrick Lehrmann
4296859c1a
Remove usage of std::vector and getArguments from getTokenArgumentFunction ()
getTokenArgumentFunction can be called many many times, and the vector
is not needed, but it can become quite costly.
This patch replaces getArguments with a function simply returning the
position of the token, if it is found in the arguments (thus saving the
cost of std::vector).
2021-09-01 10:51:44 +02:00
Daniel Marjamäki
6541efdb9a fix selfcheck warning 2021-08-27 22:33:03 +02:00
Daniel Marjamäki
a55b0c332a Fixed (False positive: unreadVariable) 2021-08-27 17:37:42 +02:00
Paul Fultz II
865163b2ba
Add library configurations for free functions like std::size, std::empty, etc () 2021-08-23 09:03:48 +02:00
Paul Fultz II
7f358b2bed
Format with uncrustify () 2021-08-07 20:51:18 +02:00
Paul Fultz II
8b8ae55490
Fix 10129: false negative: knownConditionTrueFalse ()
* Add symbolic matching

* Check for truncated values

* Dont propagate uninit values

* Update errorpath test

* Add test case for 10129

* Add test case for FP

* Remove symbolic values that are the same as the token

* Fix test messages

* Fix cppcheck issue

* Format
2021-08-04 21:07:31 +02:00
chrchr-github
28c8b00e5c
Minor: fix MSVC shadow warning () 2021-08-04 08:16:02 +02:00
Paul Fultz II
3a7ba3cd29
Add symbolic values to ValueFlow () 2021-07-30 21:29:35 +02:00
Paul Fultz II
00eb71fd49
Remove constexpr -> const simplification () 2021-07-22 07:22:26 +02:00
orbitcowboy
1be5bb8bbc Running astyle [ci skip] 2021-07-18 10:01:22 +02:00
Paul Fultz II
59a1c1a9d8
Refactor: Remove variable analyzer () 2021-07-18 07:46:31 +02:00
Paul Fultz II
3b9c399f72
Fix 10338: Hang/Crash in valueflow () 2021-07-07 08:20:32 +02:00
Paul Fultz II
dd178c3ad9
Fix 10314: Possible nullPointerRedundantCheck false positive () 2021-06-19 13:59:48 +02:00
Paul Fultz II
3e78e76fe8
Fix issue 10076: ValueFlow: False positive after address of var is taken 'T t = {{{&var}}};' () 2021-06-03 07:31:46 +02:00
Paul Fultz II
5f0fe1dfe7
Fix another FP with range for macro () 2021-05-26 04:52:55 +02:00
Paul Fultz II
e2d9aaf23b
Fix 10286: false positive: uninitvar ()
* Fix 10286: false positive: uninitvar

* Remove header
2021-05-23 07:58:19 +02:00
Paul Fultz II
5409fa8afd
Fix disabled valueFlowUninit tests () 2021-05-21 07:28:34 +02:00
Daniel Marjamäki
f1fff5e904 Fixed (ValueFlow/TokenList: function pointer dereference and call) 2021-05-20 13:54:17 +02:00
Daniel Marjamäki
216918756b Fixed (FP: (style) Variable '((uint8_t*)(uint16_t)0x1000)[0]' is assigned a value that is never used.) 2021-05-18 20:35:00 +02:00
Daniel Marjamäki
404b82fc21 unused var; fix todo test cases, redundant assignment of array in loop 2021-05-14 19:07:30 +02:00
Daniel Marjamäki
d549770b5b updated extracttests.py. fix syntax errors in test cases. 2021-05-13 20:21:02 +02:00
Daniel Marjamäki
75311fba0f Fixed (FP uninitvar with input from stringstream in for loop) 2021-05-10 19:48:07 +02:00
Daniel Marjamäki
271acf8aee Refactoring; Use isUnaryOp instead of simpleMatch 2021-05-10 18:18:21 +02:00
Daniel Marjamäki
2e2d766e2b Fixed (Improve check; struct member is assigned value that is never used) 2021-05-09 20:09:10 +02:00
Daniel Marjamäki
32b28d568f Refactoring; Check structured binding in isVariableChanged() 2021-05-08 20:46:46 +02:00
Daniel Marjamäki
2f984b201a AST; Fix wrong AST for initializer list 2021-05-04 19:02:29 +02:00
Daniel Marjamäki
08184f4681 Fixed (FP warning: Logical disjunction always evaluates to true) 2021-05-04 13:47:09 +02:00
Daniel Marjamäki
4907c7e3e4 Fix compiler warning, non-static function 2021-04-22 18:40:44 +02:00
Paul Fultz II
691f681d86
Fix issue 10235: Regression: oppositeInnerCondition () 2021-04-19 09:15:03 +02:00
Oliver Stöneberg
5de58c4ddd
added clang-tidy to CI () 2021-04-18 21:51:47 +02:00
Paul Fultz II
563c9dd9cc
Fix issue 10208: FP: knownConditionTrueFalse in for loop with function that assigns by ref () 2021-04-18 21:42:27 +02:00
Paul Fultz II
5077663684
Fix issue 9979: false positive: containerOutOfBounds with conditional resize () 2021-03-30 14:02:28 +02:00
Paul Fultz II
9de976b243
Fix issue 10194: hang with followAllReferences() ()
* Decrease depth faster when there is multiple returns
2021-03-30 11:22:56 +02:00
Daniel Marjamäki
42437277dc Update Copyright year 2021-03-21 20:58:32 +01:00
Daniel Marjamäki
fbf63b932e astyle formatting
[ci skip]
2021-02-10 11:42:00 +01:00
Paul Fultz II
0e871c178f
Fix issue 10141: Errors with ref assignment (duplicateValueTenary and knownEmptyContainer) () 2021-02-09 15:27:46 +01:00
Paul Fultz II
a81427f97f
Fix issue 10022: Logical conjunction error between two completely unrelated members () 2021-01-29 10:26:57 +01:00
IOBYTE
4e1ff86bb2
use nonneg int for varid and exprid () 2021-01-27 19:49:13 +01:00
Ken-Patrick Lehrmann
00707455be
10110: Fix FP knownConditionTrueFalse () 2021-01-25 17:23:47 +01:00
Daniel Marjamäki
772b44d11a Fixed compiler warnings 2021-01-23 18:04:28 +01:00
Paul Fultz II
c860de8565
Fix issue 8143: valueFlowCondition: before and inside while () 2021-01-23 17:52:01 +01:00
Paul Fultz II
a6f4fbae54
Fix issue 2741: False negative: redundant assignment of x to itself (ref = x) () 2021-01-22 11:00:57 +01:00