Skip to content

Commit 8f386e1

Browse files
committed
Remove bug hunting. This feature will be provided in Cppcheck premium.
1 parent 98f84e3 commit 8f386e1

File tree

90 files changed

+83
-7305
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

90 files changed

+83
-7305
lines changed

.github/workflows/CI-unixish.yml

Lines changed: 8 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -22,18 +22,13 @@ jobs:
2222
run: |
2323
sudo apt-get update
2424
sudo apt-get install libxml2-utils
25-
sudo apt-get install libz3-dev libtinyxml2-dev
25+
sudo apt-get install libtinyxml2-dev
2626
sudo apt-get install qtbase5-dev qttools5-dev libqt5charts5-dev qt5-default
2727
28-
- name: Fix missing z3_version.h
29-
if: matrix.os == 'ubuntu-18.04'
30-
run: |
31-
cp externals/z3_version_old.h externals/z3_version.h
32-
3328
- name: Install missing software on macos
3429
if: contains(matrix.os, 'macos')
3530
run: |
36-
brew install coreutils python3 z3 qt@5
31+
brew install coreutils python3 qt@5
3732
3833
- name: Install missing Python packages
3934
run: |
@@ -45,7 +40,7 @@ jobs:
4540
run: |
4641
mkdir cmake.output.tinyxml2
4742
cd cmake.output.tinyxml2
48-
cmake -G "Unix Makefiles" -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DUSE_BUNDLED_TINYXML2=Off ..
43+
cmake -G "Unix Makefiles" -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DUSE_BUNDLED_TINYXML2=Off ..
4944
cmake --build . -- -j$(nproc)
5045
cd ..
5146
@@ -59,7 +54,7 @@ jobs:
5954
run: |
6055
mkdir cmake.output
6156
cd cmake.output
62-
cmake -G "Unix Makefiles" -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On ..
57+
cmake -G "Unix Makefiles" -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On ..
6358
cmake --build . -- -j$(nproc)
6459
cd ..
6560
@@ -68,7 +63,7 @@ jobs:
6863
run: |
6964
mkdir cmake.output
7065
cd cmake.output
71-
cmake -G "Unix Makefiles" -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DQt5_DIR=$(brew --prefix qt@5)/lib/cmake/Qt5 ..
66+
cmake -G "Unix Makefiles" -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DQt5_DIR=$(brew --prefix qt@5)/lib/cmake/Qt5 ..
7267
cmake --build . -- -j$(nproc)
7368
cd ..
7469
@@ -95,15 +90,15 @@ jobs:
9590
- name: Build cppcheck
9691
run: |
9792
make clean
98-
make -j$(nproc) USE_Z3=yes HAVE_RULES=yes
93+
make -j$(nproc) HAVE_RULES=yes
9994
10095
- name: Build test
10196
run: |
102-
make -j$(nproc) testrunner USE_Z3=yes HAVE_RULES=yes
97+
make -j$(nproc) testrunner HAVE_RULES=yes
10398
10499
- name: Run test
105100
run: |
106-
make -j$(nproc) check USE_Z3=yes HAVE_RULES=yes
101+
make -j$(nproc) check HAVE_RULES=yes
107102
108103
# the script uses sed parameters not supported by MacOS
109104
- name: Run extra tests

.github/workflows/CI-windows.yml

Lines changed: 0 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -25,8 +25,6 @@ jobs:
2525
env:
2626
# see https://www.pcre.org/original/changelog.txt
2727
PCRE_VERSION: 8.45
28-
# see https://github.com/Z3Prover/z3/releases:
29-
Z3_VERSION: 4.8.15
3028

3129
steps:
3230
- uses: actions/checkout@v2
@@ -72,25 +70,6 @@ jobs:
7270
env:
7371
CL: /MP
7472

75-
- name: Cache Z3 Library
76-
id: cache-z3
77-
uses: actions/cache@v2
78-
if: matrix.arch == 'x64' || matrix.qt_ver == ''
79-
with:
80-
path: z3-${{ env.Z3_VERSION }}-${{ matrix.arch }}-win.zip
81-
key: z3-${{ env.Z3_VERSION }}-${{ matrix.arch }}-win
82-
83-
- name: Download Z3 library
84-
if: (matrix.arch == 'x64' || matrix.qt_ver == '') && steps.cache-z3.outputs.cache-hit != 'true'
85-
run: |
86-
curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-%Z3_VERSION%/z3-%Z3_VERSION%-${{ matrix.arch }}-win.zip -o z3-%Z3_VERSION%-${{ matrix.arch }}-win.zip || exit /b !errorlevel!
87-
88-
- name: Install Z3 library
89-
if: matrix.arch == 'x64' || matrix.qt_ver == ''
90-
run: |
91-
7z x z3-%Z3_VERSION%-${{ matrix.arch }}-win.zip -oexternals -r -y || exit /b !errorlevel!
92-
move externals\z3-%Z3_VERSION%-${{ matrix.arch }}-win externals\z3 || exit /b !errorlevel!
93-
9473
- name: Cache Qt ${{ matrix.qt_ver }}
9574
if: matrix.qt_ver != '' && matrix.arch == 'x64'
9675
id: cache-qt

.github/workflows/asan.yml

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -26,11 +26,11 @@ jobs:
2626
- name: Install missing software on ubuntu
2727
run: |
2828
apt-get update
29-
apt-get install -y make libz3-dev libpcre3-dev
29+
apt-get install -y make libpcre3-dev
3030
apt-get install -y clang-13
3131
3232
- name: Build
33-
run: make -j$(nproc) cppcheck testrunner USE_Z3=yes HAVE_RULES=yes MATCHCOMPILER=yes VERIFY=1
33+
run: make -j$(nproc) cppcheck testrunner HAVE_RULES=yes MATCHCOMPILER=yes VERIFY=1
3434
env:
3535
CC: clang-13
3636
CXX: clang++-13
@@ -47,7 +47,3 @@ jobs:
4747
# ./cppcheck -q -j$(nproc) --std=c++11 --template=selfcheck -D__CPPCHECK__ -DQT_VERSION=0x050000 --error-exitcode=1 --inline-suppr --suppressions-list=.travis_suppressions --library=qt -Ilib -Iexternals/simplecpp/ -Iexternals/tinyxml2/ --enable=style,performance,portability,warning,internal --exception-handling --debug-warnings gui/*.cpp
4848
# ./cppcheck -q -j$(nproc) --std=c++11 --template=selfcheck -D__CPPCHECK__ --error-exitcode=1 --inline-suppr --suppressions-list=.travis_suppressions --library=cppcheck-lib -Ilib -Iexternals/simplecpp/ -Iexternals/tinyxml2/ -Icli -Igui --inconclusive --enable=style,performance,portability,warning,internal --exception-handling --debug-warnings test/*.cpp tools
4949

50-
# TODO: This does takes too long to run
51-
# - name: Bughunting lib
52-
# run: ./cppcheck -D__CPPCHECK__ --bug-hunting -j$(nproc) lib
53-

.github/workflows/bughunting.yml

Lines changed: 0 additions & 47 deletions
This file was deleted.

.github/workflows/clang-tidy.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,6 @@ jobs:
2222
run: |
2323
apt-get update
2424
apt-get install -y cmake g++ make
25-
apt-get install -y libz3-dev
2625
apt-get install -y libpcre3-dev
2726
apt-get install -y libffi7 # work around missing dependency for Qt install step
2827
apt-get install -y clang-tidy-13
@@ -46,7 +45,7 @@ jobs:
4645
run: |
4746
mkdir cmake.output
4847
cd cmake.output
49-
cmake -G "Unix Makefiles" -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DCMAKE_GLOBAL_AUTOGEN_TARGET=On -DCPPCHK_GLIBCXX_DEBUG=Off ..
48+
cmake -G "Unix Makefiles" -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DCMAKE_GLOBAL_AUTOGEN_TARGET=On -DCPPCHK_GLIBCXX_DEBUG=Off ..
5049
cd ..
5150
5251
- name: Prepare CMake dependencies

.github/workflows/codeql-analysis.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,6 @@ jobs:
2424
run: |
2525
sudo apt-get update
2626
sudo apt-get install libxml2-utils
27-
sudo apt-get install libz3-dev libz3-4
2827
2928
# Initializes the CodeQL tools for scanning.
3029
- name: Initialize CodeQL
@@ -38,7 +37,7 @@ jobs:
3837
setup-python-dependencies: false
3938

4039
- run: |
41-
make -j$(nproc) USE_Z3=yes HAVE_RULES=yes cppcheck
40+
make -j$(nproc) HAVE_RULES=yes cppcheck
4241
4342
- name: Perform CodeQL Analysis
4443
uses: github/codeql-action/analyze@v1

.github/workflows/coverage.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,15 +16,14 @@ jobs:
1616
run: |
1717
sudo apt-get update
1818
sudo apt-get install libxml2-utils
19-
sudo apt-get install libz3-dev libz3-4
2019
sudo apt-get install lcov
2120
sudo apt-get install libcppunit-dev
2221
python -m pip install pip --upgrade
2322
python -m pip install lcov_cobertura
2423
2524
- name: Compile instrumented
2625
run: |
27-
make -j$(nproc) test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes HAVE_RULES=yes
26+
make -j$(nproc) test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" HAVE_RULES=yes
2827
2928
- name: Generate coverage report
3029
run: |

.github/workflows/iwyu.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,15 +19,15 @@ jobs:
1919
- name: Install missing software
2020
run: |
2121
apt-get update
22-
apt-get install -y cmake g++ make libz3-dev libpcre3-dev
22+
apt-get install -y cmake g++ make libpcre3-dev
2323
apt-get install -y qtbase5-dev qttools5-dev libqt5charts5-dev
2424
apt-get install -y wget iwyu
2525
2626
- name: Prepare CMake
2727
run: |
2828
mkdir cmake.output
2929
cd cmake.output
30-
cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=Release -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DCMAKE_GLOBAL_AUTOGEN_TARGET=On -DCMAKE_DISABLE_PRECOMPILE_HEADERS=On -DCPPCHK_GLIBCXX_DEBUG=Off -DUSE_MATCHCOMPILER=Off ..
30+
cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=Release -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=On -DBUILD_TESTS=On -DBUILD_GUI=On -DWITH_QCHART=On -DCMAKE_GLOBAL_AUTOGEN_TARGET=On -DCMAKE_DISABLE_PRECOMPILE_HEADERS=On -DCPPCHK_GLIBCXX_DEBUG=Off -DUSE_MATCHCOMPILER=Off ..
3131
cd ..
3232
3333
- name: Prepare CMake dependencies

.github/workflows/release-windows.yml

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -25,8 +25,6 @@ jobs:
2525
env:
2626
# see https://www.pcre.org/original/changelog.txt
2727
PCRE_VERSION: 8.45
28-
# see https://github.com/Z3Prover/z3/releases:
29-
Z3_VERSION: 4.8.15
3028
QT_VERSION: 5.15.2
3129

3230
steps:
@@ -56,23 +54,6 @@ jobs:
5654
copy pcre.h ..\externals
5755
copy Release\pcre.lib ..\externals\pcre64.lib
5856
59-
- name: Cache Z3 Library
60-
id: cache-z3
61-
uses: actions/cache@v2
62-
with:
63-
path: z3-${{ env.Z3_VERSION }}-x64-win.zip
64-
key: z3-${{ env.Z3_VERSION }}-x64-win
65-
66-
- name: Download Z3 library
67-
if: steps.cache-z3.outputs.cache-hit != 'true'
68-
run: |
69-
curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-%Z3_VERSION%/z3-%Z3_VERSION%-x64-win.zip -o z3-%Z3_VERSION%-x64-win.zip
70-
71-
- name: Install Z3 library
72-
run: |
73-
7z x z3-%Z3_VERSION%-x64-win.zip -oexternals -r -y
74-
move externals\z3-%Z3_VERSION%-x64-win externals\z3
75-
7657
- name: Cache Qt ${{ env.QT_VERSION }}
7758
id: cache-qt
7859
uses: actions/cache@v1 # not v2!
@@ -125,7 +106,6 @@ jobs:
125106
copy platforms\*.xml win_installer\files\platforms
126107
copy bin\cppcheck.exe win_installer\files
127108
copy bin\cppcheck-core.dll win_installer\files
128-
copy externals\z3\bin\libz3.dll win_installer\files
129109
mkdir win_installer\files\help
130110
xcopy /s gui\help win_installer\files\help
131111
del win_installer\files\translations\*.qm

.github/workflows/selfcheck.yml

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -15,11 +15,6 @@ jobs:
1515
steps:
1616
- uses: actions/checkout@v2
1717

18-
- name: Install missing software
19-
run: |
20-
sudo apt-get update
21-
sudo apt-get install libz3-dev
22-
2318
- name: Cache Qt ${{ env.QT_VERSION }}
2419
id: cache-qt
2520
uses: actions/cache@v1 # not v2!
@@ -44,7 +39,7 @@ jobs:
4439
run: |
4540
mkdir cmake.output
4641
pushd cmake.output
47-
cmake -G "Unix Makefiles" -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=ON -DWITH_QCHART=ON -DCMAKE_GLOBAL_AUTOGEN_TARGET=On ..
42+
cmake -G "Unix Makefiles" -DHAVE_RULES=On -DBUILD_TESTS=On -DBUILD_GUI=ON -DWITH_QCHART=ON -DCMAKE_GLOBAL_AUTOGEN_TARGET=On ..
4843
4944
- name: Generate dependencies
5045
run: |
@@ -68,7 +63,7 @@ jobs:
6863
run: |
6964
mkdir cmake.output.notest
7065
pushd cmake.output.notest
71-
cmake -G "Unix Makefiles" -DUSE_Z3=On -DHAVE_RULES=On -DBUILD_TESTS=0 -DBUILD_GUI=ON -DWITH_QCHART=ON -DCMAKE_GLOBAL_AUTOGEN_TARGET=On ..
66+
cmake -G "Unix Makefiles" -DHAVE_RULES=On -DBUILD_TESTS=0 -DBUILD_GUI=ON -DWITH_QCHART=ON -DCMAKE_GLOBAL_AUTOGEN_TARGET=On ..
7267
7368
- name: Generate dependencies (no test)
7469
run: |
@@ -83,4 +78,4 @@ jobs:
8378
run: |
8479
./cppcheck -q --template=selfcheck --error-exitcode=1 --library=cppcheck-lib --library=qt -D__GNUC__ -DQT_VERSION=0x050000 -DQ_MOC_OUTPUT_REVISION=67 --inconclusive --enable=unusedFunction --exception-handling -rp=. --project=cmake.output.notest/compile_commands.json --suppressions-list=.selfcheck_unused_suppressions --inline-suppr
8580
env:
86-
DISABLE_VALUEFLOW: 1
81+
DISABLE_VALUEFLOW: 1

0 commit comments

Comments
 (0)