IN2013MU01201A - - Google Patents

Info

Publication number
IN2013MU01201A
IN2013MU01201A IN1201MU2013A IN2013MU01201A IN 2013MU01201 A IN2013MU01201 A IN 2013MU01201A IN 1201MU2013 A IN1201MU2013 A IN 1201MU2013A IN 2013MU01201 A IN2013MU01201 A IN 2013MU01201A
Authority
IN
India
Prior art keywords
software application
entry points
input data
entry
uncalled
Prior art date
Application number
Other languages
English (en)
Inventor
Ravi Hanmant Mahamuni
Pragati Srivastava
Shrawan Kumar
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 IN1201MU2013 priority Critical patent/IN2013MU01201A/en
Priority to US14/183,940 priority patent/US9703555B2/en
Priority to JP2014030157A priority patent/JP5778808B2/ja
Publication of IN2013MU01201A publication Critical patent/IN2013MU01201A/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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; 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
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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)
IN1201MU2013 2013-03-28 2013-03-28 IN2013MU01201A (zh)

Priority Applications (3)

Application Number Priority Date Filing Date Title
IN1201MU2013 IN2013MU01201A (zh) 2013-03-28 2013-03-28
US14/183,940 US9703555B2 (en) 2013-03-28 2014-02-19 System and method for analyzing software application in view of entry points
JP2014030157A JP5778808B2 (ja) 2013-03-28 2014-02-20 エントリーポイントを参照したソフトウェアアプリケーション解析システムおよび方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IN1201MU2013 IN2013MU01201A (zh) 2013-03-28 2013-03-28

Publications (1)

Publication Number Publication Date
IN2013MU01201A true IN2013MU01201A (zh) 2015-04-10

Family

ID=51622149

Family Applications (1)

Application Number Title Priority Date Filing Date
IN1201MU2013 IN2013MU01201A (zh) 2013-03-28 2013-03-28

Country Status (3)

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

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IN2015CH03057A (zh) * 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

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
JP2014194756A (ja) 2014-10-09
US20140298294A1 (en) 2014-10-02
JP5778808B2 (ja) 2015-09-16
US9703555B2 (en) 2017-07-11

Similar Documents

Publication Publication Date Title
GB2558826A (en) Mitigation of anti-sandbox malware techniques
EP2513805A4 (en) SYSTEMS AND METHODS FOR BEHAVIOR SANDBOXING
IN2014CH00403A (zh)
WO2014160107A3 (en) Systems and methods for creating or updating an application using a pre-existing application
TW201211897A (en) Programmable device, hierarchical parallel machines, methods for providing state information
WO2014146086A3 (en) Computer-based method and system of analyzing, editing and improving content
EP2787449A3 (en) Text data processing method and corresponding electronic device
WO2014028648A3 (en) System and method for forming predictions using event-based sentiment analysis
EP4242892A3 (en) Code pointer authentication for hardware flow control
MX2013001208A (es) Metodos, sistemas y productos de programa basados en ubicacion para ejecutar una accion en un dispositivo de usuario.
GB2481563A (en) Method and apparatus to provide secure application execution
GB2535364A (en) System and method for indicating queue characteristics of electronic terminals
WO2013137950A3 (en) Methods, systems, and computer program products for generating fast neutron spectra
IN2013DE03292A (zh)
EP2816431A3 (en) Information platform for industrial automation stream-based data processing
MX2016006736A (es) Metodo y sistema que proporcionan interfaz mejorada de usuario de lealtad en entorno de distribucion de combustible.
GB2508529A (en) Bios network access
GB201307115D0 (en) Seismic data processing including predicting multiples using a reverse time demigration
WO2013172888A3 (en) Mediation computing device and associated method for generating semantic tags
BR112014019186A8 (pt) sistemas e métodos para processamento de arquivo
GB2562897A (en) Lossless data compression
AR099277A1 (es) Dispositivo informático, método y aparato que utilizan hojas de cálculo como base para el desarrollo de aplicaciones mejoradas
GB201205560D0 (en) Location text
EP2735973A4 (en) COMPUTER SYSTEM AND DATA INPUT / OUTPUT METHOD
IN2013MU01201A (zh)