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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings / International Conference on Software Engineering S. 83 - 93
Hauptverfasser:	Kristensen, Erik Krogh, Moller, Anders
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.05.2019
Schlagworte:	Analytical models Contracts Libraries most general client program analysis Semantics Static analysis Testing TypeScript
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!