| 发明名称 |
PROGRAMMABLE SYMBOLIC EXECUTION BASED DYNAMIC CHECKER |
| 摘要 |
A method of analyzing a software program includes compiling the software program into an intermediate representation. The method also includes finding an instruction in the intermediate representation that matches a pattern in a check pattern. The method also includes generating an instrumented intermediate representation in which the instruction is modified according to an action specified in the check pattern. The method also includes symbolically executing the instrumented intermediate representation. |
| 申请公布号 |
US2014325489(A1) |
申请公布日期 |
2014.10.30 |
| 申请号 |
US201313874280 |
申请日期 |
2013.04.30 |
| 申请人 |
FUJITSU LIMITED |
发明人 |
YOSHIDA Hiroaki |
| 分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. A method of analyzing a software program, the method comprising:
compiling a software program into an intermediate representation; finding an instruction in the intermediate representation that matches a pattern in a check pattern; generating an instrumented intermediate representation in which the instruction is modified according to an action specified in the check pattern; and symbolically executing the instrumented intermediate representation. |
| 地址 |
Kawasaki-shi JP |
