head     1.1;
branch   1.1.1;
access   ;
symbols  start:1.1.1.1 project:1.1.1;
locks    ; strict;
comment  @# @;


1.1
date     2009.07.09.02.51.48;  author yo2dh;  state Exp;
branches 1.1.1.1;
next     ;

1.1.1.1
date     2009.07.09.02.51.48;  author yo2dh;  state Exp;
branches ;
next     ;


desc
@@



1.1
log
@Initial revision
@
text
@Examples of imprecision.

        // Need control flow analysis.  [sendmail-8.7.5]
        char *shortenstr(char *s, int m) {
                static char buf[MAXSHORTSTR + 1];
                if (m > MAXSHORTSTR)
                        m = MAXSHORTSTR;
                strncpy(buf, s, m);
                ...
                return buf;
        }

        // Need polymorphism.  [sendmail-8.7.5]
        char *xalloc(int n) {
                char *p = malloc(n);
                if (!p) panic();
                return p;
        }
@


1.1.1.1
log
@CVS TEST
@
text
@@
