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

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

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

espin
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
Reply | Threaded
Open this post in threaded view
|

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

Tudor Girba
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
Reply | Threaded
Open this post in threaded view
|

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

Stéphane Ducasse
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

> 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


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