Publikationen

Autor	Pradel, Michael; Schuh, Parker; Sen, Koushik
Datum	2015
Art	Conference Proceedings
Abstrakt	Dynamic languages, such as JavaScript, give programmers the freedom to ignore types, and enable them to write concise code in short time. Despite this freedom, many programs follow implicit type rules, for example, that a function has a particular signature or that a property has a particular type. Violations of such implicit type rules often correlate with problems in the program. This paper presents Type Devil, a mostly dynamic analysis that warns developers about inconsistent types. The key idea is to assign a set of observed types to each variable, property, and function, to merge types based in their structure, and to warn developers about variables, properties, and functions that have inconsistent types. To deal with the pervasiveness of polymorphic behavior in real-world JavaScript programs, we present a set of techniques to remove spurious warnings and to merge related warnings. Applying Type Devil to widely used benchmark suites and real-world web applications reveals 15 problematic type inconsistencies, including correctness problems, performance problems, and dangerous coding practices.
ISBN	978-1-4799-1934-5
In	Proceedings of the 37th International Conference on Software Engineering, p.314-324
Publisher	IEEE Press
Schlüssel	TUD-CS-2015-12085
Url	https://tubiblio.ulb.tu-darmstadt.de/id/eprint/98192

TypeDevil: dynamic type inconsistency analysis for JavaScript