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 |
PKEuS
|
3274a00b82
|
Moved some more tests to testgarbage.cpp
|
2015-01-21 10:04:46 +01:00 |
|
Daniel Marjamäki
|
fe8d04e840
|
CheckNullPointer: Fix FP when x is NULL and address is calculated with expression '&x->y.z[0]'
|
2015-01-05 14:54:24 +01:00 |
|
Daniel Marjamäki
|
ff11ba9847
|
Updated copyright year to 2015
|
2015-01-03 12:14:58 +01:00 |
|
PKEuS
|
c4fd8919a2
|
Fixed #6014: Added plausibility check before issuing null pointer messages on function calls defined in library
|
2015-01-02 13:35:39 +01:00 |
orbitcowboy
|
def3491829
|
posix.cfg: Added support for readdir().
|
2014-12-10 17:44:21 +01:00 |
|
Alexander Mai
|
d11eb4931a
|
#6306 false positive with strxfrm NULL argument. Adjust std.cfg in favor of no false positive
|
2014-12-07 15:24:27 +01:00 |
|
Daniel Marjamäki
|
051d42ae6b
|
astyle formatting
|
2014-11-20 14:20:09 +01:00 |
|
orbitcowboy
|
f5d804f71a
|
running astyle
|
2014-11-20 10:13:03 +01:00 |
|
PKEuS
|
b724784f0b
|
Removed obsolete comments
|
2014-10-18 11:18:07 +02:00 |