Command line 无法识别字符“！”在BAP中使用topredicate时_Command Line_Z3

Command line 无法识别字符“！”在BAP中使用topredicate时

command-line z3

Command line 无法识别字符“！”在BAP中使用topredicate时,command-line,z3,Command Line,Z3,我试图在bap中使用topredicate工具将il翻译成SMT-LIB2 但此命令返回一个错误： ./topredicate -il test.il -post "R_EBP:u32 != R_ESP:u32 -solver z3 -noopt -stp-out test.smt 错误是：分析时发生分析异常！致命错误：异常Lexer.LexErrorline 1:无法识别的字符'！' 有人知道发生了什么事吗？我怎样才能解决这个问题有人知道如何在BAP中配置z3吗？它真的让我困惑，当我

我试图在bap中使用topredicate工具将il翻译成SMT-LIB2

但此命令返回一个错误：

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

错误是：

分析时发生分析异常！致命错误：异常Lexer.LexErrorline 1:无法识别的字符'！'

有人知道发生了什么事吗？我怎样才能解决这个问题

有人知道如何在BAP中配置z3吗？它真的让我困惑，当我通过以下安装配置它时，它无法工作。

这确实是一个问题，在我看来，它还没有完全到达SMT解算器。可能是因为缺少了一个前解算器吗

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