发明名称 |
Optimizing handlers for application-specific operations for validating C++ programs using symbolic execution |
摘要 |
<p>Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing the methods; and if the rules are verified, then use the rules when symbolically executing the methods so that bytecode of the methods is not executed.</p> |
申请公布号 |
EP2503464(A1) |
申请公布日期 |
2012.09.26 |
申请号 |
EP20120150581 |
申请日期 |
2012.01.10 |
申请人 |
FUJITSU LIMITED |
发明人 |
LI, GUODONG;RAJAN, SREERANGA P.;GHOSH, INDRADEEP |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|