Invention Grant
- Patent Title: Methods and arrangements for unified program analysis
-
Application No.: US12177280Application Date: 2008-07-22
-
Publication No.: US08370813B2Publication Date: 2013-02-05
- Inventor: Trent R. Jaeger , Lawrence Koved , Liangzhao Zeng , Xiaolan Zhang
- Applicant: Trent R. Jaeger , Lawrence Koved , Liangzhao Zeng , Xiaolan Zhang
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Ference & Associates LLC
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F9/44

Abstract:
A unified program analysis framework that facilitates the analysis of complex multi-language software systems, analysis reuse, and analysis comparison, by employing techniques such as program translation and automatic results mapping, is presented. The feasibility and effectiveness of such a framework are demonstrated using a sample application of the framework. The comparison yields new insights into the effectiveness of the techniques employed in both analysis tools. These encouraging results yield the observation that such a unified program analysis framework will prove to be valuable both as a testbed for examining different language analysis techniques, and as a unified toolset for broad program analysis.
Public/Granted literature
- US20090019430A1 METHODS AND ARRANGEMENTS FOR UNIFIED PROGRAM ANALYSIS Public/Granted day:2009-01-15
Information query