lclint-interest message 19

To: lclint-interest@larch.lcs.mit.edu
From: Raymie Stata 
Subject: RE: LCLint research [clarification]
Date: Thu, 10 Nov 94 18:17:08 EST
Sender: raymie@blizzard.lcs.mit.edu


> More generally what people are looking for is a way of checking that
> it's safe to make certain changes; perhaps there are other things
> people might want to check that you can support.

Let me clarify this awful sentence.  The point is that there are other
aspects of programs beyond impl's of ADT's that users want to change.
Perhaps future LCLints could support checking the safety of these
other kinds of changes.

  Raymie
   raymie@larch.lcs.mit.edu