Utilities for Coverity