Searched refs:extra_stats_filename (Results 1 – 1 of 1) sorted by relevance
178 char *extra_stats_filename = getenv("AFL_DRIVER_EXTRA_STATS_FILENAME"); in maybe_initialize_extra_stats() local179 if (!extra_stats_filename) in maybe_initialize_extra_stats()186 extra_stats_file = fopen(extra_stats_filename, "r"); in maybe_initialize_extra_stats()200 extra_stats_file = fopen(extra_stats_filename, "w"); in maybe_initialize_extra_stats()205 extra_stats_file = fopen(extra_stats_filename, "w+"); in maybe_initialize_extra_stats()