walkero/cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity
21,315 Commits 13 Branches 88 Tags
Commit Graph

21315 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel Marjamäki
79356b1883 SymbolDatabase: Better ValueType handling of 'LibraryType(..)' 2019-10-08 11:25:05 +02:00
Sebastian
75e4e70ce4
Fix #9299 (Makefile: tools/matchcompiler.py is executed via Python 2) (#2247) 
Check if "python" is available, if not check for "python3" and use
the available Python interpreter. If no Python interpreter is found,
"make" fails with an according error message.
This solves the issue that not all modern Linux distributions any longer
install Python 2 by default, so "python" is not available and
"make MATCHCOMPILER=yes" would fail. Instead of forcing the users to
install Python 2, Python 3 is used in such a case now if it is
available.
 2019-10-08 10:55:40 +02:00
Rikard Falkeborn
d27e70db8e bump simplecpp (#2245) 2019-10-08 10:38:22 +02:00
versat
93e9e12aa1 gtk.cfg: Add some missing g_str*() functions found by daca@home 2019-10-08 10:01:38 +02:00
Paul Fultz II
4eb4762d95 Extend lifetime checking to temporaries (#2242) 
* Use lifetimes to check for returning reference to temporaries

* Check for dangling temporaries

* Check for unknown types for returining by reference

* Remove old returnTemporary check

* Format

* Check for deref op

* Ternary operator return an lvalue reference

* Warn when returning temporaries from member functions

* Improve handling of pointer to function

* Extend lifetimes of const references
 2019-10-08 09:28:39 +02:00
Daniel Marjamäki
21774cbdc4 ExprEngine: Handle while/for loops 2019-10-07 17:45:06 +02:00
versat
b76be4581e ruby.cfg: Add some *2NUM(), FIX2*() and NUM2*() functions 
Reference: No useful documentation found. Used the Ruby 2.6 header files
and different web sites for creating the configurations.
 2019-10-07 15:34:42 +02:00
versat
682c5c2040 qt.cfg: Add configurations for more global functions 
Reference: https://doc.qt.io/qt-5/qtglobal.html
 2019-10-07 12:06:16 +02:00
Rikard Falkeborn
443fcd2ac4 TestBufferOverrun: Enable passing tests (#2246) 
There are a number of tests and asserts in testbufferoverrun that pass.
Enable them to add test coverage.
 2019-10-07 09:17:12 +02:00
Daniel Marjamäki
d82b1b29ce ExprEngine: Initial handling of switch 2019-10-06 19:58:51 +02:00
Daniel Marjamäki
05aae9569b ExprEngine: Execute false execution path even if there is no else, upon Z3 exception assume that value is in range (safe option) 2019-10-06 18:26:40 +02:00
Daniel Marjamäki
6c0c9ba6d3 ExprEngine: Handle 'break' and 'while (0);' 2019-10-06 17:43:30 +02:00
Daniel Marjamäki
dcf8a7213f ExprEngine: ExprData::getConstraintExpr 2019-10-06 14:47:50 +02:00
IOBYTE
78b9fd9bb9 Fix #9383 ("debug: Function::addArguments found argument 'x' with varid 0." with variadic templates) (#2238) 2019-10-06 12:45:42 +02:00
Daniel Marjamäki
3c085fd88a Fixed #9359 (SymbolDatabase: function lookup fails when -funsigned-char is used) 2019-10-06 12:05:58 +02:00
Tyson Nottingham
0950a97df2 Fix false negatives in checkBitwiseOnBoolean (#2220) 
* Fix false negatives in checkBitwiseOnBoolean

Use AST-based tests in favor of token-based tests for greater coverage.

* Travis: add suppressions for bitwiseOnBool
 2019-10-06 09:57:31 +02:00
Daniel Marjamäki
b97436e8f8 Fixed #9382 (Hang: CheckLeakAutoVar pellepl/spiffs/src/spiffs_hydrogen.c) 2019-10-06 09:52:05 +02:00
IOBYTE
8f46bb3ef6 fix #9392 (SymbolDatabase: Weird default constructor outside class) (#2243) 2019-10-06 07:21:12 +02:00
Daniel Marjamäki
7294145797 SymbolDatabase: set value type for std::move() 2019-10-05 19:57:52 +02:00
Daniel Marjamäki
4e525e52ec ExprEngine: Avoid endless recursion for struct members that have struct type 2019-10-05 18:29:41 +02:00
Daniel Marjamäki
e686699294 ExprEngine: Fix ExprEngin::IntRange::isIntValueInRange 2019-10-05 16:33:40 +02:00
Daniel Marjamäki
954e98cc03 astyle formatting 
[ci skip]
 2019-10-05 16:32:43 +02:00
Paul Fultz II
cf1c766292 Fix issue 9317: False positive returnDanglingLifetime when using reference to constant inside if statement (#2241) 2019-10-05 16:32:20 +02:00
Paul Fultz II
6b6553e320 Dont warn for arrays that are containers (#2240) 2019-10-05 16:14:30 +02:00
Daniel Marjamäki
887825d834 astyle formatting 
[ci skip]
 2019-10-05 15:42:47 +02:00
IOBYTE
46f3f58e5f Fix #9388 ("debug: Executable scope 'x' with unknown function." with alias used in initialization list) (#2239) 2019-10-05 09:34:37 +02:00
Sebastian
bfbfeefbb3 reduce.py: Allow reducing error messages, print output in case of error (#2179) 
* reduce.py: Allow reducing error messages, print output in case of error

Allow reducing code that triggers (false positive) error messages.
Print Cppcheck output in case Cppcheck returns unsuccessfully and no
segfault is expected. This helps fixing messed up command lines (for
example issues with the path).

* Use "else" as suggested
 2019-10-04 21:22:59 +02:00
Daniel Marjamäki
fcccd5f42e ExprEngine: Small tweaks 2019-10-04 17:58:18 +02:00
IOBYTE
c32a568c1f fix #8965 ("(debug) Executable scope 'x' with unknown function." with rvalue parameter in method) (#2237) 
I fixed the AST enough to pass testrunner but I don't believe it is
correct.

This code:

void Foo4(int&&b);

has this AST:

( 'void'
|-Foo4
`-&& 'bool'
  |-int
  `-b 'signed int'

but I don't believe && should have `bool`.
 2019-10-04 12:30:11 +02:00
Daniel Marjamäki
2a33c3cfec SymbolDatabase: Add test to ensure findFunction looks in current scope first 2019-10-03 21:29:01 +02:00
Conrado Gouvea
40f136ac78 MISRA: add exception to rule 3.1 (#2231) 
* misra: add exception to rule 3.1

* misra: add parenthesis for clarity in rule 3.1
 2019-10-03 21:15:00 +02:00
IOBYTE
50d82763fc Fix #9385 ("debug: Executable scope 'func' with unknown function" with parameter in member function) (#2235) 2019-10-03 21:13:03 +02:00
Daniel Marjamäki
7e850e3e4b ExprEngine: test pointer 2019-10-03 21:08:42 +02:00
Daniel Marjamäki
f80d387374 ExprEngine: Arrays if-then-else 2019-10-03 20:16:06 +02:00
Daniel Marjamäki
555890fdfa ExprEngine: Removed NullPointerDereference checker for now. 2019-10-03 19:24:14 +02:00
IOBYTE
3e17c24dd8 fix syntax error on template operator (#2225) 2019-10-03 12:26:45 +02:00
Conrado Gouvea
67971db58f misra: fix false positive in 11.7 (#2233) 2019-10-03 10:15:50 +02:00
Paul Fultz II
997803869d Forward values after assignment in valueFlowReverse (#2226) 
* Forward values after assignment in valueFlowReverse

* Rename variables

* Format
 2019-10-03 09:58:57 +02:00
Daniel Marjamäki
b79283306f ExprEngine: Rename Data::conditions => Data::constraints 2019-10-03 08:48:05 +02:00
Daniel Marjamäki
d916379f9f ExprEngine: Better handling of if/else 2019-10-02 21:47:00 +02:00
Daniel Marjamäki
7ab22c7176 ExprEngine: Use smt solver Z3 2019-10-02 17:59:04 +02:00
IOBYTE
4ba00d0694 Fix #9381 (alias in namespace not replaced in method declaration) (#2232) 2019-10-02 08:11:04 +02:00
Daniel Marjamäki
87ece5856a Fix Cppcheck internal warning 2019-10-01 21:37:43 +02:00
Daniel Marjamäki
cf965b72b5 SymbolDatabase: look for functions in anonymous namespaces in the findFunction 2019-10-01 19:09:34 +02:00
Daniel Marjamäki
07b337c580 Removed extra zero division heuristics, they seem redundant as ValueType is used 2019-10-01 17:33:58 +02:00
orbitcowboy
e51f75ca40 wxwidgets.cfg: Added support for more interfaces, found by daca@home. 2019-10-01 08:43:17 +02:00
orbitcowboy
f05e21efa8 Formatted the code, there are no functional changes [ci skip]. 2019-10-01 08:39:08 +02:00
orbitcowboy
35e0dd9372 wxwidgets.cfg: Added support for functions from <wx/stopwatch.h> 2019-10-01 08:38:16 +02:00
Paul Fultz II
166bd2bafc Fix issue 2153: valueFlowAfterCondition: struct member (#2228) 
* Fix issue 2153: valueFlowAfterCondition: struct member

* Fix null pointer dereference

* Formatting

* Check for another null pointer

* Initialize variables

* Remove redundant condition

* Format

* Add missing initialization to copy constructor

* Format
 2019-09-30 21:04:43 +02:00
Armin Müller
b4af8bdc2e Typos found by running "codespell" (#2227) 2019-09-29 21:23:19 +02:00