Daniel Marjamäki
|
eb9a251a4c
|
const variables/parameters; Improved check to handle pointers also (misra 8.13)
|
2021-07-18 10:59:52 +02:00 |
|
Daniel Marjamäki
|
86f1acc223
|
overlapping data; use the size value given by size-arg
|
2021-07-09 13:43:29 +02:00 |
|
Daniel Marjamäki
|
ce58748690
|
library: add attribute strlen-arg for <not-overlapping-data>
|
2021-07-09 13:25:01 +02:00 |
orbitcowboy
|
3e7b6f262d
|
std.cfg: Added not-overlapping-data configuration to wmemcpy()
|
2021-07-08 17:12:53 +02:00 |
|
Daniel Marjamäki
|
6234b5438e
|
New check: Writing overlapping data, detect undefined behavior
|
2021-07-05 22:07:41 +02:00 |
|
Daniel Marjamäki
|
1783fd1bba
|
duplicateBreak; Allow extra return that clarifies for tool(s) that function does not continue
|
2021-06-29 11:17:12 +02:00 |
|
orbitcowboy
|
df6b0bcd87
|
#10026: Added a regression test for 'false negative: duplicateExpression'
|
2021-05-24 08:54:45 +02:00 |
|
Daniel Marjamäki
|
87554bed7a
|
Redundant pointer op; Fixed false positives when macro is used
|
2021-05-22 14:18:29 +02:00 |
|
Daniel Marjamäki
|
a197e94573
|
Fixed #10266 (False positive; parameter can be const)
|
2021-05-08 13:40:52 +02:00 |
Paul Fultz II
|
31e3e4d87b
|
Fix issue 10086: false positive: (style) constVariable: Variable 'x' can be declared with const (#3219)
|
2021-04-30 17:47:08 +02:00 |
|
Daniel Marjamäki
|
cf8a423636
|
Unreachable code; better handling of throw in C code
|
2021-04-05 04:53:07 +02:00 |
|
Daniel Marjamäki
|
084bc74080
|
Fixed #8223 (false negative: Statements following return, break, continue, goto or throw will never be executed.)
|
2021-04-04 19:43:51 +02:00 |
|
Daniel Marjamäki
|
42437277dc
|
Update Copyright year
|
2021-03-21 20:58:32 +01:00 |
PKEuS
|
141d2ac215
|
Refactorization: Improved internal implementation of severity and certainty levels
Backported from LCppC.
|
2021-02-24 22:00:06 +01:00 |
PKEuS
|
c25b4f1ad6
|
Fixed false negatives incompleteArrayFill on user defined types (estimate size to determine if it is larger than one byte)
Merged from LCppC.
|
2021-02-24 21:48:26 +01:00 |
|
PKEuS
|
cf1937294a
|
Refactorization: Removed unnecessary \n and spaces in strings
Merged from LCppC.
|
2021-02-20 12:58:42 +01:00 |
|
PKEuS
|
aa2f143ea6
|
Fixed false positive: Parameter can be declared with const in constructors did handle noexcept
Merged from LCppC.
|
2021-02-19 08:21:26 +01:00 |
|
Paul Fultz II
|
a6f4fbae54
|
Fix issue 2741: False negative: redundant assignment of x to itself (ref = x) (#3071)
|
2021-01-22 11:00:57 +01:00 |
Oliver Stöneberg
|
ac7647fcd8
|
some self-check suppression cleanups (#3032)
|
2021-01-09 20:32:38 +01:00 |
|
Paul Fultz II
|
a95c931da0
|
Fix issue 8501: false negative: (style) Opposite expression on both sides of (#3012)
|
2021-01-05 12:07:27 +01:00 |
|
Daniel Marjamäki
|
bcf6039558
|
Fixed #10058 (False positive: redundant assignment, there is break)
|
2020-12-25 09:08:15 +01:00 |
|
Paul Fultz II
|
e12a733ee9
|
Fix issue 10053: False positive: Same value on both branches of ternary operator (#2962)
|
2020-12-23 13:37:28 +01:00 |
|
Paul Fultz II
|
2541b6034f
|
Fix issue 10049: False positive: generic reverse valueflow analysis (#2959)
|
2020-12-19 08:28:58 +01:00 |
|
Daniel Marjamäki
|
2cd8ea83a7
|
Fixed #9860 (unused template not removed properly by default)
|
2020-11-22 16:43:36 +01:00 |
|
Paul Fultz II
|
4a8a78a925
|
Fix issue 10002: False positive: constParameter with reference to pointer (#2918)
|
2020-11-22 08:47:24 +01:00 |
|
Daniel Marjamäki
|
6236beeb3f
|
Fixed #9950 (Wrong severity for redundantAssignInSwitch)
|
2020-11-15 13:09:28 +01:00 |
shaneasd
|
a623168942
|
fix passedByValueError on enums (#2869)
|
2020-10-30 18:32:35 +01:00 |
|
Daniel Marjamäki
|
f1ce5a9101
|
Fixed #9929 (False positive: suspicious semicolon after macro)
|
2020-10-09 20:34:20 +02:00 |
|
Daniel Marjamäki
|
c3517924d0
|
Clang import testing: Compare AST
|
2020-10-04 11:27:31 +02:00 |
|
Daniel Marjamäki
|
fe2717fa37
|
Fixed testrunner
|
2020-09-29 17:43:53 +02:00 |
|
Daniel Marjamäki
|
d901edd4af
|
Avoid clarifyCalculation warning for 'x % 16 ? 1 : 0' expression. Fixes FP seen in daca@home. It seems likely that the order is understood otherwise the ternary calculation could easily be simplified away.
|
2020-09-29 08:39:21 +02:00 |
|
Daniel Marjamäki
|
e32ccb591b
|
Fixed clarifyCalculation fp for 'a % b ? "a" : "b"'. seen in daca@home.
|
2020-09-29 08:29:23 +02:00 |
|
Daniel Marjamäki
|
8395522390
|
Fixed #9919 (False positive: clarifyCalculation for code: flags & ZRL_EOL_NUL ? '\0' : '\n')
|
2020-09-28 19:18:34 +02:00 |
|
Daniel Marjamäki
|
5578b09452
|
More fixing for #9914. New warning id and warning message when variable expression is explicitly hidden.
|
2020-09-26 13:49:47 +02:00 |
|
Daniel Marjamäki
|
05b0a0f970
|
Make duplicateAssignExpression warnings inconclusive for 'x&&false' etc. (#9914)
|
2020-09-26 10:50:58 +02:00 |
|
Paul Fultz II
|
887b40e08b
|
Fix issue 9916: False positive: duplicateAssignExpression when it's checked if variables have initial value later (#2825)
|
2020-09-26 10:31:40 +02:00 |
|
Daniel Marjamäki
|
5856fef83b
|
Fixed #9914 (False positive: knownArgument for 'x && false')
|
2020-09-25 20:27:16 +02:00 |
|
Daniel Marjamäki
|
5b78c64420
|
Fixed testrunner
|
2020-09-25 20:04:07 +02:00 |
|
Daniel Marjamäki
|
485153c930
|
Limit variableScope check. Do not check C code if all local variables are declared at function level.
|
2020-09-25 08:34:47 +02:00 |
|
Daniel Marjamäki
|
801cc8d331
|
Fixed knownArgument false positive for pointer
|
2020-09-24 19:48:20 +02:00 |
|
Daniel Marjamäki
|
c08e1a9a94
|
Fix knownArgument false positive when sizeof is used
|
2020-09-24 19:43:39 +02:00 |
|
Daniel Marjamäki
|
514b7f4da4
|
Fixed #9906 (False positive: constParameter (function pointer))
|
2020-09-23 22:10:47 +02:00 |
|
Daniel Marjamäki
|
107ee57e7a
|
Fixed #9909 (False positive: knownArgument for calculation 'self->maxsize * sizeof(intptr_t)')
|
2020-09-21 20:02:55 +02:00 |
|
Daniel Marjamäki
|
730b95331e
|
Fixed #9905 (False positive: known argument 'header.length()')
|
2020-09-20 20:17:10 +02:00 |
|
Paul
|
75b955b9c6
|
Fix issue 9833: False positive: Division by zero when using pointer to struct
|
2020-09-09 21:29:26 -05:00 |
|
Paul Fultz II
|
bfe53fce04
|
Fix issue 9878: false positive: multiCondition (#2787)
|
2020-09-09 15:39:36 +02:00 |
|
Paul Fultz II
|
a4f43fc2ad
|
Fix issue 8234: false negative: (warning) Opposite inner 'if' condition leads to a dead code block. (#2781)
|
2020-09-07 07:53:41 +02:00 |
|
Daniel Marjamäki
|
1daf1ec108
|
Fixed #9875 (Crash)
|
2020-09-04 19:15:48 +02:00 |
|
Daniel Marjamäki
|
5acd6fcdc8
|
astyle formatting
|
2020-09-03 18:55:40 +02:00 |
|
shaneasd
|
08ea6435ac
|
fix false positives in constParameter (#2758)
|
2020-09-03 18:44:44 +02:00 |