BEST: a Binary Executable Slicing Tool
Gespeichert in:
| Titel: | BEST: a Binary Executable Slicing Tool |
|---|---|
| Autoren: | Mangean, Armel, Béchennec, Jean-Luc, Briday, Mikaël, Faucou, Sébastien |
| Weitere Verfasser: | Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), STR (LS2N - équipe STR), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Martin Schoeberl |
| Quelle: | 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) https://hal.science/hal-01713140 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⟩ |
| Verlagsinformationen: | CCSD Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
| Publikationsjahr: | 2016 |
| Bestand: | Université de Nantes: HAL-UNIV-NANTES |
| Schlagwörter: | and phrases Program Slicing, Binary Code Analysis, WCET Analysis, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] |
| Geographisches Schlagwort: | Toulouse, France |
| Beschreibung: | International audience ; 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. |
| Publikationsart: | conference object |
| Sprache: | English |
| DOI: | 10.4230/OASIcs.WCET.2016.7 |
| Verfügbarkeit: | https://hal.science/hal-01713140 https://hal.science/hal-01713140v1/document https://hal.science/hal-01713140v1/file/OASIcs-WCET-2016-7.pdf https://doi.org/10.4230/OASIcs.WCET.2016.7 |
| Rights: | http://creativecommons.org/licenses/by/ ; info:eu-repo/semantics/OpenAccess |
| Dokumentencode: | edsbas.FEEF3808 |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | International audience ; 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. |
|---|---|
| DOI: | 10.4230/OASIcs.WCET.2016.7 |