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
Publisher: Springer
Book Volume: 13415
Pages Range: 47-58
Conference Proceedings Title: Lecture Notes in Computer Science (LNCS)
ISBN: 9783031148613
DOI: 10.1007/978-3-031-14862-0_10
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.
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