1. 背景
在Ubuntu16.04
系统,使用homebrew
安装tamarin-prover
,安装完成后,在使用tamarin-prover
进行通信协议安全分析时时报错"tamarin-prover: <stdout>: commitBuffer: invalid argument (invalid character)
。
2. 分析
和使用工具无关,该报错commitBuffer: invalid argument (invalid character)
是常见报错情况,其他软件使用时报上述错误也可采用下面的解决手段。
3. 解决方式
- 在终端输入
locale
- 再输入
export LANG=en_US.UTF-8
,问题即可解决。