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