8d6891ac81
bug hunting; modified itc test script so you can pass --clang to it
2020-01-20 10:43:42 +01:00
9bc43fca1d
Fixed crash when printing out ValueFlow debug output
2020-01-20 08:11:57 +01:00
16eae28cc9
Fix AppVeyor issue following reportVerification rename. ( #2497 )
2020-01-19 18:20:51 +01:00
8ac2cdd9ff
Clang import; If there are syntax errors then abort analysis
2020-01-19 17:30:57 +01:00
0eccffe8e3
--clang; require that --cppcheck-build-dir. output files are needed.
2020-01-19 12:33:17 +01:00
7d4bd57cc5
Clang import; Fix crash
2020-01-19 09:45:47 +01:00
84bb024662
Refactoring; Reuse variable typeSize
2020-01-19 09:17:38 +01:00
a6ab986217
ExprEngine; In divbyzero report rhs token because that has better location
2020-01-19 09:16:02 +01:00
16981f0813
ExprEngine; Fix FP for BailoutValue
2020-01-19 09:10:50 +01:00
3d1cb87a11
Clang import; range for
2020-01-18 19:23:37 +01:00
36a67c7022
Clang import; fixed ValueType::typeSize calls
2020-01-18 17:32:59 +01:00
cefd7fb33f
Fix testrunner
2020-01-18 12:29:03 +01:00
269d21e972
Clang import; Better array handling in sizeof()
2020-01-18 11:55:50 +01:00
b905547c76
Clang import; Better sizeof/type handling
2020-01-18 11:07:36 +01:00
f7a30fc99f
Rename Verification => Bughunting
2020-01-18 07:25:57 +01:00
103532bb03
Update cppcheck-htmlreport ( #2494 )
...
* Try to use double quotes consistently
* minor CSS consistency changes
* fix HTML errors
* fix a few JS issues and switch to `textContent`
* use `addEventListener` instead of the onload event
* use `querySelector` and `querySelectorAll`
Co-authored-by: XhmikosR <xhmikosr@gmail.com>
2020-01-18 01:49:46 +01:00
7c7b0e55ed
daca2-getpackages.py: Fix #9508 : Add support for xz compressed archives ( #2493 )
...
Using .tar.xz packages adds about 4500 additional packages that can be
tested and changes many existing packages where a more recent version
can be used now that is only available as .tar.xz file.
Related ticket: https://trac.cppcheck.net/ticket/9508
donate-cpu.py: Require at least Python 3.4
xz support was added with 3.3.
2020-01-17 12:23:07 +01:00
0bb98aeef9
Fix 9577 (endless recursion in Valueflow::bifurcate()) ( #2492 )
...
Ensure bifurcate() does not recurse endlessly where a variable is
initialized recursively, or a variable is initialized as x(0) or x{0}
followed by a recursive assignment (for example int x(0); x = x / 1;).
The first case is solved by bailing out if there initialization is done
using x(0) or x{0}, the second by adding a missing depth argument to a
recursive call.
2020-01-17 03:17:26 +01:00
bc39cd73f0
Clang import; fix wrong 'sizeof' import
2020-01-17 03:15:08 +01:00
53623ddf6f
daca2-getpackages.py: Fix semver sorting and getting latest package ( #2490 )
...
There were two issues:
1. The version was not correctly extracted out of the filename. When
extracting a sub-string in Python one has to specify start index and
end index instead of start index and length.
2. The function `semver.cmp()` does nothing useful. Instead the function
`semver.compare()` must be called when two version should be compared.
See https://github.com/python-semver/python-semver/issues/117#issuecomment-479188221
Because `semver.compare()` now really compares the versions it is
possible that an exception is thrown if a version is not in the semver
version format. In such cases the sorting is aborted and the last
filename in the array is returned. This is often but not always already
the latest version from what I have seen.
2020-01-16 20:02:56 +01:00
cd9ec5aac6
daca@home client: Require at least Python 3 from now on ( #2491 )
...
This makes it possible to implement new features like .tar.xz support
(see https://trac.cppcheck.net/ticket/9508 ) or aborting endlessly
running analysis via timeout (see
https://sourceforge.net/p/cppcheck/discussion/development/thread/86813a8a53/ ).
2020-01-16 20:01:46 +01:00
272fbfeb74
ExprEngine; Fix Z3 usage for floats
2020-01-16 19:35:05 +01:00
bc737be0b5
ExprEngine; OLD_Z3 => NEW_Z3
2020-01-16 18:59:47 +01:00
01e0a61ebe
Break loops earlier
2020-01-16 18:37:10 +03:00
fddc301f7b
Rename test cases, 'verification' was renamed to 'bug hunting'
2020-01-15 21:11:04 +01:00
76a048a2c1
Bug hunting; 'hide' the uninitialized variables checking, I need to focus on division by zero and clang import
2020-01-15 21:06:00 +01:00
9507fccfc1
ExprEngine: Quick hacks for old Z3 compatibility
2020-01-15 19:46:00 +01:00
52d72b6ffc
ExprEngine; Fix crash
2020-01-15 18:35:55 +01:00
446e7c3c0e
ExprEngine; Fix fp in edgevalue
2020-01-15 17:51:34 +01:00
c79ec9e956
ExprEngine: sizeof()
2020-01-15 15:24:36 +01:00
86d0f62d36
misra.py: Fix 12.3 FP in initializer lists ( #2489 )
...
See: trac 9581
2020-01-15 09:55:59 +01:00
5ac0eb100c
Bug hunting; avoid crash when argument is NULL
2020-01-15 07:15:47 +01:00
7820b5dbcc
Rename 'Verification' to 'Bug hunting'
2020-01-14 21:17:07 +01:00
434b506e58
testsuites/danmar-verify: fix syntax errors
2020-01-14 10:28:05 +01:00
dfbf347912
Clang import; Better type
2020-01-13 17:56:30 +01:00
a17ded3862
Clang import; handle {} that is not a scope better
2020-01-13 13:16:02 +01:00
066e43cce3
Clang import; InitListExpr
2020-01-13 12:44:35 +01:00
7a2c10f9f1
Run astyle
2020-01-13 10:40:36 +01:00
bd41b3d713
Clang import; Fixed function arguments in SymbolDatabase
2020-01-13 05:52:46 +01:00
9f3df5d630
Clang import; CompoundAssignOperator
2020-01-12 18:41:46 +01:00
ae7ff940e6
Clang import; minor tweaks
2020-01-12 18:05:45 +01:00
1e207e42c5
CppCheck: Try to handle '"' properly in split()
2020-01-12 17:13:26 +01:00
f4f4377fbf
Clang import; Constructor arguments, ExprWithCleanups
2020-01-12 16:49:02 +01:00
47e186864b
Clang import; Set function pointer properly
2020-01-12 15:15:21 +01:00
fd1809590c
Token: Write function() in ast debug output
2020-01-12 15:04:25 +01:00
0e75f16510
verificationUninit: ignore bailout values until it's less noisy
2020-01-12 14:52:15 +01:00
1bad69923c
astyle formatting
...
[ci skip]
2020-01-12 13:35:39 +01:00
166402b5cf
verificationUninit: Avoid some false positives for 'bailout' values
2020-01-12 13:35:09 +01:00
88429382b7
Verification; Avoid obvious verificationUninit false positives during bailout
2020-01-12 11:53:49 +01:00
d1f3ecec12
Verification; Tweak itc test script, avoid duplicate linenumbers
2020-01-12 10:53:44 +01:00
Daniel Marjamäki
Simon Martin
Sebastian
Rikard Falkeborn
Dmitry-Me
Georgy Komarov
amai2012