RacerX: effective, static detection of race conditions and deadlocks
https://www.powershow.com/view4/67537a-NDE1O/RacerX_effective_static_detection_of_race_conditions_and_deadlocks_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
