Compositional recurrence analysis revisited

Abstract

Compositional recurrence analysis (CRA) is a static-analysis method based on a combination of symbolic analysis and abstract interpretation. This paper addresses the problem of creating a context-sensitive interprocedural version of CRA that handles recursive procedures. The problem is non-trivial because there is an "impedance mismatch" between CRA, which relies on analysis techniques based on regular languages (i.e., Tarjan's path-expression method), and the context-free-language underpinnings of context-sensitive analysis.

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 14, 2017
Source ID
10.1145/3140587.3062373

Entities

People

  • Ashkan Forouhi Boroujeni
  • Jason Breck
  • Thomas Reps
  • Zachary Kincaid

Organizations

  • Defense Advanced Research Projects Agency
  • Princeton University
  • University of Wisconsin–Madison

Tags

Fields of Study

  • Engineering

Readers

  • Computational Linguistics
  • Military History
  • Military Science and Technology Research and Modernization.