发明名称 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