Commit Graph

22284 Commits

Author SHA1 Message Date
Daniel Marjamäki 0cd2935dc7 Verification; Verify that function call argument values meet annotations 2019-12-25 09:23:07 +01:00
Daniel Marjamäki f0ac19514b Verification: Handle Cppcheck annotations __cppcheck_low__ and __cppcheck_high__ 2019-12-24 21:14:14 +01:00
Daniel Marjamäki 755e2d261c Fixed #9402 (ExprEngine: && and || in condition) 2019-12-24 15:52:02 +01:00
orbitcowboy 81bea120fc wxwidgets.cfg: Added support for more interfaces. 2019-12-24 15:40:54 +01:00
orbitcowboy 01c12ce1d9 wxwidgets.cfg: Added support for more interfaces. 2019-12-24 15:35:53 +01:00
Daniel Marjamäki 747a01f74d Verification; Check function argument values 2019-12-23 22:10:43 +01:00
Daniel Marjamäki 270140f1fa manual; add chapter about verification 2019-12-23 16:34:50 +01:00
Daniel Marjamäki e16395e1e4 test/verify/itc.py: minor tweaks 2019-12-23 11:23:56 +01:00
Daniel Marjamäki eb551728a5 Verification; Avoid FP for known values 2019-12-22 21:24:39 +01:00
Daniel Marjamäki 93f10da981 Verification; Detect errors after bailout 2019-12-22 21:03:43 +01:00
versat 5715ba7ce0 Donate CPU client test scripts: Use Python from shebang 2019-12-22 19:33:10 +01:00
orbitcowboy 92ddaa3acd wxwidgets.cfg: Fixed typo from previous commit. 2019-12-22 12:38:12 +01:00
orbitcowboy 2ca866f781 wxwidget.cfg: Added support for more interfaces. 2019-12-22 11:11:59 +01:00
orbitcowboy a8960e35a4 wxwidgets.cfg: Added support for more interfaces. 2019-12-21 22:47:32 +01:00
Daniel Marjamäki 208950a6a3 createrelease: update daca@home 2019-12-21 20:11:00 +01:00
versat 5d007bb9bb donate_cpu_lib.py: Enable library detection as planned after 1.90 release 2019-12-21 19:26:31 +01:00
versat 7216c3079c donate-cpu-server.py: Set OLD_VERSION to 1.90 2019-12-21 19:12:41 +01:00
orbitcowboy 1e3e270a55
Added OSS-fuzz badge 2019-12-21 13:32:26 +01:00
orbitcowboy 10f0796ff7 wxwidgets.cfg: Added support for more interfaces. 2019-12-21 13:15:38 +01:00
orbitcowboy b6e2fa2bdc wxwidgets.cfg: Added support for more interfaces. 2019-12-21 13:10:41 +01:00
orbitcowboy 37f5e3c16b wxwidgets.cfg: Added support for more interfaces. 2019-12-21 13:04:48 +01:00
orbitcowboy 384c9d884a wxwidgets.cfg: Added support for more interfaces 2019-12-21 12:48:14 +01:00
Daniel Marjamäki cb9381e620 Makefile: Set debug mode 2019-12-21 12:10:10 +01:00
PKEuS 8218120fd5 Moved function from .h to .cpp 2019-12-21 11:55:11 +01:00
Daniel Marjamäki 077e652de4 1.90: Makefile 2019-12-21 11:51:10 +01:00
Daniel Marjamäki 7f110f3ec3 Set version 2019-12-21 11:49:01 +01:00
Daniel Marjamäki 31f5bc8b9b Updated AUTHORS 2019-12-21 11:45:36 +01:00
Daniel Marjamäki 6890757986 Update Copyright year 2019-12-21 11:23:01 +01:00
orbitcowboy ba26807b41 wxwidgets.cfg: Added support for more interfaces. 2019-12-21 10:19:09 +01:00
Georgy Komarov 730ea4163b misra.py: Handle essential type categories for ternary operations (#2455)
This commit will add feature to detect essential type categories
for operators of ternary operation.

This fixes issues with rule 10.1 and close the following ticket:
https://trac.cppcheck.net/ticket/9543
2019-12-21 07:40:15 +01:00
Daniel Marjamäki fe23d017f3 Fixed #8419 (False positive accessMoved on int) 2019-12-21 07:39:14 +01:00
orbitcowboy 3b3016f49e wxwidgets.cfg: Added support for more interfaces. 2019-12-20 21:16:08 +01:00
Daniel Marjamäki c2f8fb5603 Fixed #9405 (false positive: (style, inconclusive) Boolean expression 'dqOpen' is used in bitwise operation. Did you mean '&&') 2019-12-20 19:38:30 +01:00
Daniel Marjamäki 33ec78fe6e Fixed #9036 (false positive: (style) Condition 's.x<127U' is always true) 2019-12-20 19:06:35 +01:00
Daniel Marjamäki bd83630f2e Fixed #8990 (False positive: struct member not used (union)) 2019-12-20 18:31:55 +01:00
Dmitry-Me 9133f9fe75 Improve test coverage for function arguments count 2019-12-20 18:28:32 +03:00
orbitcowboy e53fdc7c76 wxwidgets.cfg: Added support for more interfaces. 2019-12-20 14:56:40 +01:00
orbitcowboy c5ad8b9b03 wxwidgets.cfg: Added support for more interfaces. 2019-12-20 14:50:23 +01:00
orbitcowboy 7486325af5 wxwidgets.cfg: Added support for more interfaces. 2019-12-20 14:44:33 +01:00
Daniel Marjamäki 252c3a17fa Fixed #7107 (False positive iterators - using alias for container) 2019-12-20 12:13:26 +01:00
orbitcowboy 4285e16fe6 wxwidgets.cfg: Added support for more interfaces. 2019-12-20 11:49:58 +01:00
orbitcowboy 0d05707f77 wxwidgets.cfg: Added support for more interfaces. 2019-12-20 11:33:52 +01:00
orbitcowboy 7dff7e9388 wxwidgets.cfg: Added support for more interfaces. 2019-12-20 11:28:18 +01:00
orbitcowboy e98a7392fb wxwidgets.cfg: Added support for more interfaces. 2019-12-20 11:20:47 +01:00
orbitcowboy da1b17e4fb Merge branch 'master' of https://www.github.com/danmar/cppcheck 2019-12-20 09:48:03 +01:00
orbitcowboy 18b8db1e15 std.cfg: Added missing unsigned type qualifiers to 'UINT_XXX'-constants. 2019-12-20 09:47:42 +01:00
Daniel Marjamäki 9ffb657c1a Fixed #8597 (False positive - Array index is used before limits check.) 2019-12-20 09:46:01 +01:00
Daniel Marjamäki 02eaf6fa93 Fixed #8998 (False positive uninitStructMember related to reference to member) 2019-12-19 20:18:32 +01:00
Daniel Marjamäki c84ba10b37 Fixed #8774 (Wrong handling of function with name 'or') 2019-12-19 19:22:39 +01:00
Daniel Marjamäki 2a2fa49098 Thread safety: use std::atomic for global flags 2019-12-19 18:38:22 +01:00