2026-07-23T06:23:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6900 2024-03-06T10:30:03Z ddc:004 open_access

BEST: a Binary Executable Slicing Tool Mangean, Armel Béchennec, Jean-Luc Briday, Mikaël Faucou, Sébastien Program Slicing Binary Code Analysis WCET Analysis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Armel Mangean and Jean-Luc Béchennec and Mikaël Briday and Sébastien Faucou 2016 Is Part Of OASIcs, Volume 55, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2016.7 urn:nbn:de:0030-drops-69004 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2016.7 eng https://creativecommons.org/licenses/by/3.0/legalcode