ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level.

Jan Fiedor, Toms Vojnar

Browse the full RV paper archive.