发明名称 |
SYSTEMS AND METHODS OF DETECTING POWER BUGS |
摘要 |
Embodiments of the present invention provide a system and methods for detecting power bugs. In one embodiment, a computer-implemented method for analyzing a computer code includes generating a control flow graph for at least a portion of the computer code at a processor. The method further includes identifying power bugs by traversing the control flow graph if the control flow graph exits without performing a function call to deactivate power to any component of a device configured to execute computer executable instructions based on the compute code after performing a function call to activate power. |
申请公布号 |
US2017068586(A1) |
申请公布日期 |
2017.03.09 |
申请号 |
US201615357473 |
申请日期 |
2016.11.21 |
申请人 |
Purdue Research Foundation |
发明人 |
Hu Yu Charlie;Jindal Abhilash;Midkiff Samuel;Pathak Abhinav |
分类号 |
G06F11/07;G06F9/45;G06F11/36;G06F1/32;G06F1/28 |
主分类号 |
G06F11/07 |
代理机构 |
|
代理人 |
|
主权项 |
1. A computer-implemented method for analyzing a computer code, the method comprising:
at a processor, generating a control flow graph for at least a portion of the computer code; and identifying power bugs by traversing the control flow graph to identify if the control flow graph exits without performing a function call to deactivate power to any component of a device configured to execute computer executable instructions based on the computer code after performing a function call to activate power, wherein the step of identifying power bugs comprises applying a forward dataflow analysis. |
地址 |
West Lafayette IN US |