Fuzzing Java code using Jazzer by Patrick Ventuzelo