Started writing some documentation on the points-to analysis.
Started writing some documentation on the points-to analysis.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c