发明名称 |
Apparatus and method for developing secure software |
摘要 |
A computer readable medium includes executable instructions to analyze program instructions for security vulnerabilities. The executable instructions convert diverse program instruction formats to a common format. A system model is derived from the common format. A static analysis is performed on the system model to identify security vulnerabilities. Security vulnerabilities are then reported.
|
申请公布号 |
US7207065(B2) |
申请公布日期 |
2007.04.17 |
申请号 |
US20040010146 |
申请日期 |
2004.12.10 |
申请人 |
FORTIFY SOFTWARE, INC. |
发明人 |
CHESS BRIAN;DO ARTHUR;FAY SEAN;THORNTON ROGER |
分类号 |
G06F11/00;G06F11/30;G06F12/14;G06F21/00;H04L9/00;H04L9/32 |
主分类号 |
G06F11/00 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|