Commit Graph

23712 Commits

Author SHA1 Message Date
Daniel Marjamäki 1ce5beb45f ExprEngine; refactoring if() 2020-12-20 14:51:03 +01:00
Daniel Marjamäki 1bf6a2f62b Summaries: Enhanced merge of noreturn info 2020-12-20 14:49:43 +01:00
orbitcowboy bf825ea14f wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:47:47 +01:00
orbitcowboy 84ab91c8b9 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:43:42 +01:00
orbitcowboy 9b161a8dd6 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:39:44 +01:00
orbitcowboy 98371f95f8 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:36:21 +01:00
orbitcowboy 9b3ff8271c wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:34:01 +01:00
orbitcowboy 0950a2671f wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:28:31 +01:00
orbitcowboy 6887b00ee4 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:10:07 +01:00
orbitcowboy 706ba3db06 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-20 14:06:20 +01:00
Heiko Bauke 077fcad4ee
fix compile-time rounding error and fix overflow check (#2937)
fixes implicit conversion from 'unsigned long long' to 'double' changes value from 18446744073709551615 to 18446744073709551616 [-Werror,-Wimplicit-int-float-conversion]
2020-12-20 08:09:39 +01:00
Daniel Marjamäki 7a7d51a548 Fixed Cppcheck warning. Using emplace is not allowed for now for compatibility reasons. 2020-12-20 07:52:09 +01:00
Daniel Marjamäki 28e33ef0b9 Fix Cppcheck performance warning stlFindInsert properly 2020-12-19 22:23:39 +01:00
Wolfgang Stöggl 079255d913
Fix gcc11 build errors (#2963) 2020-12-19 21:54:19 +01:00
Daniel Marjamäki d3d36dad2a Suppress false positive stlFindInsert 2020-12-19 21:53:23 +01:00
Daniel Marjamäki a493e17a6a Tweaks to use summaries in GUI 2020-12-19 20:46:00 +01:00
orbitcowboy c9881bb445 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-19 19:29:21 +01:00
orbitcowboy ed94b4967d wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-19 19:21:55 +01:00
orbitcowboy e3048c5b3f wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-19 19:07:33 +01:00
Daniel Marjamäki 96caaedbd5 Generate basic function summaries 2020-12-19 19:02:42 +01:00
Paul Fultz II a770342593
Fix crash in getInitListSize (#2960) 2020-12-19 12:23:19 +01:00
orbitcowboy d591b06ba7 windows.cfg: Added support for defines from 'ShlObj_core.h' 2020-12-19 09:25:42 +01:00
Daniel Marjamäki 1744cbaf66 astyle formatting
[ci skip]
2020-12-19 08:56:46 +01:00
miltolstoy 6366a577f9
feat(unused_var): analyze global variables inside function body (#2944) 2020-12-19 08:55:19 +01:00
Paul Fultz II 626dcd0eba
Fix issue 10037: False positive when passing variables to functions by address (#2957) 2020-12-19 08:29:37 +01:00
Paul Fultz II 2541b6034f
Fix issue 10049: False positive: generic reverse valueflow analysis (#2959) 2020-12-19 08:28:58 +01:00
orbitcowboy ad7a53e88c wxwidgets.cfg: Added support for more macros 2020-12-19 01:40:25 +01:00
orbitcowboy 4eb860eae0 wxwidgets.cfg: Added support for more macros 2020-12-19 01:36:57 +01:00
orbitcowboy e75e859401 wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-19 01:23:41 +01:00
orbitcowboy 97ff4d9f1e wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-19 00:37:16 +01:00
orbitcowboy 55a055639f wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-19 00:26:40 +01:00
Daniel Marjamäki 164c6b3441 Bug hunting; Detect array index out of bounds for multi dimensional arrays also 2020-12-18 21:32:23 +01:00
Daniel Marjamäki 33cde46068 astyle formatting
[ci skip]
2020-12-18 21:31:44 +01:00
Daniel Marjamäki 62a11f6490 Bug hunting; Fixed timeout 2020-12-18 20:41:10 +01:00
Daniel Marjamäki 1b0ca0811f Bug hunting; option to set function analysis max time 2020-12-18 19:59:10 +01:00
orbitcowboy 87468dff3b wxwidgets.cfg: Added support for more interfaces, found by daca@home 2020-12-18 16:45:10 +01:00
orbitcowboy 23c7621b24 donate_cpu_lib.py: Improved auto detection of bsd config 2020-12-18 13:23:41 +01:00
orbitcowboy 52e6bd76c4 donate_cpu_lib.py: Improved auto detection of bsd config 2020-12-18 13:21:49 +01:00
IOBYTE f2cf11682a
fix #10040 (symbolDatabaseWarning: debug: Executable scope 'x' with unknown function.) (#2955) 2020-12-18 07:46:01 +01:00
Paul Fultz II 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
Daniel Marjamäki 0b98053790 Fixed Cppcheck warning; Redundant assignment 2020-12-17 15:29:15 +01:00
Daniel Marjamäki 75f2ab20e8 Bug hunting; void* => might point at uninitialized data 2020-12-17 07:32:53 +01:00
Daniel Marjamäki 8619bfe957 Bug hunting; Remove old value from array when it is overwritten 2020-12-16 19:06:20 +01:00
kskjerve d4860f500a
MISRA 9.2 to 9.5 (#2954) 2020-12-16 17:28:54 +01:00
Paul Fultz II c9d2e55ea9
Fix issue 10035: FP: knownConditionTrueFalse when bool updated in for loop (#2953) 2020-12-16 17:25:21 +01:00
amai2012 fd520b45d7
CI: build oss-fuzz client using make (#2951) 2020-12-16 10:16:33 +01:00
IOBYTE 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
amai2012 c6f8ca447e
Update z3 for appveyor build (#2950) 2020-12-15 12:51:01 +01:00
amai2012 2eb326de83
Update workflows to Ubuntu 20.04 (#2948) 2020-12-15 10:59:09 +01:00
Daniel Marjamäki ecfabbcdbb Fix Cppcheck warning nullPointerRedundantCheck 2020-12-15 07:11:13 +01:00