Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 1 | /* |
| 2 | * |
| 3 | * honggfuzz - display statistics |
| 4 | * ----------------------------------------- |
| 5 | * |
| 6 | * Author: Robert Swiecki <swiecki@google.com> |
| 7 | * |
Robert Swiecki | 46288f7 | 2018-02-27 17:28:47 +0100 | [diff] [blame] | 8 | * Copyright 2010-2018 by Google Inc. All Rights Reserved. |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 9 | * |
| 10 | * Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 11 | * not use this file except in compliance with the License. You may obtain |
| 12 | * a copy of the License at |
| 13 | * |
| 14 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 15 | * |
| 16 | * Unless required by applicable law or agreed to in writing, software |
| 17 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 18 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or |
| 19 | * implied. See the License for the specific language governing |
| 20 | * permissions and limitations under the License. |
| 21 | * |
| 22 | */ |
| 23 | |
| 24 | #define _WITH_DPRINTF |
| 25 | |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 26 | #include "display.h" |
| 27 | |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 28 | #include <inttypes.h> |
Robert Swiecki | 76727f6 | 2016-09-06 17:11:23 +0200 | [diff] [blame] | 29 | #include <math.h> |
Jagger | 7acbf2e | 2015-09-06 20:02:32 +0200 | [diff] [blame] | 30 | #include <stdarg.h> |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 31 | #include <stdio.h> |
Robert Swiecki | a375f4b | 2017-06-01 13:20:54 +0200 | [diff] [blame] | 32 | #include <stdlib.h> |
Robert Swiecki | d0fa62c | 2017-09-28 18:11:05 +0200 | [diff] [blame] | 33 | #include <string.h> |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 34 | #include <unistd.h> |
| 35 | |
Robert Swiecki | 246af3e | 2018-01-05 14:56:32 +0100 | [diff] [blame] | 36 | #include "libhfcommon/common.h" |
| 37 | #include "libhfcommon/log.h" |
| 38 | #include "libhfcommon/util.h" |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 39 | |
Robert Swiecki | 492d23f | 2017-02-10 16:29:48 +0100 | [diff] [blame] | 40 | #define ESC_CLEAR_ALL "\033[2J" |
| 41 | #define ESC_CLEAR_LINE "\033[2K" |
Robert Swiecki | db728b0 | 2017-02-10 16:31:59 +0100 | [diff] [blame] | 42 | #define ESC_CLEAR_ABOVE "\033[1J" |
Robert Swiecki | 98b1056 | 2017-02-09 23:58:13 +0100 | [diff] [blame] | 43 | #define ESC_TERM_RESET "\033c" |
Robert Swiecki | d0fa62c | 2017-09-28 18:11:05 +0200 | [diff] [blame] | 44 | #define ESC_NAV(x, y) "\033[" #x ";" #y "H" |
Jagger | 76b11bc | 2015-09-06 02:11:44 +0200 | [diff] [blame] | 45 | #define ESC_BOLD "\033[1m" |
Robert Swiecki | a71a499 | 2016-09-02 14:47:55 +0200 | [diff] [blame] | 46 | #define ESC_RED "\033[31m" |
Jagger | 76b11bc | 2015-09-06 02:11:44 +0200 | [diff] [blame] | 47 | #define ESC_RESET "\033[0m" |
Robert Swiecki | 56130f0 | 2018-02-05 16:38:53 +0100 | [diff] [blame] | 48 | #define ESC_SCROLL_REGION(x, y) "\033[" #x ";" #y "r" |
Robert Swiecki | 98b1056 | 2017-02-09 23:58:13 +0100 | [diff] [blame] | 49 | #define ESC_SCROLL_DISABLE "\033[?7h" |
Robert Swiecki | 404c1c8 | 2018-02-05 20:18:12 +0100 | [diff] [blame] | 50 | #define ESC_SCROLL_RESET "\033[r" |
| 51 | #define ESC_NAV_DOWN(x) "\033[" #x "B" |
| 52 | #define ESC_NAV_HORIZ(x) "\033[" #x "G" |
Robert Swiecki | 1cd9510 | 2017-11-18 04:45:12 +0100 | [diff] [blame] | 53 | #define ESC_RESET_SETTINGS "\033[!p" |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 54 | |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 55 | /* printf() nonmonetary separator. According to MacOSX's man it's supported there as well */ |
| 56 | #define _HF_NONMON_SEP "'" |
Robert Swiecki | 508b19a | 2016-08-31 17:26:45 +0200 | [diff] [blame] | 57 | |
Robert Swiecki | 798b5aa | 2018-01-17 21:41:29 +0100 | [diff] [blame] | 58 | __attribute__((format(printf, 1, 2))) static void display_put(const char* fmt, ...) { |
Jagger | 7acbf2e | 2015-09-06 20:02:32 +0200 | [diff] [blame] | 59 | va_list args; |
| 60 | va_start(args, fmt); |
Robert Swiecki | 4d45c3e | 2017-02-02 22:54:46 +0100 | [diff] [blame] | 61 | vdprintf(logFd(), fmt, args); |
Jagger | 7acbf2e | 2015-09-06 20:02:32 +0200 | [diff] [blame] | 62 | va_end(args); |
Jagger | 7acbf2e | 2015-09-06 20:02:32 +0200 | [diff] [blame] | 63 | } |
| 64 | |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 65 | static void display_printKMG(uint64_t val) { |
Jagger | a7d893d | 2016-08-30 23:43:28 +0200 | [diff] [blame] | 66 | if (val >= 1000000000UL) { |
Robert Swiecki | 6f31281 | 2019-01-23 17:05:06 +0100 | [diff] [blame] | 67 | display_put(" [%.02LfG]", (long double)val / 1000000000.0L); |
Jagger | a7d893d | 2016-08-30 23:43:28 +0200 | [diff] [blame] | 68 | } else if (val >= 1000000UL) { |
Robert Swiecki | 6f31281 | 2019-01-23 17:05:06 +0100 | [diff] [blame] | 69 | display_put(" [%.02LfM]", (long double)val / 1000000.0L); |
Jagger | a7d893d | 2016-08-30 23:43:28 +0200 | [diff] [blame] | 70 | } else if (val >= 1000UL) { |
Robert Swiecki | 6f31281 | 2019-01-23 17:05:06 +0100 | [diff] [blame] | 71 | display_put(" [%.02Lfk]", (long double)val / 1000.0L); |
Jagger | a7d893d | 2016-08-30 23:43:28 +0200 | [diff] [blame] | 72 | } |
| 73 | } |
| 74 | |
Robert Swiecki | 32c222b | 2018-10-18 16:24:20 +0200 | [diff] [blame] | 75 | static unsigned getCpuUse(int numCpus) { |
| 76 | static uint64_t prevUserT = 0UL; |
| 77 | static uint64_t prevNiceT = 0UL; |
| 78 | static uint64_t prevSystemT = 0UL; |
Robert Swiecki | c992a40 | 2016-09-07 15:44:39 +0200 | [diff] [blame] | 79 | static uint64_t prevIdleT = 0UL; |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 80 | |
Robert Swiecki | 4e595fb | 2017-10-11 17:26:51 +0200 | [diff] [blame] | 81 | FILE* f = fopen("/proc/stat", "re"); |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 82 | if (f == NULL) { |
Robert Swiecki | 8312890 | 2016-11-17 22:28:02 +0100 | [diff] [blame] | 83 | return 0; |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 84 | } |
Robert Swiecki | 3ab1664 | 2018-01-12 18:08:37 +0100 | [diff] [blame] | 85 | defer { |
| 86 | fclose(f); |
| 87 | }; |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 88 | uint64_t userT, niceT, systemT, idleT; |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 89 | if (fscanf(f, "cpu %" PRIu64 "%" PRIu64 "%" PRIu64 "%" PRIu64, &userT, &niceT, &systemT, |
| 90 | &idleT) != 4) { |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 91 | LOG_W("fscanf('/proc/stat') != 4"); |
Robert Swiecki | 8312890 | 2016-11-17 22:28:02 +0100 | [diff] [blame] | 92 | return 0; |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 93 | } |
| 94 | |
Robert Swiecki | 32c222b | 2018-10-18 16:24:20 +0200 | [diff] [blame] | 95 | uint64_t userCycles = (userT - prevUserT); |
| 96 | uint64_t niceCycles = (niceT - prevNiceT); |
| 97 | uint64_t systemCycles = (systemT - prevSystemT); |
Robert Swiecki | 4fbedca | 2018-04-10 17:35:23 +0200 | [diff] [blame] | 98 | uint64_t idleCycles = (idleT - prevIdleT); |
Robert Swiecki | 32c222b | 2018-10-18 16:24:20 +0200 | [diff] [blame] | 99 | |
| 100 | prevUserT = userT; |
| 101 | prevNiceT = niceT; |
| 102 | prevSystemT = systemT; |
Robert Swiecki | c992a40 | 2016-09-07 15:44:39 +0200 | [diff] [blame] | 103 | prevIdleT = idleT; |
Robert Swiecki | 4fbedca | 2018-04-10 17:35:23 +0200 | [diff] [blame] | 104 | |
Robert Swiecki | 721762e | 2019-01-23 16:29:33 +0100 | [diff] [blame] | 105 | uint64_t allCycles = userCycles + niceCycles + systemCycles + idleCycles; |
| 106 | if (allCycles == 0) { |
| 107 | return 0; |
| 108 | } |
| 109 | |
| 110 | return ((userCycles + niceCycles + systemCycles) * numCpus * 100) / (allCycles); |
Robert Swiecki | fe27439 | 2016-09-06 15:36:05 +0200 | [diff] [blame] | 111 | } |
| 112 | |
Robert Swiecki | e20b1ef | 2018-03-08 17:29:30 +0100 | [diff] [blame] | 113 | static void getDuration(time_t elapsed_second, char* buf, size_t bufSz) { |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 114 | if (elapsed_second < 0) { |
| 115 | snprintf(buf, bufSz, "----"); |
| 116 | return; |
| 117 | } |
Robert Swiecki | 36f7e51 | 2018-01-16 03:46:41 +0100 | [diff] [blame] | 118 | |
| 119 | unsigned int day, hour, min, second; |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 120 | day = elapsed_second / 24 / 3600; |
| 121 | elapsed_second = elapsed_second - day * 24 * 3600; |
| 122 | hour = elapsed_second / 3600; |
| 123 | min = (elapsed_second - 3600 * hour) / 60; |
| 124 | second = elapsed_second - hour * 3600 - min * 60; |
| 125 | snprintf(buf, bufSz, "%u days %02u hrs %02u mins %02u secs", day, hour, min, second); |
Robert Swiecki | 36f7e51 | 2018-01-16 03:46:41 +0100 | [diff] [blame] | 126 | } |
| 127 | |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 128 | static void display_displayLocked(honggfuzz_t* hfuzz) { |
Robert Swiecki | eb9fbdd | 2018-03-08 05:15:37 +0100 | [diff] [blame] | 129 | const time_t curr_sec = time(NULL); |
| 130 | const time_t elapsed_sec = curr_sec - hfuzz->timing.timeStart; |
| 131 | const int64_t curr_time_millis = util_timeNowMillis(); |
| 132 | const int64_t elapsed_millis = curr_time_millis - hfuzz->display.lastDisplayMillis; |
| 133 | hfuzz->display.lastDisplayMillis = curr_time_millis; |
Robert Swiecki | 798b5aa | 2018-01-17 21:41:29 +0100 | [diff] [blame] | 134 | |
Robert Swiecki | 36f7e51 | 2018-01-16 03:46:41 +0100 | [diff] [blame] | 135 | char lastCovStr[64]; |
Robert Swiecki | e20b1ef | 2018-03-08 17:29:30 +0100 | [diff] [blame] | 136 | getDuration(curr_sec - ATOMIC_GET(hfuzz->timing.lastCovUpdate), lastCovStr, sizeof(lastCovStr)); |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 137 | char timeStr[64]; |
| 138 | if (ATOMIC_GET(hfuzz->timing.runEndTime)) { |
Robert Swiecki | e20b1ef | 2018-03-08 17:29:30 +0100 | [diff] [blame] | 139 | getDuration(ATOMIC_GET(hfuzz->timing.runEndTime) - curr_sec, timeStr, sizeof(timeStr)); |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 140 | } else { |
Robert Swiecki | e20b1ef | 2018-03-08 17:29:30 +0100 | [diff] [blame] | 141 | getDuration(elapsed_sec, timeStr, sizeof(timeStr)); |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 142 | } |
Robert Swiecki | 81c6a0d | 2015-09-08 15:43:20 +0200 | [diff] [blame] | 143 | |
Robert Swiecki | 58054df | 2017-11-13 14:06:57 +0100 | [diff] [blame] | 144 | size_t curr_exec_cnt = ATOMIC_GET(hfuzz->cnts.mutationsCnt); |
Robert Swiecki | 81c6a0d | 2015-09-08 15:43:20 +0200 | [diff] [blame] | 145 | /* |
| 146 | * We increase the mutation counter unconditionally in threads, but if it's |
| 147 | * above hfuzz->mutationsMax we don't really execute the fuzzing loop. |
| 148 | * Therefore at the end of fuzzing, the mutation counter might be higher |
| 149 | * than hfuzz->mutationsMax |
| 150 | */ |
Robert Swiecki | 04dcac3 | 2018-03-02 03:05:26 +0100 | [diff] [blame] | 151 | if (hfuzz->mutate.mutationsMax > 0 && curr_exec_cnt > hfuzz->mutate.mutationsMax) { |
| 152 | curr_exec_cnt = hfuzz->mutate.mutationsMax; |
Robert Swiecki | 81c6a0d | 2015-09-08 15:43:20 +0200 | [diff] [blame] | 153 | } |
Robert Swiecki | eddaa05 | 2019-01-23 17:00:47 +0100 | [diff] [blame] | 154 | int exeProgress = 0; |
Robert Swiecki | 04dcac3 | 2018-03-02 03:05:26 +0100 | [diff] [blame] | 155 | if (hfuzz->mutate.mutationsMax > 0) { |
Robert Swiecki | eddaa05 | 2019-01-23 17:00:47 +0100 | [diff] [blame] | 156 | exeProgress = (curr_exec_cnt * 100) / hfuzz->mutate.mutationsMax; |
Robert Swiecki | 4eab0b5 | 2016-07-26 16:56:38 +0200 | [diff] [blame] | 157 | } |
| 158 | |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 159 | static size_t prev_exec_cnt = 0UL; |
Robert Swiecki | e20b1ef | 2018-03-08 17:29:30 +0100 | [diff] [blame] | 160 | size_t exec_per_millis = |
| 161 | elapsed_millis ? ((curr_exec_cnt - prev_exec_cnt) * 1000) / elapsed_millis : 0; |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 162 | prev_exec_cnt = curr_exec_cnt; |
Robert Swiecki | c20cdbf | 2016-10-11 12:40:48 +0200 | [diff] [blame] | 163 | |
Robert Swiecki | 5618a83 | 2017-02-10 19:48:09 +0100 | [diff] [blame] | 164 | display_put(ESC_NAV(13, 1) ESC_CLEAR_ABOVE ESC_NAV(1, 1)); |
Robert Swiecki | 8c0b1b8 | 2018-02-04 02:23:46 +0100 | [diff] [blame] | 165 | display_put("------------------------[" ESC_BOLD "%31s " ESC_RESET "]----------------------\n", |
| 166 | timeStr); |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 167 | display_put(" Iterations : " ESC_BOLD "%" _HF_NONMON_SEP "zu" ESC_RESET, curr_exec_cnt); |
Jagger | a7d893d | 2016-08-30 23:43:28 +0200 | [diff] [blame] | 168 | display_printKMG(curr_exec_cnt); |
Robert Swiecki | 04dcac3 | 2018-03-02 03:05:26 +0100 | [diff] [blame] | 169 | if (hfuzz->mutate.mutationsMax) { |
Robert Swiecki | eddaa05 | 2019-01-23 17:00:47 +0100 | [diff] [blame] | 170 | display_put(" (out of: " ESC_BOLD "%" _HF_NONMON_SEP "zu" ESC_RESET " [%d%%])", |
Robert Swiecki | 04dcac3 | 2018-03-02 03:05:26 +0100 | [diff] [blame] | 171 | hfuzz->mutate.mutationsMax, exeProgress); |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 172 | } |
Robert Swiecki | 363510f | 2018-03-09 02:00:30 +0100 | [diff] [blame] | 173 | switch (ATOMIC_GET(hfuzz->feedback.state)) { |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 174 | case _HF_STATE_STATIC: |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 175 | display_put("\n Mode : " ESC_BOLD "Static" ESC_RESET "\n"); |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 176 | break; |
Robert Swiecki | 3ab1664 | 2018-01-12 18:08:37 +0100 | [diff] [blame] | 177 | case _HF_STATE_DYNAMIC_DRY_RUN: |
Robert Swiecki | 94db608 | 2018-12-07 23:05:34 +0100 | [diff] [blame] | 178 | display_put("\n Mode [1/2] : " ESC_BOLD "Feedback Driven Dry Run" ESC_RESET "\n"); |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 179 | break; |
| 180 | case _HF_STATE_DYNAMIC_MAIN: |
Robert Swiecki | 94db608 | 2018-12-07 23:05:34 +0100 | [diff] [blame] | 181 | display_put("\n Mode [2/2] : " ESC_BOLD "Feedback Driven Mode" ESC_RESET "\n"); |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 182 | break; |
| 183 | default: |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 184 | display_put("\n Mode : " ESC_BOLD "Unknown" ESC_RESET "\n"); |
Robert Swiecki | d50ed42 | 2017-11-13 23:32:26 +0100 | [diff] [blame] | 185 | break; |
Robert Swiecki | e812ff5 | 2016-10-02 00:14:04 +0200 | [diff] [blame] | 186 | } |
Robert Swiecki | 98e2337 | 2019-01-30 11:50:18 +0100 | [diff] [blame] | 187 | display_put(" Target : " ESC_BOLD "%s" ESC_RESET "\n", hfuzz->display.cmdline_txt); |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 188 | |
Jagger | 9d8822d | 2016-09-28 21:02:28 +0200 | [diff] [blame] | 189 | static long num_cpu = 0; |
| 190 | if (num_cpu == 0) { |
| 191 | num_cpu = sysconf(_SC_NPROCESSORS_ONLN); |
| 192 | } |
Robert Swiecki | 721762e | 2019-01-23 16:29:33 +0100 | [diff] [blame] | 193 | if (num_cpu <= 0) { |
| 194 | num_cpu = 1; |
| 195 | } |
Robert Swiecki | 32c222b | 2018-10-18 16:24:20 +0200 | [diff] [blame] | 196 | unsigned cpuUse = getCpuUse(num_cpu); |
Robert Swiecki | f510cbd | 2016-10-04 02:15:56 +0200 | [diff] [blame] | 197 | display_put(" Threads : " ESC_BOLD "%zu" ESC_RESET ", CPUs: " ESC_BOLD "%ld" ESC_RESET |
Robert Swiecki | c7bcdae | 2018-03-08 17:32:24 +0100 | [diff] [blame] | 198 | ", CPU%%: " ESC_BOLD "%u" ESC_RESET "%% [" ESC_BOLD "%lu" ESC_RESET "%%/CPU]\n", |
Robert Swiecki | 66b6512 | 2017-11-11 02:55:55 +0100 | [diff] [blame] | 199 | hfuzz->threads.threadsMax, num_cpu, cpuUse, cpuUse / num_cpu); |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 200 | |
Robert Swiecki | 798b5aa | 2018-01-17 21:41:29 +0100 | [diff] [blame] | 201 | size_t tot_exec_per_sec = elapsed_sec ? (curr_exec_cnt / elapsed_sec) : 0; |
Robert Swiecki | e20b1ef | 2018-03-08 17:29:30 +0100 | [diff] [blame] | 202 | display_put(" Speed : " ESC_BOLD "%" _HF_NONMON_SEP "zu" ESC_RESET "/sec [avg: " ESC_BOLD |
| 203 | "%" _HF_NONMON_SEP "zu" ESC_RESET "]\n", |
Robert Swiecki | eb9fbdd | 2018-03-08 05:15:37 +0100 | [diff] [blame] | 204 | exec_per_millis, tot_exec_per_sec); |
Robert Swiecki | a71a499 | 2016-09-02 14:47:55 +0200 | [diff] [blame] | 205 | |
Robert Swiecki | 58054df | 2017-11-13 14:06:57 +0100 | [diff] [blame] | 206 | uint64_t crashesCnt = ATOMIC_GET(hfuzz->cnts.crashesCnt); |
Robert Swiecki | a71a499 | 2016-09-02 14:47:55 +0200 | [diff] [blame] | 207 | /* colored the crash count as red when exist crash */ |
Robert Swiecki | 98e2337 | 2019-01-30 11:50:18 +0100 | [diff] [blame] | 208 | display_put(" Crashes : " ESC_BOLD "%s" |
Robert Swiecki | e20b1ef | 2018-03-08 17:29:30 +0100 | [diff] [blame] | 209 | "%zu" ESC_RESET " [unique: %s" ESC_BOLD "%zu" ESC_RESET ", blacklist: " ESC_BOLD |
| 210 | "%zu" ESC_RESET ", verified: " ESC_BOLD "%zu" ESC_RESET "]\n", |
Robert Swiecki | 58054df | 2017-11-13 14:06:57 +0100 | [diff] [blame] | 211 | crashesCnt > 0 ? ESC_RED : "", hfuzz->cnts.crashesCnt, crashesCnt > 0 ? ESC_RED : "", |
| 212 | ATOMIC_GET(hfuzz->cnts.uniqueCrashesCnt), ATOMIC_GET(hfuzz->cnts.blCrashesCnt), |
| 213 | ATOMIC_GET(hfuzz->cnts.verifiedCrashesCnt)); |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 214 | display_put(" Timeouts : " ESC_BOLD "%" _HF_NONMON_SEP "zu" ESC_RESET " [%lu sec]\n", |
| 215 | ATOMIC_GET(hfuzz->cnts.timeoutedCnt), (unsigned long)hfuzz->timing.tmOut); |
Robert Swiecki | 92a3136 | 2017-02-24 16:21:40 +0100 | [diff] [blame] | 216 | /* Feedback data sources. Common headers. */ |
Robert Swiecki | 9506f02 | 2018-10-15 16:43:42 +0200 | [diff] [blame] | 217 | display_put(" Corpus Size : " ESC_BOLD "%" _HF_NONMON_SEP "zu" ESC_RESET ", max: " ESC_BOLD |
| 218 | "%" _HF_NONMON_SEP "zu" ESC_RESET " bytes, init: " ESC_BOLD "%" _HF_NONMON_SEP |
Robert Swiecki | 49fee83 | 2018-01-24 03:50:58 +0100 | [diff] [blame] | 219 | "zu" ESC_RESET " files\n", |
Robert Swiecki | 363510f | 2018-03-09 02:00:30 +0100 | [diff] [blame] | 220 | hfuzz->io.dynfileqCnt, hfuzz->mutate.maxFileSz, ATOMIC_GET(hfuzz->io.fileCnt)); |
Robert Swiecki | 0221774 | 2018-01-17 16:20:46 +0100 | [diff] [blame] | 221 | display_put(" Cov Update : " ESC_BOLD "%s" ESC_RESET " ago\n" ESC_RESET, lastCovStr); |
Robert Swiecki | 92a3136 | 2017-02-24 16:21:40 +0100 | [diff] [blame] | 222 | display_put(" Coverage :"); |
Anestis Bechtsoudis | 02b99be | 2015-12-27 11:53:01 +0200 | [diff] [blame] | 223 | |
| 224 | /* HW perf specific counters */ |
Robert Swiecki | a5b918a | 2018-03-07 23:59:53 +0100 | [diff] [blame] | 225 | if (hfuzz->feedback.dynFileMethod == 0) { |
Robert Swiecki | eb5c309 | 2018-01-25 14:51:07 +0100 | [diff] [blame] | 226 | display_put(" [none]"); |
| 227 | } |
Robert Swiecki | a5b918a | 2018-03-07 23:59:53 +0100 | [diff] [blame] | 228 | if (hfuzz->feedback.dynFileMethod & _HF_DYNFILE_INSTR_COUNT) { |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 229 | display_put(" hwi: " ESC_BOLD "%" _HF_NONMON_SEP PRIu64 ESC_RESET, |
Robert Swiecki | 4e595fb | 2017-10-11 17:26:51 +0200 | [diff] [blame] | 230 | ATOMIC_GET(hfuzz->linux.hwCnts.cpuInstrCnt)); |
Robert Swiecki | 5395840 | 2015-09-08 16:20:50 +0200 | [diff] [blame] | 231 | } |
Robert Swiecki | a5b918a | 2018-03-07 23:59:53 +0100 | [diff] [blame] | 232 | if (hfuzz->feedback.dynFileMethod & _HF_DYNFILE_BRANCH_COUNT) { |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 233 | display_put(" hwb: " ESC_BOLD "%" _HF_NONMON_SEP PRIu64 ESC_RESET, |
Robert Swiecki | 4e595fb | 2017-10-11 17:26:51 +0200 | [diff] [blame] | 234 | ATOMIC_GET(hfuzz->linux.hwCnts.cpuBranchCnt)); |
Robert Swiecki | 5395840 | 2015-09-08 16:20:50 +0200 | [diff] [blame] | 235 | } |
Robert Swiecki | a5b918a | 2018-03-07 23:59:53 +0100 | [diff] [blame] | 236 | if (hfuzz->feedback.dynFileMethod & _HF_DYNFILE_BTS_EDGE) { |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 237 | display_put(" bts: " ESC_BOLD "%" _HF_NONMON_SEP PRIu64 ESC_RESET, |
Robert Swiecki | 4e595fb | 2017-10-11 17:26:51 +0200 | [diff] [blame] | 238 | ATOMIC_GET(hfuzz->linux.hwCnts.bbCnt)); |
Robert Swiecki | 5395840 | 2015-09-08 16:20:50 +0200 | [diff] [blame] | 239 | } |
Robert Swiecki | a5b918a | 2018-03-07 23:59:53 +0100 | [diff] [blame] | 240 | if (hfuzz->feedback.dynFileMethod & _HF_DYNFILE_IPT_BLOCK) { |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 241 | display_put(" ipt: " ESC_BOLD "%" _HF_NONMON_SEP PRIu64 ESC_RESET, |
Robert Swiecki | 4e595fb | 2017-10-11 17:26:51 +0200 | [diff] [blame] | 242 | ATOMIC_GET(hfuzz->linux.hwCnts.bbCnt)); |
Jagger | a2addb6 | 2016-02-04 03:53:53 +0100 | [diff] [blame] | 243 | } |
Robert Swiecki | a5b918a | 2018-03-07 23:59:53 +0100 | [diff] [blame] | 244 | if (hfuzz->feedback.dynFileMethod & _HF_DYNFILE_SOFT) { |
Jagger | 34789a7 | 2016-09-08 00:36:09 +0200 | [diff] [blame] | 245 | uint64_t softCntPc = ATOMIC_GET(hfuzz->linux.hwCnts.softCntPc); |
Robert Swiecki | b27c895 | 2017-05-23 23:38:04 +0200 | [diff] [blame] | 246 | uint64_t softCntEdge = ATOMIC_GET(hfuzz->linux.hwCnts.softCntEdge); |
Jagger | 34789a7 | 2016-09-08 00:36:09 +0200 | [diff] [blame] | 247 | uint64_t softCntCmp = ATOMIC_GET(hfuzz->linux.hwCnts.softCntCmp); |
Robert Swiecki | b9b5364 | 2018-01-22 14:20:34 +0100 | [diff] [blame] | 248 | display_put(" edge: " ESC_BOLD "%" _HF_NONMON_SEP PRIu64 ESC_RESET, softCntEdge); |
| 249 | display_put(" pc: " ESC_BOLD "%" _HF_NONMON_SEP PRIu64 ESC_RESET, softCntPc); |
| 250 | display_put(" cmp: " ESC_BOLD "%" _HF_NONMON_SEP PRIu64 ESC_RESET, softCntCmp); |
Jagger | b01aaae | 2016-08-20 03:35:38 +0200 | [diff] [blame] | 251 | } |
Anestis Bechtsoudis | 02b99be | 2015-12-27 11:53:01 +0200 | [diff] [blame] | 252 | |
Robert Swiecki | 1d9fed4 | 2017-11-13 03:52:39 +0100 | [diff] [blame] | 253 | display_put("\n---------------------------------- [ " ESC_BOLD "LOGS" ESC_RESET |
Robert Swiecki | e09094c | 2018-02-04 02:24:53 +0100 | [diff] [blame] | 254 | " ] ------------------/ " ESC_BOLD "%s %s " ESC_RESET "/-", |
| 255 | PROG_NAME, PROG_VERSION); |
Robert Swiecki | 3d80d23 | 2018-02-08 14:47:41 +0100 | [diff] [blame] | 256 | display_put(ESC_SCROLL_REGION(13, ) ESC_NAV_HORIZ(1) ESC_NAV_DOWN(500)); |
Jagger | baa20ea | 2015-09-06 01:12:08 +0200 | [diff] [blame] | 257 | } |
Robert Swiecki | 7353a8d | 2015-09-08 15:53:59 +0200 | [diff] [blame] | 258 | |
Robert Swiecki | 8a1fc67 | 2018-01-25 23:22:47 +0100 | [diff] [blame] | 259 | void display_createTargetStr(honggfuzz_t* hfuzz) { |
| 260 | if (!hfuzz->exe.cmdline[0]) { |
| 261 | LOG_W("Your fuzzed binary is not specified"); |
Robert Swiecki | 5e26bd9 | 2018-03-02 12:09:34 +0100 | [diff] [blame] | 262 | snprintf(hfuzz->display.cmdline_txt, sizeof(hfuzz->display.cmdline_txt), "[EMPTY]"); |
Robert Swiecki | 8a1fc67 | 2018-01-25 23:22:47 +0100 | [diff] [blame] | 263 | return; |
| 264 | } |
| 265 | |
| 266 | static char tmpstr[1024 * 128] = {0}; |
Robert Swiecki | 8bed7c3 | 2018-01-25 23:27:54 +0100 | [diff] [blame] | 267 | snprintf(tmpstr, sizeof(tmpstr), "%s", hfuzz->exe.cmdline[0]); |
Robert Swiecki | 965038e | 2018-01-25 23:27:21 +0100 | [diff] [blame] | 268 | for (int i = 1; i < hfuzz->exe.argc; i++) { |
Robert Swiecki | 8a1fc67 | 2018-01-25 23:22:47 +0100 | [diff] [blame] | 269 | util_ssnprintf(tmpstr, sizeof(tmpstr), " %s", hfuzz->exe.cmdline[i]); |
| 270 | } |
| 271 | |
| 272 | size_t len = strlen(tmpstr); |
Robert Swiecki | 5e26bd9 | 2018-03-02 12:09:34 +0100 | [diff] [blame] | 273 | if (len <= (sizeof(hfuzz->display.cmdline_txt) - 1)) { |
| 274 | snprintf(hfuzz->display.cmdline_txt, sizeof(hfuzz->display.cmdline_txt), "%s", tmpstr); |
Robert Swiecki | 8a1fc67 | 2018-01-25 23:22:47 +0100 | [diff] [blame] | 275 | return; |
| 276 | } |
| 277 | |
Robert Swiecki | 5e26bd9 | 2018-03-02 12:09:34 +0100 | [diff] [blame] | 278 | snprintf(hfuzz->display.cmdline_txt, sizeof(hfuzz->display.cmdline_txt), "%.32s.....%s", tmpstr, |
| 279 | &tmpstr[len - 27]); |
Robert Swiecki | 8a1fc67 | 2018-01-25 23:22:47 +0100 | [diff] [blame] | 280 | } |
| 281 | |
| 282 | void display_display(honggfuzz_t* hfuzz) { |
Robert Swiecki | 4d45c3e | 2017-02-02 22:54:46 +0100 | [diff] [blame] | 283 | if (logIsTTY() == false) { |
| 284 | return; |
| 285 | } |
Robert Swiecki | fbe9755 | 2018-02-27 22:22:51 +0100 | [diff] [blame] | 286 | MX_SCOPED_LOCK(logMutexGet()); |
Robert Swiecki | 7353a8d | 2015-09-08 15:53:59 +0200 | [diff] [blame] | 287 | display_displayLocked(hfuzz); |
Robert Swiecki | 7353a8d | 2015-09-08 15:53:59 +0200 | [diff] [blame] | 288 | } |
Robert Swiecki | 98b1056 | 2017-02-09 23:58:13 +0100 | [diff] [blame] | 289 | |
Robert Swiecki | 8a1fc67 | 2018-01-25 23:22:47 +0100 | [diff] [blame] | 290 | void display_fini(void) { |
Robert Swiecki | 404c1c8 | 2018-02-05 20:18:12 +0100 | [diff] [blame] | 291 | display_put(ESC_SCROLL_RESET ESC_NAV_DOWN(500)); |
Robert Swiecki | 3ab1664 | 2018-01-12 18:08:37 +0100 | [diff] [blame] | 292 | } |
Robert Swiecki | a375f4b | 2017-06-01 13:20:54 +0200 | [diff] [blame] | 293 | |
Robert Swiecki | 8a1fc67 | 2018-01-25 23:22:47 +0100 | [diff] [blame] | 294 | void display_init(void) { |
Robert Swiecki | ec7b845 | 2017-06-01 13:25:56 +0200 | [diff] [blame] | 295 | atexit(display_fini); |
Robert Swiecki | 6373aa7 | 2018-02-05 20:20:52 +0100 | [diff] [blame] | 296 | display_put(ESC_CLEAR_ALL); |
| 297 | display_put(ESC_NAV_DOWN(500)); |
Robert Swiecki | a375f4b | 2017-06-01 13:20:54 +0200 | [diff] [blame] | 298 | } |