lclint-interest message 19

From: Raymie Stata 
Subject: RE: LCLint research [clarification]
Date: Thu, 10 Nov 94 18:17:08 EST

> 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.

Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science