Tweaked coverity settings