Automatic flowgraph generation for program analysis and...

G - Physics – 06 – F

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

G06F 9/45 (2006.01) G06F 9/30 (2006.01) G06F 9/44 (2006.01) G06F 9/455 (2006.01)

Patent

CA 2081978

A program is translated by automatically generating a flowgraph, using the flowgraph to analyze the program to provide information about blocks of instructions in the flowgraph, and then using the flowgraph and the information about the blocks of instructions to generate translated instructions. The flowgraph is used during analysis of the program to control gathering and storage of information about the blocks of instructions and checking for consistency of the information over paths in the flowgraph. The information for each block includes, for example, register usage, stack usage, condition code usage, return mask usage, and any occurrence of non-standard returns. This information is used to detect possible errors and translation difficulties such as stack depths that do not match on all incoming paths, return masks that do not match over all incoming paths to a block, use of uninitialized registers or condition codes, failure to align the stack on longword boundaries, and nonstandard returns such as callbacks to procedure parameters. An error discovered during analysis is reported, for example, by generating an error-specific flowgraph in which the paths and blocks of instructions relevant to the error are indicated.

Un programme est traduit par production automatique d'un organigramme, lequel sert à analyser le programme afin de fournir de l'information sur les blocs d'instructions de l'organigramme, puis l'organigramme et l'information obtenue permettent de générer des instructions traduites. L'organigramme est utilisé pendant l'analyse du programme afin de contrôler la collecte et le stockage d'information sur les blocs d'instructions ainsi que la vérification de la cohérence de l'information sur les chemins figurant dans l'organigramme. L'information relative à chaque bloc comprend, par exemple, l'utilisation des registres, des piles, des codes condition, des masques de retour, et toute occurrence de retour inhabituel. L'information est utilisée pour détecter des erreurs possibles et des difficultés de traduction, par exemple : profondeurs de piles qui ne correspondent pas à tous les chemins d'arrivée, masques de retour qui ne correspondent pas à tous les chemins d'arrivée à un bloc, utilisation de codes de condition ou de registres non initialisés, absence d'alignement de la pile sur les limites des mots longs, et retours inhabituels tels que rappels aux paramètres de procédure. Une erreur découverte lors de l'analyse est signalée, par exemple, par la production d'un organigramme indiquant les chemins et les blocs d'instructions applicables à l'erreur.

LandOfFree

Say what you really think

Search LandOfFree.com for Canadian inventors and patents. Rate them and share your experience with other people.

Rating

Automatic flowgraph generation for program analysis and... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automatic flowgraph generation for program analysis and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic flowgraph generation for program analysis and... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFCA-PAI-O-2036180

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.