Daniel Marjamäki
|
9362c1fc6c
|
missing return; write inconclusive error if function ends with unknown function-like macro
|
2021-07-18 16:00:42 +02:00 |
|
Daniel Marjamäki
|
02682ab17d
|
missing return; Fixed FP when function ends with assert(0)
|
2021-07-18 14:54:25 +02:00 |
|
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
|
5f548a4b6c
|
misra; implement rule 8.9
|
2021-07-18 10:31:52 +02:00 |
orbitcowboy
|
b2b214991d
|
gnu.cfg: Added overlapping data check to __builtin_memcpy()
|
2021-07-18 10:08:32 +02:00 |
|
orbitcowboy
|
6ae9486fd0
|
bsd.cfg: Added overlapping data check for strlcat()
|
2021-07-18 10:04:11 +02:00 |
|
orbitcowboy
|
1be5bb8bbc
|
Running astyle [ci skip]
|
2021-07-18 10:01:22 +02:00 |
|
orbitcowboy
|
71d1dd2bb8
|
bsd.cfg: Added overlapping data check for strlcpy()
|
2021-07-18 10:01:06 +02:00 |
Paul Fultz II
|
a9daa1abd5
|
Add creduce.py script to run creduce (#3341)
|
2021-07-18 07:51:01 +02:00 |
|
Paul Fultz II
|
0b079937e0
|
Fix 10364: Performance regression (#3340)
|
2021-07-18 07:48:21 +02:00 |
|
Paul Fultz II
|
59a1c1a9d8
|
Refactor: Remove variable analyzer (#3339)
|
2021-07-18 07:46:31 +02:00 |
|
Daniel Marjamäki
|
59c797c776
|
misra; implement rule 8.8
|
2021-07-17 23:38:29 +02:00 |
|
Daniel Marjamäki
|
f44a82856f
|
misra; implement rule 8.7
|
2021-07-17 22:36:03 +02:00 |
|
Daniel Marjamäki
|
77d8b714ea
|
misra; implement rule 8.6
|
2021-07-17 21:24:53 +02:00 |
|
Daniel Marjamäki
|
aa910d3c38
|
misra; implemented rule 8.5
|
2021-07-17 19:59:21 +02:00 |
|
Daniel Marjamäki
|
27bd543566
|
ci; Disable asan for self-check we have problems with that
|
2021-07-17 19:05:31 +02:00 |
|
orbitcowboy
|
3f1e937ea1
|
Running astyle [ci skip]
|
2021-07-17 08:19:04 +02:00 |
|
orbitcowboy
|
8ee223f03d
|
windows.cfg: Added support for _wcsncat_l().
|
2021-07-17 08:18:43 +02:00 |
chrchr-github
|
8cd8b9c64e
|
Fix MSVC build and some warnings (#3334)
|
2021-07-16 21:55:12 +02:00 |
|
Daniel Marjamäki
|
797de4ef92
|
Fixed #10363 (FP: compareValueOutOfTypeRangeError)
|
2021-07-16 19:08:08 +02:00 |
|
Daniel Marjamäki
|
65a6d4b45c
|
AUTHORS: Add psimovec
|
2021-07-16 18:52:33 +02:00 |
Pavel Šimovec
|
c71e2da5a8
|
Remove a false positive - main function has no return value (#3335)
|
2021-07-16 18:50:16 +02:00 |
|
Paul Fultz II
|
942202aede
|
Evaluate container sizes in forward analysis (#3338)
|
2021-07-16 18:49:07 +02:00 |
|
Paul Fultz II
|
f5fac96670
|
Add include directives to 'define' tokenlist (#3337)
|
2021-07-16 18:47:35 +02:00 |
|
orbitcowboy
|
92597daf8b
|
windows.cfg: Added support for _mbsncat() and _mbsncat_l()
|
2021-07-16 14:42:40 +02:00 |
|
orbitcowboy
|
8096fa4db1
|
std.cfg: Added overlappingWriteFunction-check to wcsncat().
|
2021-07-16 14:30:49 +02:00 |
|
orbitcowboy
|
9b46f59ff0
|
std.cfg: Cleanup wrong test case.
|
2021-07-16 14:25:04 +02:00 |
|
orbitcowboy
|
e90a3053d4
|
std.cfg: Added a overlappingWriteFunction-check to strncat
|
2021-07-16 14:01:40 +02:00 |
|
Daniel Marjamäki
|
cbb07b6247
|
misra; implement rule 14.3
|
2021-07-15 09:43:38 +02:00 |
vahtis
|
2abe07f279
|
Alternative macro for NAME_MAX on SunOs 11 (#3336)
Co-authored-by: vahtis <vahtis@iki.fi>
|
2021-07-14 20:50:14 +02:00 |
|
orbitcowboy
|
435cffa858
|
std.cfg: Improved configuration of std::next(),std::prev() and added TODO tests
|
2021-07-14 10:12:49 +02:00 |
|
Daniel Marjamäki
|
24c17916af
|
missingReturn; ensure Function::returnsVoid returns true when there is unknown macro 'void STDCALL foo() {}'
|
2021-07-12 20:29:20 +02:00 |
|
Daniel Marjamäki
|
e4ecfd7be8
|
missingReturn; Fixed false positive when if condition is always true
|
2021-07-12 17:53:32 +02:00 |
|
Daniel Marjamäki
|
a336c07663
|
missing return; False positive when goto jumps back
|
2021-07-12 15:31:21 +02:00 |
|
Daniel Marjamäki
|
e4ae4471e8
|
misra; implement rule 11.2
|
2021-07-11 20:55:54 +02:00 |
|
Daniel Marjamäki
|
9d5c65fcce
|
CI; Improved testing of misra addon
|
2021-07-11 17:24:14 +02:00 |
|
orbitcowboy
|
01b68b99c6
|
posix.cfg: Added overlapping data check for stpcpy().
|
2021-07-11 16:42:19 +02:00 |
|
orbitcowboy
|
d782cd629a
|
posix.cfg: Added overlapping data check for bcopy().
|
2021-07-11 16:38:25 +02:00 |
|
Daniel Marjamäki
|
9fb33e6a3c
|
Try to solve self check warning to make CI happy
|
2021-07-11 11:37:41 +02:00 |
|
Daniel Marjamäki
|
d9dacc97e4
|
virtual call in constructor; warn when function is explicitly virtual
|
2021-07-11 11:03:31 +02:00 |
|
orbitcowboy
|
f7b0f44186
|
windows.cfg: Added support for more constants.
|
2021-07-11 10:16:25 +02:00 |
|
Daniel Marjamäki
|
754d648b0f
|
misra; implement rule 11.1
|
2021-07-11 07:50:13 +02:00 |
|
Daniel Marjamäki
|
42388f8da8
|
Remove TestSamples
|
2021-07-10 21:04:38 +02:00 |
|
Paul Fultz II
|
afac0e8ad3
|
Fix colors in output of TestSamples (#3332)
|
2021-07-10 20:14:38 +02:00 |
|
Daniel Marjamäki
|
009c144455
|
misra; implement rule 8.4
|
2021-07-10 20:10:44 +02:00 |
|
orbitcowboy
|
10fb1851c5
|
Added more overlapping data configurations
|
2021-07-10 18:41:36 +02:00 |
|
orbitcowboy
|
7ad64891ea
|
Added tests for overlapping data.
|
2021-07-10 18:28:26 +02:00 |
|
orbitcowboy
|
021a72f84b
|
std.cfg: Improved support for overlapping data check
|
2021-07-10 18:27:53 +02:00 |
|
orbitcowboy
|
2c5af874fd
|
posix.cfg: Improved support for overlapping data check
|
2021-07-10 18:27:44 +02:00 |
|
orbitcowboy
|
6a66d32498
|
windows.cfg: Improved support for overlapping data check
|
2021-07-10 18:27:23 +02:00 |