Backward incompatible CLI change
- CLI run name filter delimiter was changed from ":" to " ".
With this change run names containing ":" can be filtered.
The previous solution prevented to filter run names containing ":". #2113
Analyzer
New Features
-
Add support to enable Z3 refutation.
Use the Z3 theorem prover if Clang is built with it, to cross check the results by Clang Static Analyzer.
The usage of this solver can reduce the false positives produced by the ranged-based solver,
and using refutation should not increase the analysis time a lot. #2091
This feature is enabled by default if available. -
Add support to enable Z3 Theorem Prover #2087
Use the Z3 theorem prover if Clang is built with it. In this case the built in range-based constraints
solver will be replaced by Z3 in Clang Static Analyzer.
The performance is worse than the default range-based constraint solver right now.
It can be enabled by the--z3flag. -
Give warning if an enabled or disabled checker is missing or there was a typo in the checker name #2215
-
Clang warnings can be listed with the
CodeChecker checkers --warnings#1693 -
Add
--trim_path_prefixoption for parser command #2076
Improvements
- Multiple improvements and bug fixes for build environments with ccache #2202, #2126
- Collect compiler information for multiple languages (C/C++) #2193
- If available use lxml library to parse plist files to improve performance #2170
- Skip sources argument when parsing the precompilation options #2072
- Define severity for new checkers #2128, #2132, #2141
- Adding clang8 checker naming related changes #2216
- Try to autodetect mapping tool based on clang version, required for CTU analysis with clang8 and newer #2030
- Improvements to log compilation commands during the build process #2131, #2160, #2139
Web
New Features
- Filtering can be done based on the bug path length on the web UI #2197
- CLI is now able to return the detailed bug path if required #2068
- The diff command prints the summary of the results now #2165
- New documentation and configuration files to create docker images for easier setup and installation #2038
- New docker image is available on dockerhub
Improvements
- Multiple performance improvements to speed up the storage and query of the results #2177, #2175, #2172, #2188, #2169, #2178, #2163, #2135
- Case insensitive LDAP group search and comparison #2073
- Don't allow users to see the results of a product where no permissions were set #2158
- Send back a valid Thrift error response instead of HTTP error codes #2149
- Implicit initial wildcard in search fields for easier search #2134
- Multiple third party dependencies were updated (SQLAlchemy, psycopg2) #2079, #2181
Web API changes
- Create separate API function to get analysis statistics #2182
- Run history limitation was introduced #2177
- getRunData limitation was introduced #2175
- New API function is available to get check command #2172
Other bug fixes and improvements
You can find a more detailed list of changes here: milestone 6.10