JP5778808B2 - エントリーポイントを参照したソフトウェアアプリケーション解析システムおよび方法 - Google Patents

エントリーポイントを参照したソフトウェアアプリケーション解析システムおよび方法 Download PDF

Info

Publication number
JP5778808B2
JP5778808B2 JP2014030157A JP2014030157A JP5778808B2 JP 5778808 B2 JP5778808 B2 JP 5778808B2 JP 2014030157 A JP2014030157 A JP 2014030157A JP 2014030157 A JP2014030157 A JP 2014030157A JP 5778808 B2 JP5778808 B2 JP 5778808B2
Authority
JP
Japan
Prior art keywords
analysis
software application
entry points
function
wrapper
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.)
Expired - Fee Related
Application number
JP2014030157A
Other languages
English (en)
Japanese (ja)
Other versions
JP2014194756A (ja
Inventor
ハンマント マハムニ ラビ
ハンマント マハムニ ラビ
スリヴァスタヴァ プラガティ
スリヴァスタヴァ プラガティ
クマール シュラワーン
クマール シュラワーン
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Tata Consultancy Services Ltd
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
Publication of JP2014194756A publication Critical patent/JP2014194756A/ja
Application granted granted Critical
Publication of JP5778808B2 publication Critical patent/JP5778808B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/75—Structural analysis for program understanding
    • 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
    • G06F11/3608—Analysis of software for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/433—Dependency analysis; Data or control flow analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
JP2014030157A 2013-03-28 2014-02-20 エントリーポイントを参照したソフトウェアアプリケーション解析システムおよび方法 Expired - Fee Related JP5778808B2 (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
IN1201/MUM/2013 2013-03-28
IN1201MU2013 IN2013MU01201A (OSRAM) 2013-03-28 2013-03-28

Publications (2)

Publication Number Publication Date
JP2014194756A JP2014194756A (ja) 2014-10-09
JP5778808B2 true JP5778808B2 (ja) 2015-09-16

Family

ID=51622149

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2014030157A Expired - Fee Related JP5778808B2 (ja) 2013-03-28 2014-02-20 エントリーポイントを参照したソフトウェアアプリケーション解析システムおよび方法

Country Status (3)

Country Link
US (1) US9703555B2 (OSRAM)
JP (1) JP5778808B2 (OSRAM)
IN (1) IN2013MU01201A (OSRAM)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IN2015CH03057A (OSRAM) * 2015-06-18 2015-07-03 Wipro Ltd
CN112181374B (zh) * 2020-09-25 2024-03-12 广州力挚网络科技有限公司 一种数据整合方法、装置、电子设备及存储介质
WO2021056032A2 (en) * 2021-01-20 2021-03-25 Zeku, Inc. Apparatus and method of intelligent power allocation using a power controller
US20240378053A1 (en) * 2023-05-11 2024-11-14 International Business Machines Corporation Function Code Extraction

Family Cites Families (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6817014B2 (en) 2001-04-11 2004-11-09 Hewlett-Packard Development Company, L.P. Analysis of executable program code using compiler-generated function entry points and endpoints with other sources of function entry points and endpoints
US6886112B2 (en) * 2002-06-28 2005-04-26 Microsoft Corporation Recovering from device failure
JP4426764B2 (ja) * 2003-01-21 2010-03-03 株式会社日立製作所 コンパイラテストプログラムの自動生成方法
US7114164B2 (en) * 2003-06-04 2006-09-26 Microsoft Corporation Systems and methods for injecting an exception into a target thread
US7475394B2 (en) * 2003-12-05 2009-01-06 Arm Limited System and method of analyzing interpreted programs
US7530057B2 (en) * 2004-10-21 2009-05-05 Hewlett-Packard Development Company, L.P. Program code coverage
US7757218B2 (en) * 2005-03-24 2010-07-13 Microsoft Corporation Method of instrumenting code having restrictive calling conventions
US7590935B2 (en) * 2005-07-08 2009-09-15 Microsoft Corporation Dynamic generation of WSDL documents based on database metadata
KR20080068385A (ko) * 2007-01-19 2008-07-23 슈어소프트테크주식회사 소프트웨어 테스트 시스템, 방법 및 그 방법을 실행하기위한 프로그램이 기록된 컴퓨터로 읽을 수 있는 기록매체
US7739666B2 (en) * 2007-06-15 2010-06-15 Microsoft Corporation Analyzing software users with instrumentation data and user group modeling and analysis
US7870114B2 (en) * 2007-06-15 2011-01-11 Microsoft Corporation Efficient data infrastructure for high dimensional data analysis
US8856764B2 (en) 2011-01-25 2014-10-07 International Business Machines Corporation Distributed static analysis of computer software applications

Also Published As

Publication number Publication date
IN2013MU01201A (OSRAM) 2015-04-10
US20140298294A1 (en) 2014-10-02
US9703555B2 (en) 2017-07-11
JP2014194756A (ja) 2014-10-09

Similar Documents

Publication Publication Date Title
Varga A practical introduction to the OMNeT++ simulation framework
US8782613B2 (en) Optimizing applications using source code patterns and performance analysis
US8286149B2 (en) Apparatus for and method of implementing feedback directed dependency analysis of software applications
US20040098707A1 (en) Generic wrapper scheme
Vázquez et al. Slimming javascript applications: An approach for removing unused functions from javascript libraries
US10083029B2 (en) Detect application defects by correlating contracts in application dependencies
Shastry et al. Static program analysis as a fuzzing aid
US20120254839A1 (en) Simulating black box test results using information from white box testing
US20090089320A1 (en) Capturing application state information for simulation in managed environments
JP5778808B2 (ja) エントリーポイントを参照したソフトウェアアプリケーション解析システムおよび方法
US20180239688A1 (en) Method and system for real-time identification of anomalous behavior in a software program
TWI626538B (zh) 基礎架構規則產生技術
Ahmed et al. A comparative study of web application testing and mobile application testing
JP5706940B2 (ja) ランタイム実行障害のソースを識別するシステム及び方法
Korkan et al. DyST: Dynamic Specification Mining for Heterogenous IoT Systems with WoT
US20160246698A1 (en) Change based testing of a javascript software application
US20240248689A1 (en) Determining dependencies in workspaces
CN117873869A (zh) 一种基于Agent的白盒测试方法
Wojszczyk et al. Performance analysis of extracting object structure from source code
Jeon et al. SP-Fuzz: Fuzzing Soft PLC with Semi-automated Harness Synthesis
Sommer et al. Spicy: A unified deep packet inspection framework dissecting all your data
Anantharaman et al. Exploring Zero-Shot Prompting for Generating Data Format Descriptions
Vandercammen et al. Prioritising Server Side Reachability via Inter-process Concolic Testing
Wang MPIRace: A Static Data Race Detector for MPI Programs
Sandoval et al. Experience Report: How to Extract Security Protocols' Specifications from C Libraries

Legal Events

Date Code Title Description
A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20150226

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20150303

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20150518

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20150616

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20150618

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20150707

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20150709

R150 Certificate of patent or registration of utility model

Ref document number: 5778808

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

LAPS Cancellation because of no payment of annual fees