IN2013MU03461A - - Google Patents
Info
- Publication number
- IN2013MU03461A IN2013MU03461A IN3461MU2013A IN2013MU03461A IN 2013MU03461 A IN2013MU03461 A IN 2013MU03461A IN 3461MU2013 A IN3461MU2013 A IN 3461MU2013A IN 2013MU03461 A IN2013MU03461 A IN 2013MU03461A
- Authority
- IN
- India
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3698—Environments for analysis, debugging or testing of software
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3604—Analysis of software for verifying properties of programs
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Priority Applications (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| IN3461MU2013 IN2013MU03461A (fr) | 2013-10-31 | 2013-10-31 | |
| JP2014220658A JP6117760B2 (ja) | 2013-10-31 | 2014-10-29 | 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法 |
| US14/526,724 US9201765B2 (en) | 2013-10-31 | 2014-10-29 | System and method to facilitate a user interface enabled review of static analysis warnings |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| IN3461MU2013 IN2013MU03461A (fr) | 2013-10-31 | 2013-10-31 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| IN2013MU03461A true IN2013MU03461A (fr) | 2015-07-17 |
Family
ID=52996979
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| IN3461MU2013 IN2013MU03461A (fr) | 2013-10-31 | 2013-10-31 |
Country Status (3)
| Country | Link |
|---|---|
| US (1) | US9201765B2 (fr) |
| JP (1) | JP6117760B2 (fr) |
| IN (1) | IN2013MU03461A (fr) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN116342332A (zh) * | 2023-05-31 | 2023-06-27 | 合肥工业大学 | 基于互联网的辅助审判方法、装置、设备及存储介质 |
Families Citing this family (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10474555B2 (en) * | 2016-03-03 | 2019-11-12 | Synopsys, Inc. | Detecting errors for function calls with an implicit receiver object |
| EP3285171B1 (fr) * | 2016-08-11 | 2021-11-24 | Tata Consultancy Services Limited | Système et procédé d'analyse d'origines permettant un traitement efficace des alarmes d'analyse statique |
| CN108897678B (zh) * | 2018-06-20 | 2021-10-15 | 中国联合网络通信集团有限公司 | 静态代码检测方法和静态代码检测系统、存储设备 |
| EP3588272B1 (fr) * | 2018-06-25 | 2021-03-10 | Tata Consultancy Services Limited | Procédé et système pour le repositionnement d'une pluralité d'alarmes d'analyse statique |
| JP7469999B2 (ja) | 2020-09-10 | 2024-04-17 | 株式会社日立製作所 | 検索装置、検索方法、および検索プログラム |
| US11861389B2 (en) | 2021-03-09 | 2024-01-02 | Red Hat, Inc. | Compiling a specified instruction from a first virtual application to a second virtual application |
Family Cites Families (26)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5313616A (en) * | 1990-09-18 | 1994-05-17 | 88Open Consortium, Ltd. | Method for analyzing calls of application program by inserting monitoring routines into the executable version and redirecting calls to the monitoring routines |
| JPH08272623A (ja) * | 1995-04-03 | 1996-10-18 | Toshiba Corp | プログラム解析装置及びプログラム解析方法 |
| US6128774A (en) * | 1997-10-28 | 2000-10-03 | Necula; George C. | Safe to execute verification of software |
| JP3533098B2 (ja) * | 1998-12-18 | 2004-05-31 | 富士通株式会社 | プログラム解析装置および記録媒体 |
| US6560774B1 (en) * | 1999-09-01 | 2003-05-06 | Microsoft Corporation | Verifier to check intermediate language |
| US7140004B1 (en) * | 2000-06-13 | 2006-11-21 | Tellme Networks, Inc. | Method and apparatus for zero-footprint phone application development |
| US6993751B2 (en) * | 2001-05-14 | 2006-01-31 | Microsoft Corporation | Placing exception throwing instructions in compiled code |
| US7913232B2 (en) * | 2003-02-21 | 2011-03-22 | The Math Works, Inc. | Certifying software for safety-critical systems |
| US7596778B2 (en) * | 2003-07-03 | 2009-09-29 | Parasoft Corporation | Method and system for automatic error prevention for computer software |
| US7383541B1 (en) * | 2003-08-07 | 2008-06-03 | Cisco Technology, Inc. | Method and apparatus providing interoperation of execution images of different versions |
| FR2864654B1 (fr) * | 2003-12-30 | 2007-02-23 | Trusted Logic | Procede de determination de caracteristiques operationnelles d'un programme |
| US20070016894A1 (en) * | 2005-07-15 | 2007-01-18 | Sreedhar Vugranam C | System and method for static analysis using fault paths |
| US8079037B2 (en) * | 2005-10-11 | 2011-12-13 | Knoa Software, Inc. | Generic, multi-instance method and GUI detection system for tracking and monitoring computer applications |
| JP2008102831A (ja) * | 2006-10-20 | 2008-05-01 | Hitachi Ltd | 情報提供装置、プログラム及び情報提供方法 |
| US8924782B2 (en) * | 2007-01-26 | 2014-12-30 | The Trustees Of Columbia University In The City Of New York | Systems, methods, and media for recovering an application from a fault or attack |
| US8122436B2 (en) * | 2007-11-16 | 2012-02-21 | Microsoft Corporation | Privacy enhanced error reports |
| US8387015B2 (en) * | 2008-01-31 | 2013-02-26 | Microsoft Corporation | Scalable automated empirical testing of media files on media players |
| WO2009095741A1 (fr) | 2008-02-01 | 2009-08-06 | The Mathworks, Inc | Instrumentation de code sélective pour vérification de logiciel |
| JP5170555B2 (ja) * | 2008-10-14 | 2013-03-27 | 日本電気株式会社 | エラートレース簡略化システム、エラートレース簡略化方法、及びプログラム |
| US8453116B2 (en) | 2008-11-24 | 2013-05-28 | Microsoft Corporation | Efficient invariant inference for program verification |
| US8782607B2 (en) * | 2009-02-20 | 2014-07-15 | Microsoft Corporation | Contract failure behavior with escalation policy |
| US8302086B2 (en) * | 2009-12-18 | 2012-10-30 | Oracle America, Inc. | System and method for overflow detection using symbolic analysis |
| JP5556655B2 (ja) * | 2010-12-28 | 2014-07-23 | 富士通株式会社 | 解析支援プログラム，解析支援装置および解析支援方法 |
| US8881116B2 (en) * | 2011-06-08 | 2014-11-04 | The Mathworks, Inc. | Identifying and triaging software bugs through backward propagation of under-approximated values and empiric techniques |
| US8997065B2 (en) * | 2011-12-06 | 2015-03-31 | The Mathworks, Inc. | Automatic modularization of source code |
| JP5335885B2 (ja) * | 2011-12-26 | 2013-11-06 | みずほ情報総研株式会社 | 解析結果評価システム、解析結果評価方法及び解析結果評価プログラム |
-
2013
- 2013-10-31 IN IN3461MU2013 patent/IN2013MU03461A/en unknown
-
2014
- 2014-10-29 US US14/526,724 patent/US9201765B2/en active Active
- 2014-10-29 JP JP2014220658A patent/JP6117760B2/ja active Active
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN116342332A (zh) * | 2023-05-31 | 2023-06-27 | 合肥工业大学 | 基于互联网的辅助审判方法、装置、设备及存储介质 |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2015088191A (ja) | 2015-05-07 |
| JP6117760B2 (ja) | 2017-04-19 |
| US20150121345A1 (en) | 2015-04-30 |
| US9201765B2 (en) | 2015-12-01 |