Improvents to Google's cpplint