On the practical static checker of semantic run-time errors

The available static analysers of run-time errors cannot find the majority of real errors and are able to generate only long lists of warnings. The authors determine the conditions of a definite error and propose a list of program analyses imposed by these conditions. The static error checker, OSA, which is based on an effective algorithm of powerful context-sensitive data flow analysis with the approximation of definite use-def relations, is developed