Что такое ПК и столы ПК в LibFuzzer

Question

Я пытаюсь понять, как инструментарий кода работает в LibFuzzer. Из документации я понял, что могу выбрать другой тип приборов с опцией -fsanitize-coverage.

При запуске фаззера INFO раздел указывает, какая аппаратура используется (здесь 8-битные счетчики)

      ...
INFO: Loaded 1 modules   (46994 inline 8-bit counters): 46994 [0x978cc0, 0x984452),
INFO: Loaded 1 PC tables (46994 PCs): 46994 [0x861098,0x9189b8)
...

Также указывается количество загруженных таблиц ПК с общим количеством ПК. Однако я нигде не нашел, что делает PCозначает в этом контексте. Я предполагаю, что это означает «Счетчик программ» или «Покрытие пути», но я не нашел источника, подтверждающего это.

Мой вопрос: в контексте инструментария кода с помощью LibFuzzer, что означает «ПК», и есть ли какие-либо источники, подтверждающие это?

Answer 1

В контексте, PC средства Program Counterкак объяснено в в этом сообщенииблоге

Для регистрации покрытия функция trace_pc будет регистрировать счетчик программы. Обладая этой информацией, фаззер знает, какие пути пройдены при заданных входных значениях. Каждый механизм фаззинга выполняет этот процесс по-своему.