Commit Graph

11342 Commits

Author SHA1 Message Date
PKEuS 1677e2913e Regression test for #5061. 2014-03-26 12:17:27 +01:00
Matthias Krüger 5a7a155203 Ran dmake. 2014-03-26 10:25:34 +01:00
PKEuS 848d079c71 Refactorized detection of function usage in CheckUnusedFunction, fixed #5358 2014-03-26 09:12:41 +01:00
PKEuS 02f38772cc Refactorization: Use SymbolDatabase to find functions in CheckUnusedFunctions 2014-03-26 08:54:56 +01:00
Daniel Marjamäki d22da5e683 astyle formatting
[ci skip]
2014-03-26 06:56:13 +01:00
Daniel Marjamäki fa7ae1ae5b Fixed segfault when checking libusbx (daca2) 2014-03-26 06:51:56 +01:00
Daniel Marjamäki 6da9cca4ab fixed unit test that I broke by mistake 2014-03-25 21:45:25 +01:00
Daniel Marjamäki 8eeda150cf ValueFlow: Improved simplification inside for-loops 2014-03-25 21:40:36 +01:00
Daniel Marjamäki 87daf5783e buffer overflow: clean up old checking for negative index 2014-03-25 20:37:32 +01:00
PKEuS 019d4491fb Fixed compilation on Windows.
[ci skip]
2014-03-25 19:20:59 +01:00
Daniel Marjamäki e6b3af8c38 astyle 2014-03-25 18:40:50 +01:00
Troshin V.S 840fba7672 CLI: Add -l command line option 2014-03-25 18:35:59 +01:00
Daniel Marjamäki 05a7e7e008 astyle 2014-03-25 18:24:41 +01:00
Daniel Marjamäki c8004a8d31 Buffer overruns: Use ValueFlow to detect negative index 2014-03-25 18:22:22 +01:00
orbitcowboy 533a62a4c7 posix.cfg: Added support for more functions. 2014-03-21 16:09:45 +01:00
PKEuS 5083dd4273 Fixed two visual studio warnings 2014-03-24 18:14:23 +01:00
PKEuS 9b4b90f6a0 Avoid loading libraries multiple times in test suite
-> Massive speedup for test suite (especially on slow systems)
2014-03-24 09:59:05 +01:00
Daniel Marjamäki aa05bf0f16 ValueFlow: Improved abstract interpretation 2014-03-24 06:48:06 +01:00
Daniel Marjamäki 591209ffac Merge pull request #274 from matthiaskrgr/travis
travis: first build with clang, then with gcc, move the kernel checking job to be the last job.
2014-03-24 06:18:32 +01:00
Daniel Marjamäki 2a0716449f Fixed #5498 (C++0x11 default values for class fields and missing constructor) 2014-03-24 06:15:51 +01:00
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