Commit Graph

11435 Commits

Author SHA1 Message Date
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
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