grinder. Grinder is a system to automate the fuzzing of web browsers and the management of a large number of crashes.