164c6b3441
Bug hunting; Detect array index out of bounds for multi dimensional arrays also
2020-12-18 21:32:23 +01:00
33cde46068
astyle formatting
...
[ci skip]
2020-12-18 21:31:44 +01:00
62a11f6490
Bug hunting; Fixed timeout
2020-12-18 20:41:10 +01:00
1b0ca0811f
Bug hunting; option to set function analysis max time
2020-12-18 19:59:10 +01:00
87468dff3b
wxwidgets.cfg: Added support for more interfaces, found by daca@home
2020-12-18 16:45:10 +01:00
23c7621b24
donate_cpu_lib.py: Improved auto detection of bsd config
2020-12-18 13:23:41 +01:00
52e6bd76c4
donate_cpu_lib.py: Improved auto detection of bsd config
2020-12-18 13:21:49 +01:00
f2cf11682a
fix #10040 (symbolDatabaseWarning: debug: Executable scope 'x' with unknown function.) ( #2955 )
2020-12-18 07:46:01 +01:00
b044f9ba96
Fix issue 9996: false negative: containerOutOfBounds with std::vector::front() and c++11 braced initializer ( #2958 )
2020-12-18 07:14:11 +01:00
0b98053790
Fixed Cppcheck warning; Redundant assignment
2020-12-17 15:29:15 +01:00
75f2ab20e8
Bug hunting; void* => might point at uninitialized data
2020-12-17 07:32:53 +01:00
8619bfe957
Bug hunting; Remove old value from array when it is overwritten
2020-12-16 19:06:20 +01:00
d4860f500a
MISRA 9.2 to 9.5 ( #2954 )
2020-12-16 17:28:54 +01:00
c9d2e55ea9
Fix issue 10035: FP: knownConditionTrueFalse when bool updated in for loop ( #2953 )
2020-12-16 17:25:21 +01:00
fd520b45d7
CI: build oss-fuzz client using make ( #2951 )
2020-12-16 10:16:33 +01:00
2a05bc565d
insert simplified types for implicit template type deduction ( #2952 )
...
Co-authored-by: Robert Reif <reif@FX6840>
2020-12-15 22:28:58 +01:00
c6f8ca447e
Update z3 for appveyor build ( #2950 )
2020-12-15 12:51:01 +01:00
2eb326de83
Update workflows to Ubuntu 20.04 ( #2948 )
2020-12-15 10:59:09 +01:00
ecfabbcdbb
Fix Cppcheck warning nullPointerRedundantCheck
2020-12-15 07:11:13 +01:00
82635417d2
Bug hunting; Fixed array init
2020-12-14 22:15:10 +01:00
4e90356a76
Bug hunting; Code cleanup
2020-12-14 18:04:12 +01:00
116119083b
Bug hunting; Better result from function that returns unknown pointer result
2020-12-14 17:53:28 +01:00
ab3614b4e2
Bug hunting; Improved debug output for structs
2020-12-14 12:32:39 +01:00
da1375c9a3
Fix issue 10024: FP: nullPointerRedundantCheck when using a goto statement ( #2947 )
2020-12-14 11:13:47 +01:00
4d813a79ef
wxwidgets.cfg: Added support for more interfaces
2020-12-14 08:30:29 +01:00
a8a223ded2
windows.cfg: Added support for TerminateThread()
2020-12-14 08:26:25 +01:00
bf951ea5e6
Bug hunting; Fix for '*x=y'
2020-12-13 19:54:57 +01:00
ffde6278de
CI-Windows: Use Z3 4.8.9 ( #2946 )
2020-12-13 19:39:52 +01:00
38a055d2f3
ExprEngine: Better debug output for exceptions ( #2943 )
2020-12-13 16:54:22 +01:00
47f9870560
.clang-tidy: Add -llvmlibc-* suppressions ( #2942 )
...
llvmlibc-* are checks related to the LLVM-libc coding standards:
* https://clang.llvm.org/extra/clang-tidy/checks/llvmlibc-callee-namespace.html
* https://clang.llvm.org/extra/clang-tidy/checks/llvmlibc-implementation-in-namespace.html
* https://clang.llvm.org/extra/clang-tidy/checks/llvmlibc-restrict-system-libc-headers.html
They are used internally in LLVM development, and they are useless for
us. Moreover, when compiling Cppcheck with llvm toolchain, clang-tidy
will generate lots of warnings related to these checks
(see: https://youtrack.jetbrains.com/issue/CPP-21351 ).
2020-12-13 16:53:18 +01:00
8f71e62fd6
Fix Cppcheck warning
2020-12-13 16:47:50 +01:00
be4de06a97
TestExprEngine: Temporary convert ASSERT_EQUALS to TODO_ASSERT_EQUALS
2020-12-13 16:11:01 +01:00
36ab23f1f7
ExprEngine: Handle pointers to struct as function argument ( #2945 )
2020-12-13 16:02:35 +01:00
81c3ac738d
CI: Fix testrunner
2020-12-13 15:51:20 +01:00
6fb1a81eae
Bug hunting; more debug output
2020-12-13 14:05:35 +01:00
b18dc0fdbb
Bug hunting: Handle not better
2020-12-13 13:00:04 +01:00
0ccc5c695b
Bug hunting: prevent recursion in analysis when code calls self
2020-12-13 09:33:40 +01:00
be16b2c276
Bug hunting; better handling of early return
2020-12-13 09:13:26 +01:00
b85aa626ff
wxwidgets.cfg: Added support for more macros, found by daca@home
2020-12-13 01:32:01 +01:00
667cd7f9f8
windows.cfg: Added support for constants from wingdi.h
2020-12-13 01:21:49 +01:00
b02ef00e48
windows.cfg: Added support for constants from consoleapi3.h
2020-12-13 00:34:00 +01:00
2cf6217859
Travis: ExprEngine debug output was changed, corrected tests.
2020-12-12 21:29:28 +01:00
2e96cc932d
ExprEngine; Improved debug output, show constraints.
2020-12-12 21:23:38 +01:00
a7fb946ab8
ExprEngine: Clarify debug output a bit
2020-12-12 18:29:17 +01:00
ff7e99fd42
Merge branch 'main' of https://github.com/danmar/cppcheck into main
2020-12-12 17:36:46 +01:00
099d4ce574
donate_cpu: Add another header to auto detect BSD configuration.
2020-12-12 17:36:31 +01:00
cba8b99095
ExprEngine: Catch and handle exceptions in ExprData
2020-12-12 17:33:21 +01:00
4b079c8934
donate_cpu: Add rule for automatically activate bsd.cfg
2020-12-12 17:29:25 +01:00
d0f700305c
ExprEngine: Avoid analyzing unreachable execution paths
2020-12-12 15:22:49 +01:00
0dbff657ab
Add missing \n in help ( #2941 )
...
cppcheck --help printed:
--project-configuration=<config>
If used together with a Visual Studio Solution (*.sln)
or Visual Studio Project (*.vcxproj) you can limit
the configuration cppcheck should check.
For example: --project-configuration=Release|Win32 --max-configs=<limit>
Maximum number of configurations to check in a file
before skipping it. Default is '12'. If used together
with '--force', the last option is the one that is
effective.
A "\n" was missing before option --max-configs, and the doublequotes did
nothing.
2020-12-12 08:30:10 +01:00
Daniel Marjamäki
orbitcowboy
IOBYTE
Paul Fultz II
kskjerve
amai2012
Georgy Komarov
niooss-ledger