Daniel Marjamäki
|
243a524909
|
Fixed #2350 (false positive: possible null pointer dereference)
|
2010-12-26 13:38:16 +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
|
24a2def3ad
|
Execution Path: Fixed FP in improved handling of loop bodies
|
2010-10-24 19:14:40 +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
|
7b4e08385d
|
STL: refactoring CheckStl::erase so ExecutionPath is used
|
2010-10-05 20:54:13 +02:00 |
Daniel Marjamäki
|
de3c761790
|
Fixed #2052 (False positive: possible null pointer dereference 'else continue')
|
2010-09-18 14:56:07 +02:00 |
Daniel Marjamäki
|
fce70508f7
|
Fixed #2045 (False negative: Uninitialized variable (found with gcc))
|
2010-09-17 20:38:37 +02:00 |
Daniel Marjamäki
|
1c3862bd35
|
Execution Paths: fixed TODO test cases
|
2010-09-17 19:31:45 +02:00 |
Daniel Marjamäki
|
7e67bb53b8
|
Fixed #2049 (False negative: 'Uninitialized variable' error won't show)
|
2010-09-15 20:04:50 +02:00 |
Daniel Marjamäki
|
0418731473
|
Fixed #2030 (False positive: Uninitialized variable when function does not return)
|
2010-09-10 19:02:40 +02:00 |
Daniel Marjamäki
|
5688412f00
|
Fixed #2030 (False positive: Uninitialized variable when function does not return)
|
2010-09-07 20:25:29 +02:00 |
Daniel Marjamäki
|
fb4fce466e
|
Fixed #2014 (False positive with longjmp)
|
2010-09-03 07:18:01 +02:00 |
Daniel Marjamäki
|
02088443f9
|
quick fix for #1969 (False positive: Uninitialized variable when exit() is called before variable is used.)
|
2010-08-26 23:11:04 +02:00 |
Daniel Marjamäki
|
1fb4758583
|
Fixed #1855 (false positive: uninitialized variable (function call in switch condition))
|
2010-07-18 13:19:37 +02:00 |
Daniel Marjamäki
|
11a72461f3
|
Fixed #1835 (false positive: uninitialized variable when using ?)
|
2010-07-08 11:16:49 +02:00 |
Daniel Marjamäki
|
1b20f8d27d
|
Fixed #1824 (false positive: unitialised variable)
|
2010-07-06 13:18:28 +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 |
Daniel Marjamäki
|
b11e23eb08
|
Fixed #1721 (False negative: uninitialized variable in switch block)
|
2010-06-03 20:02:58 +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
|
d3c20cac81
|
Fixed #1712 (False negative: dereferencing uninitialized pointer)
|
2010-05-27 19:00:52 +02:00 |
Daniel Marjamäki
|
6815f4e941
|
printchecks: better explanation of its purpose. I call it from gdb when I debug ExecutionPaths.
|
2010-05-18 20:58:11 +02:00 |
firewave
|
2bced1d90c
|
Avoid some Visual Studio warnings
|
2010-05-18 19:19:15 +02:00 |
Daniel Marjamäki
|
2666aad207
|
Fixed #1632 (false positive: unintialized variable)
|
2010-04-28 21:33:11 +02:00 |
firewave
|
f1d1d60924
|
Added missing include
|
2010-04-25 12:10:50 +02:00 |
Daniel Marjamäki
|
eb82a89758
|
ExecutionPath: Better handling of if
|
2010-04-25 11:55:57 +02:00 |
Reijo Tomperi
|
35d2a27b9c
|
Update copyright year in all source files
|
2010-04-13 22:23:17 +03:00 |
Daniel Marjamäki
|
abceff497b
|
Refactoring: some refactoring of ExecutionPath. The foundError was removed. No automatic bailout of all checks are made when errors are found.
|
2010-04-04 11:24:52 +02:00 |
Daniel Marjamäki
|
734b10e650
|
Fixed #1479 (false positive: unintialized variable when using goto)
|
2010-04-02 08:35:05 +02:00 |
Daniel Marjamäki
|
0cad22314e
|
Reverted 'astyle fix'. Those changes are not in sync with my astyle configuration/setup.
|
2010-04-02 07:30:58 +02:00 |
Martin Ettl
|
193aa7d1d3
|
astyle fix
|
2010-04-02 02:21:53 +02:00 |
Daniel Marjamäki
|
c7867af3c5
|
Fixed #1533 (False positive: Uninitialized variable)
|
2010-03-28 10:42:37 +02:00 |
Daniel Marjamäki
|
6a03fa604c
|
Fixed #1402 (false positive: uninitialized variable)
|
2010-02-20 09:35:57 +01:00 |
Daniel Marjamäki
|
db2c362604
|
Fixed #1389 (false positive: uninitialized variable)
|
2010-02-17 18:10:50 +01:00 |
Daniel Marjamäki
|
19589adc1d
|
Fixed #1360 (false positive:: uninitialized class member of nested class inside a function)
|
2010-02-08 18:06:28 +01:00 |
Daniel Marjamäki
|
cefa695dba
|
Fixed #1265 ((error) Uninitialized variable on macro expansion)
|
2010-01-13 19:37:55 +01:00 |
Daniel Marjamäki
|
8be54b592d
|
ExecutionPath: better handling of for/while/do/switch, it doesn't bail out everything
|
2010-01-10 22:05:51 +01:00 |
Daniel Marjamäki
|
2dd0907146
|
fixed segmentation fault
|
2010-01-08 21:54:24 +01:00 |
Daniel Marjamäki
|
ca74f57fd0
|
Fixed #1237 (Uninitialized variable false positive for return-value pattern in pan source code.)
|
2010-01-08 21:24:48 +01:00 |
Daniel Marjamäki
|
e286896d75
|
Fixed #1216 (false positive: uninitialized variable when using exit|abort)
|
2010-01-03 15:35:32 +01:00 |
Daniel Marjamäki
|
fa535ff3ae
|
Fixed #440 (NULL referencing not detected)
|
2010-01-03 13:30:20 +01:00 |
Daniel Marjamäki
|
2e62a3f4c7
|
Fixed #1202 (false positive: uninitialized variable when using 'do')
|
2010-01-02 09:08:36 +01:00 |
Daniel Marjamäki
|
071b7b463d
|
Fixed #1200 (false positive 'uninitialized variable' when using throw)
|
2010-01-01 20:12:39 +01:00 |
Daniel Marjamäki
|
4cbae159b2
|
ExecutionPath: Refactoring. Removed the bailOut variable
|
2009-12-29 09:30:02 +01:00 |
Daniel Marjamäki
|
cfdf2b8cfe
|
Fixed #1160 (Null pointer dereference vs. goto)
|
2009-12-29 09:17:07 +01:00 |
Daniel Marjamäki
|
d3d3ad101f
|
Valgrind: Fixed memory leaks when running testrunner that was found by Valgrind
|
2009-12-28 19:48:30 +01:00 |
Daniel Marjamäki
|
ad8184f060
|
Fixed #1152 (Hang/Slow: ExecutionPath handling hangs)
|
2009-12-26 08:37:59 +01:00 |
Daniel Marjamäki
|
9819b75e17
|
ExecutionPath: Refactoring if-handling
|
2009-12-25 20:50:23 +01:00 |
Daniel Marjamäki
|
7bf0622ae0
|
ExecutionPath: Refactoring the interface
|
2009-12-25 20:12:06 +01:00 |
Daniel Marjamäki
|
b5291825ce
|
Fixed #683 (wrong usage of strcmp)
|
2009-12-25 19:45:21 +01:00 |