• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright 2022 Code Intelligence GmbH
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 package com.example;
18 
19 import com.code_intelligence.jazzer.api.FuzzedDataProvider;
20 import com.code_intelligence.jazzer.api.FuzzerSecurityIssueLow;
21 import com.code_intelligence.jazzer.api.Jazzer;
22 
23 public class JazzerApiFuzzer {
fuzzerTestOneInput(FuzzedDataProvider data)24   public static void fuzzerTestOneInput(FuzzedDataProvider data) {
25     Jazzer.exploreState(data.consumeByte(), 1);
26     Jazzer.guideTowardsEquality(data.consumeString(10), data.pickValue(new String[] {"foo"}), 1);
27     Jazzer.guideTowardsEquality(data.consumeBytes(10), new byte[] {}, 2);
28     Jazzer.guideTowardsContainment(data.consumeAsciiString(10), "bar", 2);
29     throw new FuzzerSecurityIssueLow("Jazzer API calls succeed");
30   }
31 }
32