Invention Grant
- Patent Title: System and method for static analysis using fault paths
- Patent Title (中): 使用故障路径进行静态分析的系统和方法
-
Application No.: US12132018Application Date: 2008-06-03
-
Publication No.: US08813033B2Publication Date: 2014-08-19
- Inventor: Vugranam Chakravarthy Sreedhar
- Applicant: Vugranam Chakravarthy Sreedhar
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Tutunjian & Bitetto, P.C.
- Agent Preston J. Young
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F9/45
Abstract:
A system and method for analyzing a program includes determining possible bug paths in a program based on statistical analysis of test cases. A static analysis is then performed only on the possible bug paths. The bugs are then located in the program.
Public/Granted literature
- US20080276228A1 SYSTEM AND METHOD FOR STATIC ANALYSIS USING FAULT PATHS Public/Granted day:2008-11-06
Information query
