Abstract: The majority of conventional automated approaches to examination and correction of source code (such as static and dynamic analysis methods) often prove to be not fully adequate for modern ...