ABRT 2.0 Coverity analysis