Daniel Marjamäki
|
c75a2265c0
|
Fix inline suppression.
|
2019-01-13 12:10:26 +01:00 |
Daniel Marjamäki
|
a520a41e64
|
CheckUninitVar: Try to report all CTU issues not just the first found issue
|
2018-12-31 07:54:00 +01:00 |
Daniel Marjamäki
|
91a580cbd7
|
CTU: more warnings
|
2018-12-30 18:31:37 +01:00 |
Daniel Marjamäki
|
c8901e9bab
|
CTU: Find paths better
|
2018-12-30 16:23:25 +01:00 |
Daniel Marjamäki
|
378e083585
|
CTU: Refactoring the xml load/write. Renamed members.
|
2018-12-30 11:55:39 +01:00 |
Daniel Marjamäki
|
d18f5d8709
|
CTU: Reuse CheckNullPointer::isPointerDeRef in the nullpointer isUnsafeUsage
|
2018-12-29 09:26:57 +01:00 |
Daniel Marjamäki
|
a788512d66
|
CTU: Refactor isUnsafeFunction
|
2018-12-26 19:17:49 +01:00 |
Daniel Marjamäki
|
a6e227a73c
|
CTU: Refactoring; getErrorPath
|
2018-12-26 15:56:10 +01:00 |
Daniel Marjamäki
|
e39be48c92
|
CTU: Refactoring, create ErrorPath in ctu
|
2018-12-26 11:36:26 +01:00 |
Daniel Marjamäki
|
271763e680
|
CTU: Refactoring
|
2018-12-25 21:11:23 +01:00 |
Daniel Marjamäki
|
a1dca6acd5
|
Fix CTU nullpointer check
|
2018-12-25 12:04:01 +01:00 |
Daniel Marjamäki
|
c7993df4ff
|
Refactoring; Use range for loops
|
2018-12-25 11:47:45 +01:00 |
Daniel Marjamäki
|
0f63874c62
|
Take back the whole program analysis for null pointers and uninitialized variables
|
2018-12-18 07:56:33 +01:00 |
Paul Fultz II
|
54453c5802
|
Fix FP when copying pointer to string (#1479)
|
2018-11-14 06:59:25 +01:00 |
Daniel Marjamäki
|
be1ff268c0
|
Refactoring: Use range for loops
|
2018-10-24 11:29:15 +02:00 |
Simon Martin
|
915acac0b8
|
Ticket #8734: Skip static member variables in CheckUninitVar. (#1388)
|
2018-09-22 16:52:34 +02:00 |
Daniel Marjamäki
|
fc97a5b11c
|
Uninitalized variables: Fixed false positive
|
2018-08-15 18:04:36 +02:00 |
Daniel Marjamäki
|
79ffe1d4fc
|
Rename _tokenizer, _settings, _errorLogger
|
2018-06-16 16:10:28 +02:00 |
PKEuS
|
0090ae5cf2
|
Optimization in CheckUninitVar::checkStruct(): Replaced expensive inner loop on all scopes by loop on child scopes for faster lookup for inner unions.
This speeds up checking of very large code files; for example, it reduces checking time for SQLite amalgamation by more than 20%
|
2018-05-14 15:48:57 +02:00 |
Daniel Marjamäki
|
f336c2efe7
|
Refactoring; Renamed Scope::classStart and Scope::classEnd
|
2018-04-27 22:36:30 +02:00 |
Daniel Marjamäki
|
fba8208134
|
CheckUninitVar: Use isLikelyStreamRead
|
2018-04-22 17:04:54 +02:00 |
Daniel Marjamäki
|
cc4977e140
|
Tweaking CheckUninitVar (<< and >> handling)
|
2018-04-22 16:39:57 +02:00 |
Daniel Marjamäki
|
4f6bd5d607
|
Fix Travis
|
2018-04-17 14:54:12 +02:00 |
Daniel Marjamäki
|
c84628c28a
|
Fixed #8494 (False positive: serialization class overloads operator)
|
2018-04-17 14:23:04 +02:00 |
Daniel Marjamäki
|
a0906140a6
|
Suppressions: New extensible Suppressions xml format that allow more attributes. To start with it also allows symbolName.
|
2018-04-09 06:43:48 +02:00 |
jrp2014
|
d2160f00b2
|
Refactor lib/checkuninitvar.cpp
|
2018-04-06 08:04:06 +02:00 |
jrp2014
|
b6504c70ca
|
Improve constness
|
2018-04-04 21:51:31 +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
|
71511f3131
|
Refactor f487182
|
2018-02-06 08:59:36 +01:00 |
Ivan Maidanski
|
f487182075
|
Suppressed unused functions should not lead to nonzero exit code (#1026) (#1078)
This is a fix of commit 97ffec8 .
|
2018-02-06 07:44:53 +01:00 |
Daniel Marjamäki
|
dbc6771a0b
|
Uninitialized variables: Fix FP for unknown macro like 'list_for_each'
|
2018-02-04 22:30:08 +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
|
d47b7726fa
|
Uninitialized variables: Fix potential false positives in subfunction if there is early return or conditional writes
|
2018-02-04 09:40:57 +01:00 |
Daniel Marjamäki
|
1fe59faecb
|
changed message ids for uninitvar/nullpointer errors that was found by whole program analysis
|
2018-02-03 16:05:07 +01:00 |
Daniel Marjamäki
|
f5a11a6510
|
UninitVar: Speedup whole program analysis a bit
|
2018-01-29 15:15:35 +01:00 |
Daniel Marjamäki
|
9109956c8c
|
UninitVar: Improve whole program analysis, used isVariableUsage()
|
2018-01-25 21:49:21 +01:00 |
Daniel Marjamäki
|
51c2ded23f
|
Fix crash
|
2018-01-25 19:42:50 +01:00 |
Daniel Marjamäki
|
4d66609173
|
Fix Cppcheck warning, uninitialized member variable
|
2018-01-25 17:29:08 +01:00 |
Daniel Marjamäki
|
f73da16e94
|
Revert "UninitVar: Better checking in whole program analysis"
This reverts commit b2bdc2687b .
|
2018-01-25 17:05:57 +01:00 |
Daniel Marjamäki
|
b2bdc2687b
|
UninitVar: Better checking in whole program analysis
|
2018-01-25 15:56:46 +01:00 |
Daniel Marjamäki
|
ce60b326f4
|
Whole program analysis: Improved handling of nested calls
|
2018-01-24 22:53:14 +01:00 |
Daniel Marjamäki
|
512b9f512c
|
Refactoring whole program analysis for CheckUninitVar and CheckNullPointer
|
2018-01-21 22:56:46 +01:00 |
Daniel Marjamäki
|
351b382a7b
|
Null pointers: Whole program analysis
|
2018-01-21 19:51:15 +01:00 |
Daniel Marjamäki
|
ea63e52d98
|
UninitVar: Improved function/method matching in whole program analysis
|
2018-01-21 10:40:35 +01:00 |
Daniel Marjamäki
|
c331a10fa7
|
Refactorings, and try to ensure that analyzer info is stored/loaded properly
|
2018-01-15 19:12:31 +01:00 |
Daniel Marjamäki
|
f2b2e87fb6
|
Uninitialized Variables: some additional tweaks. Try to fix Travis
|
2018-01-15 17:35:21 +01:00 |
Daniel Marjamäki
|
100887429d
|
Uninitialized variables: Whole program analysis for function calls
|
2018-01-15 15:54:09 +01:00 |
Daniel Marjamäki
|
c4caee6b18
|
Updated copyright year
|
2018-01-14 15:37:52 +01:00 |
Daniel Marjamäki
|
255b788d4d
|
Fixed #4903 (Improve check: allocated but not initialized (condition))
|
2018-01-02 23:20:46 +01:00 |
Daniel Marjamäki
|
ba8222de1c
|
ValueFlow: Put 'inconclusive' state in the ValueKind. A value can't be both known and inconclusive.
|
2017-09-20 22:41:36 +02:00 |