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 ...