Daniel Marjamäki
|
7e7aa21029
|
astyle formatting
[ci skip]
|
2016-12-26 14:14:48 +01:00 |
|
Daniel Marjamäki
|
770abcf453
|
Fixed #5398 (False positive: Scope of variable can be reduced does not account for other variables not reduceable)
|
2016-12-26 14:14:40 +01:00 |
|
Daniel Marjamäki
|
c8bc1c8f0e
|
Merge pull request #852 from boos/cwe-mapping-16
CWE mapping of accessMoved, accessForwarded, nullPointerArithmeticRedundantCheck, nullPointerArithmetic
|
2016-12-25 22:45:08 +01:00 |
|
Daniel Marjamäki
|
c8a450c9be
|
uninitvar: Fixed a FP seen in daca2
|
2016-12-25 22:43:29 +01:00 |
Matthias Krüger
|
ecc91ba914
|
fix a couple of issues in shell scripts found by codacy.
|
2016-12-25 00:43:47 +01:00 |
Roberto Martelloni
|
04f24b4220
|
CWE mapping of accessMoved, accessForwarded, nullPointerArithmeticRedundantCheck, nullPointerArithmetic
|
2016-12-24 23:07:37 +00:00 |
orbitcowboy
|
00fd38967f
|
windows.cfg: SetEnvironmentVariable() the second parameter is allowed to be NULL.
|
2016-12-22 13:46:12 +01:00 |
PKEuS
|
ea53bd22b7
|
Fixed false positive returnTempReference with operator++ (#7874)
|
2016-12-22 11:49:59 +01:00 |
|
orbitcowboy
|
df5c815b1b
|
windows.cfg: Added support for _strnicmp() functions.
|
2016-12-22 11:19:01 +01:00 |
|
Daniel Marjamäki
|
2ce4811998
|
astyle formatting
[ci skip]
|
2016-12-22 09:40:39 +01:00 |
|
Daniel Marjamäki
|
df6ae9f3b4
|
Fixed #7847 (Can't detect shift negative values when some op is executed)
|
2016-12-22 09:40:19 +01:00 |
|
Daniel Marjamäki
|
d79688c40b
|
Fixed #7822 (False positive for uninitialized variable if array type is used)
|
2016-12-21 23:11:11 +01:00 |
|
Daniel Marjamäki
|
28af5c0379
|
Integer Overflow: Don't warn about left-shift expressions with negative result like '1<<31'. That is common practice.
|
2016-12-21 18:19:59 +01:00 |
|
Daniel Marjamäki
|
426d1b4196
|
Merge pull request #846 from simartin/ticket_7805
Ticket #7805: Ignore enumerators when simplifying known variables.
|
2016-12-21 17:58:48 +01:00 |
|
Daniel Marjamäki
|
f40bdddbab
|
ValueFlow: Better handling when casting calculation result
|
2016-12-20 23:09:50 +01:00 |
|
Daniel Marjamäki
|
f0d91fb74b
|
Fixed #7869 (False positive: Array index out of bounds)
|
2016-12-20 22:01:19 +01:00 |
|
Daniel Marjamäki
|
44ccbdedec
|
ValueFlow: Improved value for cast
|
2016-12-20 21:37:25 +01:00 |
|
Daniel Marjamäki
|
606bb78297
|
ValueFlow: Better handling of casts
|
2016-12-20 19:32:21 +01:00 |
|
Daniel Marjamäki
|
b9c65f0540
|
std.cfg: null pointer is allowed as first argument to wctomb
|
2016-12-20 16:08:28 +01:00 |
|
Daniel Marjamäki
|
e14e86c103
|
ValueFlow: only set values in conditional code in subfunctions when sure
|
2016-12-20 11:06:20 +01:00 |
|
Daniel Marjamäki
|
807b653739
|
ValueFlow: Fix FP in for loops when 2nd expression is 0
|
2016-12-20 07:54:38 +01:00 |
|
Daniel Marjamäki
|
f1ad7368f6
|
ValueFlow: bool values
|
2016-12-19 21:21:18 +01:00 |
|
Daniel Marjamäki
|
aaf19c1e4f
|
Fixed #7839 (Prefix increment triggers parameter modification warning)
|
2016-12-19 15:25:36 +01:00 |
|
Daniel Marjamäki
|
f5ad7482a8
|
CheckBufferOverrun: Skip warnings about array index out of bounds in unions. Theoretically, the array is at least as large as the biggest union member.
|
2016-12-18 22:10:30 +01:00 |
|
Daniel Marjamäki
|
4558701c08
|
varid: don't generate varid and symboldatabase variable for function call parameter
|
2016-12-18 20:16:38 +01:00 |
|
Daniel Marjamäki
|
17aaecbd6b
|
ValueFlow: Improved handling of sizeof
|
2016-12-18 14:03:48 +01:00 |
|
Daniel Marjamäki
|
461e5cc5c9
|
CheckBufferOverrun: Moved check from simplified to normal. This fixes a FP in asterisk.
|
2016-12-18 11:14:05 +01:00 |
|
Daniel Marjamäki
|
4ac5c78e0c
|
Fix wrong iterator usage. Iterator that is erased must be non-const.
|
2016-12-17 22:20:50 +01:00 |
|
Daniel Marjamäki
|
72e4bc9d88
|
ValueFlow: skip values that cause false assertion condition
|
2016-12-17 21:23:14 +01:00 |
|
Daniel Marjamäki
|
fd85b493bd
|
astyle formatting
[ci skip]
|
2016-12-17 18:51:16 +01:00 |
Frank Zingsheim
|
cb5a5e6a25
|
Improve Fix #6180 (Access of moved variable still allowed until function is called)
|
2016-12-17 16:42:46 +01:00 |
|
Frank Zingsheim
|
9a871d33f7
|
Improve Fix #6180 ("reset" and "clear" clears the move status)
|
2016-12-17 16:39:30 +01:00 |
|
Frank Zingsheim
|
f4ab45f13b
|
Improve Fix #6180 (Do not warn about move if it is part of a reassignment of the variable)
|
2016-12-17 16:39:30 +01:00 |
Simon Martin
|
5119ae84b8
|
Ticket #7805: Ignore enumerators when simplifying known variables.
|
2016-12-17 14:05:26 +01:00 |
|
orbitcowboy
|
f8cfa72159
|
std.cfg: Added support for C11 memcpy_s() and memcpy_s() functions.
|
2016-12-16 17:23:42 +01:00 |
|
orbitcowboy
|
daacc0959e
|
windows.cfg: Updated comments. There are no functional changes.
|
2016-12-16 17:22:37 +01:00 |
|
orbitcowboy
|
227049a6b1
|
windows.cfg: Added support for _swap().
|
2016-12-16 16:58:42 +01:00 |
|
orbitcowboy
|
a694ebc602
|
std.cfg: Added a valid-tag for read streamsize.
|
2016-12-13 13:10:40 +01:00 |
|
orbitcowboy
|
f89c606031
|
std.cfg: Added missing argument numbers to va_arg, va_copy, va_end and va_start.
|
2016-12-13 11:39:10 +01:00 |
|
orbitcowboy
|
3598f7f2ca
|
std.cfg: Added more <valid>-tags.
|
2016-12-12 13:45:16 +01:00 |
|
orbitcowboy
|
1ee68a9d2a
|
std.cfg: Added more <valid>-tags.
|
2016-12-12 13:35:41 +01:00 |
|
orbitcowboy
|
c985723869
|
std.cfg: Added support for C11 function memset_s().
|
2016-12-12 13:31:10 +01:00 |
|
orbitcowboy
|
d6aef86d70
|
std.cfg: Added minsize configuration to strncmp() and wcsncmp().
|
2016-12-12 11:12:30 +01:00 |
|
Daniel Marjamäki
|
8cba02dc66
|
Readd test case I removed in b098d5fbd6
|
2016-12-11 21:24:12 +01:00 |
|
Daniel Marjamäki
|
31337dda27
|
ValueFlow: Better handling of && and || in for loop to avoid FP
|
2016-12-11 21:19:24 +01:00 |
|
Daniel Marjamäki
|
d4f2512421
|
Tokenizer::simplifyKnownVariables: Added bailout when pointer alias is simplified and loop is encountered
|
2016-12-11 19:12:23 +01:00 |
|
Frank Zingsheim
|
e0d4720e19
|
Fix #7829 (false-positive: knownConditionTrueFalse linked to virtual method)
Return values of virtual functions in valueflow are only possible values
since function might be overloaded.
|
2016-12-11 10:44:05 +01:00 |
|
Daniel Marjamäki
|
87abe1174f
|
floatConversionOverflow: Avoid warnings when 255.5 is converted to unsigned char etc.
|
2016-12-10 23:14:40 +01:00 |
|
Daniel Marjamäki
|
b098d5fbd6
|
ValueFlow: We need better handling of casts
|
2016-12-10 22:09:01 +01:00 |
|
Daniel Marjamäki
|
2ca85a1c40
|
dump: add isUnsigned/isSigned
|
2016-12-09 22:31:47 +01:00 |