Hi, I'm using pc-lint 8.0 on a large code-composer project. I'm most interested in using it to find uninitialized pointers. Recently I had a case that my lint check didn't find. Here is a sample program to show the type of problem:
static int * ptr1; // unitialized pointer static int buffer[10];
void initPtr(void); void usePtr(void);
void initPtr(void) { ptr1= buffer; }
void usePtr(void) { int i; for(i=0;i