Alan,

Alan Brain wrote:

> I'm looking for a freeware Ada-95 source code analyser.
>
> Basically, we're at the finishing-up stage of development
> for the Spaceflight Avionics Software on FedSat-1, a scientific
> research minisat being developed on a shoestring budget.
> For my sins, I'm the leader of the on-board software team.
>
> Something like APFAT would be good - but the PAL version is
> Ada-83. Is there a -95 version? Since the code's available,
> it shouldn't be too hard to modify, but we don't have the resources
> available to re-invent the wheel again if someone else's already
> done it.

See:

http://www.adaic.com/free/index.html

For a few free Ada95 compilers.  All would of course include the parser and
then some.

>
>
> CCCC is specified to have the functionality needed, but can't
> parse a lot of the code, alas."Needs Work" to be useful.
>
> For details on FedSat, see
> http://www.crcss.csiro.au/engin/fsdetail/bus.html
> http://www-ssc.igpp.ucla.edu/personnel/russell/papers/FEDSAT/
> and others.
>
> Environment (for those interested) is an unsupported version
> of GNAT running on the open source RTEMS, on an ancient ERC-32
> processor at the glacial speed of 8 MHz. It's running 5 different
> complex experiments  (GPS propagation Ionosphere research, Star Camera,
> Ka-Band Comms/Mail forwarding, High Performance Computing Experiment
> using PGAs, Newcastle Magnetometer), plus communicating with a COTS
> Attitude Control System from Dynacon, Canada. This last only added
> to the requirements about 1 month ago.

Aonix also offers full Ada83 and Ada95 compile systems for the ERC-32, if
you are interested.