发明名称 |
Demand-driven analysis of pointers for software program analysis and debugging |
摘要 |
A "Demand-Driven Pointer Analyzer" (DDPA) provides a "demand-driven" field-sensitive pointer analysis process. This process rapidly and accurately identifies alias sets for selected pointers in software modules or programs of any size, including large-scale C/C++ programs such as a complete operating system (OS). The DDPA formulates the pointer analysis task as a Context-Free Language (CFL) reachability problem that operates using a Program Expression Graph (PEG) automatically constructed from the program code. The PEG provides a node and edge-based graph representation of all expressions and assignments in the program and allows the DDPA to rapidly identify aliases for pointers in the program by traversing the graph as a CFL reachability problem to determine pointer alias sets. In various embodiments, the DDPA is also context-sensitive.
|
申请公布号 |
US8589888(B2) |
申请公布日期 |
2013.11.19 |
申请号 |
US201113220651 |
申请日期 |
2011.08.29 |
申请人 |
CUI WEIDONG;PEINADO MARCUS;XU ZHILEI;MICROSOFT CORPORATION |
发明人 |
CUI WEIDONG;PEINADO MARCUS;XU ZHILEI |
分类号 |
G06F9/44;G06F9/45 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|