116 Commits

Author SHA1 Message Date
Daniel Marjamäki
e7f7c77eab Fixed (C++ class scoping not followed) 2010-08-24 22:04:14 +02:00
Erik Lax
248bb3b6e8 Fixed (false negative: detect buffer overrun from network functions (recv, recvfrom..)) 2010-08-14 20:19:23 +02:00
Ettl Martin
a6be941006 actived Wconversion flag in Makefile and fixed almost all Warnings from gcc-4.4 2010-08-12 19:39:19 +02:00
Robert Reif
483a3ddfe1 Fixed (fix some cppcheck warnings in cppcheck) 2010-08-10 07:26:59 +02:00
Daniel Marjamäki
12217461a2 gcc: fixed some more -Wsign-conversion warnings 2010-08-06 22:37:48 +02:00
Daniel Marjamäki
adc47f1820 Fixed (fix gcc compiler warnings) 2010-08-06 21:02:43 +02:00
Ettl Martin
d16944398a fixed compiler Warning in lib/checkbufferoverrun about comparison of signed and unsigned variable 2010-08-05 18:58:58 +02:00
Daniel Marjamäki
1b2f16f443 Buffer overflow: Fixed two TODO test cases 2010-08-05 11:01:47 +02:00
Daniel Marjamäki
33bf8bf730 Fixed (False negative: Array index out of bounds in return statement) 2010-08-04 20:38:52 +02:00
Daniel Marjamäki
9edecd4a3f Added ErrorLogger::reportProgress and removed ErrorLogger::ReportProgress. This will make it easier for GUI and other clients to display progress information. 2010-08-03 16:36:21 +02:00
Daniel Marjamäki
e358af9018 Refactoring: Report progress when checking takes a long time. Ticket: 2010-07-25 18:19:37 +02:00
Daniel Marjamäki
19e26c3b80 CheckBufferOverrun: report progress. Ticket: 2010-07-24 20:54:42 +02:00
Daniel Marjamäki
dd07d82c34 Refactoring MathLib: Report errors through the tokenizer. Ticket: 2010-07-24 10:25:03 +02:00
Daniel Marjamäki
bea714445a Fixed (An access to a nested std::map via a negative integer key is reported as 'Array index out of bounds') 2010-07-14 12:24:07 +02:00
Daniel Marjamäki
b02fc037ed Buffer Overrun: Fixed false positive when variable is reassigned in called function 2010-07-05 22:19:27 +02:00
Daniel Marjamäki
dcdbe117e6 Borland C++: Fixed compiler errors. When using 'a?b:c', Borland requires that b and c are the same type 2010-06-19 08:52:14 +02:00
Daniel Marjamäki
b5d0955d11 doxygen: fixed error messages given by doxygen 2010-06-14 07:54:41 +02:00
Robert Reif
18bb7488b9 Fixed (false negative: out of bounds in derived class) 2010-06-13 07:17:50 +02:00
Zachary Blair
2645e96783 Applied review suggestions for Ticket 2010-06-03 22:42:54 -07:00
Daniel Marjamäki
5789eb116d astyle formatting 2010-06-02 18:09:25 +02:00
Zachary Blair
33b4254d33 Fixed (string functions with command line arguments may overflow buffer) 2010-06-01 22:41:07 -07:00
Daniel Marjamäki
7601089bee astyle formatting 2010-05-29 11:19:56 +02:00
Zachary Blair
59086fa599 Fixed (Detect sprintf buffer overrun with struct members) 2010-05-28 22:51:28 -07:00
Daniel Marjamäki
d23f63c805 astyle formatting 2010-05-26 19:21:34 +02:00
Zachary Blair
619cfbc56f Fixed (buffer overflow: not enough room for the null terminator) 2010-05-26 01:56:34 -07:00
Daniel Marjamäki
c465d824b7 Removed TODO 2010-05-24 07:32:33 +02:00
Daniel Marjamäki
c31accc52a Fixed (Ticket is broken using latest from git) 2010-05-19 19:23:09 +02:00
Daniel Marjamäki
f8442391af astyle formatting 2010-05-17 19:51:35 +02:00
Monika Lukow
71e5c56bf9 Fixed (false negative: buffer access out of bounds) 2010-05-16 23:53:42 +02:00
Daniel Marjamäki
01034cd48d Refactoring: Removed 'possible error' message about cin 2010-05-16 19:09:36 +02:00
Daniel Marjamäki
26fab24de4 Refactoring: Removed some inconclusive checking in CheckBufferOverrun 2010-05-16 15:30:39 +02:00
Daniel Marjamäki
4e84ec0ff5 refactoring: spell checking comments 2010-05-08 10:39:45 +02:00
Daniel Marjamäki
0415560912 refactoring: changed the severity for strncatUsage from possibleError to style 2010-05-02 09:54:08 +02:00
Daniel Marjamäki
883d462553 refactoring: Use style severity instead of possible error for the 'The size argument is given as a char constant' 2010-05-02 09:16:45 +02:00
Daniel Marjamäki
58e26ab1fc Fixed Cppcheck warning about possible null pointer dereference 2010-05-01 11:55:26 +02:00
Eric Sesterhenn
344b6bf434 Fixed (Fix false positive with strncpy termination check) 2010-04-30 18:08:32 +02:00
Daniel Marjamäki
0444ff5298 Fixed (###### If you see this, there is a bug ###### - Token::Match('%varid% [ %num% ]', 0)) 2010-04-26 18:52:40 +02:00
Daniel Marjamäki
eb82a89758 ExecutionPath: Better handling of if 2010-04-25 11:55:57 +02:00
Daniel Marjamäki
1a34e7daf6 Fixed (array index out of bound not detected 'a[i-1] = 0') 2010-04-25 07:34:50 +02:00
Daniel Marjamäki
8ccd95a643 Fixed (buffer overrun: memmove) 2010-04-24 21:48:58 +02:00
Daniel Marjamäki
a3b781a181 Fixed (array index out of bounds not detected for multidimension arrays) 2010-04-23 16:26:40 +02:00
Daniel Marjamäki
7d391b37c9 astyle formatting 2010-04-22 20:07:41 +02:00
Daniel Marjamäki
eda18004bd Cleanup CheckBufferOverrun 2010-04-22 19:58:44 +02:00
Daniel Marjamäki
e28dbda5fa Refactoring: Improved the checkFunctionCalls, warning when size argument is given through char constant 2010-04-22 19:55:07 +02:00
Daniel Marjamäki
c0d0b0f63f Refactoring: Moved function call check to checkFunctionCalls 2010-04-22 19:49:02 +02:00
Daniel Marjamäki
b9d8f52cca CheckBufferOverrun: Fixed false positives caused by refactorings 2010-04-22 19:22:23 +02:00
Robert Reif
90541386da Fixed (tokenizer: remove calling convention) 2010-04-21 21:08:47 +02:00
Daniel Marjamäki
f378b382a0 CheckBufferOverrun: simplify checking of read|write problems 2010-04-21 20:06:59 +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