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 |
Robert Reif
|
45573ad101
|
Fixed #1607 (false positive: variable is assigned a value that is never used)
|
2010-04-16 15:57:09 +02:00 |
Reijo Tomperi
|
15e4b8dbd5
|
Fix #1595 (case marks improperly tokenized with macro)
http://sourceforge.net/apps/trac/cppcheck/ticket/1595
|
2010-04-15 23:21:00 +03:00 |
Daniel Marjamäki
|
c718a7c595
|
astyle: Update to astyle 1.24
|
2010-04-15 20:08:51 +02:00 |
Daniel Marjamäki
|
3fa2137ee3
|
Fixed #1596 ('Index out of bounds' false positive)
|
2010-04-15 19:09:19 +02:00 |
Robert Reif
|
01aa414f32
|
Fixed #1253 (improve check: uninitialized variable not found when using reference)
|
2010-04-15 18:44:52 +02:00 |
Robert Reif
|
176795ef95
|
Another fix for #1601 (change simplifyInitVar to split declaration from initialization)
|
2010-04-15 18:42:11 +02:00 |
Zachary Blair
|
2e276576a4
|
Fixed #1526 (Cppcheck checks redundant configurations)
|
2010-04-15 18:37:51 +02:00 |
Robert Reif
|
d2bb4964d0
|
Fixed #1588 (typedef struct incorrectly simplified)
|
2010-04-14 19:06:51 +02:00 |
Robert Reif
|
3bbb2e1d7f
|
Fixed #1601 (change simplifyInitVar to split declaration from initialization)
|
2010-04-14 19:04:16 +02:00 |
firewave
|
2038684839
|
Moved shared files back into executable projects - it caused the instances of the checks to be optimized away
|
2010-04-14 17:52:46 +02:00 |
firewave
|
8e20d5b08d
|
Added Visual Studio 2010 soultion and project files
|
2010-04-14 12:05:10 +02:00 |
firewave
|
2a0ac7dd7c
|
Merge branch 'master' of github.com:danmar/cppcheck
|
2010-04-14 12:04:02 +02:00 |
firewave
|
e3e2ee35aa
|
Disabled link time code generation for debug builds. Enabled .pdb generation for release builds.
|
2010-04-14 12:01:45 +02:00 |
Reijo Tomperi
|
e1fe238f06
|
Add simple --showtime test case
|
2010-04-13 23:52:19 +03:00 |
Reijo Tomperi
|
9c5e907b5c
|
Fix compiler warning: cast truncates constant value
|
2010-04-13 23:39:41 +03:00 |
firewave
|
4a5463d533
|
Merge branch 'master' of github.com:danmar/cppcheck
|
2010-04-13 22:24:12 +02:00 |
firewave
|
efd18e3d42
|
More cleanups to the Visual Studio projects. All options are now in line. Also enabled some default options like intrinsic functions, buffer checks and lick time code generation.
|
2010-04-13 22:22:44 +02:00 |
Reijo Tomperi
|
0912836c25
|
Fix: sizeof(char*) was not simplified correctly
|
2010-04-13 23:17:27 +03:00 |
Reijo Tomperi
|
4a33b226e6
|
Fix #1599 (false positive on if( (f = fopen("foo", "r")) == ((FILE*)NULL) ))
http://sourceforge.net/apps/trac/cppcheck/ticket/1599
|
2010-04-13 22:57:52 +03:00 |
firewave
|
bffc097ab3
|
Moved shared files to seperate lib project
|
2010-04-13 21:40:00 +02:00 |
firewave
|
2271425dae
|
- cleaned up .vcproj files a bit
- raised the warning level in test.vcproj to 4 to match cppcheck.vcproj.
|
2010-04-13 21:33:08 +02:00 |
Reijo Tomperi
|
35d2a27b9c
|
Update copyright year in all source files
|
2010-04-13 22:23:17 +03:00 |
Zachary Blair
|
bd7dc9946e
|
Fixed #1530 (possible new check: strlen return value versus zero.)
|
2010-04-13 19:30:25 +02:00 |
Daniel Marjamäki
|
a7903c3385
|
dos2unix
|
2010-04-13 19:25:08 +02:00 |
firewave
|
fef5ee81eb
|
Added test cases for more command-line options
|
2010-04-13 11:26:45 +02:00 |
Daniel Marjamäki
|
05eb894b82
|
Unit Testing: Better unit testing of Tokenizer::setVarId. Related to ticket #1592
|
2010-04-12 21:16:47 +02:00 |
Reijo Tomperi
|
d102369196
|
Fix #1590 (False negative: Array index out of bounds: "0 <= i")
http://sourceforge.net/apps/trac/cppcheck/ticket/1590
|
2010-04-12 22:04:59 +03:00 |
Robert Reif
|
67fafd4028
|
Fixed #1588 (typedef struct incorrectly simplified)
|
2010-04-12 19:05:31 +02:00 |
Reijo Tomperi
|
7f7e621ecb
|
More tests added to test/testbufferoverrun.cpp
|
2010-04-11 23:22:16 +03:00 |
Reijo Tomperi
|
9a4cbe0540
|
Changed CppCheck::parseFromArgs() to return boolean value and reportOut() in case of error.
It used to throw exception and return error message with the exception.
|
2010-04-11 22:53:21 +03:00 |
Daniel Marjamäki
|
6f74c0af5e
|
Fixed #1587 (Crash while processing file)
|
2010-04-11 20:57:30 +02:00 |
Reijo Tomperi
|
b063783bc3
|
Add some unit tests for command line argument parsing
|
2010-04-11 15:25:30 +03:00 |
Daniel Marjamäki
|
5fed938f56
|
Fixed #1190 (array index out of bounds when index variable is assigned in a condition)
|
2010-04-10 21:12:00 +02:00 |
Daniel Marjamäki
|
e17cce6ac4
|
Unit Testing: Added an ASSERT
|
2010-04-10 18:54:12 +02:00 |
Daniel Marjamäki
|
15da4fe689
|
Refactoring: simplified test case
|
2010-04-10 18:50:28 +02:00 |
Daniel Marjamäki
|
e9b4ea44a2
|
Refactoring: Disable inconclusive checks. They can still be activated for debugging/testing purposes
|
2010-04-10 14:05:33 +02:00 |
Daniel Marjamäki
|
7763d25847
|
Fixed #1357 (problem in stl insert method of set template)
|
2010-04-10 10:22:34 +02:00 |
Zachary Blair
|
3152816619
|
Fixed #779 (Tokenizer: delete register keyword everywhere)
|
2010-04-10 09:58:09 +02:00 |
Daniel Marjamäki
|
b4e9185177
|
Fixed #1134 (improve check: pointer access out of bounds not detected (allocated with malloc))
|
2010-04-10 07:57:29 +02:00 |