--- layout: fc_discuss_archives title: Message 76 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



Hello,

We are two students who have to develop a new plugin which will turn under
frama-c (not gui env for the moment). We are looking for news in order to
catch text from a .c file. We would like a better help than the tuto to
start our plugin because we only can do an "hello world".

Gr?gory BAUDEAU
Pierre ANDRIEUX
ENSI Bourges