Jazzer_PropertyBasedApproach.java

public static void fuzzerTestOneInput(FuzzedDataProvider data) {
  String input = data.consumeRemainingAsString();
  String safeJson;
  try {
    safeJson = JsonSanitizer.sanitize(input, 10);
  } catch (Exeption e) {
    return;
  }
  assert !safeJson.contains("</script")
      : new FuzzerSecurityIssueHigh("Output contains </script");
}