Commit Graph

11072 Commits

Author SHA1 Message Date
Daniel Marjamäki dbc8273cb7 ValueFlow: improved abstract interpretation of for loops 2014-03-24 00:16:02 +01:00
Matthias Krüger 33965e9ab9 travis: first build with clang, then with gcc, move the kernel checking job to be the last job. 2014-03-23 20:47:27 +01:00
Daniel Marjamäki c14a3d67bb ValueFlow: Handle division by zero better in abstract interpretation 2014-03-23 20:37:56 +01:00
PKEuS 1be7bfa7fe Fixed crash on invalid code (#5603) 2014-03-23 20:08:16 +01:00
Daniel Marjamäki 6a5617e552 runastyle 2014-03-23 20:01:24 +01:00
Daniel Marjamäki 30fa187b30 Fixed #5549 (ValueFlow: Handle static variables better in valueFlowAfterAssign) 2014-03-23 17:57:27 +01:00
Daniel Marjamäki 568b9677d7 daca2: Added script that downloads all packages and save reduced archives in the folder ~/daca2-packages 2014-03-23 11:45:29 +01:00
PKEuS b26d9c148d Windows Installer: Always install std.cfg (#5318) 2014-03-23 11:15:53 +01:00
PKEuS 5f2067e401 Refactorized dead code elimination:
- Use library to get noreturn functions
- Fixed do-while simplification (#4940)
2014-03-23 10:59:41 +01:00
PKEuS 77c17100ec Bailout in private function usage checking for operators (#5059). 2014-03-23 10:06:14 +01:00
PKEuS 8d5be8c4a4 Fixed related issues to #5601 2014-03-22 22:35:20 +01:00
Martin Ettl 7e74ecca76 std.cfg: Added support for more C-functions. 2014-03-22 03:27:00 +01:00
Martin Ettl 3074b38dca std.cfg: Improved checking of memset. Added a constraint for the second parameter and do not all uninitialized usage. 2014-03-22 03:12:23 +01:00
PKEuS 58c2f372b9 Fixed false positive when noreturn function is defined (#5601, second attempt) 2014-03-22 19:55:13 +01:00
PKEuS 6395cb9b95 Syntax error on invalid enum (#5600) 2014-03-22 19:31:01 +01:00
Daniel Marjamäki b6276058da Value Flow: Improved abstract interpretation of arithmetical expressions 2014-03-22 19:02:33 +01:00
PKEuS 77c871035b Fixed false positive when noreturn function is defined (#5601) 2014-03-22 18:57:19 +01:00
Daniel Marjamäki 94476e387e astyle formatting 2014-03-22 18:43:57 +01:00
Daniel Marjamäki 7d2357de8d Refactoring. Use astIsFloat() 2014-03-22 18:42:29 +01:00
PKEuS 560cf397d3 Fixed C++11 right angle bracket issue #5150 2014-03-22 13:34:15 +01:00
Alexander Mai 6a08c27183 Fix segfault in variableIsUsedInScope() - loop variable not check against NULL 2014-03-22 11:14:11 +01:00
Alexander Mai e1c565357a Invalid code cause SIGSEGV since loop variable tok2 was not checked properly 2014-03-22 10:32:24 +01:00
Daniel Marjamäki fbd607d35d Fixed cygwin compilation 2014-03-22 09:57:43 +01:00
Daniel Marjamäki 7cc2595a7b htdocs: added daca2 results from cppcheck-1.64 2014-03-22 09:57:30 +01:00
Martin Ettl 2ecfb388d3 std.cfg: Removed checking second parameter of memset and probably fixing Travis failing. 2014-03-21 23:26:33 +01:00
Martin Ettl d160aef818 std.cfg: Fixed wrong second parameter of memset. It is allowed to be zero. 2014-03-21 23:04:29 +01:00
Martin Ettl d98eaa599f std.cfg: removed duplicate entries. 2014-03-21 22:46:05 +01:00
Martin Ettl 6da678b4e8 Added more functions to std.cfg. 2014-03-21 22:39:57 +01:00
Alexander Mai 29165f3e5f Add -rdynamic to the linker flags to allow obtaining a bracktrace 2014-03-21 22:33:07 +01:00
Martin Ettl 51ef7e118a Astyle running. 2014-03-21 21:37:09 +01:00
Martin Ettl 2b71bd6732 Merge branch 'master' of https://github.com/danmar/cppcheck 2014-03-21 21:31:39 +01:00
Alexander Mai cdd6d4df27 Removing a useless variable to fix cppcheck warning in its own code 2014-03-21 22:11:10 +01:00
Alexander Mai 37befc75ef In case of a loop within the class hierarchie Function::isImplicitlyVirtual_rec() was entering an endless loop. Tracking the previously analyzed types shall prevent this. 2014-03-22 08:49:28 +01:00
Martin Ettl 0f5d30c724 Extended std.cfg about more functions. 2014-03-21 21:31:12 +01:00
XhmikosR 1df5ccf315 daca2-report.py: add missing new line in the generated HTML.
[ci skip]
2014-03-21 20:38:02 +02:00
Martin Ettl cae9ea1403 Added more functions to std.cfg 2014-03-21 17:58:19 +01:00
Martin Ettl e00f50b850 Fixed #5597 and added abort() support to stdcfg. 2014-03-21 17:36:48 +01:00
PKEuS 49b25b05d9 Fixed crash in CheckBufferOverrun on garbage code (#5595) 2014-03-21 13:20:44 +01:00
orbitcowboy 1efcd670a1 Added support for exit() to std.cfg. 2014-03-20 06:49:44 +01:00
orbitcowboy 6507824a34 Added support for putchar() to std.cfg. 2014-03-20 05:49:38 +01:00
Daniel Marjamäki 430d6d398c Merge pull request #273 from matthiaskrgr/strip_whitespace
runastyle: add line which strips trailing whitspaces from cfg files (and run it on the files)
2014-03-21 11:24:59 +01:00
Matthias Krüger e8dd3e83cf runastyle: add line which strips trailing whitspaces from cfg files (and run it on the files) 2014-03-21 01:28:40 +01:00
orbitcowboy 80e3b49cfc Added support for ftell() and puts() to std.cfg. 2014-03-20 04:10:41 +01:00
Daniel Marjamäki 045e9e692b ValueFlow: restricted bailouts in for loops 2014-03-21 08:48:49 +01:00
Daniel Marjamäki fc014f055f ValueFlow: Removed wrong bailout 2014-03-21 08:33:45 +01:00
orbitcowboy 30006cf06f Added support for fputs() to std.cfg. 2014-03-20 02:13:41 +01:00
Daniel Marjamäki 54e7f34f4a Fixed #5584 (FP: Division by zero when function not declared) 2014-03-20 16:12:58 +01:00
orbitcowboy b37e9601c1 Added support for fgetc() to std.cfg. 2014-03-20 00:59:52 +01:00
XhmikosR be0fcefe1d Tabs to spaces.
[ci skip]
2014-03-20 09:02:14 +02:00
Daniel Marjamäki 22a5881bee Uninitialized variables: Experimental checking for passing const pointer to partially initialized struct to function. Ticket: #5586 2014-03-20 07:19:35 +01:00