A Guided Search for Races Based on Data Flow Patterns

Neubaum A, Al Sardy L, Spisländer M, Saglietti F, Kretschmer S (2022)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2022

Journal

Lecture Notes in Computer Science Springer Verlag

Publisher: Springer

Book Volume: 13415

Pages Range: 47-58

Conference Proceedings Title: Lecture Notes in Computer Science (LNCS)

Event location: Munich DE

ISBN: 9783031148613

DOI: 10.1007/978-3-031-14862-0_10

Abstract

A strategy for searching for exploitable races is derived, implemented and evaluated. It aims at the detection of inconsistent behaviour due to irregularly interleaved instructions of concurrent threads. The search for internal races focuses on particular data flow patterns targeting the occurrence of internal races by enforcing different orders of reading and writing operations; it is guided by symbolic expressions of interleaved paths and constraint solving. The possibility of propagating internal races to system races is subsequently considered. An exemplifying application of the approach proposed illustrates its practicality.

Authors with CRIS profile

Andreas Neubaum Lehrstuhl für Informatik 11 (Software-Engineering) Loui Al Sardy Lehrstuhl für Informatik 11 (Software-Engineering) Marc Spisländer Lehrstuhl für Informatik 11 (Software-Engineering) Francesca Saglietti Lehrstuhl für Informatik 11 (Software-Engineering)

Related research project(s)

Test Patterns zur Erkennung von Softwareschwachstellen (SMARTEST2-FAU-SWE) SMARTEST2: Evaluierung von Verfahren zum Testen der Informationssicherheit in der nuklearen Leittechnik durch smarte Testfallgenerierung 2 July 1, 2020 - June 30, 2023

How to cite

APA:

Neubaum, A., Al Sardy, L., Spisländer, M., Saglietti, F., & Kretschmer, S. (2022). A Guided Search for Races Based on Data Flow Patterns. In Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch (Eds.), Lecture Notes in Computer Science (LNCS) (pp. 47-58). Munich, DE: Springer.

MLA:

Neubaum, Andreas, et al. "A Guided Search for Races Based on Data Flow Patterns." Proceedings of the Workshops on DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, held in conjunction with the 41st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2022, Munich Ed. Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch, Springer, 2022. 47-58.

BibTeX: Download