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:
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev