摘要 |
Low level software code is used to construct a representation of a software system. This is examined to identify predetermined patterns. The results of the examination are used to generate a debug database for the software system. The method may use liveness analysis generated from a reaching definitions analysis or exposed use analysis. The method may use rules for identifying loops, functions, parameters or other high level patterns. The representation of the system may use a control flow graph. The debug database may be in a form that is suitable for a debugger. |