BEST: a Binary Executable Slicing Tool
Saved in:
| Title: | BEST: a Binary Executable Slicing Tool |
|---|---|
| Authors: | Mangean, Armel, Béchennec, Jean-Luc, Briday, Mikaël, Faucou, Sébastien |
| Contributors: | 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 |
| Source: | 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⟩ |
| Publisher Information: | CCSD Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
| Publication Year: | 2016 |
| Collection: | Université de Nantes: HAL-UNIV-NANTES |
| Subject Terms: | 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] |
| Subject Geographic: | Toulouse, France |
| Description: | 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. |
| Document Type: | conference object |
| Language: | English |
| DOI: | 10.4230/OASIcs.WCET.2016.7 |
| Availability: | 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 |
| Accession Number: | edsbas.FEEF3808 |
| Database: | BASE |
Nájsť tento článok vo Web of Science Be the first to leave a comment!