24 Aug
2010
24 Aug
'10
3:04 p.m.
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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev