标签： ubuntu installation
我已经安装了所有必需的软件包，并根据[http://people.cs.ksu.edu/~xou/argus/software/mulval/readme.html]设置了MulVAL工具的所有路径变量。 但是，当我尝试运行给定的测试用例input.P时，它显示以下错误：
cat：targets.txt：没有这样的文件或目录 rm：无法删除“ goals.txt”：没有此类文件或目录 攻击模拟遇到错误。 请检查xsb_log.txt。
我正在使用ubuntu 18.04.2