PKEuS
|
e989d4b11b
|
Support C++11 array initialization in CheckUninitVar (#7010)
|
2015-10-24 12:06:40 +02:00 |
Daniel Marjamäki
|
305760f143
|
Uninitialized variables: Fix FP for struct array
|
2015-09-16 14:42:55 +02:00 |
Daniel Marjamäki
|
af233efcce
|
Uninitialized variables: tweaked checking of arrays / allocated buffers
|
2015-09-14 09:03:21 +02:00 |
Matthias Krüger
|
2ddd4c7197
|
fix [lib/checkuninitvar.cpp:836]: (warning) Found simple pattern inside Token::Match() call: "&"
|
2015-09-13 17:54:53 +02:00 |
Daniel Marjamäki
|
ab38ab800e
|
CheckUninitVar: don't rely on Tokenizer::simplifyKnownVar() to simplify references
|
2015-09-13 17:31:45 +02:00 |
Daniel Marjamäki
|
ad007ca2d7
|
Uninitialized variables: better checking of arrays
|
2015-09-13 16:32:16 +02:00 |
Daniel Marjamäki
|
6ddd0a953f
|
Fixed #6917 (False positive uninitvar - unused array declaration and ternary expression)
|
2015-08-29 13:19:28 +02:00 |
Simon Martin
|
6fb19b02d0
|
Properly differentiate arrays of pointers and pointers to arrays.
|
2015-08-25 21:19:19 +02:00 |
PKEuS
|
ab8afec3eb
|
Refactorizations:
- Avoid unnecessary loop iterations
- Avoid unnecessary condition checking
- Reduced code duplication in symboldatabase.cpp
|
2015-08-16 14:23:07 +02:00 |
Daniel Marjamäki
|
7ede9de502
|
Removed unused code. The isVariableUsed is used instead.
|
2015-08-15 07:43:39 +02:00 |
Daniel Marjamäki
|
e71ab70356
|
Fixed #6871 (False positive uninitvar - pointer to uninitialized char[])
|
2015-08-08 14:52:46 +02:00 |
Daniel Marjamäki
|
7ec8adeb93
|
Fixed #6701 (Uninitialized variable warning when header could not be found)
|
2015-08-08 08:53:08 +02:00 |
Daniel Marjamäki
|
4bebb80300
|
Fixed #6869 (False positive: uninitvar, array passed to function)
|
2015-08-05 10:19:17 +02:00 |
Daniel Marjamäki
|
e598b07a6d
|
Moved functions to astutils
|
2015-08-03 09:20:50 +02:00 |
Daniel Marjamäki
|
acc1566f64
|
uninitvar: Improved condition handling. Fixes one problem when running 'tools/run_more_tests.sh test/testuninitvar.cpp'
|
2015-07-25 17:55:01 +02:00 |
Daniel Marjamäki
|
234669b02b
|
Removed the UninitVar::analyseFunctions(). This was written for multifile checking however it did not work as it should => no multifile errors can be detected.
|
2015-07-24 08:30:38 +02:00 |
Daniel Marjamäki
|
ea933e9873
|
CheckUninitVar: Removed ExecutionPath based checker
|
2015-07-23 17:28:18 +02:00 |
Daniel Marjamäki
|
0b81a267f4
|
uninitvar: handling arrays in non-executionpath checker
|
2015-07-23 14:51:38 +02:00 |
Daniel Marjamäki
|
8d8c03dad8
|
uninitvar: removed returns from new checking to fix 'more' tests. these returns should be readded when the executionpath checking is removed.
|
2015-07-23 09:21:53 +02:00 |
Daniel Marjamäki
|
79067ac031
|
uninitvar: use new checking instead of executionpath in more tests. small improvements in new checking to fix testcases.
|
2015-07-23 08:46:59 +02:00 |
Daniel Marjamäki
|
1de1aaa2f4
|
CheckUninitVar: Fix crash when AST is not created properly
|
2015-07-22 22:17:12 +02:00 |
Daniel Marjamäki
|
1f5eea98b5
|
CheckUninitVar: Fix a FP reported for invalid code
|
2015-07-22 21:58:06 +02:00 |
Daniel Marjamäki
|
42ed436e9d
|
Tweaks in uninitvar, small steps to make it possible to remove the ExecutionPath
|
2015-07-22 20:31:58 +02:00 |
PKEuS
|
bdd53b4142
|
Fixed false positive #6717
|
2015-07-21 12:13:59 +02:00 |
amai2012
|
1604e751e5
|
Fix some compiler warnings which got introduced recently
|
2015-06-30 20:11:51 +02:00 |
amai2012
|
4a47b8b3ae
|
Refactoring: Better distinguish between C and C++ in a few checks.
|
2015-06-28 16:49: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
|
02df692b0b
|
Fixed #4760 (false negative: (error) usage of uninitialized variable (struct member))
|
2015-06-19 18:21:46 +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 |
PKEuS
|
3ce4e68ca6
|
Refactorization: Make use of do-loops to avoid redundant Token::Match() calls
|
2015-05-13 13:40:40 +02:00 |
Simon Martin
|
da302b3912
|
Ticket #6680: Members can be initialized by operator>>.
|
2015-05-10 14:27:15 +02:00 |
amai2012
|
8d8fffb20f
|
#6651 Don't call member function on NULL pointer - even if call is "safe"
|
2015-04-17 08:47:59 +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 |
Daniel Marjamäki
|
d563bd73f4
|
Fixed #6583 (False positive uninitvar - exit() ignored?!)
|
2015-04-08 15:35:04 +02:00 |
Dmitry-Me
|
5f6aaa4573
|
Make the check slightly less convoluted
|
2015-03-20 11:03:11 +03:00 |
Daniel Marjamäki
|
42c4aa1c49
|
Fixed #4880 (false negative: uninitialized variable, handling of conditional noreturn scopes)
|
2015-03-14 17:59:11 +01:00 |
Dmitry-Me
|
89ec9058a8
|
Proper if-else-if chain for mutually exclusive conditions
|
2015-03-14 15:09:46 +03:00 |
Daniel Marjamäki
|
b1e9d9b86f
|
Coverity CID 1270450: Removed redundant conditions
|
2015-02-17 19:32:59 +01:00 |
Dmitry-Me
|
5517c22524
|
Omit redundant token match
|
2015-02-03 15:01:09 +03:00 |
PKEuS
|
789665dadf
|
Fixed #6455: Show uninitvar even for const variables
|
2015-01-31 13:21:22 +01: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
|
0d151b45b5
|
Better support for funciton pointers in checkuninitvar.cpp (#6404)
|
2015-01-30 19:16:25 +01:00 |
PKEuS
|
ee046af20c
|
Fixed false positives #6450 and #6451
|
2015-01-23 19:38:39 +01:00 |
PKEuS
|
da35a74589
|
Fixed false negative: Passing uninitialized variable to stream (#4673)
|
2015-01-22 22:56:41 +01:00 |
PKEuS
|
da5a04f071
|
Fixed recently introduced FP in checkuninitvar.cpp if address of variable is passed to a function
|
2015-01-22 21:22:02 +01:00 |
PKEuS
|
f4d11a4209
|
Fixed false negatives on try and non-executable scopes in checkUninitVar, removed unnecessary function parameters
|
2015-01-22 13:55:19 +01:00 |
PKEuS
|
331a6b66be
|
Fixed internal message
|
2015-01-22 10:53:53 +01:00 |
PKEuS
|
7c60fe4aef
|
Fixed crash introduced by last commit.
|
2015-01-22 10:51:06 +01:00 |
PKEuS
|
7364cc8040
|
Fixed false positive in fityk: operator new calling constructor
|
2015-01-22 10:37:31 +01:00 |
PKEuS
|
60b2b655df
|
Support new/delete in new uninitialized variable checking; realloc() requires an initialized first argument.
|
2015-01-21 23:46:52 +01:00 |