Vitalsource Technologies, Inc. Static Analysis Of Determinate And Indeterminate Structures