Control dependencies in interpretive systems

Babak Yadegari, Saumya Debray

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

2 Scopus citations


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
EditorsShuvendu Lahiri, Giles Reger
Number of pages18
ISBN (Print)9783319675305
StatePublished - 2017
Externally publishedYes
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


Other17th International Conference on Runtime Verification, RV 2017
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Control dependencies in interpretive systems'. Together they form a unique fingerprint.

Cite this