Making the static analysis gods happy