Robert Reif
|
1bc8a2b6ba
|
Fixed #2172 (False positive: struct is not initialized in constructor)
|
2010-12-02 07:35:01 +01:00 |
Daniel Marjamäki
|
12c8eeff2c
|
xml2: Added experimental --xml2 result format. Ticket: #2106
|
2010-12-01 21:24:17 +01:00 |
Robert Reif
|
f12c0c7ada
|
Tokenizer: add assert(_settings) to Tokenizer to insure the tokenizer always has settings. Ticket: #2219
|
2010-12-01 18:00:55 +01:00 |
Robert Reif
|
43dcc51752
|
Fixed #2252 (segmentation fault with enable=all)
|
2010-11-30 19:52:42 +01:00 |
Robert Reif
|
f90236a183
|
Fixed #2252 (segmentation fault with enable=all)
|
2010-11-30 19:40:32 +01:00 |
Daniel Marjamäki
|
0081800a20
|
Fixed #2261 (False positive: memory leak)
|
2010-11-30 19:36:04 +01:00 |
Daniel Marjamäki
|
6761765a70
|
Fixed #2262 (False positive: Resource leak: fd)
|
2010-11-30 19:14:31 +01:00 |
Daniel Marjamäki
|
234b1e0098
|
Fixed #2265 (False positive: Uninitialized variable: path)
|
2010-11-30 18:40:36 +01:00 |
Daniel Marjamäki
|
065af5c444
|
Fixed #2251 (False positive: Possible null pointer reference)
|
2010-11-29 20:30:23 +01:00 |
Daniel Marjamäki
|
cdb685c83c
|
Fixed #2245 (False positive: Possible null pointer dereference)
|
2010-11-29 20:19:31 +01:00 |
Daniel Marjamäki
|
4de64209fb
|
Fixed #2248 (memory leak : pointer inserted in an object)
|
2010-11-29 19:53:34 +01:00 |
Kimmo Varis
|
f467e3120e
|
Improve redundant STL container condition -message.
Have separate summary and verbose messages. Se discusion at forum:
https://sourceforge.net/apps/phpbb/cppcheck/viewtopic.php?f=3&t=192
|
2010-11-29 20:24:08 +02:00 |
Kimmo Varis
|
8d8945ac57
|
Improve "Assert statement 'varname' -message.
Modifying the message so that we have short message and verbose
message. As discussed in dev-forum:
https://sourceforge.net/apps/phpbb/cppcheck/viewtopic.php?f=3&t=192
|
2010-11-29 20:12:21 +02:00 |
Daniel Marjamäki
|
add8584612
|
Fixed #2232 (segmentation fault of cppcheck)
|
2010-11-29 17:46:10 +01:00 |
Kimmo Varis
|
85735e382f
|
Improve the 'suspicious code sizeof sizeof' -message.
As discussed at dev-forum:
https://sourceforge.net/apps/phpbb/cppcheck/viewtopic.php?f=3&t=192
|
2010-11-28 14:20:46 +02:00 |
Daniel Marjamäki
|
00da0adf25
|
Fixed #2236 (False positive: Assignment to itself)
|
2010-11-28 11:48:06 +01:00 |
Daniel Marjamäki
|
095f725b3c
|
Fixed #2218 (False positive: Data is allocated but not initialized)
|
2010-11-27 17:34:54 +01:00 |
Daniel Marjamäki
|
03a92582ca
|
Fixed #2235 (false Resource leak)
|
2010-11-27 11:09:42 +01:00 |
Kimmo Varis
|
2ed14431fe
|
Ticket #2237 (Too long "short" message about iterator increment)
Improve the message for suspicious iterator increment in loop.
|
2010-11-27 10:57:26 +02:00 |
Kimmo Varis
|
837605b05b
|
Ticket #2239 (Too long "short" message about function parameter passing)
Have a proper short message for the parameter passing warning and
improve the message.
|
2010-11-27 10:46:34 +02:00 |
Kimmo Varis
|
9b4b8b2abe
|
Ticket #2238 (Improve postincrement warning message)
Have a proper short message for post ++/-- operators.
Pre ++/-- operators are usually more efficient for non-primitive types.
|
2010-11-27 10:30:57 +02:00 |
Kimmo Varis
|
87b69a10fa
|
Ticket #2240 (Improve no constructor-message).
Improve the message about missing constructor but having class
attributes. Have proper short and long messages.
|
2010-11-27 10:17:03 +02:00 |
Daniel Marjamäki
|
0a744c0c6e
|
Fixed #2234 (Variable is assigned a value that is never used)
|
2010-11-25 18:16:11 +01:00 |
Robert Reif
|
03b12c5494
|
Fixed #2230 (segmentation fault of cppcheck)
|
2010-11-25 07:43:39 +01:00 |
Robert Reif
|
08b86e0b7e
|
Fixed #2228 (False positive: Claims function can be const when it can not be (shared_ptr))
|
2010-11-25 07:15:33 +01:00 |
Daniel Marjamäki
|
fc57e06cdd
|
Fixed #2226 (segmentation fault of cppcheck)
|
2010-11-24 18:08:21 +01:00 |
Daniel Marjamäki
|
22a4dd2cc3
|
Fixed #2225 (false positive: variable is assigned a value that is never used '*(stack[0])+=arg')
|
2010-11-23 20:35:08 +01:00 |
Robert Reif
|
1842a122da
|
reuse symbol database in checkmemoryleak.cpp. ticket: #2219
|
2010-11-23 18:41:07 +01:00 |
Robert Reif
|
f1eef49fcb
|
Fixed #2221 (segmentation fault of cppcheck)
|
2010-11-23 07:31:15 +01:00 |
Daniel Marjamäki
|
9d88e17c39
|
Tokenizer::simplifyKnownVariables: Reduce debug-warnings for conditional increment
|
2010-11-21 13:40:42 +01:00 |
Daniel Marjamäki
|
ec6edaee6e
|
Buffer overflow: Added unit test that makes sure that array index out of bounds is detected inside loop. Ticket: #2199
|
2010-11-21 12:24:57 +01:00 |
Zachary Blair
|
215cb5ac8d
|
Fixed #2162 (false positive: Mutual exclusion over ||)
|
2010-11-21 00:06:43 -08:00 |
Daniel Marjamäki
|
0fe4249cfc
|
Fixed #2216 (wrong warning when C++0x keyword delete is used)
|
2010-11-20 17:20:25 +01:00 |
Daniel Marjamäki
|
e8ca76e02e
|
Fixed #2200 (MathLib: Calculation overflow)
|
2010-11-20 10:05:33 +01:00 |
Daniel Marjamäki
|
9ccc57a455
|
Fixed #2214 (Improve check: Memory leak not detected when pointer is incremented)
|
2010-11-20 08:35:23 +01:00 |
Daniel Marjamäki
|
fd64a7e683
|
Mutual exclusion: Disable this check until #2162 is fixed.
|
2010-11-20 07:43:07 +01:00 |
Daniel Marjamäki
|
66c2825b23
|
Fixed #2210 (False positive: buffer overrun (snprintf, unknown type))
|
2010-11-18 19:26:46 +01:00 |
Daniel Marjamäki
|
aa653fe42b
|
Uninitialized variables: Fixed simple undetected case for '= %var% |' and '| %var% ;'
|
2010-11-16 20:16:44 +01:00 |
Daniel Marjamäki
|
35c72db251
|
Uninitialized variables: Fixed simple undetected case for '= %var% -'
|
2010-11-16 20:07:41 +01:00 |
Daniel Marjamäki
|
cbdae275ed
|
Uninitialized variables: Fixed false negative. Ticket: #2207
|
2010-11-16 20:01:57 +01:00 |
Robert Reif
|
77a5d4e399
|
Fixed #2204 (False positive when using const class members)
|
2010-11-16 07:30:55 +01:00 |
Ettl Martin
|
379daa3f24
|
fixed: wrong testcase from my last commit im testmathlib.cpp
|
2010-11-15 22:12:25 +01:00 |
Ettl Martin
|
88cc29ea0a
|
mathlib: added todo testcases for ticket #2200
|
2010-11-15 21:03:49 +01:00 |
Daniel Marjamäki
|
29bb553782
|
Fixed #2207 (False positive: uninitialized variable (return if uninitialized))
|
2010-11-15 20:35:01 +01:00 |
Daniel Marjamäki
|
d250cb5aa2
|
Fixed #2206 (False positive: variable is assigned a value that is never used (array initializers))
|
2010-11-15 17:53:55 +01:00 |
Daniel Marjamäki
|
7b3e7f6467
|
Fixed #2205 (False positive: variable is assigned a value that is never used (assigning to dereferenced casted pointers))
|
2010-11-15 17:30:07 +01:00 |
Daniel Marjamäki
|
6d1c0687c9
|
Fixed #2202 (false postive: Data is allocated but not initialized: rbdc)
|
2010-11-15 17:11:08 +01:00 |
Zachary Blair
|
36d80d6eaa
|
Fixed #2058 (Warn for unused variable when only doing malloc/free)
|
2010-11-14 17:37:36 -08:00 |
Daniel Marjamäki
|
378e83e73d
|
Fixed #2201 (false positive: Uninitialized variable: __v0)
|
2010-11-14 17:35:22 +01:00 |
Kimmo Varis
|
41f06cef69
|
Update VS2010 solution/project files.
|
2010-11-14 11:04:45 +02:00 |
Daniel Marjamäki
|
71c1ce71ce
|
Tokenizer::simplifyKnownVariables: Simplify known variables for struct members
|
2010-11-13 18:45:35 +01:00 |
Daniel Marjamäki
|
723570fe6c
|
Tokenizer: added assertions to check that no debug messages are given.
|
2010-11-13 17:40:57 +01:00 |
Daniel Marjamäki
|
667cc8f6e5
|
Tokenizer: Skip debug warnings in Tokenizer::simplifyKnownVariables for loop variable
|
2010-11-13 16:40:04 +01:00 |
Daniel Marjamäki
|
5e93281310
|
Tokenizer: Added TODO test cases for splitting up variable declarations
|
2010-11-13 15:45:33 +01:00 |
Daniel Marjamäki
|
3d195f2326
|
Auto variables: improved the check for 'return retval.c_str()'. Ticket: #2191
|
2010-11-13 15:38:21 +01:00 |
Daniel Marjamäki
|
47d37e7a05
|
Uninitialized variables: Fixed false negatives when calling unknown function with uninitialized variable by value: 'f(a+1)'
|
2010-11-13 15:10:17 +01:00 |
Daniel Marjamäki
|
85cafb2035
|
Visual Studio 2008: Added lib/symboldatabase files
|
2010-11-13 12:28:49 +01:00 |
Daniel Marjamäki
|
bf15236b9e
|
Fixed #2196 (False positive: Invalid data is allocated but not initialized (initialization in loop))
|
2010-11-13 10:33:35 +01:00 |
Daniel Marjamäki
|
3303c40879
|
uninitialized variables: fixed problem when parsing loop bodies
|
2010-11-13 08:03:59 +01:00 |
Daniel Marjamäki
|
f7ca4f09ef
|
Fixed #2151 (false negative: memory leak when calling subfunction that doesn't deallocate the memory)
|
2010-11-12 21:09:34 +01:00 |
Daniel Marjamäki
|
a8d7ac0f0d
|
Fixed #2193 (false negative: nullpointer dereference)
|
2010-11-12 19:42:02 +01:00 |
Daniel Marjamäki
|
9d7a623985
|
Uninitialized variables: Passing uninitialized array as parameter to function. Ticket: #2188
|
2010-11-12 17:38:25 +01:00 |
Daniel Marjamäki
|
e523d5a3a3
|
Fixed #914 (improve check: usage of uninitialized variable)
|
2010-11-12 17:14:37 +01:00 |
Daniel Marjamäki
|
1204043556
|
Fixed #2148 (uninitialized variable: false negative, function parameter that is passed by value)
|
2010-11-12 17:06:14 +01:00 |
Daniel Marjamäki
|
6b489230e8
|
Fixed #2188 (Does not detect initialization)
|
2010-11-12 16:11:44 +01:00 |
Daniel Marjamäki
|
ba7a3b376e
|
Fixed #2167 (Drop linefeeds from error messages)
|
2010-11-11 19:54:43 +01:00 |
Daniel Marjamäki
|
0328d26fcb
|
Fixed #2192 (false positive: resource leak)
|
2010-11-11 17:40:20 +01:00 |
Robert Reif
|
07f4067fa8
|
typedef: better handling of __typeof__
|
2010-11-11 17:02:04 +01:00 |
Robert Reif
|
a09c221014
|
typedefs: handle __typeof__
|
2010-11-11 06:40:49 +01:00 |
Daniel Marjamäki
|
624ce205b9
|
Fixed #2185 (False negative: when constant is undefined a 'dangerous usage of strncpy' is not found)
|
2010-11-10 20:20:05 +01:00 |
Daniel Marjamäki
|
41bbe5d0cf
|
Fixed #2182 (Context sensitive false positive)
|
2010-11-10 18:24:40 +01:00 |
Daniel Marjamäki
|
28c53cabea
|
Fixed #2184 (False Positive: memory leak)
|
2010-11-10 17:46:40 +01:00 |
Daniel Marjamäki
|
508c171945
|
Symbol database: add support for class inline functions with classes
|
2010-11-09 17:06:07 +01:00 |
Robert Reif
|
36b03bdd3e
|
Fixed #2179 (Segmentation fault in assignment operator)
|
2010-11-09 06:58:19 +01:00 |
Daniel Marjamäki
|
c2bf3647a4
|
Fixed #2178 (segmentation fault of cppcheck)
|
2010-11-08 19:47:19 +01:00 |
Daniel Marjamäki
|
586f4992d8
|
Tokenizer::simplifyKnownVariables: Fixed TODO test cases in TestBufferOverrun
|
2010-11-07 17:42:32 +01:00 |
Daniel Marjamäki
|
cd94fa89e0
|
Tokenizer: More specific bail outs in simplifyKnownVariables
|
2010-11-07 11:07:56 +01:00 |
Daniel Marjamäki
|
b881718d9f
|
Tokenizer: better bailout in simplifyKnownVariables when there is loop
|
2010-11-07 10:42:08 +01:00 |
Daniel Marjamäki
|
fb068a4e71
|
Fixed #2170 (false positive: After a strncpy() the buffer should be zero-terminated)
|
2010-11-07 09:37:45 +01:00 |
Daniel Marjamäki
|
bd2b1b2914
|
Tokenizer: better handling of const variables
|
2010-11-07 08:43:30 +01:00 |
Daniel Marjamäki
|
25391cb562
|
Tokenizer: Bailout simplifyKnownVariables for loop variables
|
2010-11-07 08:10:09 +01:00 |
Robert Reif
|
662cd27f87
|
Symbol database: fixed problem
|
2010-11-06 20:27:12 +01:00 |
Daniel Marjamäki
|
5be12a1d27
|
Tokenizer: improved simplifyKnownVariables
|
2010-11-06 19:43:32 +01:00 |
Robert Reif
|
8a379d4826
|
Fixed #2176 (Tokenizer::simplifyTypedef function pointer bug)
|
2010-11-06 15:15:50 +01:00 |
Robert Reif
|
c49a8a99a3
|
Fixed #2175 (Tokenizer::simplifyTypedef : wrong simplification of 'typedef float vec_t[3];')
|
2010-11-06 13:28:44 +01:00 |
Daniel Marjamäki
|
c39fbb86db
|
Tokenizer::simplifyKnownVariables : Fixed TODO test case when simplifying pointer alias in function call
|
2010-11-06 13:24:33 +01:00 |
Daniel Marjamäki
|
13c2a73d3f
|
Tokenizer::simplifyKnownVariables: Fixed TODO test case.
|
2010-11-06 11:38:58 +01:00 |
Daniel Marjamäki
|
694853249f
|
Refactoring: Added ASSERT_EQUALS above TODO_ASSERT_EQUALS to catch changes in the behaviour better
|
2010-11-06 11:08:05 +01:00 |
Daniel Marjamäki
|
e901ee2e68
|
Added TODO unit test for ticket #2175. simplify 'typedef float x[3];'
|
2010-11-06 09:31:43 +01:00 |
Daniel Marjamäki
|
dd41c74d7f
|
Fixed #2136 (false negative: array bounds)
|
2010-11-06 09:10:10 +01:00 |
Daniel Marjamäki
|
314e5b838b
|
Tokenizer: removed redundant assignments such as 'x+=0;'. Ticket: #2173
|
2010-11-06 07:23:35 +01:00 |
Robert Reif
|
431201dd67
|
Fixed #2174 (Tokenizer::simplifyFunctionReturn bug)
|
2010-11-06 06:53:09 +01:00 |
Daniel Marjamäki
|
52faadda89
|
Tokenizer: simplify calculations with zero better
|
2010-11-05 20:35:31 +01:00 |
Daniel Marjamäki
|
4fdb420454
|
Tokenizer: simplifyknownvariables, improved handling of string constant
|
2010-11-05 20:05:57 +01:00 |
Daniel Marjamäki
|
65c7b6eb8b
|
Uninitialized variables: better handling of for example 'a[1] = 1+a[2];'
|
2010-11-05 19:24:14 +01:00 |
Daniel Marjamäki
|
a90a7202cb
|
Uninitialized variables: detect usage of dead pointer: '*p += 10'
|
2010-11-05 17:04:41 +01:00 |
Daniel Marjamäki
|
95bfa50d7e
|
Null pointers: Fixed false negatives in the CheckAndDeRef checking
|
2010-11-04 21:22:29 +01:00 |
Daniel Marjamäki
|
f3bf14ba13
|
Fixed #2171 (false positive: possible nullpointer dereference)
|
2010-11-04 21:09:32 +01:00 |
Daniel Marjamäki
|
d21974777c
|
Fixed #2161 (false positive: assigned a value that is never used)
|
2010-11-04 20:16:17 +01:00 |
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 |