Reasonably-Most-General Clients for JavaScript Library Analysis

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 i...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings / International Conference on Software Engineering pp. 83 - 93
Main Authors:	Kristensen, Erik Krogh, Moller, Anders
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2019
Subjects:	Analytical models Contracts Libraries most general client program analysis Semantics Static analysis Testing TypeScript
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!