Alexander Mai
|
66676b8e55
|
Warning selfAssignment was only issued if style was enabled.
|
2015-08-09 13:45:35 +02:00 |
Daniel Marjamäki
|
c9e239afbf
|
Fixed #6908 (False positive: Same expression on both sides of '+='.)
|
2015-08-07 20:28:25 +02:00 |
|
Daniel Marjamäki
|
ec3d76be5e
|
astyle formatting
|
2015-08-07 20:27:32 +02:00 |
amai2012
|
53feb88614
|
Merge pull request #630 from Dmitry-Me/detectRaceInInterlockedAccess
Prototype for detecting non-interlocked check after InterlockedDecrement()
|
2015-08-06 15:43:10 +02:00 |
Dmitry-Me
|
43800a9419
|
Detect non-interlocked check after InterlockedDecrement()
|
2015-08-05 12:20:28 +03:00 |
|
Daniel Marjamäki
|
e598b07a6d
|
Moved functions to astutils
|
2015-08-03 09:20:50 +02:00 |
|
Alexander Mai
|
96c3c111fc
|
Refactoring: Move some AST related functions to distinct source file
|
2015-08-02 21:57:32 +02:00 |
|
Alexander Mai
|
965a034afd
|
Fix some more false positives on zerodiv: error should be issued if type of epxression is known to be integral
|
2015-08-01 18:42:17 +02:00 |
|
Alexander Mai
|
f91ad9bbf6
|
5402 false positive: (error) Division by zero -- with boost::format
|
2015-08-01 17:28:54 +02:00 |
|
Daniel Marjamäki
|
503fb485cf
|
Removed hardcoding of functions from checkZeroDivision
|
2015-07-30 13:48:51 +02:00 |
|
Daniel Marjamäki
|
594d30f7ae
|
Fix Cppcheck warning about unused variable
|
2015-07-29 20:26:00 +02:00 |
|
Daniel Marjamäki
|
6790d91fbb
|
Improve error messages for conditional values. make valueFlowSwitchVariable values conditional that depend on the case. Partial fix for #6884.
|
2015-07-29 19:54:57 +02:00 |
PKEuS
|
738057229c
|
Improved astIsFloat(): Handle function calls and sizeof, fixed ordering of checks
Handle sizeof in isSameExpression() (#6851)
|
2015-07-29 14:28:24 +02:00 |
|
Daniel Marjamäki
|
389aec51ae
|
Fixed #6598 (False positive zerodivcond - cast to double ignored)
|
2015-07-26 22:08:36 +02:00 |
|
Daniel Marjamäki
|
75f922e799
|
cleanup checkother
|
2015-07-22 18:48:43 +02:00 |
|
Daniel Marjamäki
|
0dd008e068
|
Fixed Cppcheck warning about possible null pointer dereference
|
2015-07-08 16:06:35 +02:00 |
|
Daniel Marjamäki
|
5a9328f26a
|
Fixed Cppcheck warning about possible null pointer dereference
|
2015-07-08 13:41:27 +02:00 |
|
Alexander Mai
|
56e90f95d9
|
Corrections for non-Microsoft compilers
|
2015-06-28 12:34:08 +02:00 |
|
amai2012
|
649a89d308
|
Refactoring: Expose some previously local functions to public and add Tokenizer as argument to distinguish between C and C++ code (e.g. in isSameExpression).
Refactoring: Improve type-safety for TestFixture::assertEquals to allow tests with types which were not handled correctly (e.g. unsigned long long)
|
2015-06-28 12:08:36 +02:00 |
|
amai2012
|
99524b1f59
|
#6780 segmentation fault (invalid code) in Token::multiCompare. Simple fix in CheckOther
|
2015-06-22 11:12:46 +02:00 |
|
Alexander Mai
|
4172011e78
|
Missing update for Makefile. CheckMemoryLeakInFunction::getcode(): skip some C++ token matching in C mode. Minor refactoring
|
2015-06-20 22:49:28 +02:00 |
|
Daniel Marjamäki
|
63f39ea48f
|
Change unusedScopedObject severity from error to style. The checker does not determine that there is ub or wrong behaviour.
|
2015-06-20 11:22:15 +02:00 |
|
Alexander Mai
|
13c1c2c035
|
Refactoring (use const std::set for strings). Omit some matching for C++ stuff within C code.
|
2015-06-17 22:28:15 +02:00 |
|
Daniel Marjamäki
|
3986c0dc64
|
fixed cppcheck warnings
|
2015-06-10 19:07:04 +02:00 |
|
Daniel Marjamäki
|
0836bf3d33
|
astyle formatting
|
2015-05-27 20:26:26 +02:00 |
|
amai2012
|
729b240d9c
|
Refactoring (compiler warnings and a typo)
|
2015-05-25 23:15:59 +02:00 |
|
Alexander Mai
|
e28e9be82f
|
Add TODO testcase for #5738. Refactoring: add some const
|
2015-05-25 08:20:14 +02:00 |
|
PKEuS
|
22fbc18fb7
|
Fixed false positive for *a++ in for-loop condition
Moved unit test to testgarbage.cpp
|
2015-05-07 20:34:57 +02:00 |
|
Daniel Marjamäki
|
88f59ad7e8
|
Partial fix for #6656 (Allow that CWE is mapped for error message)
|
2015-04-25 17:48:11 +02:00 |
Matthias Krüger
|
42f0955e3f
|
Move more setting checks out of loops and use const bools instead. Reorder a few related checks.
Follow up to eedcb6abcb .
|
2015-04-10 14:31:19 +02:00 |
|
Matthias Krüger
|
eedcb6abcb
|
move setting flags checks out of for loops, make them const.
|
2015-04-07 07:23:28 +02:00 |
|
Matthias Krüger
|
988acf11b4
|
don't print warning message if --enable=warning is not given.
message was of type:
(warning) Passing value 0 to foo() leads to implementation-defined result.
|
2015-04-06 13:37:27 +02:00 |
|
Dmitry-Me
|
ba423185b8
|
Omit uneeded checks
|
2015-04-02 10:26:19 +03:00 |
PKEuS
|
d6751a7987
|
Merge pull request #537 from Dmitry-Me/decouplePatternMatchingFromOtherChecks
Decouple pattern matching from other checks
|
2015-03-15 08:50:59 +01:00 |
|
Dmitry-Me
|
43a19dee8b
|
Remove unneded deep copy, make reference const
|
2015-03-14 13:45:21 +03:00 |
|
Dmitry-Me
|
74417699db
|
Remove redundant break
|
2015-03-06 18:55:47 +01:00 |
|
Daniel Marjamäki
|
6646a896f9
|
Fixed #6446 (FP zerodivcond on double arithmetics)
|
2015-03-03 15:50:31 +01:00 |
|
Dmitry-Me
|
10b762da98
|
Decouple pattern matching from other checks
|
2015-02-27 13:09:06 +03:00 |
|
Dmitry-Me
|
d7365519a5
|
Cache and reuse value
|
2015-02-26 11:48:15 +03:00 |
|
Daniel Marjamäki
|
fb5cc6fded
|
Fixed #5905 (isSameExpression: comparisons 'a<b' and 'a>b' are same)
|
2015-02-23 16:38:55 +01:00 |
|
PKEuS
|
5f31242ee8
|
CheckOther::checkRedundantAssignment(): Bail out on inline assembly (#6525)
|
2015-02-22 12:03:53 +01:00 |
|
PKEuS
|
bae95b4560
|
Fixed noise in CheckOther::checkLibraryMatchFunctions().
|
2015-02-21 12:39:02 +01:00 |
PKEuS
|
6227abac73
|
Fixed GCC (testsymboldatabase.cpp) and MSVC (checkother.cpp) warnings
|
2015-02-18 21:19:36 +01:00 |
|
Alexander Mai
|
0a6babea74
|
#6181 Drop redundantGetAndSetUserId. Ensure (style-) warnings are issued if setuid()/getuid() and some related functions are ignored. Move strdupa()/strndupa() from posix.cfg to gnu.cfg
|
2015-02-16 22:19:51 +01:00 |
|
Dmitry-Me
|
56747e4af9
|
Reorder checks
|
2015-02-16 12:11:13 +03:00 |
|
Dmitry-Me
|
5674b3c49d
|
early break in loop for readability
|
2015-02-13 16:36:20 +01:00 |
|
Dmitry-Me
|
1f31dd749b
|
Break loop early
|
2015-02-04 10:47:58 +03:00 |
|
PKEuS
|
b2835051df
|
Refactorization: Renamed Token::Match pattern %var% to %name%, implement new pattern %var% which is true if varId > 0.
|
2015-01-31 12:32:04 +01:00 |
|
PKEuS
|
0488f45a5f
|
Removed standalone check CheckOther::checkDoubleFree(), integrated (most of) the functionality into CheckLeakAutoVar. Added support for new/delete to checkLeakAutoVar.
|
2015-01-28 17:38:43 +01:00 |
|
Daniel Marjamäki
|
3285f85ebf
|
Fixed #6460 (Library: better function/type matching)
|
2015-01-27 17:55:18 +01:00 |