Enable code analysis for debug build
Fix type mismatch in printf