--- layout: fc_discuss_archives title: Message 78 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] need frama-c help to develop plugin



Baudeau Gr?gory a ?crit :
> We are two students who have to develop a new plugin which will turn under
> frama-c (not gui env for the moment).

Great.

> We are looking for news in order to catch text from a .c file. 

I am not sure that I understand your question...
What do you mean by "catch text" ? Do you mean in C comments ?

> We would like a better help than the tuto to
> start our plugin because we only can do an "hello world".

It is difficult to help you without knowing what you want to do...
The plugin "src/occurence" is quite small :
maybe having a look at it might help ?

-- 
Anne Pacalet.