Daniel Marjamäki
|
9e15c4ef38
|
Fixed #2088 ([test.c:12]: (error) Buffer access out-of-bounds: l)
|
2010-10-12 19:35:20 +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
|
a73ada54d5
|
Fixed #1705 (false negative: access past end of buffer)
|
2010-10-10 09:15:18 +02:00 |
Ettl Martin
|
a56f6d276a
|
fixed warning from cppcheck: [lib/checkbufferoverrun.h:129]: (style) 'operator=' should not return a const reference
|
2010-09-15 22:25:12 +02:00 |
Daniel Marjamäki
|
e7f7c77eab
|
Fixed #1948 (C++ class scoping not followed)
|
2010-08-24 22:04:14 +02:00 |
Erik Lax
|
248bb3b6e8
|
Fixed #1935 (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 #1925 (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 #1487 (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 #1670 (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: #1868
|
2010-07-25 18:19:37 +02:00 |
Daniel Marjamäki
|
19e26c3b80
|
CheckBufferOverrun: report progress. Ticket: #1868
|
2010-07-24 20:54:42 +02:00 |
Daniel Marjamäki
|
dd07d82c34
|
Refactoring MathLib: Report errors through the tokenizer. Ticket: #1839
|
2010-07-24 10:25:03 +02:00 |
Daniel Marjamäki
|
bea714445a
|
Fixed #1850 (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 #1787 (false negative: out of bounds in derived class)
|
2010-06-13 07:17:50 +02:00 |
Zachary Blair
|
2645e96783
|
Applied review suggestions for Ticket #568
|
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 #568 (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 #818 (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 #168 (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 #1695 (Ticket #1614 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 #1418 (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 #1636 (Fix false positive with strncpy termination check)
|
2010-04-30 18:08:32 +02:00 |
Daniel Marjamäki
|
0444ff5298
|
Fixed #1627 (###### 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 #948 (array index out of bound not detected 'a[i-1] = 0')
|
2010-04-25 07:34:50 +02:00 |
Daniel Marjamäki
|
8ccd95a643
|
Fixed #836 (buffer overrun: memmove)
|
2010-04-24 21:48:58 +02:00 |
Daniel Marjamäki
|
a3b781a181
|
Fixed #819 (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 #1619 (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 |
Daniel Marjamäki
|
798aa84151
|
Refactoring: CheckBufferOverrun refactorings. split up the checkScope into two separate functions. The ArrayInfo usage was improved. Also broke out for-loop handling into separate functions.
|
2010-04-21 18:33:21 +02:00 |
Reijo Tomperi
|
96d66af478
|
Change "Array index -1 corresponds with 4294967295..." error message into "Array index -1 is out of bounds"
|
2010-04-20 21:44:31 +03:00 |
Daniel Marjamäki
|
7e2f39290d
|
Fixed #1614 (negative array index issues in latest from git)
|
2010-04-20 16:43:51 +02:00 |
Reijo Tomperi
|
97fea180b5
|
astyle fix
|
2010-04-18 22:03:03 +03:00 |
Daniel Marjamäki
|
b6ab419a06
|
Buffer Overrun: Broke out the checking for negative array index
|
2010-04-18 20:51:39 +02:00 |
Daniel Marjamäki
|
af3f2faa41
|
Refactoring: Renamed ArrayInfo::type_size to ArrayInfo::element_size
|
2010-04-18 20:18:25 +02:00 |
Daniel Marjamäki
|
1ae5a89982
|
Refactoring: Reusing the ArrayInfo in CheckBufferOverrun
|
2010-04-18 20:06:54 +02:00 |
Daniel Marjamäki
|
814f706329
|
BufferOverflow: Refactoring ArrayInfo
|
2010-04-18 19:46:45 +02:00 |
Daniel Marjamäki
|
a473345f18
|
Buffer overruns: First change to detect overruns in multidimensional arrays (#819)
|
2010-04-18 11:08:29 +02:00 |
Daniel Marjamäki
|
c718a7c595
|
astyle: Update to astyle 1.24
|
2010-04-15 20:08:51 +02:00 |
Reijo Tomperi
|
35d2a27b9c
|
Update copyright year in all source files
|
2010-04-13 22:23:17 +03:00 |
Daniel Marjamäki
|
a7903c3385
|
dos2unix
|
2010-04-13 19:25:08 +02:00 |
firewave
|
8966888a92
|
Fixed some VS2008 warnings
|
2010-04-13 11:31:27 +02:00 |
Reijo Tomperi
|
d102369196
|
Fix #1590 (False negative: Array index out of bounds: "0 <= i")
http://sourceforge.net/apps/trac/cppcheck/ticket/1590
|
2010-04-12 22:04:59 +03:00 |
Daniel Marjamäki
|
6f74c0af5e
|
Fixed #1587 (Crash while processing file)
|
2010-04-11 20:57:30 +02:00 |
Daniel Marjamäki
|
1f022e281f
|
Fixed SIGABRT in new checking
|
2010-04-10 21:28:49 +02:00 |
Daniel Marjamäki
|
5fed938f56
|
Fixed #1190 (array index out of bounds when index variable is assigned in a condition)
|
2010-04-10 21:12:00 +02:00 |
Daniel Marjamäki
|
e9b4ea44a2
|
Refactoring: Disable inconclusive checks. They can still be activated for debugging/testing purposes
|
2010-04-10 14:05:33 +02:00 |
Daniel Marjamäki
|
b4e9185177
|
Fixed #1134 (improve check: pointer access out of bounds not detected (allocated with malloc))
|
2010-04-10 07:57:29 +02:00 |
Daniel Marjamäki
|
9a4707c025
|
Fixed #1576 ('Index out of bounds' false positive)
|
2010-04-08 19:57:38 +02:00 |
Reijo Tomperi
|
c28b365ea0
|
astyle fix
|
2010-04-06 16:56:06 +03:00 |
Martin Ettl
|
c4d1d47f6b
|
fixed ticket 997, now fread and fwrite checked for bufferoverrun
|
2010-04-06 13:55:03 +02:00 |
Reijo Tomperi
|
d3c251f53a
|
Refactor and fix "After a strncpy() the buffer should be zero-terminated" checking,
|
2010-04-05 21:47:50 +03: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 |
Reijo Tomperi
|
c7d36b73ed
|
Fix #1548 (False positive: array index out of bounds in for-loop)
http://sourceforge.net/apps/trac/cppcheck/ticket/1548
|
2010-04-01 22:35:36 +03:00 |
Robert Reif
|
32e597e343
|
Fixed #1539 (False positive: possible error Array index out of bounds)
|
2010-03-30 17:33:17 +02:00 |
Robert Reif
|
0bddd1977f
|
Fixed #1536 (###### If you see this, there is a bug ###### Token::Match() - varid was 0)
|
2010-03-29 17:25:38 +02:00 |
Robert Reif
|
62d2845014
|
Fixed #1492 (false negatives: array index out of bounds)
|
2010-03-28 15:56:13 +02:00 |
Daniel Marjamäki
|
04ff061bbb
|
astyle formatting
|
2010-03-09 12:41:40 +01:00 |
Daniel Marjamäki
|
5d68952bd2
|
checkbufferoverrun: Refactorings
|
2010-03-09 12:04:22 +01:00 |
Daniel Marjamäki
|
0597026f13
|
Revert "checkbufferoverrun: Fixed signedness compiler warnings"
This reverts commit 3123de346c .
This commit caused failed tests
|
2010-03-09 11:03:45 +01:00 |
Daniel Marjamäki
|
3123de346c
|
checkbufferoverrun: Fixed signedness compiler warnings
|
2010-03-09 10:56:31 +01:00 |
Reijo Tomperi
|
88840e6a08
|
Fix #1453 (possible infinite loop processing GNU Go's engine/montecarlo.c)
http://sourceforge.net/apps/trac/cppcheck/ticket/1453
|
2010-02-27 23:47:56 +02:00 |
Daniel Marjamäki
|
8f4edb5e45
|
Fixed #1409 (False positive: Buffer access out-of-bounds with strncpy and an array in typedef'ed struct)
|
2010-02-21 15:23:50 +01:00 |
Daniel Marjamäki
|
6b8cb08ec6
|
Refactoring CheckBufferOverrun. Use std::string instead of const char *
|
2010-02-18 22:25:29 +01:00 |
Reijo Tomperi
|
e44f0b1b8d
|
Fix #1392 (Segfault in CheckBufferOverrun::checkScope)
http://sourceforge.net/apps/trac/cppcheck/ticket/1392
|
2010-02-15 23:20:09 +02:00 |
Monika Lukow
|
e9e5174797
|
Fixed #1333 (Detect access out of bounds 'for (i = 100; i > 0; --i) a[i] = 0;')
|
2010-02-14 23:10:15 +01:00 |
Reijo Tomperi
|
7f2871d353
|
astyle fix
|
2010-02-14 21:46:40 +02:00 |
Daniel Marjamäki
|
9394816fcf
|
Refactoring: Use std::string instead of const char *
|
2010-02-14 19:58:17 +01:00 |
Reijo Tomperi
|
2a78637da7
|
Fix #1340 (False positive: Array out of bounds for re-initialised array pointer)
http://sourceforge.net/apps/trac/cppcheck/ticket/1340
|
2010-02-10 23:11:08 +02:00 |
Reijo Tomperi
|
9852ab86e9
|
Fix #1358 (False negative: out-of-bounds not found near return)
http://sourceforge.net/apps/trac/cppcheck/ticket/1358
|
2010-02-05 23:55:10 +02:00 |
Monika Lukow
|
a0e96be0c3
|
Fixed #1274 (false positive: Dangerous usage of strncat)
|
2010-01-31 11:43:54 +01:00 |
Daniel Marjamäki
|
c666a9662b
|
BufferOverrun: negative index is out of bounds
|
2010-01-11 21:18:07 +01:00 |
Daniel Marjamäki
|
57d1da3910
|
Ticket #1228 : Handle tokensBack in the Token class. When adding&removing tokens the Token class can make sure that this pointer is updated accordingly. It is very important that the tokensBack has the same scope as the token list, otherwise there will be a dead pointer problem.
|
2010-01-06 20:19:27 +01:00 |
Daniel Marjamäki
|
5925b88b38
|
Robert Reif: improve check: array index out of bounds, show name of array, array size and array index
|
2009-12-25 15:25:58 +01:00 |