Simon Martin
|
7bfb1fb545
|
Simplify the code handling C++0x typed enumerations.
|
2015-07-06 23:37:16 +02:00 |
Boris Egorov
|
f7c6140e1a
|
checkautovariables: Simplify some conditions
|
2015-07-05 17:15:13 +02:00 |
Daniel Marjamäki
|
f3b4c1d0db
|
Remove some useless casts, probably added to avoid false positives.
|
2015-07-04 13:19:21 +02:00 |
|
Daniel Marjamäki
|
b8e77c8005
|
valueflow: fix for ?:. the condition result is not a result of the ?.
|
2015-07-04 11:17:38 +02:00 |
|
Daniel Marjamäki
|
fef251ac76
|
negative array size: fixed noise when array is not vla
|
2015-07-04 09:42:42 +02:00 |
|
Daniel Marjamäki
|
7e1ddea653
|
One more fix for #6811 (ValueFlow: result of ?:)
|
2015-07-02 20:52:04 +02:00 |
|
Daniel Marjamäki
|
c751039612
|
Fixed #6811 (ValueFlow: result of ?:)
|
2015-07-02 20:11:27 +02:00 |
amai2012
|
4a1695c879
|
#6807 segmentation fault (invalid code) in Tokenizer::simplifyTypedef. #6808 segmentation fault (invalid code) in Tokenizer::simplifyTypedef. Throw InternalError on garbage code
|
2015-07-01 16:31:49 +02:00 |
|
Alexander Mai
|
6e03e7dca2
|
Remove some code checking for invalid class hierarchy which got obsolete since 480a5672b0. Run astyle
|
2015-07-01 07:50:13 +02:00 |
|
amai2012
|
480a5672b0
|
#6298 stack overflow in Scope::findFunctionInBase (endless recursion). Fix handling of circular class hierarchy
|
2015-07-01 00:04:01 +02:00 |
|
amai2012
|
1604e751e5
|
Fix some compiler warnings which got introduced recently
|
2015-06-30 20:11:51 +02:00 |
|
amai2012
|
99dfd55d0c
|
#6804 segmentation fault (invalid code) in Token::getValueTokenDeadPointer. Fix null pointer access
TestGarbage: Increase coverage by running all code snippets as C as well as C++ code. (inspired by #6800)
|
2015-06-30 19:40:22 +02:00 |
|
amai2012
|
c0b91662ba
|
#6803 segmentation fault (invalid code) in Token::findClosingBracket.
|
2015-06-30 12:16:55 +02:00 |
|
amai2012
|
0849deed01
|
#6801 C: FN variable scope, FP unused value?. Fix typo from d7aa65c1fc
|
2015-06-30 08:46:30 +02:00 |
|
amai2012
|
11538c84f6
|
Refactoring: Distinguish between C and C++ code
Refactoring: Replace CheckNonReentrantFunctions::initNonReentrantFunctions by static initialization
|
2015-06-29 21:17:15 +02:00 |
|
Alexander Mai
|
d7aa65c1fc
|
#6800 segmentation fault (invalid code) in SymbolDatabase::SymbolDatabase. Fix null pointer access for invalid C code
|
2015-06-29 19:56:02 +02:00 |
Martin Ettl
|
b8e08ca5d8
|
Code cleanup.
|
2015-06-28 19:27:23 +02:00 |
|
Martin Ettl
|
7ff4d10c43
|
Astyle formatting, no functional changes.
|
2015-06-28 19:25:13 +02:00 |
|
amai2012
|
5814c3b84c
|
Fix some compiler warnings with VS
Minor refactoring on Windows SEH code.
|
2015-06-28 19:20:16 +02:00 |
|
Alexander Mai
|
0b225fa02f
|
2nd attempt to fix crash in CheckUnusedFunctions::check. CheckBufferOverrun::checkBufferAllocatedWithStrlen: Don't check for 'new' in C code.
|
2015-06-28 18:34:09 +02:00 |
|
Alexander Mai
|
02a3a01eca
|
Fix compiler warnings
|
2015-06-28 18:07:31 +02:00 |
|
Alexander Mai
|
2c73518e29
|
Fix platform-dependent test result, formatting and crash in whole program analysis
|
2015-06-28 17:54:48 +02:00 |
|
amai2012
|
4a47b8b3ae
|
Refactoring: Better distinguish between C and C++ in a few checks.
|
2015-06-28 16:49:16 +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 |
|
Alexander Mai
|
e75662aaf1
|
#6792 segmentation fault (invalid code) in TemplateSimplifier::templateParameters. Avoid null pointer access
|
2015-06-25 20:48:05 +02:00 |
|
amai2012
|
ac1f0301c0
|
#6791 segmentation fault (invalid code) in TokenList::createAst. Fix null pointer access
|
2015-06-25 08:57:09 +02:00 |
|
Alexander Mai
|
c047fae53b
|
#6790 segmentation fault (invalid code) in Tokenizer::simplifyTypedef. Fix null pointer access
|
2015-06-25 07:47:40 +02:00 |
|
Alexander Mai
|
8946fcd960
|
#6772 segmentation fault (invalid code) in Tokenizer::setVarId. Add another validate() call to Tokenizer::simplifyTokenList1. Small refactoring to Tokenizer: mark many methods as private.
|
2015-06-24 20:47:04 +02:00 |
|
Alexander Mai
|
6ba9c21fb9
|
#6786 segmentation fault (invalid code) in Tokenizer::simplifyRedundantParentheses. Small refactoring for Tokenizer::simplifyTokenList2() including additional calls to validate() - which prevents heap corruption on invalid code
|
2015-06-24 20:22:28 +02:00 |
|
amai2012
|
9fedc9bd74
|
#6788 segmentation fault (invalid code) in Tokenizer::simplifyVarDecl. Fix null pointer access
|
2015-06-24 16:54:23 +02:00 |
|
Alexander Mai
|
f806d945a1
|
Refactoring: Allow TemplateSimplifier to throw InternalErrors by itself.
|
2015-06-23 20:53:57 +02:00 |
|
amai2012
|
69f91ac187
|
#6785 segmentation fault (invalid code) in Tokenizer::simplifyTypedef. Avoid null pointer access
|
2015-06-23 17:59:01 +02:00 |
|
Alexander Mai
|
07bcc7157b
|
#6784 segmentation fault (invalid code) in Tokenizer::simplifyTypedef. Avoid null pointer access
|
2015-06-22 20:43:26 +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
|
b6858622eb
|
#6779 internal error: division overflow. Previous error handling (see #4520) was too restrictive.
|
2015-06-20 23:15:35 +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 |
|
Alexander Mai
|
b3c7a3f798
|
Fix more (potential) multi-threading issues
|
2015-06-20 22:26:51 +02:00 |
|
Simon Martin
|
7481fbb028
|
Fixed #6506 (Properly detect calls to the deallocating free() function)
|
2015-06-20 21:00:54 +02:00 |
|
Daniel Marjamäki
|
1d49334398
|
Fixed #6662 (False positive assignIfError (assignment in while condition))
|
2015-06-20 16:23:16 +02:00 |
|
Martin Ettl
|
272cf27ec3
|
Improved constness of local variable, no functional changes.
|
2015-06-20 11:33:27 +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 |
|
Simon Martin
|
cba0583045
|
Ticket #6536: Properly handle variables whose name is that of an allocation function.
|
2015-06-19 23:48:40 +02:00 |
|
Daniel Marjamäki
|
af4a4663e2
|
Fixed #6764 (False positive redundantCondition - !(i>1) is not i<1)
|
2015-06-19 19:49:05 +02:00 |
|
Daniel Marjamäki
|
02df692b0b
|
Fixed #4760 (false negative: (error) usage of uninitialized variable (struct member))
|
2015-06-19 18:21:46 +02:00 |
|
Alexander Mai
|
712919a691
|
#6431 Invalid XML created - Invalid encoding of string literal. Partial fix: ensure the short message string is also processed to avoid problems with non-terminated string.
|
2015-06-18 21:16:25 +02:00 |
|
Alexander Mai
|
60f5bd97df
|
Refactoring: missing include added, (potential) multi-threading issue fixed, expose static method to allow unit testing
|
2015-06-18 19:07:51 +02:00 |
PKEuS
|
189a652c2e
|
Fixed garbage code in checkinternal.cpp
|
2015-06-18 17:13:46 +02:00 |
Matthias Krüger
|
baaf3213e4
|
checkcondition: only print style message "A && (!A || B)' is equivalent to 'A || B'" if --enable=style is given.
|
2015-06-18 13:23:48 +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 |