home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / test.c < prev    next >
Text File  |  2000-08-02  |  82b  |  5 lines
  1. int main (void) {
  2.   int  *ip;
  3.   *ip = 3;           /* 5. possible null deref */
  4. }
  5.