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; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis 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)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN3461MU2013 IN2013MU03461A (en) | 2013-10-31 | 2013-10-31 | |
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 |
JP2014220658A JP6117760B2 (en) | 2013-10-31 | 2014-10-29 | System and method for facilitating user interface enabled review of static analysis alerts |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN3461MU2013 IN2013MU03461A (en) | 2013-10-31 | 2013-10-31 |
Publications (1)
Publication Number | Publication Date |
---|---|
IN2013MU03461A true IN2013MU03461A (en) | 2015-07-17 |
Family
ID=52996979
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
IN3461MU2013 IN2013MU03461A (en) | 2013-10-31 | 2013-10-31 |
Country Status (3)
Country | Link |
---|---|
US (1) | US9201765B2 (en) |
JP (1) | JP6117760B2 (en) |
IN (1) | IN2013MU03461A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116342332A (en) * | 2023-05-31 | 2023-06-27 | 合肥工业大学 | Auxiliary judging method, device, equipment and storage medium based on Internet |
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 (en) * | 2016-08-11 | 2021-11-24 | Tata Consultancy Services Limited | System and method for cause point analysis for effective handling of static analysis alarms |
CN108897678B (en) * | 2018-06-20 | 2021-10-15 | 中国联合网络通信集团有限公司 | Static code detection method, static code detection system and storage device |
EP3588272B1 (en) * | 2018-06-25 | 2021-03-10 | Tata Consultancy Services Limited | Method and system for repositioning of a plurality of static analysis alarms |
JP7469999B2 (en) | 2020-09-10 | 2024-04-17 | 株式会社日立製作所 | Search device, search method, and search program |
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 (en) * | 1995-04-03 | 1996-10-18 | Toshiba Corp | Device and method for program analysis |
US6128774A (en) * | 1997-10-28 | 2000-10-03 | Necula; George C. | Safe to execute verification of software |
JP3533098B2 (en) * | 1998-12-18 | 2004-05-31 | 富士通株式会社 | Program analysis device and recording medium |
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 (en) * | 2003-12-30 | 2007-02-23 | Trusted Logic | METHOD FOR DETERMINING OPERATIONAL CHARACTERISTICS OF A PROGRAM |
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 (en) * | 2006-10-20 | 2008-05-01 | Hitachi Ltd | Information providing device, program and information providing method |
WO2008092162A2 (en) * | 2007-01-26 | 2008-07-31 | 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 (en) | 2008-02-01 | 2009-08-06 | The Mathworks, Inc | Selective code instrumentation for software verification |
JP5170555B2 (en) * | 2008-10-14 | 2013-03-27 | 日本電気株式会社 | Error trace simplification system, error trace simplification method, and program |
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 (en) * | 2010-12-28 | 2014-07-23 | 富士通株式会社 | Analysis support program, analysis support apparatus, and analysis support method |
EP2718820B1 (en) * | 2011-06-08 | 2017-10-11 | 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 (en) * | 2011-12-26 | 2013-11-06 | みずほ情報総研株式会社 | Analysis result evaluation system, analysis result evaluation method, and analysis result evaluation program |
-
2013
- 2013-10-31 IN IN3461MU2013 patent/IN2013MU03461A/en unknown
-
2014
- 2014-10-29 JP JP2014220658A patent/JP6117760B2/en active Active
- 2014-10-29 US US14/526,724 patent/US9201765B2/en active Active
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN116342332A (en) * | 2023-05-31 | 2023-06-27 | 合肥工业大学 | Auxiliary judging method, device, equipment and storage medium based on Internet |
Also Published As
Publication number | Publication date |
---|---|
US20150121345A1 (en) | 2015-04-30 |
US9201765B2 (en) | 2015-12-01 |
JP6117760B2 (en) | 2017-04-19 |
JP2015088191A (en) | 2015-05-07 |