Interprocedural Analysis with Lazy Propagation

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

  • Simon Holm Jensen, Denmark
  • Anders Møller
  • Peter Thiemann, Freiburg University, Germany
  • Department of Computer Science
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions may not be distributive. The technique is described formally as a systematic modification of a variant of the monotone framework and its theoretical properties are shown. It is implemented in a type analysis tool for JavaScript where it results in a significant improvement in performance.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6337
Pages (from-to)320-339
ISSN0302-9743
DOIs
Publication statusPublished - 2010
EventInternational Static Analysis Symposium. SAS - Perpignan, France
Duration: 14 Sep 201016 Sep 2010
Conference number: 17

Conference

ConferenceInternational Static Analysis Symposium. SAS
Number17
CountryFrance
CityPerpignan
Period14/09/201016/09/2010

Bibliographical note

title of the vol.: Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : Proceedings / ed. by Radhia Cousot and Matthieu Martel
ISBN: 3642157688; 9783642157684

See relations at Aarhus University Citationformats

ID: 20288813