Arybo: Manipulation, Canonicalization and Identification of Mixed Boolean-Arithmetic Symbolic Expressions

Abstract : This article presents arybo (available at https://github.com/quarkslab/arybo) a tool that gives a bit-level symbolic representation of expressions involving various types of operators on bit strings. Such a tool can be used to gain a better understanding of complex expressions, for example expressions that mix both arithmetic and boolean operators. It can also be useful for optimization purposes, such as proving bit hacks easily. We describe why we created this tool and the various related issues, such as the choice of the internal representation and the various possible optimizations. We also show how it can be used to identify some basic arithmetic or boolean functions, and present various usage examples.
Type de document :
Communication dans un congrès
GreHack 2016, Nov 2016, Grenoble, France. 2016, Proceedings of GreHack 2016
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01390528
Contributeur : Marion Videau <>
Soumis le : mercredi 2 novembre 2016 - 10:21:14
Dernière modification le : samedi 18 février 2017 - 01:17:06
Document(s) archivé(s) le : vendredi 3 février 2017 - 12:49:58

Fichier

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

Identifiants

  • HAL Id : hal-01390528, version 1

Citation

Adrien Guinet, Ninon Eyrolles, Marion Videau. Arybo: Manipulation, Canonicalization and Identification of Mixed Boolean-Arithmetic Symbolic Expressions. GreHack 2016, Nov 2016, Grenoble, France. 2016, Proceedings of GreHack 2016. 〈hal-01390528〉

Partager

Métriques

Consultations de la notice

320

Téléchargements de fichiers

193