Patent · US Active

Extraction of code level security specification

US8539593B2 · kind B2 · utility

11Cited by

1References

14Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Lin Tan · Chengdu, CN
Xiaolan Zhang · Chappaqua, US
Yuanyuan Zhou · Providence, US

Key dates

Filing date	Jan 23, 2009
Grant date	Sep 17, 2013
Priority date	—
Expiry date	May 10, 2032

Classification

Technology area (CPC G)Physics
CPC primaryG06F21/6218
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A method comprising, receiving a source code, identifying a data structure access in the source code, determining whether the data structure access is associated with a security check function, defining the data structure access as a security sensitive operation responsive to determining that the data structure access is associated with the security check function, and defining a security specification to include the security check function and the security sensitive operation.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.