Создана универсальная программа для автоматического исправления ошибок в исходном коде программ
29 июня 2015 года
Специалисты из Массачусетского технологического университета (MIT) создали алгоритм Code Phage, способный автоматически исправлять ошибки в исходном коде программ. Главной особенностью нового приложения стала способность к поиску подходящих заплаток в исполняемом коде программ-доноров, поэтому алгоритм может использовать донорские фрагменты, написанные на любом языке программирования, сообщает N+1.
Новый алгоритм работает по следующему принципу: вначале он получает исходный код "целевой" программы и два набора данных, один из которых успешно исполняется, а другой вызывает ошибку. Алгоритм использует эти наборы данных, чтобы среди программ-доноров найти такую, в которых оба они обрабатываются без ошибки.
Далее в исполняемом коде программы донора алгоритм проходит по всем условным переходам, ища такой, чтобы после него два набора входящих данных оказались в разных ветвях. Идея здесь заключается в том, что с большой вероятностью данный переход как раз содержит необходимую проверку, которая позволяет избежать ошибки.
Далее алгоритм в найденном фрагменте исполняемого кода вновь запускает данные, создававшие ошибку, чтобы по результатам исполнения построить символьное древо представлений как функцию входных данных. По этом древу алгоритм создает исходный код на нужном языке программирования.
На последнем шаге алгоритм вставляет новый исходный код в различные участки "целевой" программы, чтобы исправить имеющуюся ошибку, но не внести новых. Эта процедура выстроена таким образом, что после внесения заплатки в случае получения данных, способных вызвать ошибку, программа просто завершит свое исполнение. Таким образом, алгоритм не вносит никакого нового поведения, а просто локализует "опасный" участок кода и добавляет в этом месте обязательную проверку.
По результатам тестирования во всех случаях авторам удалось автоматически исправить ошибки, связанные с делением на ноль и переполнением целочисленного типа. В качестве целевых программ и доноров использовались приложения с открытым кодом.
Ученые отмечают, что им впервые удалось создать подобный алгоритм, который к тому же обладает несколькими принципиальными преимуществами. Из них, по мнению авторов, главное - это способность работать с исполняемым кодом доноров, что делает алгоритм независимым от языка программирования. Также новый подход способен эффективно решить проблему переноса имен переменных из донорского кода в целевой, что также делает метод универсальным.
Источники
править
Любой участник может оформить статью: добавить иллюстрации, викифицировать, заполнить шаблоны и добавить категории.
Любой редактор может снять этот шаблон после оформления и проверки.
Комментарии
Если вы хотите сообщить о проблеме в статье (например, фактическая ошибка и т. д.), пожалуйста, используйте обычную страницу обсуждения.
Комментарии на этой странице могут не соответствовать политике нейтральной точки зрения, однако, пожалуйста, придерживайтесь темы и попытайтесь избежать брани, оскорбительных или подстрекательных комментариев. Попробуйте написать такие комментарии, которые заставят задуматься, будут проницательными или спорными. Цивилизованная дискуссия и вежливый спор делают страницу комментариев дружелюбным местом. Пожалуйста, подумайте об этом.
Несколько советов по оформлению реплик:
- Новые темы начинайте, пожалуйста, снизу.
- Используйте символ звёздочки «*» в начале строки для начала новой темы. Далее пишите свой текст.
- Для ответа в начале строки укажите на одну звёздочку больше, чем в предыдущей реплике.
- Пожалуйста, подписывайте все свои сообщения, используя четыре тильды (~~~~). При предварительном просмотре и сохранении они будут автоматически заменены на ваше имя и дату.
Обращаем ваше внимание, что комментарии не предназначены для размещения ссылок на внешние ресурсы не по теме статьи, которые могут быть удалены или скрыты любым участником. Тем не менее, на странице комментариев вы можете сообщить о статьях в СМИ, которые ссылаются на эту заметку, а также о её обсуждении на сторонних ресурсах.
