From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3f280e3f1e97f305
X-Google-Attributes: gid103376,public
From: Stuart Palin <stuart.palin@gecm.com>
Subject: Re: Finding out parameters which are not written
Date: 1997/08/28
Message-ID: <5u39q4$6ul@gcsin3.geccs.gecm.com>#1/1
X-Deja-AN: 268723333
References: <33F02867.322D@aut.alcatel.at> <1997Aug12.070728.1@eisner>
 <5u180q$l69@mulga.cs.mu.OZ.AU>
Organization: GEC Marconi Avionics (Rochester)
Newsgroups: comp.lang.ada
Date: 1997-08-28T00:00:00+00:00
List-Id: <comp.lang.ada>


fjh@mundook.cs.mu.OZ.AU (Fergus Henderson) wrote:
>kilgallen@eisner.decus.org (Larry Kilgallen) writes:
>
>>Gerhard Radatz <gerhard.radatz@aut.alcatel.at> writes:
>>> Does anyone know about a tool which can detect such situations as the
>>> following:
>>> 
>>> 	procedure xxx (result: out INTEGER) is
>>>         begin
>>> 	     if <<condition>> then
>>> 	         result := 0;
>>>              end if;
>>>         end;
[snipping]

Sorry to quote this 3rd generation message (I did not see the first 
message and it appears to have expired).

Try looking at the SPARK tool from Praxis Critical Systems; they have a 
web page at http://www.praxis-cs.co.uk/spark/spark.htm

--
Stuart Palin
Consultant Engineer
Flight Systems Division (Rochester)
GEC Marconi Avionics Ltd