EXPLORER : query- and demand-driven exploration of interprocedural control flow properties

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 23, 2015
Source ID
10.1145/2814270.2814284

Entities

People

  • Calvin Lin
  • Işıl Dillig
  • Xinyu Wang
  • Yu Feng

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Texas at Austin