Smalltalk › Frameworks & Tools › Moose

parsing (and analysing) Ada 95: available in Moose?

_‹ Previous Topic Next Topic _›

Classic

List

Threaded

3 messages Options

espin

parsing (and analysing) Ada 95: available in Moose?

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
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev

Tudor Girba

Re: parsing (and analysing) Ada 95: available in Moose?

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
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev

--
www.tudorgirba.com

"What is more important: To be happy, or to make happy?"

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev

Stéphane Ducasse

Re: parsing (and analysing) Ada 95: available in Moose?

In reply to this post by espin

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

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev