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 |
|
PKEuS
|
49b25b05d9
|
Fixed crash in CheckBufferOverrun on garbage code (#5595)
|
2014-03-21 13:20:44 +01:00 |