Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
Abstract
The polyvariance of a static analysis is the degree to which it structurally differentiates approximations of program values. Polyvariant techniques come in a number of different flavors that represent alternative heuristics for managing the trade-off an analysis strikes between precision and complexity. For example, call sensitivity supposes that values will tend to correlate with recent call sites, object sensitivity supposes that values will correlate with the allocation points of related objects, the Cartesian product algorithm supposes correlations between the values of arguments to the same function, and so forth.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Sep 04, 2016
- Source ID
- 10.1145/3022670.2951936
Entities
People
- Matthew Might
- Michael D. Adams
- Thomas Gilray
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of Utah