Searched refs:inputFile (Results 1 – 7 of 7) 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()
182 String inputFile = getNextInputFilename(); in fuzz() local183 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()
434 char* inputFile; in main() local442 inputFile = argv[optind++]; in main()443 parseInputFile(inputFile); in main()