Hi all,
I would like to know how it is possible to tell splint that a pointer
returned by a function points to sz bytes of data and it is assumed
that the caller should free the pointer when you don't have the source
code of the callee.
For example:
char *callee(void); /* allocs 10 bytes, no source available */
void caller(void) {
...
char * ptr = callee();
} <------------------------------- memory leak, 10 bytes not freed.
Any tips?
Cheers,
--
PMatos
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
