BEST: a Binary Executable Slicing Tool - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

BEST: a Binary Executable Slicing Tool

Résumé

We describe the implementation of Best, a tool for slicing binary code. We aim to integrate this tool in a WCET estimation framework based on model checking. In this approach, program slicing is used to abstract the program model in order to reduce the state space of the system. In this article, we also report on the results of an evaluation of the efficiency of the abstraction technique.

Domaines

Systèmes embarqués Génie logiciel [cs.SE] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
OASIcs-WCET-2016-7.pdf (576.71 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Sébastien Faucou  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01713140

Soumis le : mardi 20 février 2018-11:25:09

Dernière modification le : mardi 27 août 2024-12:48:38

Archivage à long terme le : lundi 21 mai 2018-12:31:08

Télécharger pour visualiser

Dates et versions

hal-01713140 , version 1 (20-02-2018)

Licence

Paternité

Identifiants

Citer

Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou. BEST: a Binary Executable Slicing Tool. 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Jul 2016, Toulouse, France. pp.7:1--7:10, ⟨10.4230/OASIcs.WCET.2016.7⟩. ⟨hal-01713140⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N LS2N-STR NANTES-UNIVERSITE
788 Consultations
183 Téléchargements

Altmetric

Partager

More