DROPS

Document

DOI: 10.4230/LIPIcs.ECRTS.2018.21

Instruction Caches in Static WCET Analysis of Artificially Diversified Software

Authors: Joachim Fellmuth, Thomas Göthel, and Sabine Glesner

Published in: LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)

Abstract

Artificial Software Diversity is a well-established method to increase security of computer systems by thwarting code-reuse attacks, which is particularly beneficial in safety-critical real-time systems. However, static worst-case execution time (WCET) analysis on complex hardware involving caches only delivers sound results for single versions of the program, as it relies on absolute addresses for all instructions. To overcome this problem, we present an abstract interpretation based instruction cache analysis that provides a safe yet precise upper bound for the execution of all variants of a program. We achieve this by integrating uncertainties in the absolute and relative positioning of code fragments when updating the abstract cache state during the analysis. We demonstrate the effectiveness of our approach in an in-depth evaluation and provide an overview of the impact of different diversity techniques on the WCET estimations.

Cite as

Joachim Fellmuth, Thomas Göthel, and Sabine Glesner. Instruction Caches in Static WCET Analysis of Artificially Diversified Software. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 21:1-21:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{fellmuth_et_al:LIPIcs.ECRTS.2018.21,
  author =	{Fellmuth, Joachim and G\"{o}thel, Thomas and Glesner, Sabine},
  title =	{{Instruction Caches in Static WCET Analysis of Artificially Diversified Software}},
  booktitle =	{30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
  pages =	{21:1--21:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-075-0},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{106},
  editor =	{Altmeyer, Sebastian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.21},
  URN =		{urn:nbn:de:0030-drops-89822},
  doi =		{10.4230/LIPIcs.ECRTS.2018.21},
  annote =	{Keywords: WCET, static analysis, abstract interpretation, artificial diversity, cache analysis}
}

Search Results

Documents authored by Fellmuth, Joachim

Instruction Caches in Static WCET Analysis of Artificially Diversified Software

Abstract

Cite as

Thanks for your feedback!

Could not send message