Commit Graph

62 Commits

Author SHA1 Message Date
Thomas Jarosch 434fb933a8 Implement Token::findsimplematch und use it for simple patterns 2011-10-27 15:59:22 +02:00
Daniel Marjamäki 6f8e42a5af changed the astyle formatting flags 2011-10-13 20:53:06 +02:00
Daniel Marjamäki 63a0c6ad4a Fixed (uninitialized and leaving scope) 2011-07-25 16:35:30 +02:00
Stefan Weil 21a2a91b3c executionpath: fix memory leak 2011-05-19 19:31:51 +02:00
Daniel Marjamäki caca6e94e6 Fixed (uninitialized variable: undetected when initialization in for loop) 2011-02-19 20:19:46 +01:00
Raphael Geissert 8d5863133c Use Token::simpleMatch where no patterns are used 2011-02-02 13:27:01 -06:00
Reijo Tomperi 226b605774 Change year 2010 -> 2011 in license texts. 2011-01-09 21:33:36 +02:00
Daniel Marjamäki 68de938d23 Uninitialized variables. Fixed false positive when there are multiple related conditions. ticket: 2011-01-05 19:54:56 +01:00
Daniel Marjamäki 2da3fea1b8 Fixed (segmentation fault occurs in the checking when typedef has same name as an enum constant) 2010-12-31 20:55:28 +01:00
Daniel Marjamäki 243a524909 Fixed (false positive: possible null pointer dereference) 2010-12-26 13:38:16 +01:00
Daniel Marjamäki 29bb553782 Fixed (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 (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 (False positive: possible null pointer dereference 'else continue') 2010-09-18 14:56:07 +02:00
Daniel Marjamäki fce70508f7 Fixed (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 (False negative: 'Uninitialized variable' error won't show) 2010-09-15 20:04:50 +02:00
Daniel Marjamäki 0418731473 Fixed (False positive: Uninitialized variable when function does not return) 2010-09-10 19:02:40 +02:00
Daniel Marjamäki 5688412f00 Fixed (False positive: Uninitialized variable when function does not return) 2010-09-07 20:25:29 +02:00
Daniel Marjamäki fb4fce466e Fixed (False positive with longjmp) 2010-09-03 07:18:01 +02:00
Daniel Marjamäki 02088443f9 quick fix for (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 (false positive: uninitialized variable (function call in switch condition)) 2010-07-18 13:19:37 +02:00
Daniel Marjamäki 11a72461f3 Fixed (false positive: uninitialized variable when using ?) 2010-07-08 11:16:49 +02:00
Daniel Marjamäki 1b20f8d27d Fixed (false positive: unitialised variable) 2010-07-06 13:18:28 +02:00
Daniel Marjamäki 07e00d57d9 Fixed (segfault in ExecutionPath::bailOutVar (probably caused by fix)) 2010-06-05 09:45:35 +02:00
Daniel Marjamäki b11e23eb08 Fixed (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 (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 (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 (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 (False positive: Uninitialized variable) 2010-03-28 10:42:37 +02:00
Daniel Marjamäki 6a03fa604c Fixed (false positive: uninitialized variable) 2010-02-20 09:35:57 +01:00
Daniel Marjamäki db2c362604 Fixed (false positive: uninitialized variable) 2010-02-17 18:10:50 +01:00
Daniel Marjamäki 19589adc1d Fixed (false positive:: uninitialized class member of nested class inside a function) 2010-02-08 18:06:28 +01:00
Daniel Marjamäki cefa695dba Fixed ((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 (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 (false positive: uninitialized variable when using exit|abort) 2010-01-03 15:35:32 +01:00
Daniel Marjamäki fa535ff3ae Fixed (NULL referencing not detected) 2010-01-03 13:30:20 +01:00