1959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle/*
2959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * Copyright (C) 2014 The Android Open Source Project
3959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle *
4959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * Licensed under the Apache License, Version 2.0 (the "License");
5959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * you may not use this file except in compliance with the License.
6959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * You may obtain a copy of the License at
7959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle *
8959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle *      http://www.apache.org/licenses/LICENSE-2.0
9959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle *
10959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * Unless required by applicable law or agreed to in writing, software
11959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * distributed under the License is distributed on an "AS IS" BASIS,
12959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * See the License for the specific language governing permissions and
14959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * limitations under the License.
15959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle */
16959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle
17959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kylepackage dexfuzz.fuzzers;
18959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle
19959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyleimport dexfuzz.Options;
20959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyleimport dexfuzz.listeners.BaseListener;
21959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyleimport dexfuzz.program.Program;
22959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle
23959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle/**
24959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle * Fuzz programs multiple times, testing each.
25959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle */
26959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kylepublic class FuzzerMultipleExecute extends FuzzerMultiple {
27959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  public FuzzerMultipleExecute(BaseListener listener) {
28959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    super(listener);
29959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    addExecutors();
30959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  }
31959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle
32959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  @Override
33959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  protected String getNextOutputFilename() {
34959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    // In MultipleExecute, always use the same output.
35959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    return Options.outputFile;
36959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  }
37959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle
38959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  @Override
39959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  public void run() {
40959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    // TODO: Test that all seed files execute correctly before they are mutated!
41959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    for (iterations = 0; iterations < Options.repeat; iterations++) {
42959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle      listener.handleIterationStarted(iterations);
43959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle      Program program = fuzz();
44959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle      if (safeToExecute()) {
45959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle        execute(program);
46959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle      }
47959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle      listener.handleIterationFinished(iterations);
48959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    }
49959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle    listener.handleSummary();
50959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle  }
51959ffdf65f280ee90b7944a8dd610564e7f99e69Stephen Kyle}
52