Traitement en cours

Veuillez attendre...

PATENTSCOPE sera indisponible durant quelques heures pour des raisons de maintenance le dimanche 05.04.2020 à 10:00 AM CEST
Paramétrages

Paramétrages

1. WO2012004707 - ENREGISTREMENT ET REPRODUCTION EFFICACES DU TRAJET D'EXÉCUTION D'UN PROGRAMME D'ORDINATEUR

Numéro de publication WO/2012/004707
Date de publication 12.01.2012
N° de la demande internationale PCT/IB2011/052878
Date du dépôt international 30.06.2011
CIB
G06F 9/44 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9Dispositions pour la commande par programme, p.ex. unités de commande
06utilisant des programmes stockés, c. à d. utilisant un moyen de stockage interne à l'équipement de traitement de données pour recevoir ou conserver les programmes
44Dispositions pour exécuter des programmes spécifiques
CPC
G06F 11/3612
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
3612by runtime analysis
G06F 11/3624
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
362Software debugging
3624by performing operations on the source code, e.g. via a compiler
Déposants
  • ELDAR, Adi [IL/IL]; IL
Inventeurs
  • ELDAR, Adi; IL
Mandataires
  • DR. MARK FRIEDMAN LTD.; Moshe Aviv Tower, 54th Floor 7 Jabotinsky St. 52520 Ramat Gan, IL
Données relatives à la priorité
12/830,45106.07.2010US
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) EFFICIENT RECORDING AND REPLAYING OF THE EXECUTION PATH OF A COMPUTER PROGRAM
(FR) ENREGISTREMENT ET REPRODUCTION EFFICACES DU TRAJET D'EXÉCUTION D'UN PROGRAMME D'ORDINATEUR
Abrégé
(EN)
To monitor the execution path of executable code, only non-deterministic jump instructions of the executable code are instrumented by replacing them with respective recording instructions that record the results of executions of the non- deterministic jump instructions and then emulate those executions, thereby providing instrumented code, and the instrumented code is executed. Preferably, the recording instructions are one byte long and invoke an interrupt service routine that does the recording and the emulating. Optionally, selected instructions of the executable code are replaced with trigger instructions for turning the recording on and off. Preferably, after the instrumented code is executed, the addresses of the instrumented instructions and the results of their executions are played back either forward or backward. Optionally, the instrumented code is executed a second time and the results of the executions of the instrumented instructions in the two executions of the instrumented code are compared.
(FR)
Pour surveiller le trajet d'exécution d'un code exécutable, seules les instructions de saut non déterministe du code exécutable sont instrumentées en les remplaçant par des instructions d'enregistrement respectives qui enregistrent les résultats des exécutions des instructions de saut non déterministe et émulent ensuite ces exécutions, fournissant de ce fait un code instrumenté, et le code instrumenté est exécuté. De préférence, les instructions d'enregistrement ont une longueur d'un octet et invoquent un sous-programme de service d'interruption qui effectue l'enregistrement et l'émulation. Éventuellement, des instructions sélectionnées du code exécutable sont remplacées par des instructions de déclenchement pour rendre l'enregistrement actif ou inactif. De préférence, après que le code instrumenté a été exécuté, les adresses des instructions instrumentées et les résultats de leurs exécutions sont reproduits soit en avant, soit en arrière. Éventuellement, le code instrumenté est exécuté une seconde fois et les résultats des exécutions des instructions instrumentées dans les deux exécutions du code instrumenté sont comparés.
Dernières données bibliographiques dont dispose le Bureau international