Algorithm Recognition based on Demand-Driven Dataflow Analysis

Abstract : Algorithm recognition is an important problem in program analysis, optimization, and more particularly program comprehension. Basically, one would like to submit a piece of code, and get an answer like " Lines 10 to 23 are an implementation of Gauss-Jordan elimination ". Existing approaches often perform a bottom-up recognition, using a database describing many implementation variations of a given algorithm, in a format making them difficult to maintain. In this paper, we present a new method to recognize algorithm templates in a program. We perform a top-down recognition, stopping at template variables and thus limiting the need for many program variations. The code to analyze is given in SSA form, and the-functions are computed on-demand, when computation is possible, along the candidate slices.
Type de document :
Communication dans un congrès
10th Working Conference on Reverse Engineering (WCRE 2003), Nov 2003, Victoria, Canada
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01663748
Contributeur : Christophe Alias <>
Soumis le : jeudi 14 décembre 2017 - 12:00:54
Dernière modification le : mercredi 11 avril 2018 - 01:55:34

Fichier

wcre2003.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : ensl-01663748, version 1

Collections

Citation

Christophe Alias, Denis Barthou. Algorithm Recognition based on Demand-Driven Dataflow Analysis. 10th Working Conference on Reverse Engineering (WCRE 2003), Nov 2003, Victoria, Canada. 〈ensl-01663748〉

Partager

Métriques

Consultations de la notice

55

Téléchargements de fichiers

14