Search
Now showing items 1-2 of 2
Abstract Domains of Affine Relations
(University of Wisconsin-Madison Department of Computer Sciences, 2013-05-13)
This paper considers some known abstract domains for affine-relation
analysis, along with several variants, and studies how they relate to
each other. The various domains represent sets of points that satisfy
affine ...
An Abstract Domain for Bit-Vector Inequalities
(University of Wisconsin-Madison Department of Computer Sciences, 2013-04-16)
This paper advances the state of the art in abstract interpretation of
machine code. It tackles two of the biggest challenges in machine-code
analysis: (1) holding onto invariants about values in memory, and
(2) identifying ...