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
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/en
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)

Abstract

The present invention provides a system and method for performing an analysis of a software application in a computing environment. A receiving module accepts source code of the software application as input data and obtains a list of the entry points. Intermediate representations from the input data are generated in order to construct informative structure for the software application. Uncalled functions in the software application are identified and are considered as entry points. The entry points are wrapped into one entry point and analyzed maintaining calling context of all the entry points. To be published with figure 2
IN1201MU2013 2013-03-28 2013-03-28 IN2013MU01201A (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
IN1201MU2013 IN2013MU01201A (en) 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 (en) 2013-03-28 2014-02-20 Software application analysis system and method with reference to entry points

Applications Claiming Priority (1)

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

Publications (1)

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

Family

ID=51622149

Family Applications (1)

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

Country Status (3)

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

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IN2015CH03057A (en) * 2015-06-18 2015-07-03 Wipro Ltd
CN112181374B (en) * 2020-09-25 2024-03-12 广州力挚网络科技有限公司 Data integration method and device, electronic equipment and storage medium
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 (en) * 2003-01-21 2010-03-03 株式会社日立製作所 Automatic generation method of compiler test program
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 (en) * 2007-01-19 2008-07-23 슈어소프트테크주식회사 Program test system, method and computer readable medium on which program for executing the method is recorded
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 (en) 2014-10-09
US9703555B2 (en) 2017-07-11
US20140298294A1 (en) 2014-10-02
JP5778808B2 (en) 2015-09-16

Similar Documents

Publication Publication Date Title
GB2558826A (en) Mitigation of anti-sandbox malware techniques
EP2513805A4 (en) Systems and methods for behavioral sandboxing
IN2014CH00403A (en)
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 (en) Location-based methods, systems, and program products for performing an action at a user device.
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 (en)
EP2816431A3 (en) Information platform for industrial automation stream-based data processing
GB2508529A (en) Bios network access
GB201307115D0 (en) Seismic data processing including predicting multiples using a reverse time demigration
AR099277A1 (en) COMPUTER DEVICE, METHOD AND APPLIANCE USING CALCULATION SHEETS AS A BASE FOR THE DEVELOPMENT OF IMPROVED APPLICATIONS
WO2013172888A3 (en) Mediation computing device and associated method for generating semantic tags
BR112014019186A8 (en) systems and methods for file processing
GB2562897A (en) Lossless data compression
GB201205560D0 (en) Location text
EP2735973A4 (en) Computer system and data input/output method
IN2013MU01201A (en)
MX2010002229A (en) Decision tree device and website for providing information.