Hi enrico

Welcome to moose. Doru replied so that I can comment.

may be you could check a open Ada compiler (if this exist). I remember also that there is a package in Ada that serialize the ast into XML.

Now the major problem is that it is more important to get the symbols resolved. In any case we are really interested to support any initiative in that direction. We are in contact with Ada core but I'm not sure something will come out of it.

Stef

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