Daniel Marjamäki
|
0f63874c62
|
Take back the whole program analysis for null pointers and uninitialized variables
|
2018-12-18 07:56:33 +01:00 |
Daniel Marjamäki
|
ef35b86b4a
|
Multipass Valueflow
|
2018-11-03 15:53:24 +01:00 |
Daniel Marjamäki
|
45379a3aa6
|
Updated copyright year for modified files
[ci skip]
|
2018-06-10 22:07:21 +02:00 |
IOBYTE
|
ce50df8047
|
Fix override warnings. (#1234)
|
2018-05-15 16:37:40 +02:00 |
Paul Fultz II
|
0197343e0c
|
Fix false positive when using null arithmetic with class type (#1214)
|
2018-05-09 09:06:49 +02:00 |
Daniel Marjamäki
|
7dfbe7389b
|
Clarify null pointer arithmetic message
|
2018-05-02 12:57:24 +02:00 |
Daniel Marjamäki
|
b2343a2d4b
|
Fixed #8518 (Clarify warning for a NULL pointer which is received by a function call parameter.)
|
2018-05-01 17:30:29 +02:00 |
Paul Fultz II
|
d8b3fa5c70
|
Fix #8482: Regression with valueflow (#1159)
* Fix regression with valueflow
* Simplify test case
|
2018-04-09 16:13:17 +02:00 |
PKEuS
|
bbfcccf078
|
Refactorization: Replace several push_back-sequences by initializer lists
|
2018-04-09 09:41:24 +02:00 |
Paul
|
d240a36a60
|
Extend nullPointerArithmetic to check for addition as well
|
2018-04-03 21:32:37 +02:00 |
Daniel Marjamäki
|
58066b1f0c
|
Remove whole program analysis from 'uninitialized variables' and 'null pointer dereference' checkers. I think this logic can more or less be added in ValueFlow instead and then all ValueFlow checkers should get whole program analysis.
|
2018-02-06 14:56:17 +01:00 |
Daniel Marjamäki
|
4998248501
|
Null pointers: Fixed false positives when running whole program analysis. Copied the fix from the CheckUninitVar::isUnsafeFunction.
|
2018-02-04 15:29:57 +01:00 |
Daniel Marjamäki
|
c4caee6b18
|
Updated copyright year
|
2018-01-14 15:37:52 +01:00 |
Ayaz Salikhov
|
28aa939d69
|
iwyu - include what you use
|
2017-05-27 04:33:47 +02:00 |
Daniel Marjamäki
|
040d2f0012
|
Use simplecpp lexer in test cases
|
2017-05-18 21:52:31 +02:00 |
Daniel Marjamäki
|
8d75d1b920
|
Partial fix for #8028 (ValueFlow: Origin/callstack of value)
|
2017-05-15 20:05:11 +02:00 |
Daniel Marjamäki
|
7fd04cd8d0
|
Updated Token::expressionString(), write '->' instead of '.'
|
2017-04-30 14:22:18 +02:00 |
Daniel Marjamäki
|
37fd60e879
|
Fixed #7293 (Use of uninitialized pointer not detected (worked in 1.71))
|
2017-04-24 18:27:16 +02:00 |
PKEuS
|
de86d40c97
|
Fixed handling of NULL and nullptr in CheckNullPointer
|
2017-02-24 19:44:28 +01:00 |
PKEuS
|
b08f99a082
|
Fixed false negative: nullpointer passed as std::string argument (#7927)
Refactorization: Removed dead code from CheckNullPointer::parseFunctionCall()
|
2017-02-24 19:10:34 +01:00 |
PKEuS
|
2f6350a0d0
|
Refactorized Library
|
2016-12-06 14:09:28 +01:00 |
Stefan Weil
|
57b57428c2
|
Fix some typos in comments (found by codespell)
Signed-off-by: Stefan Weil <sw@weilnetz.de>
|
2016-11-27 11:40:42 +01:00 |
Frank Zingsheim
|
d4f01583b6
|
Fixed TODO (check if function parameter is non-const reference etc..) by common function
|
2016-11-01 14:06:30 +01:00 |
Daniel Marjamäki
|
efa3aba32a
|
Remove Tokenizer::simplifyNull()
|
2016-10-18 21:44:02 +02:00 |
Daniel Marjamäki
|
af5dd2c29e
|
New check: Pointer overflow (null pointer subtracted)
|
2016-10-09 15:15:29 +02:00 |
Daniel Marjamäki
|
ed4a47de45
|
Tokenizer: Improve syntax checking of switch,if,while
|
2016-07-22 16:54:24 +02:00 |
PKEuS
|
923f7f843d
|
Better distinguishing between possible and known null pointer dereferenciations (#7157)
|
2016-01-30 20:43:40 +01:00 |
Daniel Marjamäki
|
4a3ece5847
|
CheckNullPointer: Fix FP for 'buf[p]' when p is NULL
|
2016-01-20 08:42:58 +01:00 |
Lauri Nurmi
|
996c9244d8
|
Update copyright year to 2007-2016.
|
2016-01-01 15:34:45 +02:00 |
Daniel Marjamäki
|
0f9d90d2be
|
Changed Copyrights. Removed my name.
|
2015-11-18 20:04:50 +01:00 |
PKEuS
|
3a5cef8a7e
|
Refactorization: Improved usage of Settings instances in test suite
|
2015-10-07 18:40:03 +02:00 |
Frank Zingsheim
|
1fd9ba0cc4
|
Fixed #6988 (incorrect nullPointer error for string)
|
2015-09-13 10:53:05 +02:00 |
Daniel Marjamäki
|
871b02ea88
|
removed testcase for #5238. it's not good enough.
|
2015-08-15 07:38:56 +02:00 |
Martin Ettl
|
84486605ec
|
#6392: Added a regression test case.
|
2015-08-15 01:00:36 +02:00 |
Martin Ettl
|
278808daa9
|
#5238: Added a regression test case.
|
2015-08-15 00:49:07 +02:00 |
Martin Ettl
|
640ec3a099
|
#6491: Added a regression test.
|
2015-08-15 00:31:26 +02:00 |
Alexander Mai
|
0b96b9d984
|
#6505 ValueFlow: handle 2 related if in valueFlowSubFunction. Regression test. Bug got fixed before
|
2015-07-31 21:15:43 +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
|
176b3925b3
|
Removed "verify" code in testrunner. Fixing its messages reduces the accuracy of the test suite.
|
2015-07-25 14:18:41 +02:00 |
Daniel Marjamäki
|
eb0db322eb
|
Fixed #6560 (ValueFlow: handling ternary operator better in valueFlowSubFunction)
|
2015-05-24 17:02:00 +02:00 |
Daniel Marjamäki
|
bdc024bd7c
|
Fixed 6634 (false positive: dereferencing null pointer in a sizeof operation)
|
2015-04-20 13:46:02 +02:00 |
Robert Reif
|
4ceb24630d
|
Fixed #6568: Scope for template class member function missing in symboldatabase
|
2015-04-09 21:01:47 +02:00 |
Daniel Marjamäki
|
fd6bd97972
|
Fixed #6495 (Improve check: uninitialized variable, 3rd function argument)
|
2015-03-14 19:23:33 +01:00 |
PKEuS
|
bc5132e0ac
|
Refactorization: Moved declaration of errout, ... to testsuite.h, uniformized style
|
2015-03-11 22:54:43 +01:00 |
PKEuS
|
451a277b18
|
Refactorization: Support function default values in ValueFlow, removed now obsolete CheckNullPointer::nullPointerDefaultArgument().
-> Use valueFlowForward() to parse values passed to functions
-> valueFlowForward(): Set value in first occurrence of a variable in a condition
|
2015-02-01 15:15:00 +01:00 |
PKEuS
|
21cb0cfd60
|
Take simplifyIfNotNull and simplifyIfNot out of simplifyTokenList1 (first step for #6072)
|
2015-01-31 20:12:02 +01:00 |
Daniel Marjamäki
|
8d2f271921
|
clean up cfg tests in TestNullPointer
|
2015-01-30 06:51:03 +01:00 |
Daniel Marjamäki
|
9bbad1b622
|
TestNullPointer: Moved posix.cfg tests
|
2015-01-30 06:43:40 +01:00 |
Daniel Marjamäki
|
0949baac9b
|
TestNullPointer: moved out std.cfg checking
|
2015-01-29 06:07:48 +01:00 |
Daniel Marjamäki
|
70a38b1da6
|
TestNullPointer: Moved some std.cfg tests to the cfg testing
|
2015-01-28 16:22:45 +01:00 |