Control dependencies in interpretive systems

Babak Yadegari, Saumya K Debray

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Interpreters and just-in-time (JIT) compilers are ubiquitous in modern computer systems, making it important to have good program analyses for reasoning about such systems. Control dependence, which plays a fundamental role in a number of program analyses, is an important contender in this regard. Existing algorithms for (dynamic) control dependence analysis do not take into account some important runtime characteristics of interpretive computations, and as a result produce results that may be imprecise and/or unsound. This paper describes a new notion of control dependence and an analysis algorithm for interpretive systems. This significantly improves dynamic control dependence information, with corresponding improvements in client analyses such as dynamic program slicing and reverse engineering. To the best of our knowledge, this is the first proposal to reason about low-level dynamic control dependencies in interpretive systems in the presence of dynamic code generation and optimization.

Original languageEnglish (US)
Title of host publicationRuntime Verification - 17th International Conference, RV 2017, Proceedings
PublisherSpringer Verlag
Pages312-329
Number of pages18
Volume10548 LNCS
ISBN (Print)9783319675305
DOIs
StatePublished - 2017
Event17th International Conference on Runtime Verification, RV 2017 - Seattle, United States
Duration: Sep 13 2017Sep 16 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10548 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other17th International Conference on Runtime Verification, RV 2017
CountryUnited States
CitySeattle
Period9/13/179/16/17

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Yadegari, B., & Debray, S. K. (2017). Control dependencies in interpretive systems. In Runtime Verification - 17th International Conference, RV 2017, Proceedings (Vol. 10548 LNCS, pp. 312-329). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10548 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-67531-2_19