Hi Enrico,
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 :).
Cheers, Doru
On 24 Aug 2010, at 13:38, Enrico Spinielli wrote:
Hi all, I was looking for some reference to Ada code analysis in Moose pubblications and found some hints in the following docs:
http://scg.unibe.ch/archive/famoos/FAMIX/Plugins/AdaPlugin2.2.pdf http://scg.unibe.ch/archive/projects/Moos07a.pdf
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 Bye Enrico
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 ... -- Enrico Spinielli "Do Androids dream of electric sheep?"— Philip K. Dick "Hear and forget; see and remember;do and understand."—Mitchel Resnick
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- www.tudorgirba.com
"What is more important: To be happy, or to make happy?"