JP2015088191A5 - - Google Patents

Download PDF

Info

Publication number
JP2015088191A5
JP2015088191A5 JP2014220658A JP2014220658A JP2015088191A5 JP 2015088191 A5 JP2015088191 A5 JP 2015088191A5 JP 2014220658 A JP2014220658 A JP 2014220658A JP 2014220658 A JP2014220658 A JP 2014220658A JP 2015088191 A5 JP2015088191 A5 JP 2015088191A5
Authority
JP
Japan
Prior art keywords
change points
variable
software code
support information
program
Prior art date
Legal status (The legal status 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 status listed.)
Granted
Application number
JP2014220658A
Other languages
English (en)
Japanese (ja)
Other versions
JP2015088191A (ja
JP6117760B2 (ja
Filing date
Publication date
Priority claimed from IN3461MU2013 external-priority patent/IN2013MU03461A/en
Application filed filed Critical
Publication of JP2015088191A publication Critical patent/JP2015088191A/ja
Publication of JP2015088191A5 publication Critical patent/JP2015088191A5/ja
Application granted granted Critical
Publication of JP6117760B2 publication Critical patent/JP6117760B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

JP2014220658A 2013-10-31 2014-10-29 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法 Active JP6117760B2 (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
IN3461MU2013 IN2013MU03461A (https=) 2013-10-31 2013-10-31
IN3461/MUM/2013 2013-10-31

Publications (3)

Publication Number Publication Date
JP2015088191A JP2015088191A (ja) 2015-05-07
JP2015088191A5 true JP2015088191A5 (https=) 2017-02-16
JP6117760B2 JP6117760B2 (ja) 2017-04-19

Family

ID=52996979

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2014220658A Active JP6117760B2 (ja) 2013-10-31 2014-10-29 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法

Country Status (3)

Country Link
US (1) US9201765B2 (https=)
JP (1) JP6117760B2 (https=)
IN (1) IN2013MU03461A (https=)

Families Citing this family (7)

* 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
US10747641B2 (en) * 2016-08-11 2020-08-18 Tata Consultancy Services Limited System and method for cause point analysis for effective handling of static analysis alarms
CN108897678B (zh) * 2018-06-20 2021-10-15 中国联合网络通信集团有限公司 静态代码检测方法和静态代码检测系统、存储设备
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 (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
CN116342332B (zh) * 2023-05-31 2023-08-01 合肥工业大学 基于互联网的辅助审判方法、装置、设备及存储介质

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 (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 (en) 2008-02-01 2009-08-06 The Mathworks, Inc Selective code instrumentation for software verification
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 富士通株式会社 解析支援プログラム，解析支援装置および解析支援方法
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 (ja) * 2011-12-26 2013-11-06 みずほ情報総研株式会社 解析結果評価システム、解析結果評価方法及び解析結果評価プログラム

Similar Documents

Publication Publication Date Title
JP2015088191A5 (https=)
US10990511B2 (en) Apparatus and application interface traversing method
US10943494B2 (en) Flight instructing method and device, and aerial vehicle
JP6117760B2 (ja) 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法
JP2017151970A (ja) サービスリクエストを処理するための方法及び装置
US9412035B2 (en) Place-based image organization
US11321081B2 (en) Affinity recommendation in software lifecycle management
JP6542612B2 (ja) テストシナリオ生成支援装置およびテストシナリオ生成支援方法
EP2963546A1 (en) Method for achieving software development transaction and electronic device
US20200334102A1 (en) Systems And Methods For Preventing Client Application Crashes Due To Operating System Updates
US10229038B2 (en) Generating reusable testing procedures
US10031974B1 (en) Systems and methods for conducting a planogram search
US9256661B2 (en) Indicating level of confidence in digital content
WO2018052984A1 (en) Geolocating entities of interest on geo heat maps
US20170004188A1 (en) Apparatus and Method for Graphically Displaying Transaction Logs
US20160314061A1 (en) Software Defect Detection Identifying Location of Diverging Paths
US20150356478A1 (en) System and method for risk assessment
CN111143325A (zh) 一种数据采集的监测方法、监测装置及可读存储介质
US20120310849A1 (en) System and method for validating design of an electronic product
CN110618991A (zh) 参数值自动录入方法、系统、设备及存储介质
WO2015060898A1 (en) Attribute identifier and analyzer tool
US9507766B2 (en) Tree tables for mobile devices and other low resolution displays
JP6747161B2 (ja) ソフトウェア品質判定方法
US11468249B2 (en) Linking an entity relating to product development to a document portion
Heled Extended Bayesian skyline plot tutorial for BEAST 2