Nobrainer: Инструмент Преобразования C/C++ Кода На Основе Примеров

Савченко, В. В.; Сорокин, К. С.; Бронштейн, И. Е.; Волков, А. С.; Качанов, В. В.; Панкратенко, Г. А.; Ермаков, М. К.; Марков, С. И.; Спиридонов, Альберт Валерьевич; Александров, И.В.

doi:10.31857/s0132347420040056

Search citation statements

Order By: Relevance

Paper Sections

Select...

подходы к исправлению дефектов1

Citation Types

Supporting

Mentioning

Contrasting

Unclassified

Year Published

2021

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Это, например, системы, основанные на patch-подобных языках, таких как SmPL ( [7], [8]) или PATL ( [9]). Есть также инструменты, позволяющие формально описать синтаксическую структуру фрагмента кода до исправления и после него на языке, близком к целевому языку программирования, например, Nobrainer ( [10]) или Refaster ( [11]). В ряде случаев такие инструменты могут использоваться для автоматического исправления.…”

Section: подходы к исправлению дефектовunclassified

Automatic Repair of Code Defects in the Svace System

Сыромятников¹

2021

Proceedings of ISP RAS

View full text Add to dashboard Cite

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.

show abstract

Section: подходы к исправлению дефектовunclassified

Automatic Repair of Code Defects in the Svace System

Сыромятников¹

2021

Proceedings of ISP RAS

View full text Add to dashboard Cite

show abstract

Nobrainer: Инструмент Преобразования C/C++ Кода На Основе Примеров

Cited by 1 publication

References 0 publications

Automatic Repair of Code Defects in the Svace System

Automatic Repair of Code Defects in the Svace System

Contact Info

Product

Resources

About