1 // Copyright 2021 Google LLC 2 // 3 // Licensed under the Apache License, Version 2.0 (the "License"); 4 // you may not use this file except in compliance with the License. 5 // You may obtain a copy of the License at 6 // 7 // http://www.apache.org/licenses/LICENSE-2.0 8 // 9 // Unless required by applicable law or agreed to in writing, software 10 // distributed under the License is distributed on an "AS IS" BASIS, 11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 // See the License for the specific language governing permissions and 13 // limitations under the License. 14 // 15 //////////////////////////////////////////////////////////////////////////////// 16 17 import com.code_intelligence.jazzer.api.FuzzedDataProvider; 18 19 import com.google.json.JsonSanitizer; 20 21 public class IdempotenceFuzzer { fuzzerTestOneInput(FuzzedDataProvider data)22 public static void fuzzerTestOneInput(FuzzedDataProvider data) { 23 String input = data.consumeRemainingAsString(); 24 String output; 25 try { 26 output = JsonSanitizer.sanitize(input, 10); 27 } catch (ArrayIndexOutOfBoundsException e) { 28 // ArrayIndexOutOfBoundsException is expected if nesting depth is 29 // exceeded. 30 return; 31 } 32 33 // Ensure that sanitizing twice does not give different output 34 // (idempotence). Since failure to be idempotent is not a security issue in 35 // itself, fail with a regular AssertionError. 36 assert JsonSanitizer.sanitize(output).equals(output) : "Not idempotent"; 37 } 38 } 39