Как создать дополненный фаззер AFL, который пропускает определенные семена?

Question

Как создать дополненный фаззер AFL, который пропускает определенные семена?

1

Я магистр, работающий над копированием результатов работы: https://www.microsoft.com/en-us/research/publication/not-all-bytes-are-equal-neural-byte-sieve-for- Fuzzing/

Я хочу создать улучшенный фаззер, который отклоняет модификации семян, которые он считает бесполезными. Любая помощь в достижении этого будет очень полезна.

Я создал простую функцию Python для дополненного фаззера. Чтобы проверить реализацию, я взял тривиальную программу "deadbeef" и написал функцию python таким образом, чтобы при изменении семени на "deadbeef" функция отправляла "бесполезный" возврат в функцию "common_fuzz_stuff()" AFL код Это должно означать, что фаззер не должен быть в состоянии обнаружить аварию. Но он все еще может найти сбой, и я не могу определить, где я ошибся.

Вот функция python для AFL:

 def check_useful(seed):

  my_string = str.encode('deadbeef')

  file = open(seed, 'rb')

  value = file.read()


  if (value == my_string):

    print('[*] Crash Found!')

    return True


 else:

   return False

А вот фрагмент кода afl-fuzz.c:

/* Write a modified test case, run program, process results. Handle

error conditions, returning 1 if it time to bail out. This is

a helper function for fuzz_one(). */


EXP_ST u8 common_fuzz_stuff(char** argv, u8* out_buf, u32 len) {


if (PyCallable_Check(pFuncCheckModel)){


pArgs = PyTuple_New(1);

PyTuple_SetItem(pArgs, 0, PyUnicode_FromString(queue_cur->fname));

pFuncReturn = PyObject_CallObject(pFuncCheckModel, pArgs);

if (PyObject_IsTrue(pFuncReturn)){

skip_requested = 1;

return 1;

}

} else

{

PyErr_Print();

}

Как моя программа все еще может найти сбой, даже если возвращаемое значение равно 1 из функции common_fuzz_stuff() для начального числа "deadbeef"?

Vineeth Bharadwaj 20 янв. 2019, в 17:08

Источник

0

Вы смотрели на их хранилище кода? github.com/arvindrao7589/augmented-afl-fuzz
Nick ODell 20 янв. 2019, в 16:14
0

Привет Ник, да, я посмотрел на это. Ссылка у вас только содержит оригинальный код АФЛ
Vineeth Bharadwaj 20 янв. 2019, в 18:04

Теги:

python

c

fuzzing

american-fuzzy-lop

fuzzer

1 ответ

Ещё вопросы

Вы смотрели на их хранилище кода? github.com/arvindrao7589/augmented-afl-fuzz
Привет Ник, да, я посмотрел на это. Ссылка у вас только содержит оригинальный код АФЛ

Anatoly Trosinenko · Answer 1 · 2019-02-06T16-28-00.000Z

Если ваше решение о том, является ли этот ввод полезным или нет, зависит только от самого ввода (а не от мутации), насколько я понимаю, вы можете использовать experimental/post_library материал experimental/post_library. Документация включена в пример post_library и содержит примечание, что это, вероятно, не то, что вы хотите - не вы для ваших конкретных потребностей, это примерный пример из этой документации. :)

С другой стороны, это описание API-интерфейса для одной функции содержит следующее:

   2) If you want to skip this test case altogether and have AFL generate a
      new one, return NULL. Use this sparingly - it faster than running
      the target program with patently useless inputs, but still wastes CPU
      time.

Спасибо за ответ! Я решил свою проблему и ответил на нее. Я должен использовать 'out_file' вместо 'queue_cur-> fname', чтобы отклонить начальное выполнение :)