Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-c with cygwin

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?

On Tue, Jul 13, 2010 at 11:22 AM, Ricardo Almeida <
ricardoalmeida1985 at> 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>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
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>