Execute a coverity scan

Might help to find the bug :/