--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on July 2010 ---
Hi Simon I've had this problem. Open the windows explorer and check the permissions that your user account has on the bin folder which contains gcc.exe and other .exe you will want to use (you may need to check both the bin folder inside the cygwin and the one inside frama-c). Give all the permissions to your user, if you don't have already. This should apply to all files inside these folders. This should fix at least the "Access is Denied" problem. Good luck Ricardo Almeida On Tue, Jul 13, 2010 at 1:12 AM, Simon Fuller <simonfuller9 at gmail.com>wrote: > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100713/0d587938/attachment.htm>