Proceedings of ISP RAS


Automated Type Contracts Generation in Ruby

N. Y. Viuginov (SPbU, Saint Petersburg, Russia; JetBrains, Saint Petersburg, Russia)
V. S. Fondaratov (JetBrains, Saint Petersburg, Russia)

Abstract

Elegant syntax of the Ruby language pays back when it comes to finding bugs in large codebases. Static analysis is hindered by specific capabilities of Ruby, such as defining methods dynamically and evaluating string expressions. Even in dynamically typed languages, type information is very useful as it ensures better type safety and more reliable checking whether the called method is defined for the object or whether the arguments of the correct types are passed to it. One may annotate the code with YARD (Ruby documentation tool) to declare the input and output types of methods or even declare methods that are added dynamically. These annotations improve the capabilities of tooling such as code completion. This paper reports a new approach to type annotations generation. We trace direct method calls while the program is running, evaluate types of input and output variables and use this information to derive implicit type contracts. Each method or function is associated with a finite-state automaton consisting of all variants of typed signatures for this method. An effective compression technique is applied to the automaton to reduce the cost of storage and allows to display the collected information in a human-readable form. The exhaustiveness of the contract defined by the generated automaton depends on the diversity of the traced method usages. Therefore, it is also important to be able to merge all the automatons received from users into one, which is further covered in this paper.

Keywords

Ruby; dynamically typed languages; Ruby VM; YARV; method signature; type inference; static code analysis

Edition

Proceedings of the Institute for System Programming, vol. 29, issue 4, 2017, pp. 7-20.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(4)-1

Full text of the paper in pdf Back to the contents of the volume