| 发明名称 |
COMPILATION VALIDATION |
| 摘要 |
A system and method for compilation validation uses a second compiler, in addition to the compiler under test, to generate intermediate code (a.k.a. certificates). A checker processes the output of the two compilers and generates a statement of correctness regarding the output of the compiler under test. |
| 申请公布号 |
US2014304687(A1) |
申请公布日期 |
2014.10.09 |
| 申请号 |
US201414245149 |
申请日期 |
2014.04.04 |
| 申请人 |
2236008 Ontario, Inc. |
发明人 |
Hobbs Christopher William Lewis;Azim Akramul |
| 分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. A method for compilation validation comprising:
obtaining object code generated by a compiler under test by processing source code; processing, by a second compiler, the source code to generate intermediate code; and executing a checker taking as inputs the object code and the intermediate code to generate a correctness statement. |
| 地址 |
Waterloo CA |
