Automatic Repair of Code Defects in the Svace System | Zendy

С. В. Сыромятников | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Automatic Repair of Code Defects in the Svace System

Author(s) -

С. В. Сыромятников

Publication year - 2021

Publication title -

proceedings of the institute for system programming of ras

Language(s) - English

Resource type - Journals

eISSN - 2220-6426

pISSN - 2079-8156

DOI - 10.15514/ispras-2021-33(6)-6

Subject(s) - computer science , pointer (user interface) , task (project management) , spectrum analyzer , fully automatic , code (set theory) , software , programming language , artificial intelligence , engineering , systems engineering , mechanical engineering , telecommunications , set (abstract data type)

The main task described in this article is automatic fixing defects in C/C++ code found by a static analyzer on big software projects. We describe how we solved this task for Svace static analyzer and discuss main principles of automatic fixing defects of various types. We pay special attention to fixing null pointer dereference since it is the most important and sophisticated defect type among those we’ve supported. Statistics on fixes proposed for defects of this type is also provided. We discuss common limitations and other specificity of our task and explain why we cannot use existing automatic fixing tools for solving it. At the end we outline further steps of development of our tool.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research