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 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
