BiRD: Race Detection in Software Binaries under Relaxed Memory Models.

Ridhi Jain Rahul Purandare Subodh Sharma

Published in: ACM Trans. Softw. Eng. Methodol. (2022)

Keyphrases

source code
automatic detection
object detection
model selection
software design
data mining
information systems
software systems
false positives
statistical models
software tools
false alarms
data flow
control flow