BEST: a Binary Executable Slicing Tool

Autor: Mangean, Armel, Béchennec, Jean-Luc, Briday, Mikaël, Faucou, Sébastien

Publikováno v: 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)
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⟩

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 mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4cf8f5b05fa8b543aa306e5c5913a079
https://hal.archives-ouvertes.fr/hal-01713140/file/OASIcs-WCET-2016-7.pdf