Invention Grant
US08527975B2 Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability
有权
使用存储器操作评估和布尔可满足性分析源代码的装置和方法
- Patent Title: Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability
- Patent Title (中): 使用存储器操作评估和布尔可满足性分析源代码的装置和方法
-
Application No.: US11934722Application Date: 2007-11-02
-
Publication No.: US08527975B2Publication Date: 2013-09-03
- Inventor: Brian Chess , Sean Fay , Ayee Kannan Goundan
- Applicant: Brian Chess , Sean Fay , Ayee Kannan Goundan
- Applicant Address: US TX Houston
- Assignee: Hewlett-Packard Development Company, L.P.
- Current Assignee: Hewlett-Packard Development Company, L.P.
- Current Assignee Address: US TX Houston
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F11/00
Abstract:
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.
Public/Granted literature
Information query
