Static Code Analysis using Synopsis Coverity