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
Daniel Marjamäki
6f2480fb4d
GUI: update whole program analysis
2016-12-09 20:48:32 +01:00
Daniel Marjamäki
ea905c9a36
Unused Functions: use buildDir if specified. Otherwise use old approach.
2016-12-09 20:11:20 +01:00
Daniel Marjamäki
7b22ed276e
Auto generate Makefile with dmake
2016-12-08 23:39:29 +01:00
Daniel Marjamäki
23280c366d
try to make Travis happy by fixing Cppcheck warning
2016-12-08 23:12:59 +01:00
Daniel Marjamäki
e9d950d4f5
Cppcheck build dir: Better handling when --project is used
2016-12-08 22:46:44 +01:00
Daniel Marjamäki
30bee06cd2
Merge pull request #850 from JIghtuse/master
...
daca2: Few cleanup changes
2016-12-08 19:43:21 +01:00
Boris Egorov
743dcdd669
daca2: Use logging module instead of opening/closing results file
2016-12-08 21:18:16 +07:00
Boris Egorov
c250e385d3
daca2: Use argparse instead of manual argument parsing
2016-12-08 21:14:13 +07:00
PKEuS
120fe2e4d6
Fixed false positive: The function 'operatorstd::string' is never used. ( #7853 )
2016-12-08 13:54:54 +01:00
Daniel Marjamäki
d120fdc9a7
Merge pull request #849 from bug22/master
...
Fixed #7791 (Cppcheck does not expand Visual Studio macros):
2016-12-08 00:48:15 +01:00
bug22
3bb6a27988
Fixed #7791 (Cppcheck does not expand Visual Studio macros):
...
--project option will now accumulate defines/includes of all applicable
item definition groups, and will push back FileSetting items per project
configurations only
2016-12-07 18:03:46 +02:00
PKEuS
cfac3b457d
Several small refactorizations
2016-12-06 22:12:02 +01:00
Daniel Marjamäki
7fc9fbc746
synthetic: reduce controlflow testcases
2016-12-06 21:45:51 +01:00
PKEuS
718fcfda46
Several small refactorizations
2016-12-06 20:02:43 +01:00
PKEuS
40401534d7
Refactorized Library
2016-12-06 14:50:27 +01:00
PKEuS
75528adea0
Updated simplecpp to 95be502385518402ee61830be2ce3cd0ea02eee2
2016-12-06 14:10:57 +01:00
PKEuS
2f6350a0d0
Refactorized Library
2016-12-06 14:09:28 +01:00
orbitcowboy
af1398900c
windows.cfg: Improved support for _open() and _close() functions.
2016-12-06 13:50:45 +01:00
Matthias Krüger
27bd4a7f4c
daca2: enable --inconclusive
2016-12-06 11:19:33 +01:00
Daniel Marjamäki
5426cfb15e
daca2: output warning id to make it possible to write more statistics
2016-12-06 09:33:41 +01:00