--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on July 2010 ---
Hi, I've had a quick look at past questions and do not immediately see mine. My apologies if this is a repeat. I've just set up frama-c and cygwin to perform static verification, on vista. My problem is that when I try to testrun frama-c I get "Access is Denied." And then.. failed to run gcc -C -E -I. -o ...etc... I know nothing about frama-c, and nothing about cygwin. I do know that gcc compiles c files for me fine and that they run okay. Does anyone have any ideas here. Is it a cygwin problem, os problem? Do I simply not understand how to use frama-c? Thanks for your help! S -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100713/1a6787f0/attachment.htm>