Abstract Domains of Affine Relations
Abstract
This article considers some known abstract domains for affine-relation analysis (ARA), along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine relations over variables that hold machine integers and are based on an extension of linear algebra to modules over a ring (in particular, arithmetic performed modulo 2 w , for some machine-integer width w ).
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 28, 2014
- Source ID
- 10.1145/2651361
Entities
People
- Junghee Lim
- Matt Elder
- Thomas Reps
- Tushar Sharma
- Tycho Andersen
Organizations
- Air Force Research Laboratory
- Defense Advanced Research Projects Agency
- Division of Computing and Communication Foundations
- Office of Naval Research
- United States Army Research Laboratory
- University of Wisconsin–Madison