[splint-discuss] New user

Olivier FAURAX ofaurax at neotion.com
Fri Aug 8 06:51:09 PDT 2008

Hello !

I'm a new user, and my goal is just to use a "better lint", that is : no 
effort on annotation, only a weak check of my code (for the moment).

I try to use splint, but I encounter parse errors everytime.
The last time, it was on this line : void* y = (void*) malloc(x);
What is difficult to parse here ?

Thanks for your help
Olivier FAURAX

More information about the splint-discuss mailing list