Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming
Abstract
An interleaved-Dyck (InterDyck) language consists of the interleaving of two or more Dyck languages, where each Dyck language represents a set of strings of balanced parentheses.InterDyck-reachability is a fundamental framework for program analyzers that simultaneously track multiple properly-matched pairs of actions such as call/return, lock/unlock, or write-data/read-data.Existing InterDyck-reachability algorithms are based on the well-known tabulation technique.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 09, 2023
- Source ID
- 10.1145/3571228
Entities
People
- Qirun Zhang
- Thomas Reps
- Yuanbo Li
Organizations
- Defense Advanced Research Projects Agency
- Georgia Tech
- National Science Foundation
- Office of Naval Research
- University of Wisconsin–Madison