Microsoft Technology Licensing, LLC

Yuchen Zhou

Rui Wang

Shuo Chen

Shaz Qadeer

Yuri Gurevich

A framework is described herein for identifying implicit assumptions associated with an SDK and its accompanying documentation (e.g., dev guide). An implicit assumption is information that is not expressly stated in the documentation, but which would be useful in assisting an application developer in building an application. The framework also describes a systematic approach for identifying one or more vulnerability patterns based on the identified implicit assumptions. An application developer may run a test on an application that is being developed to ensure that it does not have any deficiency which matches a vulnerability pattern.

Growing community of inventors

Charlottesville, VA, United States of America

Yuchen Zhou