If memory serves me right, Tim Bunce wrote:
> "CCured is a source-to-source translator for C, which
> analyzes the program to determine the smallest number of
> run-time checks that must be inserted in the program to
> prevent all memory safety violations."
Yow ! .. the ou
On Sun, Oct 06, 2002 at 10:26:23PM +0100, Tim Bunce wrote:
> On Wed, Oct 02, 2002 at 12:28:57PM -0400, Dan Sugalski wrote:
> > At 12:15 PM +0100 10/2/02, Tim Bunce wrote:
> > >On a related note, are there any good tools for static code analysis
> > >around? The usual cross-reference stuff would be
