发明名称 |
ANALYZING INCOMPLETE SOFTWARE |
摘要 |
A method of analyzing an incomplete software program may include receiving high-level software code of a software program that includes multiple functions. The multiple functions may include at least one incomplete function and at least one complete function. The method may further include compiling at least a portion of the high-level software code to generate low-level software code by compiling the complete function and passing over the incomplete function. The method may further include modifying the low-level software code to account for a call to the incomplete function in the low-level software code and symbolically executing the low-level software code. |
申请公布号 |
US2014282432(A1) |
申请公布日期 |
2014.09.18 |
申请号 |
US201313830292 |
申请日期 |
2013.03.14 |
申请人 |
FUJITSU LIMITED |
发明人 |
YOSHIDA Hiroaki |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
1. A method of analyzing an incomplete software program, the method comprising:
receiving high-level software code of a software program that includes a plurality of functions, the plurality of functions including at least one incomplete function and at least one complete function; compiling at least a portion of the high-level software code to generate low-level software code by compiling the complete function and passing over the incomplete function; modifying the low-level software code to account for a call to the incomplete function in the low-level software code; and symbolically executing the modified low-level software code. |
地址 |
Kawasaki-shi JP |