--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on July 2010 ---
Hi, Thanks for your advice. I am no longer getting Access is Denied. I am now getting an error saying: NTVDM.EXE has stopped working. Does that make any sense to anyone? Thanks! S On Tue, Jul 13, 2010 at 11:22 AM, Ricardo Almeida < ricardoalmeida1985 at gmail.com> wrote: > 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 >> > > > _______________________________________________ > 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/5dc6b686/attachment.htm>