RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis

A growing number of bugs have been reported by vulnerability discovery solutions. Among them, some bugs are hard to diagnose or reproduce, including data race bugs caused by thread interleavings. Few solutions are able to well address this issue, due to the huge space of interleavings to explore. What's worse, in security analysis scenarios, analysts usually have no access to the source code of target programs and have troubles in comprehending them.