Synopsys Coverity

Currently, there are no open issues.