Daniel Marjamäki
|
fce6f11ed8
|
Tokenizer: simplify 'a[b-1]+=1' better
|
2010-11-04 19:02:54 +01:00 |
Daniel Marjamäki
|
c29940b114
|
Fixed #2166 (false positive: possible null pointer dereference)
|
2010-11-04 18:18:19 +01:00 |
Robert Reif
|
bc8ecf2aa7
|
Fixed #2168 (Segmentation fault of cppcheck)
|
2010-11-04 17:54:04 +01:00 |
Zachary Blair
|
10a4dde105
|
Fixed #2137 (Invalid mutual exclusion report)
|
2010-11-04 00:10:25 -07:00 |
Robert Reif
|
003f99da82
|
Symbol database: Fixed bug. Ticket: #2149
|
2010-11-04 06:58:37 +01:00 |
Robert Reif
|
cf0403434d
|
Symbol database: Bug fix
|
2010-11-03 20:33:07 +01:00 |
Daniel Marjamäki
|
c0100bac94
|
Tokenizer: Added TODO test case for better handling of function calls
|
2010-11-03 20:13:34 +01:00 |
Daniel Marjamäki
|
1323cbdb6d
|
Fixed #2160 (#2160 (Invalid unused variable report (style)))
|
2010-11-03 19:30:00 +01:00 |
Daniel Marjamäki
|
14803643ca
|
empty string test: Removed this check
|
2010-11-03 17:56:14 +01:00 |
Daniel Marjamäki
|
19f809c9b4
|
Unused variables: better handling of '= %var% ++'. Ticket: #2160
|
2010-11-02 20:01:12 +01:00 |
Daniel Marjamäki
|
dd4b2b8b46
|
Tokenizer: simplify 'x[0] += 1;'
|
2010-11-02 19:22:48 +01:00 |
Robert Reif
|
0fe72839d8
|
Symbol Database: Better handling of namespaces. Ticket: #2149
|
2010-11-02 18:30:57 +01:00 |
Daniel Marjamäki
|
c4452effa3
|
Tokenizer: simplify 'x.y += 1;'
|
2010-11-01 20:33:55 +01:00 |
Daniel Marjamäki
|
1b9de20f9b
|
Tokenizer: simplify 'case 0: x += y;'
|
2010-11-01 19:31:30 +01:00 |
Daniel Marjamäki
|
94fc13f0c4
|
Fixed #2159 (False positive: Null pointer dereference 'if (!x) return *y;')
|
2010-11-01 19:21:08 +01:00 |
Daniel Marjamäki
|
3fb17baa12
|
Fixed #2158 (False positive: value is not unused when using +=)
|
2010-11-01 17:36:54 +01:00 |
Kimmo Varis
|
7e33b8fb9f
|
Update VS2010 project files.
|
2010-10-31 22:59:44 +02:00 |
Daniel Marjamäki
|
285d76a413
|
Null pointers: Fixed false positive for 'x && x->y'
|
2010-10-31 19:48:58 +01:00 |
Daniel Marjamäki
|
75776b86a3
|
Visual Studio 2008: added nullpointer and uninitvar files
|
2010-10-31 11:52:55 +01:00 |
Daniel Marjamäki
|
bc283d8b99
|
Uninitialized variables: Broke out the checking into separate file
|
2010-10-31 12:31:11 +01:00 |
Daniel Marjamäki
|
df8a93bf97
|
Null pointers: Broke out the checking into separate file
|
2010-10-31 11:51:25 +01:00 |
Daniel Marjamäki
|
558899dc74
|
Variable usage: Fixed false negative that I introduced when simplifying compound assignments
|
2010-10-31 09:34:25 +01:00 |
Daniel Marjamäki
|
23d3fd3a5a
|
Fixed #2147 (uninitialized variable: false negative for 'x += y;')
|
2010-10-31 08:47:13 +01:00 |
Daniel Marjamäki
|
b55f6458a2
|
Fixed #2120 (False positive: array index out of bounds (unknown type in struct, sub function))
|
2010-10-30 12:32:43 +02:00 |
Daniel Marjamäki
|
7b630cc581
|
Fixed #2154 (false positive: The loop might unintentionally skip an element in the container)
|
2010-10-30 11:22:30 +02:00 |
Kimmo Varis
|
2d32ce3140
|
Update VS2010 project files.
|
2010-10-29 22:48:46 +03:00 |
Kimmo Varis
|
aea0cb5f28
|
Update tests after moving simplifyPath method to Path class.
|
2010-10-29 22:45:47 +03:00 |
Daniel Marjamäki
|
fee20bafa0
|
Java: Removed bailout added in 120073f000
|
2010-10-28 18:01:51 +02:00 |
Daniel Marjamäki
|
995e39200b
|
Fixed #2130 (Invalid possible NULL pointer dereference, etc.)
|
2010-10-27 20:20:10 +02:00 |
Daniel Marjamäki
|
fc98bcdcb2
|
Fixed #2141 (false positive: possible null pointer dereference)
|
2010-10-27 19:42:47 +02:00 |
Daniel Marjamäki
|
fd153eac02
|
Fixed #2142 (false positive: null pointer dereference (throw))
|
2010-10-27 19:38:42 +02:00 |
Robert Reif
|
b6aca47e11
|
Fixed #1195 (Uninitialized member variable not detected 'std::vector<int> *ints;')
|
2010-10-27 19:28:15 +02:00 |
Robert Reif
|
5a8f490f07
|
Fixed #2135 (False positive 'Can be const')
|
2010-10-27 19:25:34 +02:00 |
Pete Johns
|
6649e31514
|
Fixed test case so that it would compile.
|
2010-10-27 21:14:40 +11:00 |
Daniel Marjamäki
|
a38b14d582
|
Tokenizer: Remove redundant semi colons
|
2010-10-26 21:05:20 +02:00 |
Daniel Marjamäki
|
79583ee45d
|
#2133 (cppcheck: floating point exception)
|
2010-10-26 20:05:34 +02:00 |
Daniel Marjamäki
|
6200d4505a
|
Fixed #2118 (Invalid syntax error report.)
|
2010-10-26 19:39:48 +02:00 |
Kimmo Varis
|
59752f19d6
|
Add 64-bit targets for VS2008 project/solution files.
Since VS2008 Express does not support x64 platform we must create new
configurations named Debug-x64 and Release-x64.
|
2010-10-26 19:32:07 +03:00 |
Kimmo Varis
|
2301b40433
|
Add x64 build targets for VS 2010.
This commit adds new x64-Debug and x64-Release -targets for VS 2010.
To use those targets you need Windows SDK with x64 compiler.
|
2010-10-26 19:32:07 +03:00 |
Daniel Marjamäki
|
9370f552ac
|
Fixed #2134 (sizeof(*list) complains of null pointer dereference)
|
2010-10-26 18:26:02 +02:00 |
Daniel Marjamäki
|
27235f27ae
|
Fixed #2129 (Invalid dereference after release report)
|
2010-10-26 17:49:48 +02:00 |
Daniel Marjamäki
|
893f7fa347
|
Fixed #2130 (Invalid possible NULL pointer dereference, etc.)
|
2010-10-26 17:40:30 +02:00 |
Daniel Marjamäki
|
bdd6d6d53d
|
null pointer: use simplified token list in the 'check and deref' checking
|
2010-10-25 21:05:43 +02:00 |
Daniel Marjamäki
|
132aa8d0c4
|
uninitialized variables: fixed fp when analysing loops
|
2010-10-25 20:56:15 +02:00 |
Daniel Marjamäki
|
026514db1a
|
Fixed #2127 (null pointer dereference after condition (SRD nr 522))
|
2010-10-25 19:43:54 +02:00 |
Daniel Marjamäki
|
41a06a21d9
|
using deallocated pointer: detect first problem reported in ticket #2090
|
2010-10-25 17:36:46 +02:00 |
Zachary Blair
|
26afb04dc5
|
Fixed #2105 (Incorrect operator: mutual exclusion over ||)
|
2010-10-24 18:14:21 -07:00 |
Daniel Marjamäki
|
24a2def3ad
|
Execution Path: Fixed FP in improved handling of loop bodies
|
2010-10-24 19:14:40 +02:00 |
Daniel Marjamäki
|
8f707e5e46
|
Null pointers: Better handling of loops
|
2010-10-24 18:51:14 +02:00 |
Daniel Marjamäki
|
6601de7681
|
uninitialized variables: refactoring handling of loop bodies
|
2010-10-24 18:26:59 +02:00 |
Daniel Marjamäki
|
b66d3c8858
|
Fixed #2125 (uninitialized variable: better handling of for loops)
|
2010-10-24 18:12:48 +02:00 |
Daniel Marjamäki
|
cf86e11d05
|
Fixed #2111 (Class methods writing to a union are detected as 'can be const')
|
2010-10-24 16:43:10 +02:00 |
Kimmo Varis
|
d605239735
|
Add missing files to VS2010 project/solution files.
|
2010-10-24 15:55:36 +03:00 |
Daniel Marjamäki
|
306587b1d0
|
Buffer overruns: Fixed TODO test case
|
2010-10-24 11:32:27 +02:00 |
Daniel Marjamäki
|
381260dfe9
|
fixed 'deprecated conversion' compiler warning
|
2010-10-23 16:15:27 +02:00 |
Daniel Marjamäki
|
f3c6c64e9a
|
Fixed #2121 (False positive: Buffer access out-of-bounds when using uint32_t)
|
2010-10-23 13:12:17 +02:00 |
Daniel Marjamäki
|
120073f000
|
Java: fixed false positives about uninitialized variable
|
2010-10-23 10:56:30 +02:00 |
Daniel Marjamäki
|
5deb046ac5
|
Fixed #2120 (False positive: array index out of bounds (unknown type in struct, sub function))
|
2010-10-23 08:49:03 +02:00 |
Daniel Marjamäki
|
c907acf767
|
Fixed #1819 (False positive: auto variable assignment (unseen typedef))
|
2010-10-22 21:12:56 +02:00 |
Daniel Marjamäki
|
9fdc03fc1d
|
Fixed #2117 (false positive: buffer access out of bounds)
|
2010-10-22 20:15:51 +02:00 |
Lauri Nurmi
|
91e66e74d0
|
Fixed #2099 (Show an error if none of the given paths was found)
|
2010-10-22 17:09:50 +02:00 |
Daniel Marjamäki
|
5ef02b6c0a
|
memleak: activated todo test case. ticket: #1401
|
2010-10-21 22:33:40 +02:00 |
Daniel Marjamäki
|
eba827bc4b
|
Fixed #2112 (Crash scanning qtcreator sources)
|
2010-10-21 19:42:09 +02:00 |
Daniel Marjamäki
|
6a66d32871
|
JAVA: better handling of java code
|
2010-10-20 22:15:35 +02:00 |
Daniel Marjamäki
|
8b866178ff
|
Fixed #2103 (false positive when variable is checked to NULL and not freed)
|
2010-10-20 20:38:37 +02:00 |
Daniel Marjamäki
|
68dd2f8378
|
Fixed #2113 (False positive: Memory leak where a pointer is passed in a struct to another function to be freed)
|
2010-10-20 18:39:40 +02:00 |
Daniel Marjamäki
|
02ba2b202e
|
Fixed #2110 (Tokenizer::simplifyTypedef: regression - wrong simplification of 'typedef char TString[256];')
|
2010-10-20 06:09:29 +02:00 |
Daniel Marjamäki
|
f8c02718a5
|
Activated checking of .java and .cs files
|
2010-10-19 21:54:15 +02:00 |
Daniel Marjamäki
|
20674e08d0
|
Stl: improved check for dangerous usage of c_str
|
2010-10-19 20:21:58 +02:00 |
Daniel Marjamäki
|
2ca7dbc004
|
Fixed #2109 (false positive: buffer overrun)
|
2010-10-19 18:23:44 +02:00 |
Daniel Marjamäki
|
0864a0700a
|
Fixed #2108 (False positive: the loop might unintentionally skip an element in the container.)
|
2010-10-18 20:05:54 +02:00 |
Daniel Marjamäki
|
e54129fa8d
|
STL: check for dangerous usage of string::c_str(). Ticket: #1116
|
2010-10-17 19:18:46 +02:00 |
Daniel Marjamäki
|
92a1e9e76e
|
Severities: Added 'warning' and 'performance' severities. No changes to the command line options nor to the XML format. Ticket: #2106
|
2010-10-17 14:41:00 +02:00 |
Kimmo Varis
|
0bb6e22d53
|
Add missing files to VS2010 project files.
|
2010-10-17 00:16:39 +03:00 |
Kimmo Varis
|
00e5ca2299
|
Add missing files to VS projects.
Part of fixing ticket #2101.
|
2010-10-17 00:00:53 +03:00 |
Daniel Marjamäki
|
0b6948a805
|
Fixed #2101 (list in vector iterator usage)
|
2010-10-15 18:11:41 +02:00 |
Daniel Marjamäki
|
ba2b986ece
|
Fixed #2097 (false positive: buffer access out of bounds)
|
2010-10-14 20:00:32 +02:00 |
Daniel Marjamäki
|
e11d9f1628
|
astyle formatting
|
2010-10-14 19:59:10 +02:00 |
Debrard Sebastien
|
fb928b6778
|
Fixed #2018 (Postfix Operators)
|
2010-10-14 19:17:40 +02:00 |
Daniel Marjamäki
|
b6c995ea47
|
Fixed #2096 (False positive: buffer overrun (extern array))
|
2010-10-13 20:57:59 +02:00 |
Robert Reif
|
267d1f273e
|
Fixed #2082 (Tokenizer::simplifyTypedef: wrong handling of array)
|
2010-10-13 20:02:37 +02:00 |
Daniel Marjamäki
|
229604b3e3
|
Fixed #2093 (False positive: buffer access out of bounds (unknown type))
|
2010-10-13 18:06:50 +02:00 |
Pete Johns
|
fbd3d92aa9
|
Fixed #2084 (False positive: object destroyed immediately (struct and function with same name))
Tightened up class definition matching so as not to match C-style struct tags.
|
2010-10-13 20:37:53 +11:00 |
Robert Reif
|
a58094e827
|
Fixed #2089 (False negative: Function can be const (calling const function))
|
2010-10-13 07:26:41 +02:00 |
Daniel Marjamäki
|
2334192bff
|
Fixed #2087 (False positive: Array 'str[1]' index 1 out of bounds)
|
2010-10-12 21:52:02 +02:00 |
Debrard Sebastien
|
1a4e3dcc44
|
increment check
|
2010-10-12 19:54:39 +02:00 |
Daniel Marjamäki
|
9e15c4ef38
|
Fixed #2088 ([test.c:12]: (error) Buffer access out-of-bounds: l)
|
2010-10-12 19:35:20 +02:00 |
Robert Reif
|
907ed0ac6f
|
Fixed #2085 (False negative: function can be const when member variable is compared)
|
2010-10-12 07:57:09 +02:00 |
Daniel Marjamäki
|
74bf1821e6
|
Array index: detect array index out of bounds when datatype is unknown. Ticket: #2086
|
2010-10-11 20:52:14 +02:00 |
Daniel Marjamäki
|
3dfcbfc0e0
|
assignment in assert: modified the error message to better explain the reason why the warning is given.
|
2010-10-11 17:59:08 +02:00 |
Zachary Blair
|
d9967d4fd2
|
Fixed #2079 (detect side effects in assert)
|
2010-10-10 13:05:06 -07:00 |
Daniel Marjamäki
|
81aed3fbd7
|
Tokenize: Fixed bug in Tokenize::simplifyKnownVariables
|
2010-10-10 19:27:42 +02:00 |
Daniel Marjamäki
|
f427fdb856
|
STL: Added TODO test case for the new double-increment check
|
2010-10-10 17:55:14 +02:00 |
Daniel Marjamäki
|
ef4ce6f46b
|
STL: fixed false positives in the new double-increment check when iterator shadows outer iterator
|
2010-10-10 14:28:14 +02:00 |
Daniel Marjamäki
|
3340010376
|
fix unit testing
|
2010-10-10 14:23:05 +02:00 |
Daniel Marjamäki
|
ae0528ef59
|
STL: fixed false positives for the new double-increment check
|
2010-10-10 11:22:44 +02:00 |
Daniel Marjamäki
|
835b511bee
|
STL: Added double-increment check.
|
2010-10-10 10:52:41 +02:00 |
Daniel Marjamäki
|
a73ada54d5
|
Fixed #1705 (false negative: access past end of buffer)
|
2010-10-10 09:15:18 +02:00 |
Daniel Marjamäki
|
14f12e0647
|
Fixed #2078 (false negative: member variable not intialized)
|
2010-10-10 07:57:26 +02:00 |
Daniel Marjamäki
|
a3367874d9
|
Fixed #1778 (false negative: nullpointer dereference (std::string pointer))
|
2010-10-09 07:57:34 +02:00 |