Searched refs:inputFile (Results 1 – 6 of 6) sorted by relevance
35 String inputFile = Options.inputFileList.get(0); in getNextInputFilename() local38 inputFile = Options.inputFileList.get(nextIndex); in getNextInputFilename()40 listener.handleFuzzingFile(inputFile); in getNextInputFilename()41 return inputFile; in getNextInputFilename()
207 String inputFile = getNextInputFilename(); in fuzz() local208 Program program = loadProgram(inputFile, null); in fuzz()
100 public void handleFuzzingFile(String inputFile) { in handleFuzzingFile() argument101 logToConsole("Fuzzing: " + inputFile); in handleFuzzingFile()
102 public void handleFuzzingFile(String inputFile) { in handleFuzzingFile() argument104 listener.handleFuzzingFile(inputFile); in handleFuzzingFile()
48 public void handleFuzzingFile(String inputFile) { } in handleFuzzingFile() argument
151 public void handleFuzzingFile(String inputFile) { in handleFuzzingFile() argument152 write("Fuzzing file '" + inputFile + "'"); in handleFuzzingFile()