Robert Reif
|
ee7ad272d6
|
variable usage: fix false positives when __attribute__ is used. Ticket: #1792
|
2010-06-16 18:04:31 +02:00 |
|
Robert Reif
|
7dba21858a
|
simplify the alias handling in the checking of variable usage. Ticket: #1729
|
2010-06-16 18:00:21 +02:00 |
|
Robert Reif
|
61e7e759f0
|
Fixed #1798 (structure templates)
|
2010-06-16 07:13:52 +02:00 |
Daniel Marjamäki
|
dc12a9b3b5
|
Fixed #1545 (new check: usage of iterator pointing to invalid memory after reserve)
|
2010-06-15 19:53:09 +02:00 |
|
Daniel Marjamäki
|
a42273da63
|
Fixed #887 (Tokenizer: Simplify variable value after loop)
|
2010-06-15 17:56:14 +02:00 |
Zachary Blair
|
efefceabae
|
Fixed #920 (new style check: find empty catch blocks)
|
2010-06-14 23:45:46 -07:00 |
Reijo Tomperi
|
c27e631aa2
|
Add testthreadexecutor.cpp
|
2010-06-14 23:18:09 +03:00 |
|
Robert Reif
|
98ae660260
|
Fixed #1792 (false positive: Variable 'test' is assigned a value that is never used)
|
2010-06-14 15:46:57 +02:00 |
|
Daniel Marjamäki
|
cb7e9fbec1
|
Fixed #1776 (False Negative: Unitialized array)
|
2010-06-14 08:36:34 +02:00 |
|
Daniel Marjamäki
|
e987d2e05b
|
Memory leaks: more specific bailouts to reduce false negatives
|
2010-06-13 19:00:11 +02:00 |
|
Daniel Marjamäki
|
37ade20dad
|
Added testcase for #1557 (false positive: memory leak)
|
2010-06-13 10:43:23 +02:00 |
|
Daniel Marjamäki
|
5de124280a
|
Fixed #1783 (false positive: uninitalized variable in constructor/operator=, when calling overloaded functions)
|
2010-06-13 10:23:59 +02:00 |
|
Daniel Marjamäki
|
70bfa890a8
|
Fixed #1718 (Tokenizer add close braces to for loop at wrong place when if-else presents inside)
|
2010-06-13 08:00:46 +02:00 |
|
Robert Reif
|
18bb7488b9
|
Fixed #1787 (false negative: out of bounds in derived class)
|
2010-06-13 07:17:50 +02:00 |
|
Daniel Marjamäki
|
76221c0916
|
Fixed #1510 (false positive '(possible error) Memory leak' when 'a = b = new ...; delete a' (but not b))
|
2010-06-12 13:37:44 +02:00 |
|
Daniel Marjamäki
|
3a4a151cc4
|
reverted 'added a todo testcase for ticket #1788'
|
2010-06-12 08:36:10 +02:00 |
|
Daniel Marjamäki
|
f3fbdc96e1
|
Fixed #1788 (Tokenizer: template destructor is lost)
|
2010-06-12 08:32:05 +02:00 |
Martin Ettl
|
69ecc24bf5
|
added a few testcases for checking memory leaks in classes
|
2010-06-11 13:33:10 +02:00 |
|
Martin Ettl
|
81828742ac
|
added a todo testcase for ticket #1788
|
2010-06-11 13:23:10 +02:00 |
|
Martin Ettl
|
be9c23cb1a
|
added todo-testcase for ticket #1401
|
2010-06-10 22:49:34 +02:00 |
|
Robert Reif
|
3d2c28a524
|
Fixed #1784 (false positive: Variable is not assigned a value)
|
2010-06-10 07:21:47 +02:00 |
|
Robert Reif
|
6b65b77acf
|
Fixed #1782 ((error) ### Internal error in Cppcheck. Please report it.)
|
2010-06-10 07:18:55 +02:00 |
|
Daniel Marjamäki
|
e64ce2e812
|
Fixed #1781 (false positive: uninitialized variable when using asm statement in macro)
|
2010-06-09 21:28:15 +02:00 |
|
Martin Ettl
|
c9cd5ea250
|
added a todo testcase for ticket 1778
|
2010-06-09 01:21:52 +02:00 |
|
Robert Reif
|
00dcec47ac
|
Variable usage: read variable when using syntax '..=*(p);'
|
2010-06-08 18:26:14 +02:00 |
|
Robert Reif
|
f37a7ba934
|
Variable usage: Added TODO testcases for handling pointer alias. Ticket: #1729
|
2010-06-06 20:37:48 +02:00 |
|
Martin Ettl
|
0d34416bce
|
added TODO_TESTCASE for ticket 1734: Array index out of bounds
|
2010-06-06 16:20:50 +02:00 |
|
Martin Ettl
|
2b557cee45
|
added a TODO testcase for ticket 1724
|
2010-06-06 12:46:08 +02:00 |
|
Daniel Marjamäki
|
472bd9dabe
|
Fixed #1726 (False negative: null pointer dereference in switch block)
|
2010-06-06 12:15:31 +02:00 |
|
Daniel Marjamäki
|
e140ff6e84
|
Memory leaks: skipping function call inside allocation
|
2010-06-06 11:22:59 +02:00 |
|
Daniel Marjamäki
|
a9196e8710
|
Memory leaks: Added allocation function 'g_strdup_printf'
|
2010-06-06 11:09:19 +02:00 |
|
Daniel Marjamäki
|
68ad8219ed
|
Fixed #1722 (Member variable initialized in call to base class constructor)
|
2010-06-06 08:29:35 +02:00 |
|
Martin Ettl
|
f75ca79849
|
applied patch from php-coder from ticket 1724; removed TODO_TESTCASES;
|
2010-06-05 19:49:49 +02:00 |
|
Daniel Marjamäki
|
07e00d57d9
|
Fixed #1725 (segfault in ExecutionPath::bailOutVar (probably caused by #1721 fix))
|
2010-06-05 09:45:35 +02:00 |
Leandro Lisboa Penz
|
4ac7da7d51
|
Fixed #73 (memory leaks not found when calling a function that returns allocated memory through a parameter)
|
2010-06-04 20:58:50 -03:00 |
|
Daniel Marjamäki
|
b11e23eb08
|
Fixed #1721 (False negative: uninitialized variable in switch block)
|
2010-06-03 20:02:58 +02:00 |
|
Martin Ettl
|
90a3d29d70
|
run astyle
|
2010-06-03 18:23:16 +02:00 |
|
Martin Ettl
|
156a29815f
|
removed a wrong const declaration
|
2010-06-03 12:55:56 +02:00 |
|
Martin Ettl
|
7b52284177
|
added a testcase and todo testcases for ticket #1724
|
2010-06-03 12:51:42 +02:00 |
|
Robert Reif
|
4c4844b722
|
Fixed #1723 (Variable assigned value which is never used but is thrown)
|
2010-06-03 07:05:57 +02:00 |
|
Daniel Marjamäki
|
cb43168d81
|
Fixed #1720 (segmentation fault of cppcheck)
|
2010-06-02 18:10:32 +02:00 |
|
Daniel Marjamäki
|
5789eb116d
|
astyle formatting
|
2010-06-02 18:09:25 +02:00 |
|
Zachary Blair
|
33b4254d33
|
Fixed #568 (string functions with command line arguments may overflow buffer)
|
2010-06-01 22:41:07 -07:00 |
|
Daniel Marjamäki
|
a8f38e55dc
|
Added unit test for ticket #1720
|
2010-06-01 20:00:43 +02:00 |
|
Daniel Marjamäki
|
45821b3871
|
Fixed #1719 (False negative: memory leak (fgets in condition))
|
2010-05-31 18:20:34 +02:00 |
|
Daniel Marjamäki
|
9b1ed1112b
|
Memory leaks: Fixed bug in CheckMemoryLeak::functionReturnType
|
2010-05-30 20:30:08 +02:00 |
|
Daniel Marjamäki
|
08b6e6ee09
|
Fixed #1717 (False positive: Resource leak with while)
|
2010-05-30 13:15:15 +02:00 |
|
Daniel Marjamäki
|
83c62eca9c
|
Tokenizer: simplify loops that continue while errno is EINTR
|
2010-05-30 12:49:39 +02:00 |
|
Daniel Marjamäki
|
37ae4692bb
|
Uninitialized variables: fixed false negative when using uninitialized variable inside malloc call
|
2010-05-30 10:30:51 +02:00 |
|
Daniel Marjamäki
|
1ec49430e3
|
Uninitialized variables: better handling when uninitialized variables are used in function calls
|
2010-05-30 09:31:10 +02:00 |
|
Daniel Marjamäki
|
ab41879246
|
ExecutionPath: Better handling of 'FOREACH (..) {}'
|
2010-05-30 09:00:18 +02:00 |
|
Daniel Marjamäki
|
f41334e58a
|
ExecutionPath: better handling of 'FOREACH(..){..}'
|
2010-05-30 08:26:44 +02:00 |
|
Daniel Marjamäki
|
406cbda563
|
Uninitialized variables: better handling of struct variables
|
2010-05-30 07:55:11 +02:00 |
|
Daniel Marjamäki
|
46b5e4e79a
|
Fixed #1716 (Wrong reporting of leak with close() in a while loop condition)
|
2010-05-29 22:20:10 +02:00 |
|
Daniel Marjamäki
|
0c6352a826
|
Memory leaks: small fixes. add checking of 'g_fopen'. don't let 'fclose' calls be interpreted as 'callfunc'
|
2010-05-29 21:56:18 +02:00 |
|
Daniel Marjamäki
|
495dfde32c
|
Fixed #1716 (Wrong reporting of leak with close() in a while loop condition)
|
2010-05-29 21:11:59 +02:00 |
|
Daniel Marjamäki
|
24703418bd
|
Fixed #1715 (switch with fallthrough and 'return' confuses cppcheck)
|
2010-05-29 20:55:09 +02:00 |
|
Daniel Marjamäki
|
d09e1df0d7
|
Fixed #1714 (Wrong precedence for shift operators when simplifying calculations?)
|
2010-05-29 20:27:08 +02:00 |
|
Daniel Marjamäki
|
b702b8542d
|
Memory leaks: enabled the leaks checking when members are not deallocated in the destructor. This checking was previously an --all check so there could be false positives.
|
2010-05-29 19:29:59 +02:00 |
|
Daniel Marjamäki
|
7601089bee
|
astyle formatting
|
2010-05-29 11:19:56 +02:00 |
|
Daniel Marjamäki
|
82f030df2c
|
the virtual destructor error message needs to be restricted. marked the checking as inconclusive for now.
|
2010-05-29 11:19:28 +02:00 |
|
Zachary Blair
|
fe1fa4022d
|
Merge branch 'master' of github.com:danmar/cppcheck
|
2010-05-28 22:53:54 -07:00 |
|
Robert Reif
|
1a25183e8f
|
Fixed #1671 (simplifyTypedef: support for more typedefs)
|
2010-05-29 07:52:06 +02:00 |
|
Zachary Blair
|
59086fa599
|
Fixed #818 (Detect sprintf buffer overrun with struct members)
|
2010-05-28 22:51:28 -07:00 |
|
Robert Reif
|
3fb0260ef1
|
Fixed #1713 (remove Microsoft variants of inline)
|
2010-05-29 07:43:58 +02:00 |
|
Robert Reif
|
26a7d29760
|
Fixed #1671 (simplifyTypedef: support for more typedefs)
|
2010-05-28 06:55:54 +02:00 |
|
Daniel Marjamäki
|
d3c20cac81
|
Fixed #1712 (False negative: dereferencing uninitialized pointer)
|
2010-05-27 19:00:52 +02:00 |
|
Robert Reif
|
dc34a1b3ff
|
Fixed #1711 (Wrong typedef name shown when struct declared with __attribute__)
|
2010-05-27 18:15:42 +02:00 |
|
Robert Reif
|
8881a0c361
|
Fixed #1671 (simplifyTypedef: support for more typedefs)
|
2010-05-27 07:00:33 +02:00 |
|
Robert Reif
|
176b41caa5
|
Fixed #1709 (char buffer that is only accessed with pointers is marker not assigned)
|
2010-05-26 19:22:35 +02:00 |
|
Daniel Marjamäki
|
d23f63c805
|
astyle formatting
|
2010-05-26 19:21:34 +02:00 |
|
Daniel Marjamäki
|
88e9a4ade6
|
Fixed #1704 (false negative: null pointer dereference)
|
2010-05-26 19:16:42 +02:00 |
|
Zachary Blair
|
619cfbc56f
|
Fixed #168 (buffer overflow: not enough room for the null terminator)
|
2010-05-26 01:56:34 -07:00 |
|
Robert Reif
|
019e1f9dfe
|
Fixed #1671 (simplifyTypedef: support for more typedefs)
|
2010-05-25 20:43:44 +02:00 |
|
Robert Reif
|
4306082fcf
|
Fixed #1708 (False positive for const)
|
2010-05-25 06:55:49 +02:00 |
|
Daniel Marjamäki
|
5692e7a6f6
|
Fixed #1707 (false positive: Memory leak)
|
2010-05-24 19:28:27 +02:00 |
|
Daniel Marjamäki
|
c5b946f9b7
|
Unit Testing: Added a few more test cases related to ticket #1700
|
2010-05-23 21:03:14 +02:00 |
|
Daniel Marjamäki
|
bf8ef94f0c
|
Unit Testing: Added test case for ticket 1700
|
2010-05-23 20:56:51 +02:00 |
|
Daniel Marjamäki
|
78255fdfc5
|
Tokenizer: Removed the Tokenizer::simplifyNamespaces. Ticket: #1700
|
2010-05-23 13:51:41 +02:00 |
|
Robert Reif
|
b20cf06b66
|
Fixed #1671 (simplifyTypedef: support for more typedefs)
|
2010-05-23 10:46:39 +02:00 |
|
Robert Reif
|
048733a15e
|
false positive: Variable is assigned a value that is never used
|
2010-05-23 10:41:05 +02:00 |
|
Daniel Marjamäki
|
75c9355e9a
|
Added some multipass checking for the uninitialized variables. It is still experimental. You can activate it with the '--test-2-pass' switch. Some more refactorings are needed to make it truly usable, the main thing is to make it thread safe.
|
2010-05-21 19:35:18 +02:00 |
|
Robert Reif
|
78614b8dc1
|
Fixed #1699 (False positive: The function '...' can be const)
|
2010-05-20 17:45:10 +02:00 |
|
Robert Reif
|
5dfbb38dc9
|
#1697 (false positive: The function can be const)
|
2010-05-20 06:52:59 +02:00 |
|
Daniel Marjamäki
|
c31accc52a
|
Fixed #1695 (Ticket #1614 is broken using latest from git)
|
2010-05-19 19:23:09 +02:00 |
|
Daniel Marjamäki
|
f87eb774eb
|
Fixed #1646 (False positive: array access after return cannot have default loop value)
|
2010-05-18 19:55:23 +02:00 |
|
Robert Reif
|
41c43c1790
|
Fixed #1691 (False positive: Function parameter 'x' is passed by value. It could be passed by reference instead.)
|
2010-05-18 18:20:11 +02:00 |
|
Zachary Blair
|
1539c0b3d2
|
Fixed #1649 (add a warning for potential memory leaks when using realloc)
|
2010-05-17 22:46:48 -07:00 |
|
Robert Reif
|
0d7474042a
|
Fixed #1685 (segmentation fault of cppcheck)
|
2010-05-18 07:11:23 +02:00 |
|
Robert Reif
|
9dfbd3946a
|
Fixed #1673 (Tokenizer::simplifyTypedef causes segfault for boost library)
|
2010-05-17 19:58:27 +02:00 |
|
Daniel Marjamäki
|
f8442391af
|
astyle formatting
|
2010-05-17 19:51:35 +02:00 |
|
Daniel Marjamäki
|
49c9413798
|
Visual Studio 2008: Updated test project
|
2010-05-17 19:36:52 +02:00 |
|
Daniel Marjamäki
|
268fe0175d
|
asd
|
2010-05-17 19:18:05 +02:00 |
Monika Lukow
|
71e5c56bf9
|
Fixed #1418 (false negative: buffer access out of bounds)
|
2010-05-16 23:53:42 +02:00 |
Erik Lax
|
20289b1f5b
|
Fixed #1683 (false positive: The function can be const)
|
2010-05-16 20:26:32 +02:00 |
|
Daniel Marjamäki
|
56d176e1ce
|
Fixed #1684 (false positive: buffer access out of bounds when using extern variable declaration)
|
2010-05-16 20:21:22 +02:00 |
|
Daniel Marjamäki
|
d0e122079f
|
Refactoring: Removed possibleError messages from CheckMemoryLeaks
|
2010-05-16 19:55:16 +02:00 |
|
Erik Lax
|
19aaa32a99
|
Fixed #1688 (Tokenizer::simplifyKnownVariables and pointer assignments)
|
2010-05-16 19:38:44 +02:00 |
|
Daniel Marjamäki
|
01034cd48d
|
Refactoring: Removed 'possible error' message about cin
|
2010-05-16 19:09:36 +02:00 |
|
Daniel Marjamäki
|
26fab24de4
|
Refactoring: Removed some inconclusive checking in CheckBufferOverrun
|
2010-05-16 15:30:39 +02:00 |
|
Daniel Marjamäki
|
6edb2e77b4
|
Refactoring: Removed Severity::possibleStyle
|
2010-05-16 14:43:42 +02:00 |
|
Daniel Marjamki
|
14b27f97fa
|
Fixed #1212 (Allow giving used defines in command line)
|
2010-05-16 07:38:29 +02:00 |
|
Daniel Marjamki
|
d7b117402c
|
Code cleanup: Removed autodealloc handling
|
2010-05-16 07:15:31 +02:00 |
|
Daniel Marjamki
|
8e3c39ae5b
|
Fixed #1678 (false positive: Member variable not initialized in the constructor, for arrays of undefined type)
|
2010-05-15 20:24:11 +02:00 |
|
Erik Lax
|
c0149d3cd1
|
Fixed #1679 (Bad iterators checks fails to detect bugs with indent levels)
|
2010-05-15 20:00:41 +02:00 |
|
Erik Lax
|
0510d9a2b0
|
Fixed #1680 (Bad iterators checks fail to detect invalidation of iterator for deletion by value)
|
2010-05-15 19:46:42 +02:00 |
|
Daniel Marjamki
|
70d20ac544
|
Fixed #1681 (false negative: memory leak in operator =)
|
2010-05-15 19:40:32 +02:00 |
|
Daniel Marjamki
|
972046c4bd
|
Added test CheckOther::sizeofsizeof. Inspired by #1682
|
2010-05-15 14:06:45 +02:00 |
|
Daniel Marjamki
|
85afa86da3
|
astyle formatting
|
2010-05-14 18:40:37 +02:00 |
|
Daniel Marjamki
|
8b1ffefd74
|
Fixed #1682 (Internal error)
|
2010-05-14 18:40:15 +02:00 |
Konrad Windszus
|
c39f80d361
|
Ticket #1318: Make sure error ids are unique
|
2010-05-13 22:14:29 +02:00 |
|
Robert Reif
|
f8cceface5
|
Fixed #1677 (False positive: (style) Variable 'xxx' is assigned a value that is never used)
|
2010-05-13 13:59:41 +02:00 |
|
Martin Ettl
|
1382832bd0
|
mathlib:isInt() now handles calles of 'u' and 'l' correctly; testcases added
|
2010-05-12 23:49:09 +02:00 |
|
Robert Reif
|
963108d957
|
Fixed #1671 (simplifyTypedef: support for more typedefs)
|
2010-05-11 21:41:33 +02:00 |
|
Daniel Marjamäki
|
84c3ec9c4c
|
Fixed #1669 (Still seeing 'possible style' warnings in 1.43)
|
2010-05-10 21:22:59 +02:00 |
|
Daniel Marjamäki
|
5d01047ae4
|
Fixed #1665 ('If you see this, there is a bug': Token::Match('%var% ( %varid% [,)]', 0))
|
2010-05-10 18:11:02 +02:00 |
|
Robert Reif
|
a390f3c8f4
|
Better handling of function pointer typedef
|
2010-05-10 17:50:40 +02:00 |
|
Robert Reif
|
ac7515cdcc
|
Fixed #1666 (simplifyTypedef: add support for typedefs of functions)
|
2010-05-10 07:12:06 +02:00 |
|
Daniel Marjamäki
|
d7118c4d36
|
Fixed #1648 (mismatch allocate and deallocate calls.)
|
2010-05-09 13:46:13 +02:00 |
|
Daniel Marjamäki
|
7c52c8683d
|
Fixed #1662 (false positive: Data is allocated but not initialized, when using sprintf)
|
2010-05-09 07:48:52 +02:00 |
|
Robert Reif
|
be35b72c7e
|
Fixed #1660 (false positive: Variable is assigned a value that is never used, when using cast)
|
2010-05-09 07:15:40 +02:00 |
|
Robert Reif
|
87a54580a8
|
Added unit test for #5
|
2010-05-09 07:10:51 +02:00 |
|
Daniel Marjamäki
|
8971d697b2
|
Fixed #1656 (dangerous usage of erase not detected: for (; it != it2; ++it) ints.erase(it);)
|
2010-05-08 20:11:15 +02:00 |
|
Daniel Marjamäki
|
2901434773
|
Fixed #1658 (false negative: uninitialized pointer usage)
|
2010-05-08 19:23:46 +02:00 |
|
Daniel Marjamäki
|
bd22a18dc1
|
Refactoring: Changed 'possible style' to 'style'
|
2010-05-08 09:49:01 +02:00 |
|
Daniel Marjamäki
|
d19dd2c61d
|
Fixed #1654 (False positive: Memory leak with: ( delete ( p ) , ( p ) = 0 );)
|
2010-05-07 18:37:50 +02:00 |
|
Zachary Blair
|
21b7eb61f5
|
Fixed #959: (new check: wrong usage of fflush()) Simplified and set severity to error
|
2010-05-06 23:08:10 -07:00 |
|
Daniel Marjamäki
|
c8c5f95721
|
Fixed #1651 (Tokenizer::setVarId wrong handling of return statement)
|
2010-05-06 18:40:52 +02:00 |
|
Daniel Marjamäki
|
95f3533252
|
Robert Reif <reif@earthlink.net>
refactoring chained assignments
|
2010-05-05 19:34:03 +02:00 |
|
Daniel Marjamäki
|
af4c4cef34
|
Fixed #1646 (False positive: array access after return cannot have default loop value)
|
2010-05-05 18:29:56 +02:00 |
|
Robert Reif
|
4c95264d29
|
Fixed #1647 (False positive: buffer is not assigned value (assigned through alias))
|
2010-05-05 17:31:07 +02:00 |
|
Daniel Marjamäki
|
612be2557b
|
Fixed #1646 (False positive: array access after return cannot have default loop value)
|
2010-05-04 20:02:47 +02:00 |
|
Robert Reif
|
7ce70777a4
|
Fixed #1643 (Variable usage (pointer is assigned but never used))
|
2010-05-04 17:28:03 +02:00 |
|
Robert Reif
|
eb276346c5
|
Fixed #1639 (False positive: unused variable value (pointer aliasing))
|
2010-05-04 17:26:09 +02:00 |
|
Zachary Blair
|
707d27f3d8
|
Fixed #959 (new check: wrong usage of fflush())
|
2010-05-03 23:14:45 -07:00 |
|
Daniel Marjamäki
|
804b2a0952
|
Fixed #1642 (Tokenizer::simplifyKnownVariables: simplify after loop)
|
2010-05-02 14:41:21 +02:00 |
|
Daniel Marjamäki
|
0415560912
|
refactoring: changed the severity for strncatUsage from possibleError to style
|
2010-05-02 09:54:08 +02:00 |
|
Daniel Marjamäki
|
883d462553
|
refactoring: Use style severity instead of possible error for the 'The size argument is given as a char constant'
|
2010-05-02 09:16:45 +02:00 |
|
Daniel Marjamäki
|
136b84eaf5
|
STL: added testcase for 'if (str.find(%any%)) ..'
|
2010-05-01 21:56:39 +02:00 |
|
Daniel Marjamäki
|
ae576be088
|
refactoring: enable the 'suspicious pointer subtraction' checking
|
2010-05-01 21:43:47 +02:00 |
|
Robert Reif
|
6eb16e0f16
|
Fixed #1640 (False negative: Unused value (variable is assigned but never read))
|
2010-05-01 21:15:14 +02:00 |
|
Daniel Marjamäki
|
dfde9772e2
|
astyle formatting
|
2010-05-01 11:54:04 +02:00 |
Slava Semushin
|
f50d182750
|
Fixed #1574 (chain assignments could be simplified)
http://sourceforge.net/apps/trac/cppcheck/ticket/1574
|
2010-05-01 15:28:35 +07:00 |
|
Daniel Marjamäki
|
080374dc04
|
Fixed #1638 (Tokenizer::simplifyKnownVariables: removing variable declaration)
|
2010-05-01 10:09:53 +02:00 |
|
Robert Reif
|
4014bd234f
|
Unit testing: Improved test coverage for variable usage checking
|
2010-05-01 09:26:47 +02:00 |
|
Robert Reif
|
1fa1ff8d14
|
Fixed #1636 (Fix false positive with strncpy termination check)
|
2010-04-30 21:36:48 +02:00 |
|
Robert Reif
|
5738f34872
|
Fixed #1622 (False positive: buf is not assigned a value (pointer aliasing))
|
2010-04-30 18:11:51 +02:00 |
|
Robert Reif
|
70d475f8c2
|
Fixed #1622 (False positive: buf is not assigned a value (pointer aliasing))
|
2010-04-29 07:10:50 +02:00 |
|
Daniel Marjamäki
|
cccccff96f
|
Fixed #1629 (False negative: null pointer derefence not detected 'c[0] = 0')
|
2010-04-28 22:07:39 +02:00 |
|
Daniel Marjamäki
|
2666aad207
|
Fixed #1632 (false positive: unintialized variable)
|
2010-04-28 21:33:11 +02:00 |
|
Daniel Marjamäki
|
d3b5c30c6c
|
Fixed #1628 (false negative: memory leak when using redundant braces)
|
2010-04-27 20:43:31 +02:00 |
|
Robert Reif
|
f0018100e1
|
Variable usage: Use variable id instead of variable name to identify variable
|
2010-04-27 05:05:32 +02:00 |
|
Daniel Marjamäki
|
0444ff5298
|
Fixed #1627 (###### If you see this, there is a bug ###### - Token::Match('%varid% [ %num% ]', 0))
|
2010-04-26 18:52:40 +02:00 |
|
Daniel Marjamäki
|
6bb93b5eb7
|
Fixed #943 (Tokenizer: improve handling of pointer aliasing)
|
2010-04-25 15:12:47 +02:00 |
|
Daniel Marjamäki
|
eb82a89758
|
ExecutionPath: Better handling of if
|
2010-04-25 11:55:57 +02:00 |
Daniel Marjamäki
|
1a34e7daf6
|
Fixed #948 (array index out of bound not detected 'a[i-1] = 0')
|
2010-04-25 07:34:50 +02:00 |
|
Daniel Marjamäki
|
e068979d62
|
Fixed #1440 (false negative: memory leak (function parameters))
|
2010-04-24 22:24:03 +02:00 |
|
Daniel Marjamäki
|
8ccd95a643
|
Fixed #836 (buffer overrun: memmove)
|
2010-04-24 21:48:58 +02:00 |
|
Daniel Marjamäki
|
5e5b8d3861
|
Fixed #1146 (improve check: memory leak not detected (allocation in subfunction))
|
2010-04-24 20:40:57 +02:00 |
|
Daniel Marjamäki
|
a15e25f9fe
|
Fixed #1571 ('C-style pointer casting' should not be reported for C files)
|
2010-04-24 16:46:09 +02:00 |
|
Daniel Marjamäki
|
6b52730d4e
|
Fixed #1616 (false positive - Upon exception there is a memory leak)
|
2010-04-24 14:51:10 +02:00 |
|
Daniel Marjamäki
|
f3bea249ac
|
Removed the check for unreachable code. The g++ warning -Wunreachable-code is recommended instead. This closes #1603 (break after a return or goto should not be an error in a switch statement).
|
2010-04-24 14:30:45 +02:00 |
|
Daniel Marjamäki
|
1eafe45c47
|
Redundant assignment: Added TODO testcase for detecting redundant assignment in inner scope
|
2010-04-24 12:21:26 +02:00 |
|
Daniel Marjamäki
|
e6f640d816
|
unit testing: Added TODO test case for unused variables when using pointer aliasing. Related with ticket #1622
|
2010-04-24 10:35:41 +02:00 |
|
Robert Reif
|
2bdcf3b5b2
|
variable usage: refactoring the checking
|
2010-04-24 09:45:03 +02:00 |
|
Robert Reif
|
99a7755218
|
tokenizer improvements: remove calling convention (#1619)
|
2010-04-24 09:40:05 +02:00 |
|
Zachary Blair
|
5835b2665b
|
Fixed #1169 (improve check: divsion by zero not detected when using the shift (>>) operator)
|
2010-04-23 22:59:53 -07:00 |
|
Martin Ettl
|
5eb9c78533
|
added further testcases to multidimensional out of bounds unit test
|
2010-04-23 22:04:49 +02:00 |
|
Martin Ettl
|
bd4bead561
|
update in todo testcase (line number was wrong)
|
2010-04-23 21:59:46 +02:00 |
|
Martin Ettl
|
572ae0c1b4
|
added todo testcases for multidimensional out of bounds checking
|
2010-04-23 21:56:35 +02:00 |
|
Daniel Marjamäki
|
a3b781a181
|
Fixed #819 (array index out of bounds not detected for multidimension arrays)
|
2010-04-23 16:26:40 +02:00 |
|
Robert Reif
|
f4ce5a37d7
|
Fixed #1615 (False positive - C-style pointer casting)
|
2010-04-22 20:08:29 +02:00 |
|
Daniel Marjamäki
|
b9d8f52cca
|
CheckBufferOverrun: Fixed false positives caused by refactorings
|
2010-04-22 19:22:23 +02:00 |
|
Zachary Blair
|
680a470741
|
Fixed #1564 (CppCheck does not recognise redundant IF)
|
2010-04-22 01:21:54 -07:00 |
|
Robert Reif
|
90541386da
|
Fixed #1619 (tokenizer: remove calling convention)
|
2010-04-21 21:08:47 +02:00 |
|
Daniel Marjamäki
|
f9f6927e63
|
CheckBufferOverrun: Don't give false positives when reading from array with strncpy/strncat
|
2010-04-21 20:02:58 +02:00 |
|
Daniel Marjamäki
|
f057e127a0
|
CheckBufferOverrun: Refactoring the checking of function calls
|
2010-04-21 19:27:28 +02:00 |
|
Daniel Marjamäki
|
798aa84151
|
Refactoring: CheckBufferOverrun refactorings. split up the checkScope into two separate functions. The ArrayInfo usage was improved. Also broke out for-loop handling into separate functions.
|
2010-04-21 18:33:21 +02:00 |
|
Zachary Blair
|
c26e619b23
|
Fixed #855 (Refactoring: move conditions into checks)
|
2010-04-20 23:38:25 -07:00 |
|
Reijo Tomperi
|
96d66af478
|
Change "Array index -1 corresponds with 4294967295..." error message into "Array index -1 is out of bounds"
|
2010-04-20 21:44:31 +03:00 |
|
Reijo Tomperi
|
47234e2dab
|
fileLister_win32.h -> filelister_win32.h
|
2010-04-20 21:31:38 +03:00 |
|
Daniel Marjamäki
|
7e2f39290d
|
Fixed #1614 (negative array index issues in latest from git)
|
2010-04-20 16:43:51 +02:00 |
|
Robert Reif
|
e8ac1f07d9
|
Unit Testing: Added TODO testcases for ticket #1593 (false negative: the function can be declared as const)
|
2010-04-19 21:18:53 +02:00 |
|
Reijo Tomperi
|
b11fc0a069
|
Fix one compiler warning
|
2010-04-18 22:14:25 +03:00 |
|
Daniel Marjamäki
|
8eff4fcbba
|
Buffer overruns: Added testcase for negative index when using 2-dimensional array
|
2010-04-18 21:07:21 +02:00 |
|
Daniel Marjamäki
|
b6ab419a06
|
Buffer Overrun: Broke out the checking for negative array index
|
2010-04-18 20:51:39 +02:00 |
|
Robert Reif
|
76a683a73a
|
Fixed #1602 (functions defined in header outside of class cannot be const)
|
2010-04-18 15:40:31 +02:00 |
|
Daniel Marjamäki
|
a473345f18
|
Buffer overruns: First change to detect overruns in multidimensional arrays (#819)
|
2010-04-18 11:08:29 +02:00 |
|
Robert Reif
|
bee4608b27
|
Fixed #1613 (False -s positive: Template instantiation hides typedef with same name)
|
2010-04-18 09:13:55 +02:00 |
|
Robert Reif
|
d90f59051c
|
Fixed #1612 (false positive: The function can be const)
|
2010-04-18 07:53:39 +02:00 |
|
Daniel Marjamäki
|
6db4ab68ef
|
Unit Testing: added assertions for todo testcases to detect changes
|
2010-04-17 15:01:18 +02:00 |
|
Robert Reif
|
d851b4a3d4
|
Fixed #1607 (false positive: variable is assigned a value that is never used)
|
2010-04-17 14:23:29 +02:00 |
|
Daniel Marjamäki
|
9cd8bd842e
|
STL: fixed false negative when erasing invalidated iterator
|
2010-04-17 13:37:04 +02:00 |
|
Daniel Marjamäki
|
6371327487
|
Unit Testing: Added assert for todo testcase to catch changes.
|
2010-04-17 12:51:59 +02:00 |
|
Daniel Marjamäki
|
e417d3080a
|
Unit Testing: Added assert for todo testcase to catch changes.
|
2010-04-17 12:49:27 +02:00 |
|
Daniel Marjamäki
|
b19113426f
|
Unused struct member: Fixed false positives
|
2010-04-17 11:16:05 +02:00 |
|
Daniel Marjamäki
|
c0e9a546f7
|
Refactoring: Refactoring the Settings class
|
2010-04-17 09:23:54 +02:00 |
|
Reijo Tomperi
|
1b8799e7ef
|
Add test cases for --template parsing
|
2010-04-16 18:28:00 +03:00 |
|
Daniel Marjamäki
|
c9fb5f87e0
|
Fixed #1600 (false positive: After insert, the iterator 'aI' may be invalid)
|
2010-04-16 16:56:55 +02:00 |
|
Robert Reif
|
61b5a21ac9
|
Fixed #1605 (false positive: uninitialized variable)
|
2010-04-16 16:25:57 +02:00 |