dataset.csv

Commit,Bug pattern,Interrupt dependent,Hardware dependent,Number of contexts,Synchronization misuse,Discovery source
21d4120ec6f5b5992b01b96ac484701163917b63,atomicity violation,true,true,2,,human
420d42f6f9db27d88bc4f83e3e668fcdacbf7e29,deadlock,true,false,2,spinlock wrong-choice,skip
b33886971dbc4a86d1ec5369a2aaefc60a7cd72d,order violation,false,false,2,,skip
7d31464adf20fb8c075a3a3dfe2002a195566510,atomicity violation,true,true,1,,skip
7809f7011c3bce650e502a98afeb05961470d865,deadlock,true,true,2,,human
1a31182edd0083bb9f26e582ed39f92f898c4d0a,deadlock,false,true,2,,skip
0a67b5a926e63ff5492c3c675eab5900580d056d,atomicity violation,false,true,2,,skip
7072a355ba191c08b0579f0f66e3eba0e28bf818,other,false,true,1,rcu missing-operation,syzbot
a9aecef198faae3240921b707bc09b602e966fce,deadlock,true,false,2,spinlock wrong-choice,skip
7118fc2906e2925d7edb5ed9c8a57f2a5f23b849,atomicity violation,false,true,2,,human
ec0fa0b659144d9c68204d23f627b6a65fa53e50,deadlock,false,true,2,,skip
fcb7381265e6cceb1d54283878d145db52b9d9d7,atomicity violation,false,true,2,,skip
87d0f2a5536fdf5053a6d341880f96135549a644,deadlock,true,false,2,,skip
a1bb8505e92101df94080f81298e3640f5fbe037,order violation,false,true,2,spinlock incorrect-critical-section,skip
506d9b4099a0ce8249bba16b4d0b828fdcf69d9a,deadlock,false,true,2,spinlock incorrect-critical-section,custom testsuite
3ac6487e584a1eb54071dbe1212e05b884136704,atomicity violation,false,true,2,,human
0cada33241d9de205522e3858b18e506ca5cce2c,atomicity violation,false,true,2,,skip
26288448120b28af1dfd85a6fa6b6d55a16c7f2f,atomicity violation,true,false,2,,skip
9327dc0aeef36a3cbb9d94f79b79cc4f91ff8a41,deadlock,false,false,2,,skip
321fe13c939876b55fbb7780a243c86e577a2151,atomicity violation,false,true,2,,skip
3eaf9cc62f447a742b26fa601993e94406aa1ea1,deadlock,false,true,2,rwsem incorrect-critical-section,custom testsuite
88b024f556fcd5bf1288c6333016f576cfa5f539,atomicity violation,false,true,2,spinlock incorrect-critical-section,skip
1f02efd1bb35bee95feed6aab46d1217f29d555b,atomicity violation,true,false,2,__napi_schedule wrong-choice,skip
49f17c26c123b60fd1c74629eef077740d16ffc2,atomicity violation,false,true,2,rwlock incorrect-critical-section,human
e1f1bd9bfbedcfce428ee7e1b82a6ec12d4c3863,order violation,true,false,2,,skip
c68ed7945701a38f2121ed74e23ff19c2052b4c2,atomicity violation,true,true,2,PREEMPT_RT wrong-choice,skip
bda44d844758c70c8dc1478e6fc9c25efa90c5a7,atomicity violation,false,true,2,,skip
bad8e64fb19d3a0de5e564d9a7271c31bd684369,order violation,false,true,2,,syzbot
8627bdedc435865b015cedeb26e3791dec5b3a41,atomicity violation,true,false,2,,skip
57b9df6fa5f56b98baa73f62ed92db81db3de391,deadlock,false,false,2,,skip
8d99129eef8f42377b41c1bacee9f8ce806e9f44,atomicity violation,false,false,2,,skip
35ff867b76576e32f34c698ccd11343f7d616204,atomicity violation,false,false,2,,human
5bb3c1e9d4bc93a9eb4e44a52582d6aa72643b1e,deadlock,false,false,1,mutex incorrect-critical-section,skip
d1366b283d94ac4537a4b3a1e8668da4df7ce7e9,deadlock,true,true,2,,syzbot
1200832c6e850a17f36631f6492f953a1b39e6b8,atomicity violation,false,true,2,,skip
730633f0b7f951726e87f912a6323641f674ae34,atomicity violation,true,true,2,,human
9c2876d56f1ce9b6b2072f1446fb1e8d1532cb3d,deadlock,false,false,1,,skip
31352811e13dc2313f101b890fd4b1ce760b5fe7,atomicity violation,false,false,2,,human
b71eaed8c04f72a919a9c44e83e4ee254e69e7f3,atomicity violation,false,true,2,,syzbot
305a0ade180981686eec1f92aa6252a7c6ebb1cf,atomicity violation,false,true,2,,skip
1ba6fc9af35bf97c84567d9b3eeb26629d1e3af0,other,false,true,3+,,human
2e1e5c5532ffe14ff48811ffe96a40f7dce8645c,atomicity violation,false,false,2,,custom testsuite
cf25ef6b631c6fc6c0435fc91eba8734cca20511,atomicity violation,true,true,2,,skip
9edceaf43050f5ba1dd7d0011bcf68a736a17743,atomicity violation,false,false,2,,skip
1307c5d33cce8a41dd77c2571e4df65a5b627feb,atomicity violation,true,false,2,spinlock wrong-choice,human
3f167e1921865b379a9becf03828e7202c7b4917,other,true,true,1,,human
5f0b5f4d50fa0faa8c76ef9d42a42e8d43f98b44,atomicity violation,false,true,2,,syzbot
140fd5e74a1cc7413df88c735fff5ec64d33c1d3,atomicity violation,true,false,2,,skip
4db7a23605973ac4a2cb24e759bebaaa82054f21,atomicity violation,true,false,2,,skip
99f62a746066fa436aa15d4606a538569540db08,atomicity violation,false,true,2,rcu incorrect-critical-section,skip
c9ebc4b737999ab1f3264c42431f7be80ac2efbf,atomicity violation,false,true,2,,skip
6825b7bd32030486cc94bdd4bb512756fcd5b901,atomicity violation,true,false,2,,human
05883eee857eab4693e7d13ebab06716475c5754,atomicity violation,false,true,2,,syzbot
d554822e82cc99db53b845f3e60dc13e56ad4575,other,false,true,2,,skip
b05dadb28f8779898229e399c21e5192c24beaf2,order violation,true,false,2,memory-barrier missing-operation,skip
55b9a0549e4303ca43481f9ba2cdfa305277d97d,deadlock,false,false,1,mutex wrong-choice,skip
249bd9087a5264d2b8a974081870e2e27671b4dc,atomicity violation,false,true,2,,skip
76ca8da989c7d97a7f76c75d475fe95a584439d7,order violation,false,false,2,,human
79edd00dc6a96644d76b4a1cb97d94d49e026768,atomicity violation,true,false,2,,skip
1cb3db1cf383a3c7dbda1aa0ce748b0958759947,deadlock,false,true,2,,human
12bcaf87d8b66d8cd812479c8a6349dcb245375c,order violation,false,false,2,mutex missing-operation,skip
bca5b0658020be90b6b504ca514fd80110204f71,deadlock,false,false,3+,,human
5dad4ba68a2483fc80d70b9dc90bbe16e1f27263,order violation,true,false,2,,human
ce880cb825fcc22d4e39046a6c3a3a7f6603883d,atomicity violation,false,true,1,rcu missing-operation,custom testsuite
6ae0f2e553737b8cce49a1372573c81130ffa80e,atomicity violation,false,true,2,,skip
ad8d869343ae4a07a2038a4ca923f699308c8323,other,false,true,2,,human
52a67fbf0cffcc1a0d1272cf0522cb193a0d0bd6,other,false,false,1,,skip
7cd740f0e499d9bfd672ff1f3f6512503141abbe,atomicity violation,false,false,2,,skip
8e9eacad7ec7a9cbf262649ebf1fa6e6f6cc7d82,atomicity violation,false,true,2,spinlock incorrect-critical-section,skip
51c8d24101c79ffce3e79137e2cee5dfeb956dd7,deadlock,false,false,1,mutex missing-operation,skip
b9156daeb1601d69007b7e50efcf89d69d72ec1d,deadlock,false,false,2,,human
c9467447fc50ec3715d8ec98f4da874fce539235,atomicity violation,false,true,2,preempt_enable wrong-choice,skip
e86fc1a3a3e9b4850fe74d738e3cfcf4297d8bba,atomicity violation,true,true,2,,human
fa349e396e4886d742fd6501c599ec627ef1353b,order violation,true,true,2,,skip
4e9c93af7279b059faf5bb1897ee90512b258a12,atomicity violation,false,true,2,,syzbot
6e4bd50f3888fa8fea8bc66a0ad4ad5f1c862961,atomicity violation,true,true,2,,syzbot
fd5736bf9f235d26c83cac8a16c70bbdafa55abe,atomicity violation,false,false,2,,skip
c1ac9a4b0797ca8bb4470f863a5f78ef1ab13bed,atomicity violation,true,false,2,,skip
feb8e960d780e170e992a70491eec9dd68f4dbf2,deadlock,false,false,1,,skip
e04ec0de61c1eb9693179093e83ab8ca68a30d08,order violation,false,true,2,smp_mb wrong-choice,custom testsuite
ff48b6222e65ebdba5a403ef1deba6214e749193,order violation,true,true,2,,human
9ae1f8dd372e0e4c020b345cf9e09f519265e981,deadlock,true,true,2,,syzbot
da0363f7bfd3c32f8d5918e40bfddb9905c86ee1,atomicity violation,true,false,2,,skip
0d4ee88d92884c661fcafd5576da243aa943dc24,deadlock,false,false,2,,skip
d94b2d00f7bfa0c555e7b8724b1faa037d57d150,deadlock,false,true,1,,syzbot
2b9e583d0aadcf6578e2595c07d3b1e898013d17,order violation,false,false,2,,skip
ec4eb8a86ade4d22633e1da2a7d85a846b7d1798,other,true,false,2,,skip
a14bf98c045bf119b7e779f186528e38c6428830,deadlock,true,false,2,,skip
4f76617378ee97c557b526cb58d3c61eb0a9c963,atomicity violation,false,false,2,,skip
17c84cb46e33fcd682d5d5d6180162374cb24a34,order violation,false,false,2,rcu wrong-choice,skip
3968ddcf05fb4b9409cd1859feb06a5b0550a1c1,other,true,true,2,sched missing-operation,custom testsuite
7866076b924ad4f285bd4596630a8ca7b8333319,atomicity violation,true,true,2,,syzbot
b80cd524ac44a29635eec377c6f845b3c321b592,atomicity violation,false,false,2,,skip
935d31fdda2c69324b3eeb648a73fdedf4131474,deadlock,false,false,1,mutex missing-operation,custom testsuite
edd11922e3d01549fc6f5a1fa1413eb2f7d5be55,atomicity violation,false,false,2,,skip
6b580f523172f2c738b661069a57c23c74a75f88,atomicity violation,false,true,2,,skip
ca22354b140853b8155692d5b2bc0110aa54e937,order violation,false,true,2,,skip
4d24de9425f75fe489ab651113b97f3f7b4dea62,atomicity violation,false,true,2,,syzbot
97b0129146b1544bbb0773585327896da3bb4e0a,deadlock,false,false,1,,skip
3c8fc87820446ce5b948dc17648509340102b818,order violation,false,true,2,,syzbot
50a3633ae5e98cf1b80ef5b73c9e341aee9ad896,atomicity violation,false,true,2,,skip
7e5a70ad88b1e6f6d9b934b2efb41afff496820f,deadlock,false,true,2,mutex incorrect-critical-section,skip
0b80f9866e6bbfb905140ed8787ff2af03652c0c,atomicity violation,true,false,2,atomic_operation wrong-choice,human
8843e06f67b14f71c044bf6267b2387784c7e198,atomicity violation,true,true,2,,human
08adf452e628b0e2ce9a01048cfbec52353703d7,atomicity violation,false,true,2,,skip
1bd33bf0fe6d3012410db0302187199871b510a0,atomicity violation,false,false,2,mutex wrong-choice,skip
bb175342aa64e6c6f1d04f5235502121d6ff0247,atomicity violation,false,true,2,,skip
09a8361e3b681ef6b56cc56f7b2905b4455d6774,deadlock,skip,true,1,,human
5f2ca73dcca96c3de96a0e4d9ea24ebb46c55d2e,atomicity violation,false,false,2,,skip
1d79895aef18fa05789995d86d523c9b2ee58a02,order violation,false,true,2,,human
7ef64ed121c7b9bef7b79b08022a5a847bac0849,atomicity violation,true,false,2,,skip
9ffed254d938c9e99eb7761c7f739294c84e0367,atomicity violation,false,false,2,,human
dc0d4ed26dd2166b47c29d6a9829ac798e62a0fc,atomicity violation,true,false,2,,skip
1dace014928e6e385363032d359a04dee9158af0,atomicity violation,false,true,2,,skip
ab39d6988dd53f354130438d8afa5596a2440fed,other,true,false,1,spinlock wrong-choice,skip
8454d68563d400fa09b63dc636361b6702ceb8af,order violation,false,true,2,,skip
90d2f1da832fd23290ef0c0d964d97501e5e8553,other,false,true,2,mutex missing-operation,skip
7927afb5e27baac694f585b59c436ba323528dc2,order violation,false,false,1,rcu missing-operation,human
ed17aa92dc56b6d8883e4b7a8f1c6fbf5ed6cd29,deadlock,true,true,2,spinlock wrong-choice,human
5644e1fbbfe15ad06785502bbfe5751223e5841d,atomicity violation,true,true,2,,skip
b09c551c77c7e01dc6e4f3c8bf06b5ffa7b06db5,atomicity violation,true,false,2,,skip
06f07e2365378d51eddd0b5bf23506e1237662b0,deadlock,false,false,1,,human
8ae954caf49ac403c177d117fb8e05cbc866aa3c,deadlock,false,false,1,spinlock incorrect-critical-section,skip
c471748dc742c207a5461be924538c286d66be3e,atomicity violation,false,false,2,,skip
2ee471a1e28ec79fbfcdc8900ed0ed74132b0efe,atomicity violation,true,false,2,,human
7b97d868b7ab2448859668de9222b8af43f76e78,atomicity violation,false,true,2,,skip
14948e39445db674516ccabdf01090586ecfdc9b,atomicity violation,false,false,2,,human
d95d6320ba7a51d61c097ffc3bcafcf70283414e,atomicity violation,false,true,2,,syzbot
489dd102a2c7c94d783a35f9412eb085b8da1aa4,deadlock,false,true,2,,human
dd0ecf544125639e54056d851e4887dbb94b6d2f,deadlock,false,true,2,,human
0db37915d912e8dc6588f25da76d3ed36718d92f,order violation,false,false,2,,human
fc6c01f0cd10b89c4b01dd2940e0b0cda1bd82fb,deadlock,false,false,2,rw_semaphore incorrect-critical-section,skip
1a48db3fef499f615b56093947ec4b0d3d8e3021,atomicity violation,false,true,2,atomic_operation wrong-choice,skip
1eb52a6a71981b80f9acbd915acd6a05a5037196,order violation,false,true,2,semaphore incorrect-critical-section,human
0f1e4d06591d0a7907c71f7b6d1c79f8a4de8098,atomicity violation,false,true,2,,skip
00921306751001b539ebee34171485cd9c749024,atomicity violation,false,false,2,,skip
4bdc42094d9c4af75f90ee49b9009ea8dfe41444,atomicity violation,false,false,2,,custom testsuite
5f33141d2fc05a2d2134ba0e7b47ce4aa88340f0,order violation,false,true,2,,skip
408464b4cbcf0a22ea8f96dab15d87a2f43ffed7,atomicity violation,false,false,2,,skip
ba3a86e47232ad9f76160929f33ac9c64e4d0567,deadlock,false,true,2,,custom testsuite
959c5d5134786b4988b6fdd08e444aa67d1667ed,other,true,false,2,,skip
b6d49ecd1081740b6e632366428b960461f8158b,order violation,skip,true,2,,skip
4da112513c01d7d0acf1025b8764349d46e177d6,deadlock,false,true,2,workqueue missing-operation,skip
8f78caa2264ece71c2e207cba023f28ab6665138,deadlock,false,false,1,mutex incorrect-critical-section,skip
17c05f18e54158a3eed0c22c85b7a756b63dcc01,atomicity violation,false,true,1,,human
fd2ef39cc9a6b9c4c41864ac506906c52f94b06a,deadlock,false,true,2,spinlock incorrect-critical-section,skip
307cc9baac5c07b23da78d75c3d4755e9cffab26,other,true,true,2,,human
ce49324261956f4bdec633280f30bf0697dafaef,deadlock,false,false,1,mutex wrong-choice,skip
ba3684f99f1b25d2a30b6956d02d339d7acb9799,other,true,false,1,,skip
8a1ae2781dee9fc21ca82db682d37bea4bd074ad,atomicity violation,false,true,1,,custom testsuite
8c0ae778e2874f3742bd619000b791d178c187e2,atomicity violation,false,true,2,waitqueue wrong-choice,skip
d651ce8e917fa1bf6cfab8dca74c512edffc35d3,order violation,true,false,2,IRQ incorrect-critical-section,human
e7db9e5c6b9615b287d01f0231904fbc1fbde9c5,atomicity violation,false,true,2,spinlock incorrect-critical-section,skip
ec7470b834fe7b5d7eff11b6677f5d7fdf5e9a91,atomicity violation,false,true,2,,human
72ea7fe0db73d65c7d977208842d8ade9b823de9,order violation,false,false,2,,skip
13085e1b5cab8ad802904d72e6a6dae85ae0cd20,deadlock,false,true,2,workqueue wrong-choice,skip
22c74764aa2943ecdf9f07c900d8a9c8ba6c9265,order violation,false,true,2,,human
d4f194ed9eb9841a8f978710e4d24296f791a85b,deadlock,false,false,1,,skip
029c4628b2eb2ca969e9bf979b05dc18d8d5575e,deadlock,true,true,2,sched wrong-choice,custom testsuite
5039b170369d22613ebc07e81410891f52280a45,deadlock,false,false,3+,rw_semaphore wrong-chioce,human
178b0013f074da545492662ec76dc2be363ca85c,deadlock,false,false,2,mutex wrong-choice,skip
74240a5bebd48d8b843c6d0f1acfaa722a5abeb7,order violation,false,false,2,,skip
44c200876a45429473ff683bd491ccf3a73eb915,deadlock,false,false,2,,human
d0b78265cac9d8b5f7d5c97fa44860d6ab952dc8,atomicity violation,true,false,2,,skip
5d73d1e320c3fd94ea15ba5f79301da9a8bcc7de,atomicity violation,false,true,2,,human
ed05c7cf1286d7e31e7623bce55ff135723591bf,deadlock,false,false,2,workqueue wrong-choice,skip
f5eff5591b8f9c5effd25c92c758a127765f74c1,deadlock,false,false,2,rwsem incorrect-critical-section,human
5b6cc38f3f3f37109ce72b60bda215a5f6892c0b,atomicity violation,true,true,2,spinlock incorrect-critical-section,skip
00fa15e0d56482e32d8ca1f51d76b0ee00afb16b,atomicity violation,false,true,2,,human
0eaa80124271966c595322ec0ac4b9c54f6aa7ee,atomicity violation,false,false,2,,skip
513861202d1259e35934e206b79cd54f523d79b5,atomicity violation,true,true,2,PREEMPT_RT wrong-choice,skip
e36bea6e78ab2b6c9c7396972fee231eae551cfc,deadlock,false,true,1,workqueue missing-operation,human
4a81f6da9cb2d1ef911131a6fd8bd15cb61fc772,deadlock,false,true,1,,syzbot
2bb90e5cc90e1d09f631aeab041a9cf913a5bbe5,order violation,false,true,2,rcu missing-operation,syzbot
8cfc47fc2eb0fd2d6eaa9e4b23b4bf6ef1bfaeef,atomicity violation,false,true,2,,skip
c5b493ce192bd7a4e7bd073b5685aad121eeef82,atomicity violation,false,true,2,,skip
9fb90193fbd66b4c5409ef729fd081861f8b6351,atomicity violation,false,true,2,,skip
41884cdda653d8a20a99b5d6f321c496cb377690,order violation,false,false,2,,skip
c336a5ee984708db4826ef9e47d184e638e29717,atomicity violation,false,true,2,mutex incorrect-critical-section,human
95e5fda3b5f9ed8239b145da3fa01e641cf5d53c,atomicity violation,true,false,1,mutex missing-operation,skip
a657430260e5437df16004c8c317821d946b5ead,atomicity violation,false,true,2,,human
2a2403ca3add03f542f6b34bef9f74649969b06d,atomicity violation,false,true,2,,human
1bcb344086f3ecf8d6705f6d708441baa823beb3,atomicity violation,false,true,2,spinlock incorrect-critical-section,human
2a4eb714841f288cf51c7d942d98af6a8c6e4b01,atomicity violation,false,true,2,,skip
4d337cebcb1c27d9b48c48b9a98e939d4552d584,atomicity violation,false,true,2,,skip
f91072ed1b7283b13ca57fcfbece5a3b92726143,atomicity violation,false,true,2,atomic wrong-choice,skip
a2614140dc0f467a83aa3bb4b6ee2d6480a76202,order violation,skip,false,2,,human
813ceef062b53d68f296aa3cb944b21a091fabdb,atomicity violation,false,true,2,mutex incorrect-critical-section,syzbot
61f434b0280ed65495831f1b6e1a5c21a90f47c6,order violation,false,true,2,,skip
fecffa4668cf62e679aeea8caa9d0f241f822578,atomicity violation,false,false,2,,skip
1a2c070ae805910a853b4a14818481ed2e17c727,atomicity violation,true,false,2,,human
148ca04518070910739dfc4eeda765057856403d,order violation,true,true,2,,skip
1007843a91909a4995ee78a538f62d8665705b66,deadlock,true,true,2,seqlock wrong-choice,syzbot
622b2a0ab647d2755f2c1f1000d3403e86a69763,order violation,false,false,2,,skip
e5309d7f66105011e0597fd55ff2ef7f636f52c6,order violation,false,false,2,,human
25af7406df5915f04d5f1c8f081dabb0ead1cdcc,atomicity violation,false,false,2,,human
a1dfb6311c7739e21e160bc4c5575a1b21b48c87,other,false,true,2,,human
30336ef6f13e41097dd26c8e693ba75e802fcb21,order violation,false,false,1,spinlock  missing-operation,human
69e16d01d1de4f1249869de342915f608feb55d5,order violation,false,true,2,,human
fd42bfd1bb31f9a521be6b4f1bd89b85abc08d20,order violation,true,false,2,,skip