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
Links
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)
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
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 (4)
| 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 |
| US20240378053A1 (en) * | 2023-05-11 | 2024-11-14 | International Business Machines Corporation | Function Code Extraction |
Family Cites Families (12)
| 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 | 슈어소프트테크주식회사 | Computer-readable recording media having software test systems, methods and programs for executing the methods |
| 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 |
-
2013
- 2013-03-28 IN IN1201MU2013 patent/IN2013MU01201A/en unknown
-
2014
- 2014-02-19 US US14/183,940 patent/US9703555B2/en active Active - Reinstated
- 2014-02-20 JP JP2014030157A patent/JP5778808B2/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JP2014194756A (en) | 2014-10-09 |
| JP5778808B2 (en) | 2015-09-16 |
| US9703555B2 (en) | 2017-07-11 |
| US20140298294A1 (en) | 2014-10-02 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| GB2558826A8 (en) | Mitigation of anti-sandbox malware techniques | |
| 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 | |
| WO2011084431A3 (en) | Systems and methods for behavioral sandboxing | |
| 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 | |
| GB2535364A (en) | System and method for indicating queue characteristics of electronic terminals | |
| MX2013001208A (en) | Location-based methods, systems, and program products for performing an action at a user device. | |
| WO2013171747A3 (en) | Method for identifying palm input to a digitizer | |
| GB2481563A (en) | Method and apparatus to provide secure application execution | |
| GB201016385D0 (en) | System and method for inputting text into electronic devices | |
| WO2013137950A3 (en) | Methods, systems, and computer program products for generating fast neutron spectra | |
| WO2014074698A3 (en) | Distributed nlu/nlp | |
| GB201219578D0 (en) | System and control method | |
| IN2013DE03292A (en) | ||
| EP2816431A3 (en) | Information platform for industrial automation stream-based data processing | |
| MX2016006736A (en) | Method and system for providing loyalty enhanced user interface in a fuel dispensing environment. | |
| GB2508529A (en) | Bios network access | |
| AR099277A1 (en) | COMPUTER DEVICE, METHOD AND APPLIANCE USING CALCULATION SHEETS AS A BASE FOR THE DEVELOPMENT OF IMPROVED APPLICATIONS | |
| GB201307115D0 (en) | Seismic data processing including predicting multiples using a reverse time demigration | |
| GB2562897A (en) | Lossless data compression | |
| WO2013172888A3 (en) | Mediation computing device and associated method for generating semantic tags |