No, there is no way to disallow explicit casts involving pointers to functions with splint. If you wanted to add this, it would be pretty easy though. Look in exprNode.c around lines 5030, and add a case to warn for function pointers.
--- Dave On Tue, 17 Sep 2002, Arijit_c wrote: > Hi, > I have a verification requirement ... > "No pointer to function is cast (even explicitly) to anything(even >pointer-to-function)." With splint I am able to find the casting if it is implicit. I >wish to know whether it is possible to check the same when explicitly defined. > > TIA > > ari >