После выполнения
frama-c -pdg -dot-pdg graph -pdg-print test.c
в файле shell_script через php. Я получаю вывод как разрешение, отклоненное для graph.main.dot, при прямом выполнении указанной команды я получаю правильный вывод.
Потому что, когда вы запускаете его, вы запускаете его из своей учетной записи пользователя, а когда PHP запускает его, он запускает его из учетной записи веб-сервера.
У вас есть разрешение на доступ к graph.main.dot
но веб-сервер этого не делает.
Вы можете изменить разрешения с помощью команд chmod
и chgrp
.