Не может распознать символ "!" при использовании topredicate в BAP

Question

Я попытался использовать инструмент topredicate в bap для перевода il в SMT-LIB2.

Но эта команда возвращает ошибку:

./topredicate -il test.il -post "R_EBP:u32 != R_ESP:u32 -solver z3 -noopt -stp-out test.smt  

Ошибка:

Исключение синтаксического анализа при синтаксическом анализе "!" Неустранимая ошибка: исключение Lexer.LexError(строка 1: нераспознанный символ '!')"

Кто-нибудь знает, что случилось? Как я могу решить проблему?

PS. Кто-нибудь знает, как настроить z3 в BAP? Меня действительно смущает, что он не может работать, пока я настраиваю его, следуя инструкциям INSTALL.

Answer 1

Это действительно проблема BAP, мне кажется, что она еще не дошла до решения SMT. Может ли быть так, что есть " отсутствует как раз перед -сольвером?

-post "R_EBP:u32 != R_ESP:u32"