Если обнаружение ошибки утверждения в одном выполнении, KLEE сообщит об этом, затем проигнорирует его и продолжит поиск других исполнений. Затем возникает мой вопрос: есть ли какая-либо конфигурация или трюк, чтобы заставить KLEE прекратить поиск при обнаружении ошибки утверждения? Или мне нужно внести изменения в исходный код и пересобрать KLEE, чтобы реализовать его? Надеюсь на вдохновляющие решения. Заранее спасибо!
Как заставить KLEE прекратить исследовать пути после обнаружения ошибки утверждения
Ответы (1)
KLEE по умолчанию не завершает работу, если в анализируемом приложении обнаружена ошибка. С другой стороны, KLEE неявно завершает работу при некоторых сбоях. Это поведение можно изменить следующими параметрами:
-exit-on-error
- Выход при первой произвольной ошибке.
-exit-on-error-type=TYPE
- Выход при первой ошибке типа TYPE. Этот параметр можно повторить, чтобы выйти после нескольких типов.
https://klee.github.io/docs/options/#making-klee-exit-on-events
person
hailinzeng
schedule
08.05.2017