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 user documentation?

  • Subject: [Frama-c-discuss] Frama-C user documentation?
  • From: bk at wprmedical.com (Birger Kollstrand)
  • Date: Tue Oct 7 14:14:16 2008
Hi,

 

We are looking in to the Frama-C tool for using it within a project of
ours.

 

Is there any user documentation available?

 

We have downloaded the Windows installer and struggle to get anything
out of it. We really do not understand how we are meant to use the tool.

 

How do we create projects so they are available at next starup?

We have selected a C file in the repository and this is what we get:

Running analysis

Parsing

Cleaning unused parts

Symbolic link

Starting semantical analysis

[preprocessing] running gcc -C -E -I.
D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:16:30
: nRF24L01\nRF_API.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:17:21
: nRF_mcu.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:18:23
: avr32_mcu.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:19:22
: time_loc.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:20:20
: beacon.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:21:17
: mcu.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:22:17
: dma.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:23:22
: critical.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:24:39
: wfep/wfep_master_controle.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:26:17
: crc.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:27:33
: data_manager_master.h: No such file or directory

D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c:28:25
: avr32\avr32.h: No such file or directory

Failed to run: gcc -C -E -I.  -o
"C:\DOCUME~1\BKE6FA~1.CUR\LOKALE~1\Temp\main_master.cf836e0.i"
"D:\CodeRepos\Receiver\ReceiverV3\MSP430p4\trunk\prod\main_master.c"

            

           You may set the CPP environment variable to select the proper
preprocessor command ...

            or use the -cpp-command program argument.

 

Error: Cannot find input file
C:\DOCUME~1\BKE6FA~1.CUR\LOKALE~1\Temp\main_master.cf836e0.i (exception
Sys_error("C:\\DOCUME~1\\BKE6FA~1.CUR\\LOKALE~1\\Temp\\main_master.cf836
e0.i: No such file or directory")

Skipping file
"D:\\CodeRepos\\Receiver\\ReceiverV3\\MSP430p4\\trunk\\prod\\main_master
.c" that has errors.

Your code cannot be parsed. Aborting analysis.

 

As you can see the Frama-C is run on the Windows workstation but is used
to check embedded Linux C code.

 

Kind Regards

Birger Kollstrand

CTO

WPR Medical A/S

www.curvus.com

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081007/d4fb532e/attachment.html