On the practical static checker of semantic run-time errors
Vladimir Ivanovich Shelekhov, Sergey V. Kuksenko · 2003
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.