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.
University of Virginia, Computer Science