Efficient static checking of library updates

Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, Asankhaya Sharma

Abstract

Software engineering practices have evolved to the point where a developer writing a new application today doesn’t start from scratch, but reuses a number of open source libraries and components. These third-party libraries evolve independently of the applications in which they are used, and may not maintain stable interfaces as bugs and vulnerabilities in them are fixed. This in turn causes API incompatibilities in downstream applications which must be manually resolved. Oversight here may manifest in many ways, from test failures to crashes at runtime. To address this problem, we present a static analysis for automatically and efficiently checking if a library upgrade introduces an API incompatibility.

BibTeX

@inproceedings{Foo-al:FSE18,
  author    = {Darius Foo and
               Hendy Chua and
               Jason Yeo and
               Ming Yi Ang and
               Asankhaya Sharma},
  title     = {Efficient static checking of library updates},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {791--796},
  publisher = {{ACM}},
  year      = {2018},
}

Efficient static checking of library updates

Abstract

Related papers