integrating with coverity