First of all, welcome :).
Regarding your question, there is no out-of-the-box solution to
analyze ada code. We did have a student working (Moose07a) on this in
2007, but it was not successful.
However, it would be great to have a parser for Ada :).
On 24 Aug 2010, at 13:38, Enrico Spinielli wrote:
I was looking for some reference to Ada code analysis in Moose
pubblications and found some
hints in the following docs:
It is not clear whether (and eventually how) it is possible to analyse
Ada (95) code.
Is there something out-of-the-box?
Thanks a lot in advance for your feedback
PS: I also read the tutorial about PetitParser in order eventually to
write a parser for Ada
but I would of course prefer to concentrate on looking the evaluation
of the sw analysis
rather them building the basic block required ...
"Do Androids dream of electric sheep?"— Philip K. Dick
"Hear and forget; see and remember;do and understand."—Mitchel Resnick
Moose-dev mailing list
"What is more important: To be happy, or to make happy?"