RacerX swMATH ID: 9941 Software Authors: Engler, D., Ashcraft, K Description: RacerX: Effective, static detection of race conditions and deadlocks. This paper describes RacerX, a static tool that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find errors in large, complex multithreaded systems. It aggressively infers checking information such as which locks protect which operations, which code contexts are multithreaded, and which shared accesses are dangerous. It tracks a set of code features which it uses to sort errors both from most to least severe. It uses novel techniques to counter the impact of analysis mistakes. The tool is fast, requiring between 2-14 minutes to analyze a 1.8 million line system. We have applied it to Linux, FreeBSD, and a large commercial code base, finding serious errors in all of them. RacerX is a static tool that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks. It uses novel strategies to infer checking information such as which locks protect which operations, which code contexts are multithreaded, and which shared accesses are dangerous. We applied it to FreeBSD, Linux and a large commercial code base and found serious errors in all of them. Homepage: http://dl.acm.org/citation.cfm?id=945468 Related Software: Eraser; RELAY; LOCKSMITH; MiniSat; SatAbs; SCRATCH; CHESS; ESC/Java; CTrigger; Goblint; Privtrans; Privman; CSSV; MOPS; CCured; CBMC; Cellss; BLAST; SPLASH-2; McPatom Cited in: 15 Publications all top 5 Cited by 45 Authors 2 Donaldson, Alastair F. 2 Kröning, Daniel 2 Lafortune, Stéphane 2 Pun, Ka I. 2 Reveliotis, Spyros A. 2 Steffen, Martin 2 Stolz, Volker 2 Wang, Chao 2 Wang, Yin 1 Chatterjee, Krishnendu 1 Chiu, Yung-Chang 1 Cho, Hyoun Kyu 1 Chu, Kuo-Chih 1 de Alfaro, Luca 1 Demeyer, Romain 1 D’Souza, Deepak 1 D’Souza, Meenakshi 1 Faella, Marco 1 Gopalakrishnan, Ganesh Lalitha 1 Gupta, Aarti 1 Gupta, Ashutosh 1 Haller, Leopold 1 Henzinger, Thomas A. 1 Huang, Tzu-Chi 1 Kelly, Terence 1 Liang, Tyng Yue 1 Liao, Hongwei 1 Mahlke, Scott A. 1 Majumdar, Rupak 1 Pai, Rekha R. 1 Prakash, Prathibha 1 Radhakrishna, Arjun 1 Raman, Vishwanath 1 Rümmer, Philipp 1 Samanta, Roopsha 1 Shieh, Ce-Kuen 1 Stadtmüller, Kai 1 Stanley, Jason 1 Sulzmann, Martin 1 Tabaei Befrouei, Mitra 1 Tarrach, Thorsten 1 Thiemann, Peter J. 1 Vojdani, Vesal 1 Weissenbacher, Georg 1 Yang, Yu all top 5 Cited in 6 Serials 4 Formal Methods in System Design 1 Parallel Computing 1 Discrete Event Dynamic Systems 1 The Journal of Logic and Algebraic Programming 1 Dissertationes Mathematicae Universitatis Tartuensis 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 14 Computer science (68-XX) 1 Systems theory; control (93-XX) Citations by Year