klee

1зной

1ответ

Klee с stp против Klee с другим спутниковым решателем

Klee использует STP в качестве решателя ограничений, но теоретически можно изменить свой решатель. STP не разрешает операции с плавающей запятой. Если мы решим заменить STP другим решателем ограничени

-1зной

1ответ

Как использовать символическое выполнение, чтобы найти ошибку, например SAGE, KLEE, S2E

Как и название, кто-нибудь знает разницу в способах использования этого инструмента для поиска ошибки? kLEE и SAGE, возможно, могут обнаруживать перекрестный доступ и переполнение буфера, KLEE может и

-3зной

1ответ

Выполняет ли KLEE (LLVM) шаги компилятора?

Действительно ли KLEE генерирует код? Выполняет ли он какие-либо другие контрольные шаги компиляторов/переводчиков? (Лексический анализ, Анализ синтаксиса, Семантический анализ, оптимизация кода, форм

1зной

1ответ

Как запустить klee с помощью jdk?

Я новичок в KLEE, я хочу запустить инструмент klee в java, можете ли вы рассказать мне, возможно ли запустить KLEE в java? да, пожалуйста, покажите мне несколько уроков.

1зной

1ответ

Как разрешить ошибку установки KLEE? Связанные с «subprocess.py»

Я устанавливаю Кли со следующими инструкциями от http://klee.github.io/getting-started/ я пришел к шагу 04: ./configure --make-LLVM-Lib Однако, когда я бегу появляется следующая ошибка: INFO:Disa

1зной

1ответ

Отсутствует рабочий компилятор LLVM bitcode

Мне нужно построить KLEE на моем Ubuntu 12.04. Я шаг за шагом следил за инструкциями веб-сайта KLEE. У меня был LLVM 2.9. Но когда мне нужно установить klee-uclibc и в процессе настройки, он жаловался