发明名称 |
Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability |
摘要 |
A computer readable storage medium includes executable instructions to identify a memory operation in target source code. A set of constraints associated with the memory operation are developed. The constraints are converted into a Boolean expression. The Boolean expression is processed with a Boolean satisfiability engine to determine whether the memory operation is potentially unsafe.
|
申请公布号 |
US8527975(B2) |
申请公布日期 |
2013.09.03 |
申请号 |
US20070934722 |
申请日期 |
2007.11.02 |
申请人 |
CHESS BRIAN;FAY SEAN;GOUNDAN AYEE KANNAN;HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P. |
发明人 |
CHESS BRIAN;FAY SEAN;GOUNDAN AYEE KANNAN |
分类号 |
G06F9/45;G06F11/00 |
主分类号 |
G06F9/45 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|