Daniel Marjamäki
9af288e1dd
Fixed #9724 (GUI: The tags do not work anymore)
2020-07-16 23:03:54 +02:00
Daniel Marjamäki
b249d9be31
GUI: Refactor tags
2020-07-16 20:19:36 +02:00
Daniel Marjamäki
bec78a0960
GUI: Adding suppression with cppcheckId; include all relevant fields
2020-07-16 16:36:55 +02:00
Daniel Marjamäki
bdb08232d7
GUI: Fix suppression of multiple cppcheck ids
2020-07-15 20:55:51 +02:00
Daniel Marjamäki
6ab4f39f52
GUI: Suppress cppcheck-id
2020-07-15 13:03:07 +02:00
Daniel Marjamäki
260c53ba6f
GUI: Write cppcheck-id in xml report
2020-07-15 07:59:05 +02:00
Daniel Marjamäki
62702a6816
GUI: Use const argument
2020-07-14 18:19:03 +02:00
Daniel Marjamäki
9ff8adcc40
GUI: Remove message box when saving results even though there are no results, to prevent problems with autosave
2020-07-13 12:31:59 +02:00
Daniel Marjamäki
303032b210
gui/test/projectfile: mocked constructors
2020-06-26 20:35:18 +02:00
Daniel Marjamäki
c5f9e85ee7
GUI: Add configuration for max recursion in template instantiation
2020-06-26 17:12:02 +02:00
Daniel Marjamäki
0f28e7b88e
AboutDialog: Updated copyright year so we don't have to manually tweak it. Thank you Z3 library.
2020-06-14 07:36:19 +02:00
Daniel Marjamäki
37245a8179
Update copyright year
2020-06-13 16:37:12 +02:00
Daniel Marjamäki
f78431caee
lupdate gui.pro
2020-06-13 16:35:45 +02:00
Oliver Stöneberg
3a90341961
some CMake cleanups and additions ( #2639 )
2020-05-27 05:15:46 +02:00
Daniel Marjamäki
21eea1d69f
Added missing include stdexcept
2020-05-24 09:16:16 +02:00
Oliver Stöneberg
37bc0483a4
made check.h less heavy ( #2633 )
2020-05-23 07:16:49 +02:00
fu7mu4
9587c3758e
Update Japanese Translation to 2.0 ( #2656 )
...
Add translations for Japanese only
2020-05-22 08:07:21 +02:00
Daniel Marjamäki
e2ead44a2d
dmake updates. externals/z3_version.h should never be added as a dependency
2020-05-19 20:14:29 +02:00
Daniel Marjamäki
64291c6b61
fix Clang execution
2020-05-19 19:17:23 +02:00
Daniel Marjamäki
32e569704b
executeCommand in CppCheckExecutor or QCheckThread
2020-05-19 16:04:40 +02:00
Daniel Marjamäki
23999fece5
Try to make Travis happy
2020-05-17 23:14:47 +02:00
Daniel Marjamäki
2ef538c171
Tweak paths when executing addons in Cppcheck
2020-05-17 21:45:37 +02:00
Daniel Marjamäki
547d1b158e
Fixed #9723 (GUI: inline suppressions does not work for addons)
2020-05-17 16:50:13 +02:00
Oliver Stöneberg
e0e50139cb
cleaned up includes based on include-what-you-use ( #2632 )
...
* cleaned up includes based on include-what-you-use
* token.cpp: fixed -Wextra-semi-stmt warning
2020-05-10 16:45:45 +02:00
Daniel Marjamäki
08ddd84780
Update copyright year
2020-05-10 11:16:32 +02:00
Daniel Marjamäki
3e0218299b
Revert "Update copyright year"
...
This reverts commit 6eec6c4bd5
.
2020-05-10 11:13:05 +02:00
Daniel Marjamäki
6eec6c4bd5
Update copyright year
2020-05-10 11:11:34 +02:00
Daniel Marjamäki
6b00fe8a22
GUI: Run lupdate
2020-05-10 11:10:07 +02:00
Daniel Marjamäki
b5094f298a
Bug hunting; Add new 'incomplete' flag for error messages. Used when analysis is incomplete.
2020-05-03 17:20:38 +02:00
Daniel Marjamäki
cdc530a25f
GUI: When clearing results, remove files in build dir
2020-04-29 18:10:01 +02:00
Daniel Marjamäki
e89f5ab593
GUI: Double click on contract to edit it
2020-04-29 17:51:25 +02:00
Daniel Marjamäki
12dfd8a5ca
GUI: Show missing/added contracts in tab
2020-04-28 22:09:01 +02:00
Daniel Marjamäki
30e6214f1c
Try to make Travis happy
2020-04-27 19:51:46 +02:00
Daniel Marjamäki
c19a9c2ad9
GUI: Only edit contract for non-bailout warnings
2020-04-27 19:43:38 +02:00
Daniel Marjamäki
dae009ca01
GUI: Try to improve usability for function contracts
2020-04-27 17:36:17 +02:00
Daniel Marjamäki
f7096a2232
Bug hunting: basic handling of contracts through GUI
2020-04-27 09:08:50 +02:00
Oliver Stöneberg
1388e9385b
cleaned up setting of compiler options and a few more things in CMake ( #2599 )
...
* cleaned up compiler options related code in CMake
* moved cmake_minimum_required() and raised to latest 2.8.x version
* use proper compiler version check / print compiler version
* fixed linking of sanitized builds
* added proper version checks to newer Clang warnings and enabled them / moved tinyxml_objs flags to proper compiler
* disabled -Wdeprecated-declarations for Clang
* compileroptions.cmake: removed unnecessary check for clang++ existence - CMAKE_CXX_COMPILER_ID is determined by CMake
* printInfo.cmake: removed unnecessary message for ANALYZE_ADDRESS - LSAN is part of ASAN and enabled by default
* cleaned up if() comparisons in CMake
* added/adjusted TODOs
2020-04-22 11:04:19 +02:00
Lauri Nurmi
e8c5c2b154
Show version number in Cppcheck GUI's title bar ( #2615 )
...
Also don't mark the string "Cppcheck" as translatable, as it is
questionable whether the product's name is supposed to be translated ever.
2020-04-22 09:26:21 +02:00
Oliver Stöneberg
1af959af2c
fixed -Wextra-semi-stmt Clang warnings ( #2553 )
...
* fixed -Wextra-semi-stmt Clang warnings
* adjusted REDIRECT macro to require a semicolon
* testmathlib.cpp: rolled back accidental change
2020-04-21 17:27:51 +02:00
John Coffey
f9074e7b21
Added a header row including the ID to the CSV report. ( #2481 )
...
Co-authored-by: John Coffey <jcoffey@gableseng.com>
2020-04-19 18:14:16 +02:00
Oliver Stöneberg
2c1e36e63e
cleaned up includes based on include-what-you-use ( #2600 )
...
* cleaned up includes based on include-what-you-use
* check.h: trying to work around Visual Studio 2012 bug
* fixed Visual Studio compilation
2020-04-13 13:44:48 +02:00
Oliver Stöneberg
91beccb304
fixed some clang-tidy warnings in gui code ( #2565 )
2020-03-07 11:33:08 +01:00
versat
ab836b8b7d
gui/projectfiledialog.ui: Fix warning about doubly used widget name
2020-02-25 13:53:59 +01:00
Armin Müller
75b1ade316
Typos found by running "codespell" ( #2542 )
2020-02-17 18:28:58 +01:00
Daniel Marjamäki
0faea7ade3
GUI: ensure safeChecks.classes option is saved
2020-02-14 17:42:47 +01:00
Daniel Marjamäki
0bf9858d57
compiling; you can put z3 files in externals/z3
2020-02-11 17:42:40 +01:00
Daniel Marjamäki
a7f57c2cb5
GUI: Improved 'Safe functions'
2020-02-10 21:07:14 +01:00
Daniel Marjamäki
e4250f890e
GUI: Show bughunting report
2020-02-10 20:24:36 +01:00
Daniel Marjamäki
4e2e944eb9
GUI: ProjectFileDialog, first tab should be activated first
2020-02-10 18:22:52 +01:00
Daniel Marjamäki
125c4832cd
appveyor: download and install z3 so the gui can be built
2020-02-10 11:19:18 +01:00