Dmitry-Me
|
35f5515931
|
Fix CID 1360383
|
2017-09-06 00:12:09 +03:00 |
Matthias Krüger
|
58a64702b7
|
add "internalAstError" id so we can easily track ast errors on daca.
|
2017-09-05 22:49:16 +02:00 |
Daniel Marjamäki
|
35736364f8
|
Fixed #8199 (false negative: (warning) Same condition '...', second condition is always false)
|
2017-09-05 22:45:28 +02:00 |
|
Daniel Marjamäki
|
e5e6f37e41
|
Fixed #7405 (false positive: (warning) Opposite conditions in nested 'if' blocks lead to a dead code block.)
|
2017-09-05 22:03:29 +02:00 |
|
Daniel Marjamäki
|
4ca004c836
|
daca2-search.cgi: write summary if no arguments are used
|
2017-09-05 21:48:39 +02:00 |
|
Dmitry-Me
|
3127fcf429
|
Omit repeated computations
|
2017-09-05 17:56:57 +03:00 |
|
Dmitry-Me
|
0e444aa133
|
Cache and reuse values
|
2017-09-05 17:50:36 +03:00 |
orbitcowboy
|
27be75b224
|
std.cfg: Improved support for returnValue types for some math functions.
|
2017-09-05 16:27:02 +02:00 |
|
orbitcowboy
|
94c1809f26
|
std.cfg: Improved support for returnValue types for some math functions.
|
2017-09-05 16:01:33 +02:00 |
|
Daniel Marjamäki
|
c1000998f0
|
CheckCondition: Fix FP found in daca results (ace)
|
2017-09-05 09:33:35 +02:00 |
|
Dmitry-Me
|
d7b91a9e92
|
Fix CID 1378763
Defensive check recovered from earlier version of this code
|
2017-09-05 00:17:51 +03:00 |
|
Dmitry-Me
|
7e823e6d8e
|
Extract repeating checks, break loop early
|
2017-09-05 00:04:48 +03:00 |
|
Dmitry-Me
|
79f74fc4d3
|
Break loop early
|
2017-09-05 00:00:02 +03:00 |
|
Dmitry-Me
|
7c8cb29d14
|
Extract repeating checks
|
2017-09-04 23:58:14 +03:00 |
|
Daniel Marjamäki
|
d02d235e5e
|
Refactoring oppositeInnerCondition checking
|
2017-09-04 22:54:06 +02:00 |
|
Daniel Marjamäki
|
d82805b7fe
|
CheckCondition: Improved checking for same conditions
|
2017-09-04 22:40:34 +02:00 |
|
Dmitry-Me
|
5885988b1f
|
Cache and reuse value
|
2017-09-04 23:33:52 +03:00 |
|
Dmitry-Me
|
aece2254d7
|
Put faster checks first
|
2017-09-04 23:33:14 +03:00 |
|
Daniel Marjamäki
|
abae5e0156
|
Fixed #8198 (false positive: (warning) Same condition, second condition is always false)
|
2017-09-04 22:25:20 +02:00 |
|
Daniel Marjamäki
|
ad494b996c
|
TestCondition: break out tests to functions
|
2017-09-04 22:11:53 +02:00 |
|
Dmitry-Me
|
f7ab8c5ebb
|
Drop unneeded parentheses
Those are a misleading leftover from old code
|
2017-09-04 22:49:05 +03:00 |
|
Dmitry-Me
|
c29f16a306
|
Cache and reuse values
|
2017-09-04 17:55:45 +03:00 |
|
Dmitry-Me
|
5dba8268e7
|
Better variable name
|
2017-09-04 17:53:56 +03:00 |
|
Daniel Marjamäki
|
d838dc2129
|
CheckCondition::multiCondition2: Fix FN for pointers
|
2017-09-04 15:58:22 +02:00 |
|
orbitcowboy
|
095e435031
|
wxwidgets.cfg: Added support for some wxTextFile functions.
|
2017-09-04 14:52:10 +02:00 |
|
Daniel Marjamäki
|
9465dca583
|
CheckCondition: Fix FPs for aliased variables (daca)
|
2017-09-04 09:34:03 +02:00 |
|
Daniel Marjamäki
|
a02fd54a69
|
ValueFlow: Avoid FPs for aliased variables
|
2017-09-03 23:24:55 +02:00 |
|
Matthias Krüger
|
bdef3f4582
|
daca2: add script which crawls the daca logs and feeds them into a git repository.
This can be used to track daca changes over a period of time.
|
2017-09-03 22:31:36 +02:00 |
|
Daniel Marjamäki
|
e3439c0bbf
|
daca2: added search script
|
2017-09-03 22:15:28 +02:00 |
|
Daniel Marjamäki
|
ef4a7ba7f2
|
Fix FP in CheckCondition::multiCondition2
|
2017-09-03 14:46:37 +02:00 |
|
Daniel Marjamäki
|
e5c6379d01
|
CheckCondition: Fix FP in Cppcheck
|
2017-09-03 11:35:37 +02:00 |
|
Daniel Marjamäki
|
b9849d9e4e
|
CheckCondition::multiCondition2: Handle loops better
|
2017-09-03 11:03:01 +02:00 |
|
Daniel Marjamäki
|
01e65d3e00
|
Improved CheckCondition::multiCondition2 so deeper bugs are found
|
2017-09-03 10:44:22 +02:00 |
|
Daniel Marjamäki
|
f2ec5f24ce
|
Fixed #5845 (new check: same condition after noreturn conditional code => second condition is always false)
|
2017-09-03 10:34:34 +02:00 |
Hinterwaeldlers
|
8aa568f085
|
Corrected noexcept constructor delegating handling (#948)
|
2017-09-02 22:54:23 +02:00 |
|
Daniel Marjamäki
|
fc4f17dbc2
|
AUTHORS: Added KMilhan
|
2017-09-02 22:36:02 +02:00 |
|
Daniel Marjamäki
|
1ecefa045a
|
Fixed #8194 (False positive reademptycontainer - range based loop)
|
2017-09-02 22:22:32 +02:00 |
|
Daniel Marjamäki
|
30f04a5a96
|
Fixed #8195 (False positive uninitvar (regression) - valueflow misses variable initialization via istringstream >>)
|
2017-09-02 21:53:51 +02:00 |
|
Daniel Marjamäki
|
33664a88d1
|
Fixed CID 1378777, uncaught exception
|
2017-09-02 11:11:35 +02:00 |
|
Daniel Marjamäki
|
9eed9adf3c
|
Fixed CID 1361393, logically dead code in return statement
|
2017-09-02 10:49:29 +02:00 |
|
Daniel Marjamäki
|
4311d4192a
|
Fixed CID 1360385, we know conversion can be made so use static_cast instead of dynamic_cast
|
2017-09-02 10:34:20 +02:00 |
|
Daniel Marjamäki
|
0b751dcc1b
|
Opposite conditions: Better matching when outer condition uses &&
|
2017-09-01 23:24:15 +02:00 |
|
Daniel Marjamäki
|
3bbcede43b
|
Fixed #8193 (crash: A = -(-0.2) / (1.0 + B * B) ( daca, lammps))
|
2017-09-01 22:15:09 +02:00 |
|
Dmitry-Me
|
beba46987d
|
Remove redundant variable
|
2017-09-01 18:19:25 +03:00 |
|
Dmitry-Me
|
2133350bf0
|
More useful default value
|
2017-09-01 18:17:40 +03:00 |
|
Dmitry-Me
|
4663dc205a
|
Cache and reuse value
|
2017-09-01 18:16:08 +03:00 |
|
Daniel Marjamäki
|
3b4f60fd21
|
Updated error message
|
2017-09-01 13:33:47 +02:00 |
|
Daniel Marjamäki
|
7fad1b9a36
|
Improved checking for opposite conditions
|
2017-08-31 22:53:21 +02:00 |
KMilhan
|
8b509a158f
|
Make MISRA C 2012 12.2 work on C++ (#946)
|
2017-08-31 16:06:46 +02:00 |
|
Daniel Marjamäki
|
dce942197c
|
Fixed #8186 (Inner condition always false inside for loop)
|
2017-08-31 16:00:12 +02:00 |