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
|
a473345f18
|
Buffer overruns: First change to detect overruns in multidimensional arrays (#819)
|
2010-04-18 11:08:29 +02:00 |
Daniel Marjamäki
|
6db4ab68ef
|
Unit Testing: added assertions for todo testcases to detect changes
|
2010-04-17 15:01:18 +02:00 |
Daniel Marjamäki
|
c0e9a546f7
|
Refactoring: Refactoring the Settings class
|
2010-04-17 09:23:54 +02:00 |
Reijo Tomperi
|
35d2a27b9c
|
Update copyright year in all source files
|
2010-04-13 22:23:17 +03: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 |
Reijo Tomperi
|
7f7e621ecb
|
More tests added to test/testbufferoverrun.cpp
|
2010-04-11 23:22:16 +03:00 |
Daniel Marjamäki
|
6f74c0af5e
|
Fixed #1587 (Crash while processing file)
|
2010-04-11 20:57:30 +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
|
e17cce6ac4
|
Unit Testing: Added an ASSERT
|
2010-04-10 18:54:12 +02:00 |
Daniel Marjamäki
|
15da4fe689
|
Refactoring: simplified test case
|
2010-04-10 18:50:28 +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 |
Martin Ettl
|
2e11805c1a
|
added TODO testcase for checking fwrite() and fread() check for buffer overrun
|
2010-04-06 20:56:01 +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
|
928163b0cf
|
Fix line number in previously committed unit test
|
2010-04-05 23:37:30 +03:00 |
Daniel Marjamäki
|
0cffe547f9
|
Unit Testing: Added unit test for untested code in CheckBufferOverrun. Using memset on struct.
|
2010-04-05 21:50:40 +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
|
6327ed55a2
|
Unit Testing: Buffer overruns when using memchr/memset/memcpy/etc
|
2010-04-05 20:02:28 +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 |
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 |
Robert Reif
|
c50469dba6
|
Fixed #1523 (false negative:: buffer access out of bounds when using shift operator)
|
2010-03-27 07:21:08 +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 |
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
|
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 |
Reijo Tomperi
|
db2aff03c7
|
Added test case for #1333 (Detect access out of bounds 'for (i = 100; i > 0; --i) a[i] = 0;')
http://sourceforge.net/apps/trac/cppcheck/ticket/1333
|
2010-01-31 22:02:26 +02: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
|
e6d5c76138
|
refactoring
|
2010-01-03 15:52:52 +01:00 |
Daniel Marjamäki
|
79223b71d5
|
added test case for #1193 (false negative: array out of bounds in loop when there is calculation)
|
2010-01-03 15:49:17 +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 |
Daniel Marjamäki
|
8a1940e043
|
astyle
|
2009-12-19 17:57:58 +01:00 |
Daniel Marjamäki
|
0da0b5ffed
|
ericsesterhenn: Fixed #1106 (check if buffer is zero terminated after a strncpy)
|
2009-12-18 17:26:15 +01:00 |
Daniel Marjamäki
|
0b09c36851
|
Fixed #1026 (false positive: buffer access out of bounds)
|
2009-12-05 11:41:30 +01:00 |
Martin Ettl
|
03e7914c98
|
partial fix of ticket #997; added check for write() two testcases
|
2009-11-28 13:41:24 +01:00 |
Daniel Marjamäki
|
f75c9619d1
|
Fixed #1021 (Out-of-bounds access false positive)
|
2009-11-28 12:51:23 +01:00 |
Reijo Tomperi
|
12a87fa3a4
|
Fix #1007 (False positive array index out of bounds concerning a switch statement in a for loop)
Bailout if switch is found in for loop.
http://sourceforge.net/apps/trac/cppcheck/ticket/1007
|
2009-11-25 22:40:51 +02:00 |
Reijo Tomperi
|
9bdf4502ed
|
Fix #995 (false positive: buffer access out of bounds when using fgets)
http://sourceforge.net/apps/trac/cppcheck/ticket/995
|
2009-11-21 15:45:52 +02:00 |
Reijo Tomperi
|
6417704577
|
Fix #985 (Detect buffer overrun with read())
http://sourceforge.net/apps/trac/cppcheck/ticket/985
|
2009-11-20 23:47:06 +02:00 |
Reijo Tomperi
|
9275b49688
|
Fix #964 (Integer division by zero exception)
http://sourceforge.net/apps/trac/cppcheck/ticket/964
|
2009-11-15 17:44:30 +02:00 |
Slava Semushin
|
6669a50634
|
Fixed #842 (out of bounds: when buffer is allocated with malloc)
http://sourceforge.net/apps/trac/cppcheck/ticket/842
|
2009-11-15 18:38:57 +06:00 |