Georgiy Komarov
79f59d8f39
misra: Fixed crash with struct fields with unknown types on 9.x rules ( #3305 )
...
This fixes the crash on with struct fields containing unknown types
reported on the forum:
https://sourceforge.net/p/cppcheck/discussion/general/thread/d64551cc55/#5f0f
The suggested patch doesn't handle the cases when there are struct
fields with arrays containing unknown types. So the addon will not
generate warnings in these cases. The problem is that Cppcheck doesn't
generate valueType-pointer information for unknown types in the dump
file. When adding this in symboldatabase.cpp, MISRA addon will generate
a lot of false positives because we depend on the null value of
valueType.
So I suppose it better to left this as is, to don't break the addon for
such rare cases.
2021-06-24 08:29:27 +02:00
Ivar Andreas Bonsaksen
e3b7ceec7e
Fix issue where misra 9_x evaluation crashes on some undefined structs with nested initialisers ( #3290 )
2021-06-04 17:19:40 +02:00
Georgiy Komarov
7a009fece0
misra: Add support for expected suppressions in header files in `-verify` mode ( #3252 )
...
This commit allows to specify expected suppressions in the included
header files. This is necessary to verify MISRA checkers, which make
requirements for header files. For example, Rule 8.2 requires adding
prototypes for each function to the header files.
2021-05-08 10:27:31 +02:00
Daniel Marjamäki
f7d0bf7a59
Refactoring; Reuse simplecpp::characterLiteralToLL
2021-05-02 13:44:37 +02:00
Georgiy Komarov
e1bfd369db
misra: Fix false positives for rule 7.3 ( #3236 )
...
Fix false positives for the identifiers that contain 'ul' in their names.
Reported on the forum: https://sourceforge.net/p/cppcheck/discussion/general/thread/c326538221/
2021-04-27 19:42:34 +02:00
Georgiy Komarov
fce3db8b7d
misra: Fixed a crash in rule 8.2 ( #3208 )
...
Due to incorrect indentation, we return "None" instead of an empty list,
which causes the crash.
The problem was reported on the forum: https://sourceforge.net/p/cppcheck/discussion/general/thread/e146b8d779/
2021-04-13 10:09:42 +02:00
Paul Fultz II
5077663684
Fix issue 9979: false positive: containerOutOfBounds with conditional resize ( #3136 )
2021-03-30 14:02:28 +02:00
Lars Even Almaas
9786f1c34b
Suggested implementation for rule 8.2 ( #3169 )
2021-03-25 08:25:43 +01:00
Georgiy Komarov
390a5af064
misra.py: Fix crashes on obsolete GCC syntax for struct initialization ( #3175 )
...
* misra.py: Fix crashes on obsolete GCC syntax for struct initialization
* Added expected violations
2021-03-20 13:59:39 +01:00
Daniel Marjamäki
ebf54ac53e
Misra; Remove 12.4 because the check is not implemented properly
2021-02-25 22:11:13 +01:00
Oliver Stöneberg
b472b4e65d
some Python cleanups based on PyCharm inspections ( #2999 )
...
* some Python cleanups based on PyCharm inspections
* test-helloworld.py: adjusted assert in test_addon_relative_path()
2021-01-31 14:27:11 +01:00
Georgiy Komarov
82f51bd523
misra: Fix crash on rule 9.x ( #3024 )
...
Closes ticket #10084
2021-01-07 15:04:12 +01:00
kskjerve
d4860f500a
MISRA 9.2 to 9.5 ( #2954 )
2020-12-16 17:28:54 +01:00
Daniel Marjamäki
a810678b83
Addons: handle inline suppressions internally in cppcheckdata
2020-12-05 11:37:09 +01:00
Daniel Marjamäki
02d927f0f9
Temporarily disable misra suppressions test
2020-12-04 21:16:02 +01:00
Ivar Andreas Bonsaksen
9029fff59d
Fixed #9993 (false positive: misra-c2012-9.2) ( #2908 )
2020-11-18 10:50:35 +01:00
Ivar Andreas Bonsaksen
0e7ec1eddf
Fixed #9988 (false positive: misra-c2012-9.2) ( #2904 )
2020-11-16 17:31:00 +01:00
kskjerve
4d3f76b63c
MISRA rule 9.2 The initializer for an aggregate or union shall be enclosed in braces ( #2899 )
2020-11-16 09:27:17 +01:00
Daniel Marjamäki
43c4a48d48
Fixed #9971 (missing system includes in addon/test test files)
2020-11-15 12:46:28 +01:00
Lars Even Almaas
3a91b998d6
MISRA rule 10.2 Expressions of essentially character type in additions and subtraction ( #2897 )
2020-11-12 11:37:28 +01:00
Daniel Marjamäki
2ae91b9ffe
Try to fix addon suppressions tests
2020-11-11 20:28:26 +01:00
Lars Even Almaas
9d70926fcd
MISRA rule 15.4 Only one break/goto from iteration statement ( #2892 )
2020-11-09 15:11:08 +01:00
Georgy Komarov
9cbb09076c
misra.py: Fix R7.2 crash on va_args ( #2886 )
2020-11-05 23:54:12 +01:00
Lars Even Almaas
c1212f823f
MISRA rule 7.2 Require 'u' prefix when using large unsigned integer constants ( #2881 )
2020-11-05 13:38:09 +01:00
Georgy Komarov
6f7f508967
misra.py: Fix 7.4 false positive ( #2883 )
...
Fix false positives for the function calls with "const pointer to const
value" arguments: https://trac.cppcheck.net/ticket/9967 .
The variable.valueType.constness have same encoding as encoding as
ValueType::constness in Cppcheck.
2020-11-05 08:13:23 +01:00
Lars Even Almaas
05b804d126
MISRA Rule 7.4 Check if variables assigned as string literals are const ( #2866 )
2020-11-04 13:45:02 +01:00
Georgy Komarov
b87aaaac52
Fix and impove MISRA 6.1 and 6.2 rules ( #2863 )
2020-10-28 20:54:43 +01:00
Lars Even Almaas
79b9dd5345
MISRA Rule 6.1/6.2 Bit field check ( #2861 )
2020-10-27 16:00:19 +01:00
amai2012
2fa837c716
threadsafety shall not warn about const vars (in C++11) ( #2847 )
...
threadsafety shall not warn about const vars (in C++11)
For C++03 a new id threadsafety-const was created.
2020-10-23 11:58:25 +02:00
Georgy Komarov
3944e70e02
misra.py: Treat enum constants as constant known at compile time ( #2823 )
...
C89 standard defines enum members as enumeration contants at ch.
6.4.4.3, and they are always known at compile time.
This commit fix false positives for rule 18.8 (and possible other rules
that check "constentess") with enumeration members.
Fix Trac#9913
2020-09-25 21:02:34 +02:00
Daniel Marjamäki
6e4085f3d8
Misra: Write 12.3 warnings in structs/classes
2020-09-08 09:29:57 +02:00
Daniel Marjamäki
f3fa7a6f5e
misra: updated test addons/test/misra/misra-test.cpp
2020-09-06 13:25:37 +02:00
Georgy Komarov
4738da3d69
misra.py: Fix R12.3 FP on calling functions in function arguments ( #2778 )
2020-09-05 07:53:56 +02:00
Georgy Komarov
3bae716fd4
misra.py: Fix 20.7 false positive for multi-character arguments
...
See: https://trac.cppcheck.net/ticket/9633#comment:3
2020-08-08 13:03:19 +03:00
Georgy Komarov
dc1faa71ed
misra.py: Fix false negatives in string concatenation for rule 20.7
...
This will fix Trac#9633
2020-07-24 07:15:40 +03:00
Georgy Komarov
fc504ed6c3
misra.py: Fix false positives on macro expansion
...
This will fix Trac#9634
2020-07-21 20:03:04 +03:00
Carl-Oskar Larsson
2abf542838
Misra severity ( #2674 )
2020-06-08 15:58:17 +02:00
Georgy Komarov
90550d24c4
misra.py: Fix crash on volatile macro argument ( #2654 )
2020-05-21 08:34:28 +02:00
Ken-Patrick Lehrmann
a96a879b6d
Fix crash in addons/test/test-misra.py ( #2652 )
2020-05-20 16:02:13 +02:00
Georgy Komarov
61926ed7c3
misra.py: Fix false positive for rule 15.6 ( #2631 )
2020-05-07 16:54:27 +02:00
Georgy Komarov
20b02bff30
misra.py: Fix 20.7 FP for struct members ( #2624 )
...
This will close Trac#9673
2020-04-27 09:10:58 +02:00
Georgy Komarov
4e5a8fac4a
misra.py: Handle stdint.h essential types ( #2555 )
...
Add stdint.h essential types to misra.py checks. This will fix false
negatives for rules 10.6 and 10.8.
2020-02-27 11:28:48 +01:00
Georgy Komarov
9155f3a83a
misra.py: Check switch-clauses in R15.3 ( #2538 )
...
* misra.py: Check switch-clauses in R15.3
* break on violation
2020-02-16 00:03:18 +01:00
Georgy Komarov
2138091fa3
misra.py: Fix rule 20.2 false negative ( #2534 )
2020-02-12 17:11:56 +01:00
Georgy Komarov
403a61bc11
misra.py: Handle spaces in directive arguments ( #2532 )
2020-02-11 20:59:11 +01:00
Daniel Marjamäki
099dd57eb8
Fixed #9625 (false negative: misra-c2012-13.1)
2020-02-11 18:00:41 +01:00
Georgy Komarov
0ff23dbd0b
misra.py: Handle more cases in Rule 20.3 check ( #2529 )
...
This commit add two additional cases for rule 20.3:
1. Support violations in the following format: `#include file.h`
2. Better multiline include directives and inline comments support.
See added test cases for examples.
2020-02-10 08:56:26 +01:00
Georgy Komarov
f438cc6105
misra.py: Fix rule 21.1 false positives ( #2526 )
...
According MISRA standard, rule 21.1 should hanlde define/undef
directives only. There are no mentions of other C identifiers in the
standard document.
2020-02-09 16:22:26 +01:00
Georgy Komarov
6d4eff46be
misra.py: Fix false negative for rule 20.4 ( #2528 )
...
Define different sets of reserved keywords for C90 and C99.
This will fix false negative for compliant example, defined in MISRA
document, and close trac 9506.
2020-02-09 10:46:13 +01:00
Georgy Komarov
86d0f62d36
misra.py: Fix 12.3 FP in initializer lists ( #2489 )
...
See: trac 9581
2020-01-15 09:55:59 +01:00