Making code analysis happy