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](https://docs.google.com/document/d/1-HEblH92VxdxDp04vDKjFa4_ZL9l2oPVLFtQUfLKSOo/).
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](https://github.com/Z3Prover/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 `--z3` flag.
* 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_prefix` option 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](https://github.com/Ericsson/codechecker/blob/master/docs/web/docker.md) for easier setup and installation #2038
* New docker image is available on [dockerhub](https://hub.docker.com/r/codechecker/codechecker-web)
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](https://github.com/Ericsson/codechecker/milestone/59?closed=1)