Processing

Please wait...

PATENTSCOPE will be unavailable a few hours for maintenance reason on Tuesday 25.01.2022 at 12:00 PM CET
Settings

Settings

Goto Application

1. WO2010031731 - METHOD OF ANALYZING A COMPUTER PROGRAM

Publication Number WO/2010/031731
Publication Date 25.03.2010
International Application No. PCT/EP2009/061752
International Filing Date 10.09.2009
IPC
G06F 11/36 2006.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging of software
G06F 9/45 2006.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
9Arrangements for program control, e.g. control units
06using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
44Arrangements for executing specific programs
45Compilation or interpretation of high level programme languages
CPC
G06F 11/3608
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
3604Software analysis for verifying properties of programs
3608using formal methods, e.g. model checking, abstract interpretation
G06F 8/433
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
43Checking; Contextual analysis
433Dependency analysis; Data or control flow analysis
Applicants
  • SIEMENS AKTIENGESELLSCHAFT [DE]/[DE] (AllExceptUS)
  • KANDULA, Ravikanth [IN]/[IN] (UsOnly)
  • NARAYAN, Chinmay [IN]/[IN] (UsOnly)
Inventors
  • KANDULA, Ravikanth
  • NARAYAN, Chinmay
Common Representative
  • SIEMENS AKTIENGESELLSCHAFT
Priority Data
1621/KOL/200822.09.2008IN
Publication Language English (en)
Filing Language English (EN)
Designated States
Title
(EN) METHOD OF ANALYZING A COMPUTER PROGRAM
(FR) PROCÉDÉ D'ANALYSE D'UN PROGRAMME INFORMATIQUE
Abstract
(EN) The present invention relates to a method, a computer readable-media, and an apparatus for analyzing a computer program, wherein the method comprises receiving a dependency rule as an input, wherein the dependency rule provides dependencies between statements of a source code of the program and comprises conditions to be satisfied for a respective statement of the source code to be executed correctly, analyzing the program using a dataflow analyzer (128) to determine if there is a violation of the dependency rule and providing an indication of an error based on the violation of the dependency rule.
(FR) La présente invention porte sur un procédé, un support lisible par ordinateur et un appareil pour analyser un programme informatique, le procédé comprenant la réception d'une règle de dépendance en tant qu'entrée, la règle de dépendance fournissant les dépendances entre des instructions d'un code source du programme et comprenant des conditions devant être satisfaites pour qu'une instruction respective du code source soit exécutée correctement, l'analyse du programme à l'aide d'un analyseur de flux de données (128) pour déterminer s'il existe une violation de la règle de dépendance et fourniture d'une indication d'une erreur sur la base de la violation de la règle de dépendance.
Related patent documents
Latest bibliographic data on file with the International Bureau