Hermit: Deterministic Linux for Controlled Testing and Software Bug-Finding

developers.facebook.com