Vitalsource Technologies, Inc. Static Analysis