Approach to detecting types inconsistency errors in a program code in dynamic languages

The paper deals with detection of defects in a program code written in dynamic languages. At first, overview of static analyzers for programs in Python, Ruby and JavaScript is done. After this, the paper shows that most of existing tools are not able to detect entire class of defects: types inconsis...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Author:	I. E. Bronshteyn
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	статический анализ обнаружение дефектов динамическая типизация данных python ruby javascript несоответствие типов трассы дефектовстатический анализ
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/874