执行
后frama-c -pdg -dot-pdg graph -pdg-print test.c
在shell_script中通过php文件。我正在获取输出作为graph.main.dot的权限被拒绝,而直接执行上述命令我得到正确的输出。
答案 0 :(得分:1)
因为当你运行它时,你是从你的用户帐户运行它,当PHP运行它时,它是从webserver帐户运行它。
您有权访问graph.main.dot
但网络服务器没有。
您可以使用chmod
和chgrp
命令更改权限。