Include integration with coverity