1 Apr
2011
1 Apr
'11
9:29 p.m.
I got some information about it:
- it is written in OCaml and uses a fork of the cil library.
- can generate tests for C
- taint analysis
- other stuff for C.
Stef
On Mar 31, 2011, at 12:59 PM, Tudor Girba wrote:
Interesting. Anyone interested in taking it for a spin
in the context Moose ? :)
Cheers,
Doru
On 30 Mar 2011, at 14:15, Mariano Martinez Peck wrote:
that has a Alan Kay quote on the top right
hehehe
On Wed, Mar 30, 2011 at 1:19 PM, Stéphane Ducasse <stephane.ducasse(a)inria.fr>
wrote:
http://frama-c.com/download.html
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
www.tudorgirba.com
"Not knowing how to do something is not an argument for how it cannot be
done."
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev