One embodiment of the present invention provides a system that detects violations of type rules in a computer program. The system operates by locating a type casting operation within the computer program, wherein the type casting operation involves a first pointer and a second pointer. The system then...http://www.google.fr/patents/US6986126?utm_source=gb-gplus-shareBrevet US6986126 - Method and apparatus for detecting violations of type rules in a computer program
Method and apparatus for detecting violations of type rules in a computer ...
