walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity
24,411 Commits 13 Branches 88 Tags 170 MiB
Commit Graph

24411 Commits

Author SHA1 Message Date
Ken-Patrick Lehrmann aad723bf3a
Fix false positive AssignmentIntegerToAddress (#2971) 2020-12-24 19:57:02 +01:00
Oliver Stöneberg b091eaccbe
gnu.cfg: added *_FILENO defines (#2972) 2020-12-24 19:49:50 +01:00
orbitcowboy 9b5fc508bb posix.cfg: Added support for more macros (ref. https://man7.org/linux/man-pages/man2/access.2.html) 2020-12-24 14:22:05 +01:00
orbitcowboy 973d106ffa wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-24 14:14:46 +01:00
orbitcowboy f9d9911292 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-24 14:02:17 +01:00
orbitcowboy 53d4709cfe wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-24 13:55:26 +01:00
orbitcowboy fbcd965c22 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-24 02:00:40 +01:00
Paul Fultz II e12a733ee9
Fix issue 10053: False positive: Same value on both branches of ternary operator (#2962) 2020-12-23 13:37:28 +01:00
Daniel Marjamäki d1139db960 astyle formatting 
[ci skip]
 2020-12-22 21:30:15 +01:00
Daniel Marjamäki e4766c73dc ExprEngine; Use 60s as default maxtime processing a function, the analysis time will be somewhat reasonable 2020-12-22 21:09:24 +01:00
Georgy Komarov 259f562e73
ExprEngine: Add condition branches for the while loops (#2970) 2020-12-22 20:21:57 +01:00
Daniel Marjamäki a9e7974963 ExprEngine: use 'real' instead of 'fpa' values in latest Z3 for floats 2020-12-22 18:05:21 +01:00
Daniel Marjamäki 315892d991 ExprEngine; add a 'stupid' handling of floating point promotions for integers 2020-12-22 17:15:11 +01:00
Daniel Marjamäki 1812951640 ExprEngine; Fix problem when float suffix is used 2020-12-22 15:17:36 +01:00
Daniel Marjamäki 347fccb207 ExprEngine; Avoid overspecified constraints 2020-12-22 11:10:01 +01:00
orbitcowboy f4f3b1bc77 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-22 10:29:57 +01:00
orbitcowboy 0475504728 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-22 10:27:23 +01:00
amai2012 f0da9098b9
Set language compatibility to C++14 in Visual Studio (#2967) 
There is no C++11 flag
 2020-12-22 10:24:25 +01:00
orbitcowboy 27f394e52c wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-22 10:20:44 +01:00
orbitcowboy 208fdee1f3 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-22 10:17:29 +01:00
orbitcowboy 6e9adc65d6 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-22 10:12:47 +01:00
orbitcowboy 280dcedfa4 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-22 10:09:04 +01:00
orbitcowboy 178c5dd402 gtk.cfg: Added support for unknownMacros, found by daca@home 2020-12-22 09:44:52 +01:00
Georgy Komarov 0731df7d2d
ExprEngine: Add FP and String literals in determining that condition can (#2969) 2020-12-22 09:25:54 +01:00
Daniel Marjamäki fcb496fb40 Fixed compiler error 2020-12-22 08:17:14 +01:00
Daniel Marjamäki f6447cc546 ExprEngine; Wrap z3 interface that is not the same in different z3 versions 2020-12-22 08:13:40 +01:00
Daniel Marjamäki 13ed2effa1 astyle formatting 
[ci skip]
 2020-12-22 08:09:51 +01:00
IOBYTE 2ecab32fbe
fix debug printing of valuetype name with namespaces (#2968) 2020-12-21 19:47:54 +01:00
Daniel Marjamäki 01ac4073c8 TestExprEngine: Fix for ubuntu 18.04. Replace '(/ 123.0 10.0)' with '12.3' 2020-12-21 15:29:05 +01:00
Daniel Marjamäki c3e798968c ExprEngine; Fix floating point comparison 2020-12-21 13:28:10 +01:00
kskjerve c22290f5a3
Fix #10043 unexpected designator (#2966) 2020-12-21 13:25:41 +01:00
Georgy Komarov 86f1ee5267
ExprEngine: Add workarounds for z3 bugs with FP comparisson (#2965) 2020-12-21 12:32:26 +01:00
abhijit-sawant 7d6fc23022
Checking in fix for issue 9957 - - False negative: duplInheritedMember (#2964) 2020-12-21 07:14:52 +01:00
orbitcowboy 69f5a0df72 wxsvg: Added missing args 2020-12-20 22:04:36 +01:00
orbitcowboy eff8ed8b7d Added wxSVG configuration 2020-12-20 22:01:02 +01:00
Daniel Marjamäki 47bb487c95 Visual Studio; Try to fix compilation 2020-12-20 21:01:45 +01:00
Daniel Marjamäki 37a5ec8cd5 Summaries: Moved to its own files 2020-12-20 19:53:58 +01:00
Daniel Marjamäki 5701f6d368 ExprEngine: Added ifIntRangeAlwaysFalse and ifIntRangeAlwaysTrue tests 2020-12-20 19:04:46 +01:00
Daniel Marjamäki 229e39e7de Revert "ExprEngine: Fixed float value" 
This reverts commit 1f9edc6a66.
 2020-12-20 16:36:22 +01:00
Daniel Marjamäki 40e24cf417 Revert "ExprEngine; Try to fix assertion failure for floats" 
This reverts commit aaabc74b9f.
 2020-12-20 16:36:11 +01:00
Daniel Marjamäki aaabc74b9f ExprEngine; Try to fix assertion failure for floats 2020-12-20 16:31:53 +01:00
orbitcowboy 734a4145e7 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 16:01:33 +01:00
orbitcowboy d785ff9e50 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 15:50:40 +01:00
orbitcowboy 1513dd06b2 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 15:44:32 +01:00
Daniel Marjamäki 1f9edc6a66 ExprEngine: Fixed float value 2020-12-20 15:22:11 +01:00
orbitcowboy 96bb7913d5 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 15:14:11 +01:00
orbitcowboy 8d00505cfc wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 15:10:16 +01:00
orbitcowboy e6f9636757 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 15:07:02 +01:00
orbitcowboy 2ac3f17413 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 15:00:38 +01:00
Daniel Marjamäki 1ce5beb45f ExprEngine; refactoring if() 2020-12-20 14:51:03 +01:00