TY - GEN
T1 - Control dependencies in interpretive systems
AU - Yadegari, Babak
AU - Debray, Saumya
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85029583718&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85029583718&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-67531-2_19
DO - 10.1007/978-3-319-67531-2_19
M3 - Conference contribution
AN - SCOPUS:85029583718
SN - 9783319675305
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 312
EP - 329
BT - Runtime Verification - 17th International Conference, RV 2017, Proceedings
A2 - Lahiri, Shuvendu
A2 - Reger, Giles
PB - Springer-Verlag
T2 - 17th International Conference on Runtime Verification, RV 2017
Y2 - 13 September 2017 through 16 September 2017
ER -