Paul Fultz II
|
00eb71fd49
|
Remove constexpr -> const simplification (#3346)
|
2021-07-22 07:22:26 +02:00 |
Daniel Marjamäki
|
b1547a387e
|
astyle formatting
[ci skip]
|
2021-07-21 20:13:38 +02:00 |
|
Paul Fultz II
|
41c94b656a
|
Fix FP const pointer with class variable and add more tests (#3345)
|
2021-07-21 07:36:13 +02:00 |
|
Paul Fultz II
|
8efe1d4ab4
|
Find reference to dangling unique ptr (#3344)
|
2021-07-20 21:30:27 +02:00 |
|
Daniel Marjamäki
|
fb5ab5e439
|
constPointer; Improved checking dereferenced pointer is used in calculation/comparison
|
2021-07-20 10:38:38 +02:00 |
|
Daniel Marjamäki
|
4d23c02320
|
constPointer; Improved checking when pointer is not dereferenced
|
2021-07-20 10:28:35 +02:00 |
|
Daniel Marjamäki
|
d1fe34e167
|
misra; implement rule 8.10
|
2021-07-18 21:18:07 +02:00 |
|
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 |
orbitcowboy
|
1be5bb8bbc
|
Running astyle [ci skip]
|
2021-07-18 10:01:22 +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 |
|
orbitcowboy
|
3f1e937ea1
|
Running astyle [ci skip]
|
2021-07-17 08:19:04 +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 |
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 |
|
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 |
|
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 |
|
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
|
d9dacc97e4
|
virtual call in constructor; warn when function is explicitly virtual
|
2021-07-11 11:03:31 +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 |
|
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 |
|
Daniel Marjamäki
|
9841e0ed96
|
new check; file can not be opened for read and write access at the same time on different streams (misra rule 22.3)
|
2021-07-10 13:59:47 +02:00 |
|
orbitcowboy
|
b68c5dee07
|
windows.cfg: Added support for _mbscpy().
|
2021-07-10 09:27:22 +02:00 |
|
orbitcowboy
|
c38a43c353
|
std.cfg: Added overlappingWriteFunction check to wcscpy().
|
2021-07-10 09:20:51 +02:00 |
|
Daniel Marjamäki
|
a8fb0309fd
|
missingReturn; Improved handling of noreturn function
|
2021-07-10 08:59:01 +02:00 |
|
Daniel Marjamäki
|
53955b48d2
|
missingReturn; Fixed false negative for goto-label
|
2021-07-10 08:49:48 +02:00 |
|
Daniel Marjamäki
|
8f1cb2304f
|
missingReturn; Add missing ASSERT_EQUALS in test
|
2021-07-10 08:45:04 +02:00 |
|
Daniel Marjamäki
|
c6f7a78ebb
|
missingReturn; Fixed false positives
|
2021-07-10 08:37:10 +02:00 |
|
Paul Fultz II
|
9fc5b9472d
|
Fix 10353: FP knownConditionTrueFalse with conditional assignment (#3333)
|
2021-07-10 07:35:16 +02:00 |
|
orbitcowboy
|
652e2765bc
|
std.cfg: Added support for wcsncpy regarding data-overlapping
|
2021-07-09 16:32:54 +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
|
58811808d5
|
std.cfg: Improved configuration of 'strncpy', which is vulnerable for overlapping write issues.
|
2021-07-09 09:48:24 +02:00 |
|
Paul Fultz II
|
2300a773e1
|
Fix 10336: AST cyclic dependency on valid C++ code (#3331)
|
2021-07-09 07:22:24 +02:00 |
|
Paul Fultz II
|
8dc1fa7a59
|
Add colors to CLI reporting (#3304)
|
2021-07-08 21:21:35 +02:00 |
|
Daniel Marjamäki
|
56924643be
|
Fixed #10347 (ValueFlow: No known value set for sizeof(a[0]))
|
2021-07-08 18:18:44 +02:00 |
|
orbitcowboy
|
3e7b6f262d
|
std.cfg: Added not-overlapping-data configuration to wmemcpy()
|
2021-07-08 17:12:53 +02:00 |
|
Daniel Marjamäki
|
7cb66d56f3
|
missingReturn; fixed false positive with trailing return type
|
2021-07-08 13:50:26 +02:00 |
|
Daniel Marjamäki
|
ef0af26d9f
|
missingReturn; Fixed FP when function is declared in macro
|
2021-07-08 13:14:11 +02:00 |
|
Daniel Marjamäki
|
00a9671f46
|
misra: implement 8.1
|
2021-07-07 13:34:55 +02:00 |
|
Paul Fultz II
|
3b9c399f72
|
Fix 10338: Hang/Crash in valueflow (#3328)
|
2021-07-07 08:20:32 +02:00 |
|
orbitcowboy
|
7d7241b076
|
#9772: FP uninitvar: in cppcheck 2.1; Added a regression to test
|
2021-07-06 14:24:07 +02:00 |
Maksim Derbasov
|
6b8d0be431
|
New check: [perf] Copy elision optimization can't be applied for `return std::move(local)` (#3281)
|
2021-07-06 08:07:46 +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
|
6cb8f87798
|
missing return; fixed false positive for 'return {};'
|
2021-07-04 19:59:22 +02:00 |
|
Daniel Marjamäki
|
4fd33ef2b5
|
test/cli: fixed missing returns in test cases
|
2021-07-04 18:25:19 +02:00 |
|
Daniel Marjamäki
|
036c71d967
|
Fixed #5462 (non-void function does not return a value)
|
2021-07-04 11:27:57 +02:00 |
|
Daniel Marjamäki
|
c489626167
|
updated copyright year
|
2021-07-04 08:09:11 +02:00 |
|
Paul Fultz II
|
fb9d659e25
|
Fix 10326: Regression: ValueFlow; Wrong Uninit value after do while (#3312)
|
2021-07-03 09:12:26 +02:00 |
Armin Müller
|
fc90598077
|
Typos found by running "codespell" (#3324)
|
2021-07-02 17:41:51 +02:00 |
Robert Reif
|
68898e2be0
|
fix #10335 (Type alias remains unknown with using) (#3323)
Co-authored-by: Robert Reif <reif@FX6840>
|
2021-07-02 06:19:26 +02:00 |
|
Daniel Marjamäki
|
1a5449cbeb
|
Fixed #10327 (ValueFlow; Wrong Uninit value in called function)
|
2021-07-01 22:08:00 +02:00 |
|
Daniel Marjamäki
|
869eac5670
|
astyle formatting
|
2021-07-01 21:09:32 +02:00 |
|
chrchr-github
|
7a51fc8232
|
Add regression test for #8942 (#3321)
|
2021-07-01 21:09:06 +02:00 |
|
chrchr-github
|
9be88a06fe
|
Add regression test for #9176 (#3319)
|
2021-07-01 13:58:00 +02:00 |
|
Daniel Marjamäki
|
e1cff1d1ef
|
Fixed #10334 (AST: hang with c++ initializer and emplace_back)
|
2021-06-30 21:40:45 +02:00 |
|
Daniel Marjamäki
|
e50f7a3e09
|
astyle formatting
|
2021-06-30 20:27:35 +02:00 |
|
chrchr-github
|
5b1420ff64
|
Add regression test for #10215 (#3317)
|
2021-06-29 19:42:47 +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 |
|
Daniel Marjamäki
|
05df31c12a
|
Fixed unit tests
|
2021-06-27 09:04:47 +02:00 |
|
Daniel Marjamäki
|
2a2e071a85
|
Tokenizer::simplifyAttribute; Set function attribute for function pointer
|
2021-06-26 14:23:39 +02:00 |
|
Paul Fultz II
|
66956ed959
|
Fix 10323: Wrong known value. x!=0 does not mean that x==1 (#3308)
|
2021-06-26 09:16:45 +02:00 |
|
Paul Fultz II
|
508188df2b
|
Fix 10297: Regression; ValueFlow known value, sign conversion (#3307)
|
2021-06-26 09:16:04 +02:00 |
|
Daniel Marjamäki
|
9769afe434
|
knownConditionTrueFalse; avoid several warnings when nonzero expression is compared to see if it is positive or negative
|
2021-06-25 16:25:25 +02:00 |
|
Daniel Marjamäki
|
2f7f43e1f2
|
astyle formatting
|
2021-06-24 23:19:59 +02:00 |
|
chrchr-github
|
39f9bc7422
|
Fix #10304: std::distance() returns std::ptrdiff_t (#3297)
|
2021-06-24 23:19:29 +02:00 |
|
Paul Fultz II
|
b13e44fce5
|
Fix 10309 and 10034: internalAstError with init lists (#3303)
|
2021-06-24 08:25:13 +02:00 |
|
Paul Fultz II
|
6e74fc64b9
|
Fix 10317: Regression: internalAstError on valid C++ code (#3302)
|
2021-06-24 08:22:03 +02:00 |
|
Paul Fultz II
|
dd178c3ad9
|
Fix 10314: Possible nullPointerRedundantCheck false positive (#3298)
|
2021-06-19 13:59:48 +02:00 |
|
Paul Fultz II
|
5922d5178b
|
Fix 10321: Two flags confuse null pointer check (#3300)
|
2021-06-19 13:58:57 +02:00 |
|
Paul Fultz II
|
eb7b225fc1
|
Fix 10119: ValueFlow; object member is not uninitialized. happens when there is static member also. (#3299)
|
2021-06-19 13:58:18 +02:00 |
|
Daniel Marjamäki
|
a7707a457d
|
astyle formatting
|
2021-06-14 07:39:41 +02:00 |
shane
|
a5664c3e49
|
allow token iteration in range for
|
2021-06-14 07:39:01 +02:00 |
|
Daniel Marjamäki
|
03445c01c1
|
Fix false positives when class might inherit from VCL TObject class
|
2021-06-13 18:56:04 +02:00 |
|
Daniel Marjamäki
|
7dbca470f7
|
Suppressions; Fixed problem with cppcheck build dir is used
|
2021-06-12 18:19:00 +02:00 |
|
Daniel Marjamäki
|
118ad67645
|
testrunner: return value in non-void functions
|
2021-06-12 16:43:48 +02:00 |
|
Daniel Marjamäki
|
83d406806f
|
CI; Fixed problems in windows paths
|
2021-06-12 12:45:31 +02:00 |
|
Daniel Marjamäki
|
4a4808e0ff
|
ImportProject; Try to use relative paths
|
2021-06-12 11:10:35 +02:00 |
|
Paul Fultz II
|
f55a4563f9
|
Fix 10308: danglingTemporaryLifetime confused by function parameter (#3292)
|
2021-06-09 09:21:03 +02:00 |
|
Paul Fultz II
|
f3a33ea330
|
Fix 10294: ValueFlow: Wrong <Uninit> value below loop (#3291)
|
2021-06-09 09:20:43 +02:00 |
|
Daniel Marjamäki
|
3c3435dd10
|
Fix bug in Tokenizer::simplifyVarDecl
|
2021-06-06 08:13:40 +02:00 |
|
Paul Fultz II
|
668b88d7c0
|
Fix 10284: False positive; valueFlowBeforeCondition does not seem to care about increment (#3287)
|
2021-06-04 21:40:57 +02:00 |
|
Paul Fultz II
|
a14922ed85
|
Fix 10238: FP knownConditionTrueFalse std::string from const char* assumed non-empty (#3288)
|
2021-06-04 17:22:05 +02:00 |
|
Paul Fultz II
|
537fb5bcd9
|
Fix 10264: FP invalidContainer when address of container is passed inside struct (#3286)
|
2021-06-04 17:20:47 +02:00 |
|
Paul Fultz II
|
b23c5aa742
|
Fix 10023: ValueFlow; Wrong result of post-increment in reverse analysis (#3289)
|
2021-06-04 17:20:21 +02:00 |
|
Paul Fultz II
|
486e440c4a
|
Fix 10298: ValueFlow: Wrong known value, 'x == -1' implicit unsigned cast for rhs (#3277)
|
2021-06-04 17:17:41 +02:00 |
|
Paul Fultz II
|
95c872b1ec
|
Fix todo test for returning a dangling reference (#3284)
|
2021-06-04 17:15:39 +02:00 |
|
orbitcowboy
|
f626035963
|
std.cfg: Added support for more interfaces
|
2021-06-03 08:07:53 +02:00 |