Vitalsource Technologies, Inc. Principles of Program Analysis