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