The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Jun. 21, 2016

Filed:

Mar. 07, 2013
Applicant:

Microsoft Corporation, Redmond, WA (US);

Inventors:

Rui Wang, Redmond, WA (US);

Yuchen Zhou, Charlottesville, VA (US);

Shuo Chen, Bellevue, WA (US);

Shaz Qadeer, Seattle, WA (US);

Yuri Gurevich, Redmond, WA (US);

Assignee:
Attorneys:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 11/36 (2006.01); G06F 9/44 (2006.01);
U.S. Cl.
CPC ...
G06F 11/3684 (2013.01); G06F 8/73 (2013.01);
Abstract

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.


Find Patent Forward Citations

Loading…