research-article

Checking correctness of TypeScript interfaces for JavaScript libraries

Authors:

OOPSLA '14: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications

Pages 1 - 16

https://doi.org/10.1145/2660193.2660215

Published: 15 October 2014 Publication History

Get Access

Abstract

The TypeScript programming language adds optional types to JavaScript, with support for interaction with existing JavaScript libraries via interface declarations. Such declarations have been written for hundreds of libraries, but they can be difficult to write and often contain errors, which may affect the type checking and misguide code completion for the application code in IDEs.

We present a pragmatic approach to check correctness of TypeScript declaration files with respect to JavaScript library implementations. The key idea in our algorithm is that many declaration errors can be detected by an analysis of the library initialization state combined with a light-weight static analysis of the library function code.

Our experimental results demonstrate the effectiveness of the approach: it has found 142 errors in the declaration files of 10 libraries, with an analysis time of a few minutes per library and with a low number of false positives. Our analysis of how programmers use library interface declarations furthermore reveals some practical limitations of the TypeScript type system.

References

[1]

R. Chugh, D. Herman, and R. Jhala. Dependent types for JavaScript. In Proc. 27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2012.

Digital Library

Google Scholar

[2]

A. Feldthaus and A. Møller. Semi-automatic rename refactoring for JavaScript. In Proc. 28th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages, and Applications, 2013.

Digital Library

Google Scholar

[3]

M. Furr and J. S. Foster. Checking type safety of foreign function calls. ACM Transactions on Programming Languages and Systems, 30(4), 2008.

Digital Library

Google Scholar

[4]

Google. GWT - JavaScript Native Interface, March 2013. http://www.gwtproject.org/doc/latest/DevGuideCodingBasicsJSNI.html.

Google Scholar

[5]

Google. The Dart programming language specification, March 2014. https://www.dartlang.org/docs/spec/.

Google Scholar

[6]

S. Guarnieri and V. B. Livshits. Gatekeeper: Mostly static enforcement of security and reliability policies for JavaScript code. In Proc. 18th USENIX Security Symposium, 2009.

Digital Library

Google Scholar

[7]

S. H. Jensen, A. Møller, and P. Thiemann. Type analysis for JavaScript. In Proc. 16th International Static Analysis Symposium, 2009.

Digital Library

Google Scholar

[8]

K. L. Knowles and C. Flanagan. Hybrid type checking. ACM Transactions on Programming Languages and Systems, 32(2), 2010.

Digital Library

Google Scholar

[9]

B. S. Lerner, J. G. Politz, A. Guha, and S. Krishnamurthi. TeJaS: retrofitting type systems for JavaScript. In Proc. 9th Symposium on Dynamic Languages, 2013.

Digital Library

Google Scholar

[10]

Microsoft. TypeScript language specification, February 2014. http://www.typescriptlang.org/Content/ TypeScript%20Language%20Specification.pdf.

Google Scholar

[11]

M. Polishchuk, B. Liblit, and C. W. Schulze. Dynamic heap type inference for program understanding and debugging. In Proc. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007.

Digital Library

Google Scholar

[12]

M. Sridharan, J. Dolby, S. Chandra, M. Schäfer, and F. Tip. Correlation tracking for points-to analysis of JavaScript. In Proc. 26th European Conference on Object-Oriented Programming, 2012.

Digital Library

Google Scholar

[13]

V. St-Amour and N. Toronto. Experience report: applying random testing to a base type environment. In Proc. 18th ACM SIGPLAN International Conference on Functional Programming, 2013.

Digital Library

Google Scholar

[14]

B. Steensgaard. Points-to analysis in almost linear time. In Proc. 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996.

Digital Library

Google Scholar

Cited By

View all

SU CCHEN LYANHUI LZHOU Y(2024)Static Blame for gradual typingJournal of Functional Programming10.1017/S095679682400002934Online publication date: 25-Mar-2024
https://doi.org/10.1017/S0956796824000029
Lazarek LGreenman BFelleisen MDimoulas C(2023)How to Evaluate Blame for Gradual Types, Part 2Proceedings of the ACM on Programming Languages10.1145/36078367:ICFP(159-186)Online publication date: 31-Aug-2023
https://dl.acm.org/doi/10.1145/3607836
Scarsbrook JUtting MKo R(2023)TypeScript’s Evolution: An Analysis of Feature Adoption Over Time2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR)10.1109/MSR59073.2023.00027(109-114)Online publication date: May-2023
https://doi.org/10.1109/MSR59073.2023.00027
Show More Cited By

Index Terms

Checking correctness of TypeScript interfaces for JavaScript libraries
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Checking correctness of TypeScript interfaces for JavaScript libraries
OOPSLA '14

The TypeScript programming language adds optional types to JavaScript, with support for interaction with existing JavaScript libraries via interface declarations. Such declarations have been written for hundreds of libraries, but they can be difficult ...
Learning TypeScript
TypeScript Revealed

Comments

Information & Contributors

Information

Published In

OOPSLA '14: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications

October 2014

946 pages

ISBN:9781450325851

DOI:10.1145/2660193

General Chair:
Andrew Black
Portland State University, USA
,
Program Chair:
Todd Millstein
University of California, Los Angeles, USA

ACM SIGPLAN Notices Volume 49, Issue 10
OOPSLA '14
October 2014
907 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/2714064
Editor:
Andy Gill
University of Kansas, Lawrence, KS
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

In-Cooperation

SIGAda: ACM Special Interest Group on Ada Programming Language

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 October 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLASH '14

Sponsor:

SIGPLAN

SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity

October 20 - 24, 2014

Oregon, Portland, USA

Acceptance Rates

OOPSLA '14 Paper Acceptance Rate 52 of 186 submissions, 28%;

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

39
Total Citations
View Citations
633
Total Downloads

Downloads (Last 12 months)42
Downloads (Last 6 weeks)3

Reflects downloads up to 14 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

SU CCHEN LYANHUI LZHOU Y(2024)Static Blame for gradual typingJournal of Functional Programming10.1017/S095679682400002934Online publication date: 25-Mar-2024
https://doi.org/10.1017/S0956796824000029
Lazarek LGreenman BFelleisen MDimoulas C(2023)How to Evaluate Blame for Gradual Types, Part 2Proceedings of the ACM on Programming Languages10.1145/36078367:ICFP(159-186)Online publication date: 31-Aug-2023
https://dl.acm.org/doi/10.1145/3607836
Scarsbrook JUtting MKo R(2023)TypeScript’s Evolution: An Analysis of Feature Adoption Over Time2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR)10.1109/MSR59073.2023.00027(109-114)Online publication date: May-2023
https://doi.org/10.1109/MSR59073.2023.00027
Liu XZiarek L(2023)PTDETECTOR: An Automated JavaScript Front-end Library Detector2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE56229.2023.00049(649-660)Online publication date: 11-Sep-2023
https://doi.org/10.1109/ASE56229.2023.00049
Hoeflich JFindler RSerrano M(2022)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersProceedings of the ACM on Programming Languages10.1145/35633056:OOPSLA2(479-504)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563305
Cristiani FThiemann PKuchen HSinger J(2021)Generation of TypeScript declaration files from JavaScript codeProceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3475738.3480941(97-112)Online publication date: 29-Sep-2021
https://dl.acm.org/doi/10.1145/3475738.3480941
Lazarek LGreenman BFelleisen MDimoulas C(2021)How to evaluate blame for gradual typesProceedings of the ACM on Programming Languages10.1145/34735735:ICFP(1-29)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473573
Benz MKristensen ELuo LBorges NBodden EZeller ARothermel GBae D(2020)Heaps'n leaksProceedings of the ACM/IEEE 42nd International Conference on Software Engineering10.1145/3377811.3380438(1061-1072)Online publication date: 27-Jun-2020
https://dl.acm.org/doi/10.1145/3377811.3380438
Greenman BFelleisen MDimoulas C(2019)Complete monitors for gradual typesProceedings of the ACM on Programming Languages10.1145/33605483:OOPSLA(1-29)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360548
Ryu SPark JPark J(2019)Toward Analysis and Bug Finding in JavaScript Web Applications in the WildIEEE Software10.1109/MS.2018.11011340836:3(74-82)Online publication date: May-2019
https://doi.org/10.1109/MS.2018.110113408
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Checking correctness of TypeScript interfaces for JavaScript libraries

Learning TypeScript

TypeScript Revealed