Invention Grant
US08136098B2 Using pushdown systems for the static analysis of multi-threaded programs
有权
使用下推系统进行多线程程序的静态分析
- Patent Title: Using pushdown systems for the static analysis of multi-threaded programs
- Patent Title (中): 使用下推系统进行多线程程序的静态分析
-
Application No.: US11777129Application Date: 2007-07-12
-
Publication No.: US08136098B2Publication Date: 2012-03-13
- Inventor: Vineet Kahlon , Aarti Gupta
- Applicant: Vineet Kahlon , Aarti Gupta
- Applicant Address: US NJ Princeton
- Assignee: NEC Laboratories America, Inc.
- Current Assignee: NEC Laboratories America, Inc.
- Current Assignee Address: US NJ Princeton
- Agent Jeffrey Brosemer; Joseph Kolodka
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
A static, inter-procedural dataflow analysis is used to debug multi-threaded programs which heretofore have been thought unsuitable for concurrent multi-threaded analysis.
Public/Granted literature
- US20080086722A1 USING PUSHDOWN SYSTEMS FOR THE STATIC ANALYSIS OF MULTI-THREADED PROGRAMS Public/Granted day:2008-04-10
Information query
