BiRD: Race Detection in Software Binaries under Relaxed Memory Models
Instruction reordering and interleavings in program execution under relaxed memory semantics result in non-intuitive behaviors, making it difficult to provide assurances about program correctness. Several static analyses approaches exist, but studies have shown that up to 90% of the concurrency bugs reported by state-of-the-art static analyzers are false alarms. As a result, filtering false alarms and detecting real concurrency bugs is a challenging problem. Unsurprisingly, this problem has attracted the interest of the research community over the past few decades. Nonetheless, many of the existing techniques rely on analyzing source code, rarely consider the effects introduced by compilers, and assume a sequentially consistent memory model.
In a practical setting, however, developers often do not have access to the source code, and even commodity architectures such as x86 and ARM are not sequentially consistent.
In this work, we present BiRD, a prototype tool, to dynamically detect harmful data races in x86 binaries under relaxed memory models, TSO and PSO. BiRD employs source-DPOR to explore all distinct feasible interleavings for a multithreaded application. Our evaluation of BRD on 42 publicly available benchmarks and its comparison with the state-of-the-art tools indicate BiRD’s potential in effectively detecting data races in software binaries.
Tue 15 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:45 - 12:15
JF Debugging & LocalizationJournal First at SRC GLR
Chair(s): Rui Abreu Meta Platforms
|Context-Aware Code Change Embedding for Better Patch Correctness Assessment|
Bo Lin National University of Defense Technology, Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, Xiaoguang Mao National University of Defense TechnologyLink to publication DOI Pre-print
|BiRD: Race Detection in Software Binaries under Relaxed Memory Models|
Ridhi Jain Indraprastha Institute of Information Technology Delhi, Rahul Purandare IIIT-Delhi, Subodh Sharma IIT DelhiLink to publication DOI
|ASTRAEA: Grammar-based Fairness Testing|
Ezekiel Soremekun SnT, University of Luxembourg, Sakshi Udeshi Singapore University of Technology and Design, Sudipta Chattopadhyay Singapore University of Technology and DesignLink to publication DOI Pre-print
|Exploring Performance Assurance Practices and Challenges in Agile Software Development: An Ethnographic Study|
Luca Traini University of L'AquilaLink to publication DOI
|Studying logging practice in test code|
Haonan Zhang Concordia University, Yiming Tang Concordia University, Maxime Lamothe Polytechnique Montréal, Heng Li Polytechnique Montréal, Weiyi Shang Concordia University
|Locating Faults with Program Slicing: An Empirical Analysis|
Ezekiel Soremekun SnT, University of Luxembourg, Lukas Kirschner Saarland University, Marcel Böhme MPI-SP, Germany and Monash University, Australia, Andreas Zeller CISPA Helmholtz Center for Information SecurityLink to publication DOI Pre-print