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

[Frama-c-discuss] Cooperation with Splint



Hello,

Disclaimer: I'm not a Frama-C developper.

On Wed, Jun 24, 2009 at 11:41, Hollas Boris
(CR/AEY1)<Boris.Hollas at de.bosch.com> wrote:
> Can Jessie be instructed to use a symbol other than @ to introduce annotations?

No as far as I know.

Two solutions:
1. Unix approach. Use another annotation character ("/*a",  "a*/") and
make your own cpp script that replaces all the /*a into /*@ before
calling the real cpp. Use frama-c command line option (-cpp-command)
to call this specific cpp as preprocessor;

2. Free software approach. Modify Frama-C source code to use another
character. That should not be difficult once the code location is
known, unfortunately I have not been able to find it after a quick
glance.

Yours,
david