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; 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)
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN1201MU2013 IN2013MU01201A (ja) | 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 (ja) | 2013-03-28 | 2013-03-28 |
Publications (1)
Publication Number | Publication Date |
---|---|
IN2013MU01201A true IN2013MU01201A (ja) | 2015-04-10 |
Family
ID=51622149
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
IN1201MU2013 IN2013MU01201A (ja) | 2013-03-28 | 2013-03-28 |
Country Status (3)
Country | Link |
---|---|
US (1) | US9703555B2 (ja) |
JP (1) | JP5778808B2 (ja) |
IN (1) | IN2013MU01201A (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
IN2015CH03057A (ja) * | 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)
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 |
-
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/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US9703555B2 (en) | 2017-07-11 |
JP5778808B2 (ja) | 2015-09-16 |
JP2014194756A (ja) | 2014-10-09 |
US20140298294A1 (en) | 2014-10-02 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
GB2558826A8 (en) | Mitigation of anti-sandbox malware techniques | |
EP2513805A4 (en) | SYSTEMS AND METHODS FOR BEHAVIOR SANDBOXING | |
IN2014CH00403A (ja) | ||
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. | |
GB2535364A (en) | System and method for indicating queue characteristics of electronic terminals | |
WO2014074698A3 (en) | Distributed nlu/nlp | |
IN2013DE03292A (ja) | ||
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. | |
AR099277A1 (es) | Dispositivo informático, método y aparato que utilizan hojas de cálculo como base para el desarrollo de aplicaciones mejoradas | |
GB2562897A (en) | Lossless data compression | |
WO2013172888A3 (en) | Mediation computing device and associated method for generating semantic tags | |
GB201205560D0 (en) | Location text | |
EP2735973A4 (en) | COMPUTER SYSTEM AND DATA INPUT / OUTPUT METHOD | |
IN2013MU01201A (ja) | ||
TW201711736A (en) | Information distribution methods, computer readable media, and information distribution servers | |
MX2010002229A (es) | Dispositivo de arbol de decision y sitio de red para proporcionar informacion. | |
EP2960738A3 (en) | Systems and methods for incorporating proxy components into an industrial automation system | |
NZ701152A (en) | System and method for unlimited multi-user computer desktop environment |