发明授权
US08578343B2 System and method for overflow detection using partial evaluations
有权
使用部分评估进行溢出检测的系统和方法
- 专利标题: System and method for overflow detection using partial evaluations
- 专利标题(中): 使用部分评估进行溢出检测的系统和方法
-
申请号: US12688078申请日: 2010-01-15
-
公开(公告)号: US08578343B2公开(公告)日: 2013-11-05
- 发明人: Bernhard F. Scholz , Cristina N. Cifuentes , Nathan Robert Albert Keynes
- 申请人: Bernhard F. Scholz , Cristina N. Cifuentes , Nathan Robert Albert Keynes
- 申请人地址: US CA Redwood City
- 专利权人: Oracle America, Inc.
- 当前专利权人: Oracle America, Inc.
- 当前专利权人地址: US CA Redwood City
- 代理机构: Osha Liang LLP
- 主分类号: G06F9/44
- IPC分类号: G06F9/44
摘要:
A method for overflow detection using partial evaluations. The method includes obtaining a section of code from a source code file stored on a storage device, analyzing the section of code to identify a buffer with an index, determining a plurality of statements that are statically-computable and dependent on the index of the buffer, and generating a code segment including the plurality of statements. The method further includes replacing an access statement of the plurality of statements with a conditional statement returning true when bounds of the buffer are exceeded, where the access statement uses the index to access the buffer, adding an unconditional statement returning false to the code segment, and executing the code segment on a computer processor to obtain a determination of whether the bounds of the buffer are exceeded.