Towards a Framework for Algorithm Recognition in Binary Code

Abstract : Algorithm recognition, which is the problem of verifying whether a program implements a given algorithm, is an important topic in program analysis. We propose an approach for algorithm recognition in binary code. For this paper, we have chosen the Dalvik Virtual Machine (DVM) bytecode. Given an algorithm A that is compiled into a DVM method M0, and a DVM program P that includes a series of methods {M1, . . . , Mn}, the approach is able to identify those blocks Mi from P that essentially implement the algorithm A. The technique we propose first translates binary code into Horn clauses. Then we consider programs as implementing the same algorithm if their Horn clause representations can be reduced to a single common set of Horn clauses by means of a sequence of transformations.
Type de document :
Communication dans un congrès
James Cheney; Germán Vidal. 18th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2016, Edinburgh, United Kingdom. ACM Press, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP16), pp.202--213, 2016
Liste complète des métadonnées

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

http://hal.univ-reunion.fr/hal-01451686
Contributeur : Réunion Univ <>
Soumis le : lundi 5 novembre 2018 - 09:52:59
Dernière modification le : mercredi 7 novembre 2018 - 01:18:22

Fichier

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

Identifiants

  • HAL Id : hal-01451686, version 1

Collections

Citation

Frédéric Mesnard, Etienne Payet, Wim Vanhoof. Towards a Framework for Algorithm Recognition in Binary Code. James Cheney; Germán Vidal. 18th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2016, Edinburgh, United Kingdom. ACM Press, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP16), pp.202--213, 2016. 〈hal-01451686〉

Partager

Métriques

Consultations de la notice

14

Téléchargements de fichiers

2