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
Application number
Inventor
Tukaram B Muske
Original Assignee
Tata Consultancy Services Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Tata Consultancy Services Ltd filed Critical Tata Consultancy Services Ltd
Priority to IN3461MU2013 priority Critical patent/IN2013MU03461A/en
Priority to JP2014220658A priority patent/JP6117760B2/en
Priority to US14/526,724 priority patent/US9201765B2/en
Publication of IN2013MU03461A publication Critical patent/IN2013MU03461A/en

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)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
IN3461MU2013 2013-10-31 2013-10-31 IN2013MU03461A (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
IN3461MU2013 IN2013MU03461A (en) 2013-10-31 2013-10-31
JP2014220658A JP6117760B2 (en) 2013-10-31 2014-10-29 System and method for facilitating user interface enabled review of static analysis alerts
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 (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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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, 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)

* Cited by examiner, † Cited by third party
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 Program analysis device and program analysis method
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 apparatus, program, and information providing method
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 (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
WO2012168755A1 (en) * 2011-06-08 2012-12-13 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

Cited By (1)

* Cited by examiner, † Cited by third party
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
JP6117760B2 (en) 2017-04-19
JP2015088191A (en) 2015-05-07
US20150121345A1 (en) 2015-04-30
US9201765B2 (en) 2015-12-01

Similar Documents

Publication Publication Date Title
BR112016009603A2 (en)
BR102016010778A2 (en)
BR112016001384A2 (en)
BR112015007533A2 (en)
BR112014017733A2 (en)
BR112014018502A2 (en)
BR112014017739A2 (en)
BR112014019326A2 (en)
BR112014018516A2 (en)
BR112014017855A2 (en)
BR112014020341A2 (en)
BR112014017765A2 (en)
BR112014017669A2 (en)
BR112014021878A2 (en)
BR112016004523A2 (en)
BR112014017901A2 (en)
BR112014019204A2 (en)
BR112015015948A2 (en)
BR112014017722A2 (en)
BR112014017653A2 (en)
BR112014018578A2 (en)
BR112014017794A2 (en)
BR112014017601A2 (en)
BR112015015312A2 (en)
BR112014024039A2 (en)