Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 11:20 - 11:40 at Viger - Static Analysis Chair(s): Mauro Pezze

A well-known approach to statically analyze libraries without having access to their client code is to model all possible clients abstractly using a most-general client. In dynamic languages, however, a most-general client would be too general: it may interact with the library in ways that are not intended by the library developer and are not realistic in actual clients, resulting in useless analysis results. In this work, we explore the concept of a “reasonably-most-general client”, in the context of a new static analysis tool REAGENT that aims to detect errors in TypeScript declaration files for JavaScript libraries.

By incorporating different variations of reasonably-most-general clients into an existing static analyzer for JavaScript, we use REAGENT to study how different assumptions of client behavior affect the analysis results. We also show how REAGENT is able to find type errors in real-world TypeScript declaration files, and, once the errors have been corrected, to guarantee that no remaining errors exist relative to the selected assumptions.

Wed 29 May

icse-2019-Paper-Presentations
11:00 - 12:30: Papers - Static Analysis at Viger
Chair(s): Mauro PezzeUniversità della Svizzera italiana (USI) (Switzerland) and Università degli Studi di Milano Bicocca (Italy)
icse-2019-Technical-Papers11:00 - 11:20
Talk
Gang FanHong Kong University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Xiao XiaoSourcebrella Inc., Jinguo ZhouSourcebrella Inc., Charles ZhangThe Hong Kong University of Science and Technology
Pre-print
icse-2019-Technical-Papers11:20 - 11:40
Talk
Erik Krogh KristensenAarhus University, Denmark, Anders MøllerAarhus University
icse-2019-Technical-Papers11:40 - 12:00
Talk
Kihong HeoUniversity of Pennsylvania, USA, Hakjoo OhKorea University, Hongseok YangKAIST
icse-2019-Demonstrations12:00 - 12:20
Talk
Mikhail R. GadelhaSIDIA Instituto de Ciência e Tecnologia, Enrico Steffinlongo, Lucas C. CordeiroUniversity of Manchester, UK, Bernd FischerStellenbosch University, Denis A. NicoleUniversity of Southampton
icse-2019-Paper-Presentations12:20 - 12:30
Talk