发明申请
- 专利标题： STATIC ANALYSIS IN DISJUNCTIVE NUMERICAL DOMAINS
- 专利标题（中）： 不连续数字域中的静态分析
-
申请号： US11692581申请日： 2007-03-28
-
公开(公告)号： US20070245329A1公开(公告)日： 2007-10-18
- 发明人: Sriram SANKARANARAYANAN , Franjo IVANCIC , Ilya SHLYAKHTER , Aarti GUPTA
- 申请人： Sriram SANKARANARAYANAN , Franjo IVANCIC , Ilya SHLYAKHTER , Aarti GUPTA
- 申请人地址： US NJ Princeton 08540
- 专利权人： NEC LABORATORIES AMERICA
- 当前专利权人： NEC LABORATORIES AMERICA
- 当前专利权人地址： US NJ Princeton 08540
- 主分类号： G06F9/45
- IPC分类号： G06F9/45
摘要：
A computer implemented method for performing a path-sensitive analysis of a computer program using path-insensitive techniques employing an elaboration of the program which advantageously permits a correctness determination of the program as well as a simplification and optimization.
信息查询
