Daniel Marjamäki
|
ffb5d107be
|
CheckNullPointer::isPointerDeRef: Tweaks to reduce false warnings when inconclusive is used.
|
2011-12-11 08:48:55 +01:00 |
|
Daniel Marjamäki
|
497c54a1a7
|
Fixed #3168 (false negative: buffer overflow in subfunction)
|
2011-12-11 08:16:58 +01:00 |
|
Daniel Marjamäki
|
ee39f6402c
|
reverted fix for #3168, I'll rewrite it
|
2011-12-10 20:46:10 +01:00 |
|
Daniel Marjamäki
|
897e8637b4
|
Fixed #3168 (false negative: buffer overflow in subfunction)
|
2011-12-10 19:26:12 +01:00 |
Edoardo Prezioso
|
51c1e2303f
|
CheckBufferOverrun::checkInsecureCmdLineArgs(): Remove recently unused variable 'pattern'.
|
2011-12-09 23:24:08 +01:00 |
PKEuS
|
91a0a071d0
|
Take symbol database into use or improve its usage in some checks.
|
2011-12-09 23:28:10 +02:00 |
Daniel Marjamäki
|
60d828e778
|
C++ Builder: Fixed compiler error
|
2011-12-08 22:09:03 +01:00 |
|
PKEuS
|
167a7e3e51
|
Various code cleanups
|
2011-12-08 21:28:34 +01:00 |
Zachary Blair
|
344d7e2f34
|
Fixed #3283 (False negative: array index out of bounds not found for constant string and known array index value)
|
2011-11-30 19:17:09 -08:00 |
Marek Zmysłowski
|
e0b50719f4
|
Fixed #909 (improve check: out of bounds of memchr function and out of bounds check)
|
2011-11-27 07:54:52 +01:00 |
|
PKEuS
|
71c8669261
|
Fixed #3311, #3313 and #3339 (printf format string false positives)
|
2011-11-27 07:29:09 +01:00 |
|
PKEuS
|
6b6f780057
|
code cleanups and refactorings
|
2011-11-26 21:02:04 +01:00 |
|
Daniel Marjamäki
|
b26811cdf5
|
astyle formatting
|
2011-11-20 16:50:41 +01:00 |
|
Edoardo Prezioso
|
a32b05197d
|
Change every 'tokAt(1)' to 'next()' and every 'tokAt(-1)' to 'previous()'.
Added a safety check to ensure that a 'previous()' call doesn't crash (not sure if it's needed or not).
|
2011-11-20 15:59:37 +01:00 |
|
Edoardo Prezioso
|
11dd3c09ce
|
Change every 'tokAt(1)->' to 'next()->' because 'tokAt(1) == 0' is equivalent to 'next() == 0', hence the equivalent cppcheck crash.
|
2011-11-20 15:09:57 +01:00 |
|
Edoardo Prezioso
|
42e369a4b4
|
Change every 'tokAt(..)->link()' to 'linkAt(..)'.
|
2011-11-20 14:24:27 +01:00 |
|
Daniel Marjamäki
|
2a5b4b1842
|
Fixed #3328 (False negative: out of bounds)
|
2011-11-19 15:28:06 +01:00 |
|
Edoardo Prezioso
|
2c64d299ca
|
Change every 'tokAt(...)->str()' to 'strAt(...)'.
|
2011-11-13 13:10:59 +01:00 |
|
Edoardo Prezioso
|
ba5909ef1d
|
General code tweaking, nothing strange.
|
2011-10-31 02:24:59 +01:00 |
|
Edoardo Prezioso
|
433f4640a9
|
Fix some GCC warnings regarding the sign conversion.
|
2011-10-30 18:34:49 +01:00 |
|
Daniel Marjamäki
|
0d1046eeeb
|
Merge pull request #51 from richq/explicit
Explicit constructors
|
2011-10-30 01:38:26 -07:00 |
|
Daniel Marjamäki
|
d7be62a6f9
|
Fixed #3221 (FP: Array 'arr[2147483648]' index 0 out of bounds in loop when size unknown to cppcheck)
|
2011-10-29 20:26:24 +02:00 |
Richard Quirk
|
a0a5b36667
|
Ensure single-argument constructors are explicit
|
2011-10-29 18:24:30 +02:00 |
Thomas Jarosch
|
2b8da1241b
|
Add missing percent end character
|
2011-10-29 12:08:36 +02:00 |
|
Thomas Jarosch
|
434fb933a8
|
Implement Token::findsimplematch und use it for simple patterns
|
2011-10-27 15:59:22 +02:00 |
|
Thomas Jarosch
|
54adb910ec
|
Use Token::simpleMatch instead of Token::Match for simple patterns
|
2011-10-27 15:59:22 +02:00 |
|
Daniel Marjamäki
|
a076b24dc6
|
astyle formatting
|
2011-10-24 21:57:49 +02:00 |
|
Thomas Jarosch
|
3413ffef3e
|
Refactor readlink() buffer check to also handle readlinkat()
|
2011-10-24 21:23:18 +02:00 |
|
PKEuS
|
cdfe0d74e4
|
Make checkSprintfCall using nextArguments()
|
2011-10-23 17:47:48 +02:00 |
|
Marek Zmysłowski
|
b332ea8222
|
Fixed #3204 (Refactor standards support in Settings)
|
2011-10-22 09:45:48 +02:00 |
|
Thomas Jarosch
|
7ae39f13cc
|
Fixed #3198 (Add check for readlink())
|
2011-10-14 19:45:51 +02:00 |
|
Daniel Marjamäki
|
6f8e42a5af
|
changed the astyle formatting flags
|
2011-10-13 20:53:06 +02:00 |
|
Daniel Marjamäki
|
74c0468a18
|
astyle formatting
|
2011-10-12 22:06:19 +02:00 |
|
Daniel Marjamäki
|
b73896bcc5
|
Fixed #3163 (Out of bounds pointer arithmetic not reset)
|
2011-10-12 20:54:39 +02:00 |
|
Thomas Jarosch
|
abd2525339
|
Fixed #3161 (Show buffers size info for snprintf() buffer overruns)
|
2011-10-05 20:17:57 +02:00 |
Robert Reif
|
65b0fb4519
|
fix #3153 (false positive buffer access out-of-bounds)
|
2011-09-30 17:28:59 -04:00 |
|
Robert Reif
|
ac070b90f2
|
fix for loop false positives when zero length arrays present
|
2011-09-22 21:23:40 -04:00 |
|
Robert Reif
|
b349d36c50
|
fix #3124 (FP: Buffer access out-of-bounds when memset two dimension array (a[5][6]))
|
2011-09-19 20:32:50 -04:00 |
|
Robert Reif
|
3f517b5f23
|
partial fix for #2960 (false negative: buffer access out of bounds)
|
2011-09-11 21:51:05 -04:00 |
|
Robert Reif
|
40009d091d
|
add multi-dimension array support to second checkScope and use it for member arrays
|
2011-09-11 20:42:57 -04:00 |
|
Robert Reif
|
0d6592dd2e
|
use correct checkScope function in CheckBufferOverrun for single dimension member arrays
|
2011-09-11 19:21:13 -04:00 |
|
Robert Reif
|
19928e26d1
|
refactor to unify functionally identical code in CheckBufferOverrun::checkScope()
|
2011-09-11 14:00:53 -04:00 |
|
Robert Reif
|
e18fe56d56
|
refactor CheckBufferOverrun to only use multi-dimension array error messages and remove single dimension array message
|
2011-09-11 09:54:26 -04:00 |
|
Robert Reif
|
a9b4e21f60
|
refactor CheckBufferOverrun::checkScope to take an ArrayInfo parameter
|
2011-09-10 11:21:52 -04:00 |
|
Robert Reif
|
547a79d4fe
|
calculate array size for variable length structures with array at end in CheckBufferOverrun::checkStructVariable() when possible
|
2011-09-10 10:14:32 -04:00 |
|
Robert Reif
|
b0eab2587d
|
better detection of variable sized structure in CheckBufferOverrun::checkStructVariable()
|
2011-09-09 08:37:24 -04:00 |
|
Robert Reif
|
27bfa2a346
|
fix some CheckBufferOverrun::checkStructVariable() flase negatives for possible variable length structs
|
2011-09-09 07:46:06 -04:00 |
|
Robert Reif
|
16924c7c7a
|
fix #3094 (Buffer access out-of-bounds in struct variable)
|
2011-09-09 07:16:39 -04:00 |
|
Robert Reif
|
812a17f294
|
fix one of the TODO testcases added for #3094 (Buffer access out-of-bounds in struct variable)
|
2011-09-08 22:44:25 -04:00 |
|
Robert Reif
|
cbbdd55177
|
fix some -Wconversion -Wsign-conversion warnings in checkbufferoverrun.cpp
|
2011-09-05 19:02:26 -04:00 |