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.
Liste complète des métadonnées

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01390528
Contributor : Marion Videau <>
Submitted on : Wednesday, November 2, 2016 - 10:21:14 AM
Last modification on : Thursday, February 7, 2019 - 4:49:34 PM
Document(s) archivé(s) le : Friday, February 3, 2017 - 12:49:58 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01390528⟩

Share

Metrics

Record views

743

Files downloads

425