casting problem

[Arijit_c]

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