CS6470 Homework 2

1. Draw the lattice for a domain for analyzing integers whose elements are positive, negative, non-negative, non-positive, zero, top, and bottom. Top should be the least precise result and bottom the most precise.
2. Implement transfer functions for this interface for sign analysis of integers where the domain contains non-negative, non-positive, zero, and top. (We will discuss in class why an explicit bottom value is unnecessary.) You should assume that these operations are the standard ones provided by the C language and that the operands are two's complement integers.
3. Handin two files hw2.pdf and signs.ml on a CADE lab machine using this command:

     handin regehr hw2 ...