From 96049c939b1916d80532630d63c14e04d5244f1d Mon Sep 17 00:00:00 2001 From: Christian Krinitsin Date: Sat, 5 Jul 2025 20:00:38 +0200 Subject: lock user-mode and semantic-bugs --- results/classifier/semantic-bugs/1095857 | 20 +- results/classifier/semantic-bugs/1156 | 13 +- results/classifier/semantic-bugs/1245543 | 22 +- results/classifier/semantic-bugs/1248168 | 20 +- results/classifier/semantic-bugs/1251 | 17 + results/classifier/semantic-bugs/1267955 | 147 +--- results/classifier/semantic-bugs/1283519 | 12 + results/classifier/semantic-bugs/1308381 | 16 + results/classifier/semantic-bugs/1368 | 40 + results/classifier/semantic-bugs/1441 | 36 + results/classifier/semantic-bugs/1536 | 18 + results/classifier/semantic-bugs/1574346 | 31 +- results/classifier/semantic-bugs/1605123 | 30 + results/classifier/semantic-bugs/1612 | 13 +- results/classifier/semantic-bugs/1642 | 24 + results/classifier/semantic-bugs/1713066 | 21 + results/classifier/semantic-bugs/1722 | 13 +- results/classifier/semantic-bugs/1737 | 13 +- results/classifier/semantic-bugs/1738434 | 24 +- results/classifier/semantic-bugs/1748296 | 72 +- results/classifier/semantic-bugs/1751422 | 69 +- results/classifier/semantic-bugs/1756927 | 31 +- results/classifier/semantic-bugs/1771 | 13 +- results/classifier/semantic-bugs/1780 | 13 +- results/classifier/semantic-bugs/1790 | 13 +- results/classifier/semantic-bugs/1793608 | 35 +- results/classifier/semantic-bugs/1818075 | 82 +- results/classifier/semantic-bugs/1820686 | 22 +- results/classifier/semantic-bugs/1824344 | 28 +- results/classifier/semantic-bugs/1828867 | 42 +- results/classifier/semantic-bugs/1832422 | 26 +- results/classifier/semantic-bugs/1833 | 86 ++ results/classifier/semantic-bugs/1841990 | 40 + results/classifier/semantic-bugs/1861404 | 175 +--- results/classifier/semantic-bugs/1862167 | 5 + results/classifier/semantic-bugs/1863247 | 27 +- results/classifier/semantic-bugs/1873898 | 40 + results/classifier/semantic-bugs/1889288 | 9 + results/classifier/semantic-bugs/1901 | 13 +- results/classifier/semantic-bugs/1905356 | 14 + results/classifier/semantic-bugs/1912934 | 63 +- results/classifier/semantic-bugs/1916269 | 53 +- results/classifier/semantic-bugs/1918026 | 31 + results/classifier/semantic-bugs/1922887 | 32 + results/classifier/semantic-bugs/1925512 | 20 + results/classifier/semantic-bugs/1926759 | 57 +- results/classifier/semantic-bugs/1941 | 104 +++ results/classifier/semantic-bugs/1967248 | 40 + results/classifier/semantic-bugs/2083 | 113 +++ results/classifier/semantic-bugs/2089 | 13 +- results/classifier/semantic-bugs/2136 | 37 + results/classifier/semantic-bugs/2175 | 13 +- results/classifier/semantic-bugs/2203 | 3 + results/classifier/semantic-bugs/2248 | 13 +- results/classifier/semantic-bugs/2302 | 13 +- results/classifier/semantic-bugs/2317 | 13 +- results/classifier/semantic-bugs/2318 | 13 +- results/classifier/semantic-bugs/2319 | 19 + results/classifier/semantic-bugs/2371 | 13 +- results/classifier/semantic-bugs/2373 | 97 ++ results/classifier/semantic-bugs/2375 | 87 ++ results/classifier/semantic-bugs/2376 | 116 +++ results/classifier/semantic-bugs/2419 | 20 + results/classifier/semantic-bugs/2422 | 71 ++ results/classifier/semantic-bugs/2474 | 98 +++ results/classifier/semantic-bugs/2483 | 22 + results/classifier/semantic-bugs/2495 | 74 ++ results/classifier/semantic-bugs/2497 | 13 +- results/classifier/semantic-bugs/2498 | 53 ++ results/classifier/semantic-bugs/2499 | 32 + results/classifier/semantic-bugs/2500 | 13 +- results/classifier/semantic-bugs/2536 | 3 + results/classifier/semantic-bugs/266 | 13 +- results/classifier/semantic-bugs/2672 | 13 +- results/classifier/semantic-bugs/2730 | 12 + results/classifier/semantic-bugs/2802 | 28 + results/classifier/semantic-bugs/312 | 3 + results/classifier/semantic-bugs/361 | 13 +- results/classifier/semantic-bugs/364 | 3 + results/classifier/semantic-bugs/422 | 3 + results/classifier/semantic-bugs/508 | 13 +- results/classifier/semantic-bugs/754 | 209 +++++ results/classifier/semantic-bugs/799 | 13 +- results/classifier/semantic-bugs/890 | 3 + results/classifier/semantic-bugs/993 | 83 ++ results/classifier/user-mode-bugs/1007 | 3 + results/classifier/user-mode-bugs/1010 | 80 ++ results/classifier/user-mode-bugs/1010484 | 8 + results/classifier/user-mode-bugs/1012 | 43 + results/classifier/user-mode-bugs/1022 | 35 + results/classifier/user-mode-bugs/1027 | 17 + results/classifier/user-mode-bugs/1028 | 36 + results/classifier/user-mode-bugs/1031920 | 39 + results/classifier/user-mode-bugs/1033 | 29 + results/classifier/user-mode-bugs/1034 | 19 + results/classifier/user-mode-bugs/1041 | 33 + results/classifier/user-mode-bugs/1044 | 3 + results/classifier/user-mode-bugs/1051 | 3 + results/classifier/user-mode-bugs/1052857 | 17 + results/classifier/user-mode-bugs/1054812 | 7 + results/classifier/user-mode-bugs/1054831 | 19 + results/classifier/user-mode-bugs/1059 | 12 + results/classifier/user-mode-bugs/1066909 | 9 + results/classifier/user-mode-bugs/1068900 | 7 + results/classifier/user-mode-bugs/1070 | 12 + results/classifier/user-mode-bugs/1072 | 26 + results/classifier/user-mode-bugs/1075 | 18 + results/classifier/user-mode-bugs/1075272 | 15 + results/classifier/user-mode-bugs/1075339 | 5 + results/classifier/user-mode-bugs/1076445 | 47 + results/classifier/user-mode-bugs/1086 | 71 ++ results/classifier/user-mode-bugs/1092 | 16 + results/classifier/user-mode-bugs/1093 | 35 + results/classifier/user-mode-bugs/1095531 | 59 ++ results/classifier/user-mode-bugs/1095857 | 13 + results/classifier/user-mode-bugs/1098729 | 45 + results/classifier/user-mode-bugs/1102 | 40 + results/classifier/user-mode-bugs/1111 | 20 + results/classifier/user-mode-bugs/1128 | 26 + results/classifier/user-mode-bugs/1129571 | 16 + results/classifier/user-mode-bugs/1143 | 80 ++ results/classifier/user-mode-bugs/1147 | 11 + results/classifier/user-mode-bugs/1156 | 3 + results/classifier/user-mode-bugs/1165383 | 5 + results/classifier/user-mode-bugs/1172613 | 65 ++ results/classifier/user-mode-bugs/1178 | 3 + results/classifier/user-mode-bugs/1182490 | 78 ++ results/classifier/user-mode-bugs/1187319 | 10 + results/classifier/user-mode-bugs/1207896 | 5 + results/classifier/user-mode-bugs/1209 | 7 + results/classifier/user-mode-bugs/121 | 3 + results/classifier/user-mode-bugs/1211 | 9 + results/classifier/user-mode-bugs/122 | 3 + results/classifier/user-mode-bugs/1221966 | 36 + results/classifier/user-mode-bugs/1228 | 45 + results/classifier/user-mode-bugs/1233225 | 26 + results/classifier/user-mode-bugs/1238 | 121 +++ results/classifier/user-mode-bugs/1245543 | 25 + results/classifier/user-mode-bugs/1245703 | 11 + results/classifier/user-mode-bugs/1246990 | 40 + results/classifier/user-mode-bugs/1248 | 13 + results/classifier/user-mode-bugs/1248168 | 26 + results/classifier/user-mode-bugs/1251 | 17 + results/classifier/user-mode-bugs/1254672 | 43 + results/classifier/user-mode-bugs/1254786 | 44 + results/classifier/user-mode-bugs/1254828 | 39 + results/classifier/user-mode-bugs/1255 | 13 + results/classifier/user-mode-bugs/1261 | 27 + results/classifier/user-mode-bugs/1261743 | 7 + results/classifier/user-mode-bugs/1263747 | 31 + results/classifier/user-mode-bugs/1267 | 95 ++ results/classifier/user-mode-bugs/1267955 | 44 + results/classifier/user-mode-bugs/127 | 3 + results/classifier/user-mode-bugs/1283519 | 12 + results/classifier/user-mode-bugs/1285363 | 47 + results/classifier/user-mode-bugs/1287195 | 5 + results/classifier/user-mode-bugs/1294898 | 80 ++ results/classifier/user-mode-bugs/1308381 | 16 + results/classifier/user-mode-bugs/1311614 | 49 ++ results/classifier/user-mode-bugs/1319100 | 71 ++ results/classifier/user-mode-bugs/1328996 | 5 + results/classifier/user-mode-bugs/1339 | 18 + results/classifier/user-mode-bugs/1346769 | 38 + results/classifier/user-mode-bugs/1346784 | 69 ++ results/classifier/user-mode-bugs/1356916 | 8 + results/classifier/user-mode-bugs/1357206 | 61 ++ results/classifier/user-mode-bugs/1357226 | 13 + results/classifier/user-mode-bugs/1361 | 22 + results/classifier/user-mode-bugs/1361912 | 11 + results/classifier/user-mode-bugs/1362635 | 44 + results/classifier/user-mode-bugs/1368 | 40 + results/classifier/user-mode-bugs/1370 | 15 + results/classifier/user-mode-bugs/1371 | 21 + results/classifier/user-mode-bugs/1372 | 22 + results/classifier/user-mode-bugs/1373 | 22 + results/classifier/user-mode-bugs/1374 | 24 + results/classifier/user-mode-bugs/1375 | 21 + results/classifier/user-mode-bugs/1376 | 17 + results/classifier/user-mode-bugs/1388 | 16 + results/classifier/user-mode-bugs/1394 | 63 ++ results/classifier/user-mode-bugs/1397 | 3 + results/classifier/user-mode-bugs/140 | 3 + results/classifier/user-mode-bugs/1404690 | 40 + results/classifier/user-mode-bugs/1412 | 7 + results/classifier/user-mode-bugs/1416988 | 34 + results/classifier/user-mode-bugs/1428352 | 46 + results/classifier/user-mode-bugs/1429313 | 11 + results/classifier/user-mode-bugs/1435 | 18 + results/classifier/user-mode-bugs/1441 | 36 + results/classifier/user-mode-bugs/1452 | 3 + results/classifier/user-mode-bugs/1457275 | 107 +++ results/classifier/user-mode-bugs/1462640 | 37 + results/classifier/user-mode-bugs/1469342 | 5 + results/classifier/user-mode-bugs/1470170 | 42 + results/classifier/user-mode-bugs/1471 | 18 + results/classifier/user-mode-bugs/1478 | 68 ++ results/classifier/user-mode-bugs/1494 | 934 ++++++++++++++++++++ results/classifier/user-mode-bugs/1495 | 8 + results/classifier/user-mode-bugs/1512 | 3 + results/classifier/user-mode-bugs/1516408 | 33 + results/classifier/user-mode-bugs/1519037 | 9 + results/classifier/user-mode-bugs/1527765 | 74 ++ results/classifier/user-mode-bugs/1528 | 11 + results/classifier/user-mode-bugs/1528239 | 47 + results/classifier/user-mode-bugs/1531 | 17 + results/classifier/user-mode-bugs/1533141 | 17 + results/classifier/user-mode-bugs/1536 | 18 + results/classifier/user-mode-bugs/1541 | 34 + results/classifier/user-mode-bugs/1547 | 14 + results/classifier/user-mode-bugs/1550503 | 15 + results/classifier/user-mode-bugs/1553 | 14 + results/classifier/user-mode-bugs/1563612 | 52 ++ results/classifier/user-mode-bugs/1568107 | 11 + results/classifier/user-mode-bugs/1574346 | 14 + results/classifier/user-mode-bugs/1585840 | 11 + results/classifier/user-mode-bugs/1590336 | 17 + results/classifier/user-mode-bugs/1591611 | 25 + results/classifier/user-mode-bugs/1593 | 9 + results/classifier/user-mode-bugs/1594069 | 10 + results/classifier/user-mode-bugs/1594394 | 43 + results/classifier/user-mode-bugs/1603734 | 9 + results/classifier/user-mode-bugs/1605123 | 30 + results/classifier/user-mode-bugs/1605443 | 13 + results/classifier/user-mode-bugs/1606 | 31 + results/classifier/user-mode-bugs/1611394 | 31 + results/classifier/user-mode-bugs/1612 | 53 ++ results/classifier/user-mode-bugs/1613817 | 58 ++ results/classifier/user-mode-bugs/1614348 | 41 + results/classifier/user-mode-bugs/1617929 | 52 ++ results/classifier/user-mode-bugs/1619896 | 52 ++ results/classifier/user-mode-bugs/1620 | 96 ++ results/classifier/user-mode-bugs/1623020 | 57 ++ results/classifier/user-mode-bugs/1637 | 3 + results/classifier/user-mode-bugs/1641637 | 715 +++++++++++++++ results/classifier/user-mode-bugs/1641861 | 38 + results/classifier/user-mode-bugs/1642 | 24 + results/classifier/user-mode-bugs/1643619 | 34 + results/classifier/user-mode-bugs/1648 | 60 ++ results/classifier/user-mode-bugs/1650 | 16 + results/classifier/user-mode-bugs/1654137 | 9 + results/classifier/user-mode-bugs/1659901 | 11 + results/classifier/user-mode-bugs/1661815 | 28 + results/classifier/user-mode-bugs/1667401 | 69 ++ results/classifier/user-mode-bugs/1671 | 1359 +++++++++++++++++++++++++++++ results/classifier/user-mode-bugs/1673976 | 13 + results/classifier/user-mode-bugs/1689367 | 28 + results/classifier/user-mode-bugs/1696353 | 37 + results/classifier/user-mode-bugs/1696773 | 9 + results/classifier/user-mode-bugs/1697 | 21 + results/classifier/user-mode-bugs/1701808 | 18 + results/classifier/user-mode-bugs/1701821 | 216 +++++ results/classifier/user-mode-bugs/1701971 | 47 + results/classifier/user-mode-bugs/1701973 | 19 + results/classifier/user-mode-bugs/1701974 | 19 + results/classifier/user-mode-bugs/1704638 | 67 ++ results/classifier/user-mode-bugs/1707 | 25 + results/classifier/user-mode-bugs/1713066 | 21 + results/classifier/user-mode-bugs/1715162 | 74 ++ results/classifier/user-mode-bugs/1716292 | 32 + results/classifier/user-mode-bugs/1716767 | 36 + results/classifier/user-mode-bugs/1722 | 89 ++ results/classifier/user-mode-bugs/1724485 | 20 + results/classifier/user-mode-bugs/1725267 | 33 + results/classifier/user-mode-bugs/1726394 | 7 + results/classifier/user-mode-bugs/1727737 | 27 + results/classifier/user-mode-bugs/1728116 | 49 ++ results/classifier/user-mode-bugs/1729 | 49 ++ results/classifier/user-mode-bugs/1734 | 18 + results/classifier/user-mode-bugs/1734792 | 9 + results/classifier/user-mode-bugs/1735384 | 22 + results/classifier/user-mode-bugs/1736 | 69 ++ results/classifier/user-mode-bugs/1737 | 51 ++ results/classifier/user-mode-bugs/1737444 | 95 ++ results/classifier/user-mode-bugs/1738434 | 30 + results/classifier/user-mode-bugs/1738545 | 33 + results/classifier/user-mode-bugs/1740219 | 61 ++ results/classifier/user-mode-bugs/1741 | 3 + results/classifier/user-mode-bugs/1748296 | 27 + results/classifier/user-mode-bugs/1748612 | 17 + results/classifier/user-mode-bugs/1749393 | 28 + results/classifier/user-mode-bugs/1751422 | 6 + results/classifier/user-mode-bugs/1755 | 22 + results/classifier/user-mode-bugs/1756 | 45 + results/classifier/user-mode-bugs/1756519 | 48 + results/classifier/user-mode-bugs/1756807 | 69 ++ results/classifier/user-mode-bugs/1756927 | 20 + results/classifier/user-mode-bugs/1760 | 55 ++ results/classifier/user-mode-bugs/1761153 | 25 + results/classifier/user-mode-bugs/1761401 | 12 + results/classifier/user-mode-bugs/1761535 | 38 + results/classifier/user-mode-bugs/1763 | 14 + results/classifier/user-mode-bugs/1763536 | 85 ++ results/classifier/user-mode-bugs/1765970 | 63 ++ results/classifier/user-mode-bugs/1768 | 34 + results/classifier/user-mode-bugs/1768246 | 15 + results/classifier/user-mode-bugs/1770 | 24 + results/classifier/user-mode-bugs/1771 | 35 + results/classifier/user-mode-bugs/1773743 | 23 + results/classifier/user-mode-bugs/1774149 | 78 ++ results/classifier/user-mode-bugs/1776478 | 48 + results/classifier/user-mode-bugs/1777226 | 17 + results/classifier/user-mode-bugs/1779 | 32 + results/classifier/user-mode-bugs/1779634 | 37 + results/classifier/user-mode-bugs/1780 | 19 + results/classifier/user-mode-bugs/1781281 | 30 + results/classifier/user-mode-bugs/1783362 | 49 ++ results/classifier/user-mode-bugs/1785203 | 45 + results/classifier/user-mode-bugs/1785734 | 77 ++ results/classifier/user-mode-bugs/1790 | 31 + results/classifier/user-mode-bugs/1791763 | 15 + results/classifier/user-mode-bugs/1791796 | 125 +++ results/classifier/user-mode-bugs/1793119 | 31 + results/classifier/user-mode-bugs/1793539 | 11 + results/classifier/user-mode-bugs/1793608 | 18 + results/classifier/user-mode-bugs/1796520 | 38 + results/classifier/user-mode-bugs/1798 | 3 + results/classifier/user-mode-bugs/1799200 | 42 + results/classifier/user-mode-bugs/1805 | 68 ++ results/classifier/user-mode-bugs/1805913 | 23 + results/classifier/user-mode-bugs/1806243 | 86 ++ results/classifier/user-mode-bugs/1807 | 26 + results/classifier/user-mode-bugs/1808563 | 19 + results/classifier/user-mode-bugs/1808565 | 9 + results/classifier/user-mode-bugs/1810433 | 49 ++ results/classifier/user-mode-bugs/1812 | 27 + results/classifier/user-mode-bugs/1812451 | 16 + results/classifier/user-mode-bugs/1812861 | 24 + results/classifier/user-mode-bugs/1813307 | 23 + results/classifier/user-mode-bugs/1813398 | 43 + results/classifier/user-mode-bugs/1814128 | 157 ++++ results/classifier/user-mode-bugs/1815024 | 17 + results/classifier/user-mode-bugs/1818075 | 55 ++ results/classifier/user-mode-bugs/1818483 | 44 + results/classifier/user-mode-bugs/1819 | 12 + results/classifier/user-mode-bugs/1820686 | 7 + results/classifier/user-mode-bugs/1821006 | 37 + results/classifier/user-mode-bugs/1821430 | 34 + results/classifier/user-mode-bugs/1821444 | 31 + results/classifier/user-mode-bugs/1821515 | 40 + results/classifier/user-mode-bugs/1824344 | 47 + results/classifier/user-mode-bugs/1826568 | 15 + results/classifier/user-mode-bugs/1828867 | 10 + results/classifier/user-mode-bugs/1829459 | 37 + results/classifier/user-mode-bugs/1830 | 28 + results/classifier/user-mode-bugs/1832353 | 22 + results/classifier/user-mode-bugs/1832422 | 11 + results/classifier/user-mode-bugs/1832916 | 7 + results/classifier/user-mode-bugs/1833 | 86 ++ results/classifier/user-mode-bugs/1833668 | 29 + results/classifier/user-mode-bugs/1834496 | 29 + results/classifier/user-mode-bugs/1835693 | 19 + results/classifier/user-mode-bugs/1835839 | 23 + results/classifier/user-mode-bugs/1836078 | 24 + results/classifier/user-mode-bugs/1836192 | 23 + results/classifier/user-mode-bugs/1836558 | 50 ++ results/classifier/user-mode-bugs/1837 | 37 + results/classifier/user-mode-bugs/1840922 | 23 + results/classifier/user-mode-bugs/1841990 | 40 + results/classifier/user-mode-bugs/1847467 | 18 + results/classifier/user-mode-bugs/1854 | 20 + results/classifier/user-mode-bugs/1854738 | 30 + results/classifier/user-mode-bugs/1857 | 54 ++ results/classifier/user-mode-bugs/1857811 | 9 + results/classifier/user-mode-bugs/1858415 | 26 + results/classifier/user-mode-bugs/1858461 | 25 + results/classifier/user-mode-bugs/1859713 | 27 + results/classifier/user-mode-bugs/1860053 | 22 + results/classifier/user-mode-bugs/1860056 | 22 + results/classifier/user-mode-bugs/1860610 | 9 + results/classifier/user-mode-bugs/1861341 | 32 + results/classifier/user-mode-bugs/1861404 | 52 ++ results/classifier/user-mode-bugs/1861605 | 18 + results/classifier/user-mode-bugs/1862167 | 5 + results/classifier/user-mode-bugs/1862986 | 66 ++ results/classifier/user-mode-bugs/1863247 | 10 + results/classifier/user-mode-bugs/1863445 | 18 + results/classifier/user-mode-bugs/1869073 | 9 + results/classifier/user-mode-bugs/1869241 | 21 + results/classifier/user-mode-bugs/1869782 | 15 + results/classifier/user-mode-bugs/1870477 | 35 + results/classifier/user-mode-bugs/1873898 | 40 + results/classifier/user-mode-bugs/1874888 | 45 + results/classifier/user-mode-bugs/1876373 | 50 ++ results/classifier/user-mode-bugs/1877794 | 5 + results/classifier/user-mode-bugs/1878501 | 33 + results/classifier/user-mode-bugs/1880225 | 139 +++ results/classifier/user-mode-bugs/1880332 | 9 + results/classifier/user-mode-bugs/1880722 | 16 + results/classifier/user-mode-bugs/1881450 | 25 + results/classifier/user-mode-bugs/1883268 | 39 + results/classifier/user-mode-bugs/1883784 | 11 + results/classifier/user-mode-bugs/1884719 | 134 +++ results/classifier/user-mode-bugs/1885350 | 25 + results/classifier/user-mode-bugs/1886097 | 35 + results/classifier/user-mode-bugs/1887306 | 57 ++ results/classifier/user-mode-bugs/1888303 | 22 + results/classifier/user-mode-bugs/1888728 | 21 + results/classifier/user-mode-bugs/1889288 | 9 + results/classifier/user-mode-bugs/1889411 | 65 ++ results/classifier/user-mode-bugs/1890 | 27 + results/classifier/user-mode-bugs/1892081 | 16 + results/classifier/user-mode-bugs/1893010 | 7 + results/classifier/user-mode-bugs/1894029 | 41 + results/classifier/user-mode-bugs/1894361 | 7 + results/classifier/user-mode-bugs/1895 | 148 ++++ results/classifier/user-mode-bugs/1895080 | 38 + results/classifier/user-mode-bugs/1895305 | 50 ++ results/classifier/user-mode-bugs/1895471 | 25 + results/classifier/user-mode-bugs/1895703 | 20 + results/classifier/user-mode-bugs/1901 | 21 + results/classifier/user-mode-bugs/1904210 | 53 ++ results/classifier/user-mode-bugs/1904259 | 31 + results/classifier/user-mode-bugs/1905356 | 14 + results/classifier/user-mode-bugs/1906193 | 59 ++ results/classifier/user-mode-bugs/1906536 | 32 + results/classifier/user-mode-bugs/1907817 | 45 + results/classifier/user-mode-bugs/1907969 | 60 ++ results/classifier/user-mode-bugs/1908 | 51 ++ results/classifier/user-mode-bugs/1908551 | 56 ++ results/classifier/user-mode-bugs/1908626 | 67 ++ results/classifier/user-mode-bugs/1909 | 52 ++ results/classifier/user-mode-bugs/1909921 | 24 + results/classifier/user-mode-bugs/1910 | 64 ++ results/classifier/user-mode-bugs/1910605 | 18 + results/classifier/user-mode-bugs/1912934 | 19 + results/classifier/user-mode-bugs/1913 | 21 + results/classifier/user-mode-bugs/1913913 | 20 + results/classifier/user-mode-bugs/1914021 | 29 + results/classifier/user-mode-bugs/1914870 | 59 ++ results/classifier/user-mode-bugs/1915327 | 36 + results/classifier/user-mode-bugs/1915531 | 56 ++ results/classifier/user-mode-bugs/1915925 | 19 + results/classifier/user-mode-bugs/1916269 | 21 + results/classifier/user-mode-bugs/1916344 | 26 + results/classifier/user-mode-bugs/1917184 | 7 + results/classifier/user-mode-bugs/1918026 | 31 + results/classifier/user-mode-bugs/1922887 | 32 + results/classifier/user-mode-bugs/1925512 | 20 + results/classifier/user-mode-bugs/1926044 | 32 + results/classifier/user-mode-bugs/1926202 | 20 + results/classifier/user-mode-bugs/1926246 | 52 ++ results/classifier/user-mode-bugs/1926521 | 64 ++ results/classifier/user-mode-bugs/1926759 | 20 + results/classifier/user-mode-bugs/1926996 | 22 + results/classifier/user-mode-bugs/1927530 | 41 + results/classifier/user-mode-bugs/1930 | 48 + results/classifier/user-mode-bugs/1936977 | 9 + results/classifier/user-mode-bugs/1941 | 104 +++ results/classifier/user-mode-bugs/1952 | 98 +++ results/classifier/user-mode-bugs/1953 | 148 ++++ results/classifier/user-mode-bugs/1967248 | 40 + results/classifier/user-mode-bugs/2027 | 235 +++++ results/classifier/user-mode-bugs/2035 | 56 ++ results/classifier/user-mode-bugs/2072564 | 47 + results/classifier/user-mode-bugs/2078 | 36 + results/classifier/user-mode-bugs/2082 | 46 + results/classifier/user-mode-bugs/2083 | 113 +++ results/classifier/user-mode-bugs/2089 | 29 + results/classifier/user-mode-bugs/2101 | 19 + results/classifier/user-mode-bugs/2112 | 28 + results/classifier/user-mode-bugs/2119 | 3 + results/classifier/user-mode-bugs/2122 | 9 + results/classifier/user-mode-bugs/2123 | 33 + results/classifier/user-mode-bugs/2127 | 3 + results/classifier/user-mode-bugs/2136 | 37 + results/classifier/user-mode-bugs/2156 | 17 + results/classifier/user-mode-bugs/2157 | 45 + results/classifier/user-mode-bugs/2168 | 34 + results/classifier/user-mode-bugs/2170 | 46 + results/classifier/user-mode-bugs/2175 | 40 + results/classifier/user-mode-bugs/2197 | 60 ++ results/classifier/user-mode-bugs/2203 | 3 + results/classifier/user-mode-bugs/2208 | 90 ++ results/classifier/user-mode-bugs/2223 | 37 + results/classifier/user-mode-bugs/2248 | 38 + results/classifier/user-mode-bugs/2262 | 201 +++++ results/classifier/user-mode-bugs/2302 | 27 + results/classifier/user-mode-bugs/2304 | 40 + results/classifier/user-mode-bugs/2309 | 33 + results/classifier/user-mode-bugs/2317 | 40 + results/classifier/user-mode-bugs/2318 | 36 + results/classifier/user-mode-bugs/2319 | 19 + results/classifier/user-mode-bugs/2333 | 47 + results/classifier/user-mode-bugs/2336 | 25 + results/classifier/user-mode-bugs/2353 | 58 ++ results/classifier/user-mode-bugs/2371 | 54 ++ results/classifier/user-mode-bugs/2372 | 111 +++ results/classifier/user-mode-bugs/2373 | 97 ++ results/classifier/user-mode-bugs/2374 | 113 +++ results/classifier/user-mode-bugs/2375 | 87 ++ results/classifier/user-mode-bugs/2376 | 116 +++ results/classifier/user-mode-bugs/2386 | 45 + results/classifier/user-mode-bugs/2390 | 65 ++ results/classifier/user-mode-bugs/2410 | 94 ++ results/classifier/user-mode-bugs/2419 | 20 + results/classifier/user-mode-bugs/2422 | 71 ++ results/classifier/user-mode-bugs/2446 | 62 ++ results/classifier/user-mode-bugs/2448 | 48 + results/classifier/user-mode-bugs/2460 | 10 + results/classifier/user-mode-bugs/2474 | 98 +++ results/classifier/user-mode-bugs/2483 | 22 + results/classifier/user-mode-bugs/2485 | 49 ++ results/classifier/user-mode-bugs/2486 | 14 + results/classifier/user-mode-bugs/2487 | 70 ++ results/classifier/user-mode-bugs/2495 | 74 ++ results/classifier/user-mode-bugs/2497 | 5 + results/classifier/user-mode-bugs/2498 | 53 ++ results/classifier/user-mode-bugs/2499 | 32 + results/classifier/user-mode-bugs/2500 | 6 + results/classifier/user-mode-bugs/2504 | 9 + results/classifier/user-mode-bugs/2505 | 3 + results/classifier/user-mode-bugs/2525 | 3 + results/classifier/user-mode-bugs/2536 | 3 + results/classifier/user-mode-bugs/2553 | 84 ++ results/classifier/user-mode-bugs/2560 | 107 +++ results/classifier/user-mode-bugs/2569 | 7 + results/classifier/user-mode-bugs/2580 | 14 + results/classifier/user-mode-bugs/2590 | 25 + results/classifier/user-mode-bugs/2592 | 39 + results/classifier/user-mode-bugs/2595 | 137 +++ results/classifier/user-mode-bugs/2596 | 3 + results/classifier/user-mode-bugs/2598 | 3 + results/classifier/user-mode-bugs/2604 | 46 + results/classifier/user-mode-bugs/2606 | 200 +++++ results/classifier/user-mode-bugs/261 | 3 + results/classifier/user-mode-bugs/2619 | 3 + results/classifier/user-mode-bugs/2628 | 22 + results/classifier/user-mode-bugs/263 | 3 + results/classifier/user-mode-bugs/2632 | 85 ++ results/classifier/user-mode-bugs/2647 | 49 ++ results/classifier/user-mode-bugs/2655 | 41 + results/classifier/user-mode-bugs/266 | 3 + results/classifier/user-mode-bugs/2672 | 22 + results/classifier/user-mode-bugs/2683 | 41 + results/classifier/user-mode-bugs/2696 | 14 + results/classifier/user-mode-bugs/2730 | 12 + results/classifier/user-mode-bugs/2738 | 12 + results/classifier/user-mode-bugs/275 | 3 + results/classifier/user-mode-bugs/276 | 3 + results/classifier/user-mode-bugs/2761 | 10 + results/classifier/user-mode-bugs/2775 | 136 +++ results/classifier/user-mode-bugs/280 | 3 + results/classifier/user-mode-bugs/2802 | 28 + results/classifier/user-mode-bugs/2815 | 3 + results/classifier/user-mode-bugs/2825 | 39 + results/classifier/user-mode-bugs/2846 | 3 + results/classifier/user-mode-bugs/2865 | 54 ++ results/classifier/user-mode-bugs/2878 | 3 + results/classifier/user-mode-bugs/2971 | 46 + results/classifier/user-mode-bugs/306 | 3 + results/classifier/user-mode-bugs/311 | 3 + results/classifier/user-mode-bugs/312 | 3 + results/classifier/user-mode-bugs/324 | 3 + results/classifier/user-mode-bugs/326 | 3 + results/classifier/user-mode-bugs/333 | 3 + results/classifier/user-mode-bugs/355 | 3 + results/classifier/user-mode-bugs/356 | 3 + results/classifier/user-mode-bugs/361 | 3 + results/classifier/user-mode-bugs/364 | 3 + results/classifier/user-mode-bugs/381 | 3 + results/classifier/user-mode-bugs/385 | 3 + results/classifier/user-mode-bugs/390 | 3 + results/classifier/user-mode-bugs/419 | 3 + results/classifier/user-mode-bugs/422 | 3 + results/classifier/user-mode-bugs/427 | 3 + results/classifier/user-mode-bugs/442 | 3 + results/classifier/user-mode-bugs/447 | 3 + results/classifier/user-mode-bugs/449 | 70 ++ results/classifier/user-mode-bugs/456 | 31 + results/classifier/user-mode-bugs/470 | 3 + results/classifier/user-mode-bugs/494 | 3 + results/classifier/user-mode-bugs/508 | 3 + results/classifier/user-mode-bugs/514 | 27 + results/classifier/user-mode-bugs/562107 | 14 + results/classifier/user-mode-bugs/570 | 3 + results/classifier/user-mode-bugs/577 | 27 + results/classifier/user-mode-bugs/578 | 32 + results/classifier/user-mode-bugs/579 | 52 ++ results/classifier/user-mode-bugs/602 | 15 + results/classifier/user-mode-bugs/616 | 109 +++ results/classifier/user-mode-bugs/618 | 97 ++ results/classifier/user-mode-bugs/625 | 25 + results/classifier/user-mode-bugs/633 | 34 + results/classifier/user-mode-bugs/645662 | 42 + results/classifier/user-mode-bugs/654 | 25 + results/classifier/user-mode-bugs/690 | 21 + results/classifier/user-mode-bugs/693 | 12 + results/classifier/user-mode-bugs/695 | 3 + results/classifier/user-mode-bugs/697 | 3 + results/classifier/user-mode-bugs/698 | 360 ++++++++ results/classifier/user-mode-bugs/704 | 3 + results/classifier/user-mode-bugs/714 | 45 + results/classifier/user-mode-bugs/739785 | 36 + results/classifier/user-mode-bugs/754 | 209 +++++ results/classifier/user-mode-bugs/754635 | 57 ++ results/classifier/user-mode-bugs/796480 | 47 + results/classifier/user-mode-bugs/799 | 49 ++ results/classifier/user-mode-bugs/805 | 16 + results/classifier/user-mode-bugs/817 | 3 + results/classifier/user-mode-bugs/824 | 14 + results/classifier/user-mode-bugs/826 | 18 + results/classifier/user-mode-bugs/829 | 16 + results/classifier/user-mode-bugs/833 | 44 + results/classifier/user-mode-bugs/834 | 61 ++ results/classifier/user-mode-bugs/836 | 87 ++ results/classifier/user-mode-bugs/837 | 32 + results/classifier/user-mode-bugs/856 | 63 ++ results/classifier/user-mode-bugs/866 | 55 ++ results/classifier/user-mode-bugs/871 | 16 + results/classifier/user-mode-bugs/885 | 3 + results/classifier/user-mode-bugs/886621 | 294 +++++++ results/classifier/user-mode-bugs/890 | 3 + results/classifier/user-mode-bugs/904308 | 100 +++ results/classifier/user-mode-bugs/909 | 13 + results/classifier/user-mode-bugs/911 | 19 + results/classifier/user-mode-bugs/922 | 22 + results/classifier/user-mode-bugs/927 | 34 + results/classifier/user-mode-bugs/939 | 77 ++ results/classifier/user-mode-bugs/947 | 15 + results/classifier/user-mode-bugs/95 | 3 + results/classifier/user-mode-bugs/952 | 99 +++ results/classifier/user-mode-bugs/957 | 73 ++ results/classifier/user-mode-bugs/967 | 226 +++++ results/classifier/user-mode-bugs/979 | 9 + results/classifier/user-mode-bugs/982 | 39 + results/classifier/user-mode-bugs/984 | 25 + results/classifier/user-mode-bugs/993 | 83 ++ results/classifier/user-mode-bugs/998 | 62 ++ 628 files changed, 24547 insertions(+), 1270 deletions(-) create mode 100644 results/classifier/semantic-bugs/1251 create mode 100644 results/classifier/semantic-bugs/1283519 create mode 100644 results/classifier/semantic-bugs/1308381 create mode 100644 results/classifier/semantic-bugs/1368 create mode 100644 results/classifier/semantic-bugs/1441 create mode 100644 results/classifier/semantic-bugs/1536 create mode 100644 results/classifier/semantic-bugs/1605123 create mode 100644 results/classifier/semantic-bugs/1642 create mode 100644 results/classifier/semantic-bugs/1713066 create mode 100644 results/classifier/semantic-bugs/1833 create mode 100644 results/classifier/semantic-bugs/1841990 create mode 100644 results/classifier/semantic-bugs/1862167 create mode 100644 results/classifier/semantic-bugs/1873898 create mode 100644 results/classifier/semantic-bugs/1889288 create mode 100644 results/classifier/semantic-bugs/1905356 create mode 100644 results/classifier/semantic-bugs/1918026 create mode 100644 results/classifier/semantic-bugs/1922887 create mode 100644 results/classifier/semantic-bugs/1925512 create mode 100644 results/classifier/semantic-bugs/1941 create mode 100644 results/classifier/semantic-bugs/1967248 create mode 100644 results/classifier/semantic-bugs/2083 create mode 100644 results/classifier/semantic-bugs/2136 create mode 100644 results/classifier/semantic-bugs/2203 create mode 100644 results/classifier/semantic-bugs/2319 create mode 100644 results/classifier/semantic-bugs/2373 create mode 100644 results/classifier/semantic-bugs/2375 create mode 100644 results/classifier/semantic-bugs/2376 create mode 100644 results/classifier/semantic-bugs/2419 create mode 100644 results/classifier/semantic-bugs/2422 create mode 100644 results/classifier/semantic-bugs/2474 create mode 100644 results/classifier/semantic-bugs/2483 create mode 100644 results/classifier/semantic-bugs/2495 create mode 100644 results/classifier/semantic-bugs/2498 create mode 100644 results/classifier/semantic-bugs/2499 create mode 100644 results/classifier/semantic-bugs/2536 create mode 100644 results/classifier/semantic-bugs/2730 create mode 100644 results/classifier/semantic-bugs/2802 create mode 100644 results/classifier/semantic-bugs/312 create mode 100644 results/classifier/semantic-bugs/364 create mode 100644 results/classifier/semantic-bugs/422 create mode 100644 results/classifier/semantic-bugs/754 create mode 100644 results/classifier/semantic-bugs/890 create mode 100644 results/classifier/semantic-bugs/993 create mode 100644 results/classifier/user-mode-bugs/1007 create mode 100644 results/classifier/user-mode-bugs/1010 create mode 100644 results/classifier/user-mode-bugs/1010484 create mode 100644 results/classifier/user-mode-bugs/1012 create mode 100644 results/classifier/user-mode-bugs/1022 create mode 100644 results/classifier/user-mode-bugs/1027 create mode 100644 results/classifier/user-mode-bugs/1028 create mode 100644 results/classifier/user-mode-bugs/1031920 create mode 100644 results/classifier/user-mode-bugs/1033 create mode 100644 results/classifier/user-mode-bugs/1034 create mode 100644 results/classifier/user-mode-bugs/1041 create mode 100644 results/classifier/user-mode-bugs/1044 create mode 100644 results/classifier/user-mode-bugs/1051 create mode 100644 results/classifier/user-mode-bugs/1052857 create mode 100644 results/classifier/user-mode-bugs/1054812 create mode 100644 results/classifier/user-mode-bugs/1054831 create mode 100644 results/classifier/user-mode-bugs/1059 create mode 100644 results/classifier/user-mode-bugs/1066909 create mode 100644 results/classifier/user-mode-bugs/1068900 create mode 100644 results/classifier/user-mode-bugs/1070 create mode 100644 results/classifier/user-mode-bugs/1072 create mode 100644 results/classifier/user-mode-bugs/1075 create mode 100644 results/classifier/user-mode-bugs/1075272 create mode 100644 results/classifier/user-mode-bugs/1075339 create mode 100644 results/classifier/user-mode-bugs/1076445 create mode 100644 results/classifier/user-mode-bugs/1086 create mode 100644 results/classifier/user-mode-bugs/1092 create mode 100644 results/classifier/user-mode-bugs/1093 create mode 100644 results/classifier/user-mode-bugs/1095531 create mode 100644 results/classifier/user-mode-bugs/1095857 create mode 100644 results/classifier/user-mode-bugs/1098729 create mode 100644 results/classifier/user-mode-bugs/1102 create mode 100644 results/classifier/user-mode-bugs/1111 create mode 100644 results/classifier/user-mode-bugs/1128 create mode 100644 results/classifier/user-mode-bugs/1129571 create mode 100644 results/classifier/user-mode-bugs/1143 create mode 100644 results/classifier/user-mode-bugs/1147 create mode 100644 results/classifier/user-mode-bugs/1156 create mode 100644 results/classifier/user-mode-bugs/1165383 create mode 100644 results/classifier/user-mode-bugs/1172613 create mode 100644 results/classifier/user-mode-bugs/1178 create mode 100644 results/classifier/user-mode-bugs/1182490 create mode 100644 results/classifier/user-mode-bugs/1187319 create mode 100644 results/classifier/user-mode-bugs/1207896 create mode 100644 results/classifier/user-mode-bugs/1209 create mode 100644 results/classifier/user-mode-bugs/121 create mode 100644 results/classifier/user-mode-bugs/1211 create mode 100644 results/classifier/user-mode-bugs/122 create mode 100644 results/classifier/user-mode-bugs/1221966 create mode 100644 results/classifier/user-mode-bugs/1228 create mode 100644 results/classifier/user-mode-bugs/1233225 create mode 100644 results/classifier/user-mode-bugs/1238 create mode 100644 results/classifier/user-mode-bugs/1245543 create mode 100644 results/classifier/user-mode-bugs/1245703 create mode 100644 results/classifier/user-mode-bugs/1246990 create mode 100644 results/classifier/user-mode-bugs/1248 create mode 100644 results/classifier/user-mode-bugs/1248168 create mode 100644 results/classifier/user-mode-bugs/1251 create mode 100644 results/classifier/user-mode-bugs/1254672 create mode 100644 results/classifier/user-mode-bugs/1254786 create mode 100644 results/classifier/user-mode-bugs/1254828 create mode 100644 results/classifier/user-mode-bugs/1255 create mode 100644 results/classifier/user-mode-bugs/1261 create mode 100644 results/classifier/user-mode-bugs/1261743 create mode 100644 results/classifier/user-mode-bugs/1263747 create mode 100644 results/classifier/user-mode-bugs/1267 create mode 100644 results/classifier/user-mode-bugs/1267955 create mode 100644 results/classifier/user-mode-bugs/127 create mode 100644 results/classifier/user-mode-bugs/1283519 create mode 100644 results/classifier/user-mode-bugs/1285363 create mode 100644 results/classifier/user-mode-bugs/1287195 create mode 100644 results/classifier/user-mode-bugs/1294898 create mode 100644 results/classifier/user-mode-bugs/1308381 create mode 100644 results/classifier/user-mode-bugs/1311614 create mode 100644 results/classifier/user-mode-bugs/1319100 create mode 100644 results/classifier/user-mode-bugs/1328996 create mode 100644 results/classifier/user-mode-bugs/1339 create mode 100644 results/classifier/user-mode-bugs/1346769 create mode 100644 results/classifier/user-mode-bugs/1346784 create mode 100644 results/classifier/user-mode-bugs/1356916 create mode 100644 results/classifier/user-mode-bugs/1357206 create mode 100644 results/classifier/user-mode-bugs/1357226 create mode 100644 results/classifier/user-mode-bugs/1361 create mode 100644 results/classifier/user-mode-bugs/1361912 create mode 100644 results/classifier/user-mode-bugs/1362635 create mode 100644 results/classifier/user-mode-bugs/1368 create mode 100644 results/classifier/user-mode-bugs/1370 create mode 100644 results/classifier/user-mode-bugs/1371 create mode 100644 results/classifier/user-mode-bugs/1372 create mode 100644 results/classifier/user-mode-bugs/1373 create mode 100644 results/classifier/user-mode-bugs/1374 create mode 100644 results/classifier/user-mode-bugs/1375 create mode 100644 results/classifier/user-mode-bugs/1376 create mode 100644 results/classifier/user-mode-bugs/1388 create mode 100644 results/classifier/user-mode-bugs/1394 create mode 100644 results/classifier/user-mode-bugs/1397 create mode 100644 results/classifier/user-mode-bugs/140 create mode 100644 results/classifier/user-mode-bugs/1404690 create mode 100644 results/classifier/user-mode-bugs/1412 create mode 100644 results/classifier/user-mode-bugs/1416988 create mode 100644 results/classifier/user-mode-bugs/1428352 create mode 100644 results/classifier/user-mode-bugs/1429313 create mode 100644 results/classifier/user-mode-bugs/1435 create mode 100644 results/classifier/user-mode-bugs/1441 create mode 100644 results/classifier/user-mode-bugs/1452 create mode 100644 results/classifier/user-mode-bugs/1457275 create mode 100644 results/classifier/user-mode-bugs/1462640 create mode 100644 results/classifier/user-mode-bugs/1469342 create mode 100644 results/classifier/user-mode-bugs/1470170 create mode 100644 results/classifier/user-mode-bugs/1471 create mode 100644 results/classifier/user-mode-bugs/1478 create mode 100644 results/classifier/user-mode-bugs/1494 create mode 100644 results/classifier/user-mode-bugs/1495 create mode 100644 results/classifier/user-mode-bugs/1512 create mode 100644 results/classifier/user-mode-bugs/1516408 create mode 100644 results/classifier/user-mode-bugs/1519037 create mode 100644 results/classifier/user-mode-bugs/1527765 create mode 100644 results/classifier/user-mode-bugs/1528 create mode 100644 results/classifier/user-mode-bugs/1528239 create mode 100644 results/classifier/user-mode-bugs/1531 create mode 100644 results/classifier/user-mode-bugs/1533141 create mode 100644 results/classifier/user-mode-bugs/1536 create mode 100644 results/classifier/user-mode-bugs/1541 create mode 100644 results/classifier/user-mode-bugs/1547 create mode 100644 results/classifier/user-mode-bugs/1550503 create mode 100644 results/classifier/user-mode-bugs/1553 create mode 100644 results/classifier/user-mode-bugs/1563612 create mode 100644 results/classifier/user-mode-bugs/1568107 create mode 100644 results/classifier/user-mode-bugs/1574346 create mode 100644 results/classifier/user-mode-bugs/1585840 create mode 100644 results/classifier/user-mode-bugs/1590336 create mode 100644 results/classifier/user-mode-bugs/1591611 create mode 100644 results/classifier/user-mode-bugs/1593 create mode 100644 results/classifier/user-mode-bugs/1594069 create mode 100644 results/classifier/user-mode-bugs/1594394 create mode 100644 results/classifier/user-mode-bugs/1603734 create mode 100644 results/classifier/user-mode-bugs/1605123 create mode 100644 results/classifier/user-mode-bugs/1605443 create mode 100644 results/classifier/user-mode-bugs/1606 create mode 100644 results/classifier/user-mode-bugs/1611394 create mode 100644 results/classifier/user-mode-bugs/1612 create mode 100644 results/classifier/user-mode-bugs/1613817 create mode 100644 results/classifier/user-mode-bugs/1614348 create mode 100644 results/classifier/user-mode-bugs/1617929 create mode 100644 results/classifier/user-mode-bugs/1619896 create mode 100644 results/classifier/user-mode-bugs/1620 create mode 100644 results/classifier/user-mode-bugs/1623020 create mode 100644 results/classifier/user-mode-bugs/1637 create mode 100644 results/classifier/user-mode-bugs/1641637 create mode 100644 results/classifier/user-mode-bugs/1641861 create mode 100644 results/classifier/user-mode-bugs/1642 create mode 100644 results/classifier/user-mode-bugs/1643619 create mode 100644 results/classifier/user-mode-bugs/1648 create mode 100644 results/classifier/user-mode-bugs/1650 create mode 100644 results/classifier/user-mode-bugs/1654137 create mode 100644 results/classifier/user-mode-bugs/1659901 create mode 100644 results/classifier/user-mode-bugs/1661815 create mode 100644 results/classifier/user-mode-bugs/1667401 create mode 100644 results/classifier/user-mode-bugs/1671 create mode 100644 results/classifier/user-mode-bugs/1673976 create mode 100644 results/classifier/user-mode-bugs/1689367 create mode 100644 results/classifier/user-mode-bugs/1696353 create mode 100644 results/classifier/user-mode-bugs/1696773 create mode 100644 results/classifier/user-mode-bugs/1697 create mode 100644 results/classifier/user-mode-bugs/1701808 create mode 100644 results/classifier/user-mode-bugs/1701821 create mode 100644 results/classifier/user-mode-bugs/1701971 create mode 100644 results/classifier/user-mode-bugs/1701973 create mode 100644 results/classifier/user-mode-bugs/1701974 create mode 100644 results/classifier/user-mode-bugs/1704638 create mode 100644 results/classifier/user-mode-bugs/1707 create mode 100644 results/classifier/user-mode-bugs/1713066 create mode 100644 results/classifier/user-mode-bugs/1715162 create mode 100644 results/classifier/user-mode-bugs/1716292 create mode 100644 results/classifier/user-mode-bugs/1716767 create mode 100644 results/classifier/user-mode-bugs/1722 create mode 100644 results/classifier/user-mode-bugs/1724485 create mode 100644 results/classifier/user-mode-bugs/1725267 create mode 100644 results/classifier/user-mode-bugs/1726394 create mode 100644 results/classifier/user-mode-bugs/1727737 create mode 100644 results/classifier/user-mode-bugs/1728116 create mode 100644 results/classifier/user-mode-bugs/1729 create mode 100644 results/classifier/user-mode-bugs/1734 create mode 100644 results/classifier/user-mode-bugs/1734792 create mode 100644 results/classifier/user-mode-bugs/1735384 create mode 100644 results/classifier/user-mode-bugs/1736 create mode 100644 results/classifier/user-mode-bugs/1737 create mode 100644 results/classifier/user-mode-bugs/1737444 create mode 100644 results/classifier/user-mode-bugs/1738434 create mode 100644 results/classifier/user-mode-bugs/1738545 create mode 100644 results/classifier/user-mode-bugs/1740219 create mode 100644 results/classifier/user-mode-bugs/1741 create mode 100644 results/classifier/user-mode-bugs/1748296 create mode 100644 results/classifier/user-mode-bugs/1748612 create mode 100644 results/classifier/user-mode-bugs/1749393 create mode 100644 results/classifier/user-mode-bugs/1751422 create mode 100644 results/classifier/user-mode-bugs/1755 create mode 100644 results/classifier/user-mode-bugs/1756 create mode 100644 results/classifier/user-mode-bugs/1756519 create mode 100644 results/classifier/user-mode-bugs/1756807 create mode 100644 results/classifier/user-mode-bugs/1756927 create mode 100644 results/classifier/user-mode-bugs/1760 create mode 100644 results/classifier/user-mode-bugs/1761153 create mode 100644 results/classifier/user-mode-bugs/1761401 create mode 100644 results/classifier/user-mode-bugs/1761535 create mode 100644 results/classifier/user-mode-bugs/1763 create mode 100644 results/classifier/user-mode-bugs/1763536 create mode 100644 results/classifier/user-mode-bugs/1765970 create mode 100644 results/classifier/user-mode-bugs/1768 create mode 100644 results/classifier/user-mode-bugs/1768246 create mode 100644 results/classifier/user-mode-bugs/1770 create mode 100644 results/classifier/user-mode-bugs/1771 create mode 100644 results/classifier/user-mode-bugs/1773743 create mode 100644 results/classifier/user-mode-bugs/1774149 create mode 100644 results/classifier/user-mode-bugs/1776478 create mode 100644 results/classifier/user-mode-bugs/1777226 create mode 100644 results/classifier/user-mode-bugs/1779 create mode 100644 results/classifier/user-mode-bugs/1779634 create mode 100644 results/classifier/user-mode-bugs/1780 create mode 100644 results/classifier/user-mode-bugs/1781281 create mode 100644 results/classifier/user-mode-bugs/1783362 create mode 100644 results/classifier/user-mode-bugs/1785203 create mode 100644 results/classifier/user-mode-bugs/1785734 create mode 100644 results/classifier/user-mode-bugs/1790 create mode 100644 results/classifier/user-mode-bugs/1791763 create mode 100644 results/classifier/user-mode-bugs/1791796 create mode 100644 results/classifier/user-mode-bugs/1793119 create mode 100644 results/classifier/user-mode-bugs/1793539 create mode 100644 results/classifier/user-mode-bugs/1793608 create mode 100644 results/classifier/user-mode-bugs/1796520 create mode 100644 results/classifier/user-mode-bugs/1798 create mode 100644 results/classifier/user-mode-bugs/1799200 create mode 100644 results/classifier/user-mode-bugs/1805 create mode 100644 results/classifier/user-mode-bugs/1805913 create mode 100644 results/classifier/user-mode-bugs/1806243 create mode 100644 results/classifier/user-mode-bugs/1807 create mode 100644 results/classifier/user-mode-bugs/1808563 create mode 100644 results/classifier/user-mode-bugs/1808565 create mode 100644 results/classifier/user-mode-bugs/1810433 create mode 100644 results/classifier/user-mode-bugs/1812 create mode 100644 results/classifier/user-mode-bugs/1812451 create mode 100644 results/classifier/user-mode-bugs/1812861 create mode 100644 results/classifier/user-mode-bugs/1813307 create mode 100644 results/classifier/user-mode-bugs/1813398 create mode 100644 results/classifier/user-mode-bugs/1814128 create mode 100644 results/classifier/user-mode-bugs/1815024 create mode 100644 results/classifier/user-mode-bugs/1818075 create mode 100644 results/classifier/user-mode-bugs/1818483 create mode 100644 results/classifier/user-mode-bugs/1819 create mode 100644 results/classifier/user-mode-bugs/1820686 create mode 100644 results/classifier/user-mode-bugs/1821006 create mode 100644 results/classifier/user-mode-bugs/1821430 create mode 100644 results/classifier/user-mode-bugs/1821444 create mode 100644 results/classifier/user-mode-bugs/1821515 create mode 100644 results/classifier/user-mode-bugs/1824344 create mode 100644 results/classifier/user-mode-bugs/1826568 create mode 100644 results/classifier/user-mode-bugs/1828867 create mode 100644 results/classifier/user-mode-bugs/1829459 create mode 100644 results/classifier/user-mode-bugs/1830 create mode 100644 results/classifier/user-mode-bugs/1832353 create mode 100644 results/classifier/user-mode-bugs/1832422 create mode 100644 results/classifier/user-mode-bugs/1832916 create mode 100644 results/classifier/user-mode-bugs/1833 create mode 100644 results/classifier/user-mode-bugs/1833668 create mode 100644 results/classifier/user-mode-bugs/1834496 create mode 100644 results/classifier/user-mode-bugs/1835693 create mode 100644 results/classifier/user-mode-bugs/1835839 create mode 100644 results/classifier/user-mode-bugs/1836078 create mode 100644 results/classifier/user-mode-bugs/1836192 create mode 100644 results/classifier/user-mode-bugs/1836558 create mode 100644 results/classifier/user-mode-bugs/1837 create mode 100644 results/classifier/user-mode-bugs/1840922 create mode 100644 results/classifier/user-mode-bugs/1841990 create mode 100644 results/classifier/user-mode-bugs/1847467 create mode 100644 results/classifier/user-mode-bugs/1854 create mode 100644 results/classifier/user-mode-bugs/1854738 create mode 100644 results/classifier/user-mode-bugs/1857 create mode 100644 results/classifier/user-mode-bugs/1857811 create mode 100644 results/classifier/user-mode-bugs/1858415 create mode 100644 results/classifier/user-mode-bugs/1858461 create mode 100644 results/classifier/user-mode-bugs/1859713 create mode 100644 results/classifier/user-mode-bugs/1860053 create mode 100644 results/classifier/user-mode-bugs/1860056 create mode 100644 results/classifier/user-mode-bugs/1860610 create mode 100644 results/classifier/user-mode-bugs/1861341 create mode 100644 results/classifier/user-mode-bugs/1861404 create mode 100644 results/classifier/user-mode-bugs/1861605 create mode 100644 results/classifier/user-mode-bugs/1862167 create mode 100644 results/classifier/user-mode-bugs/1862986 create mode 100644 results/classifier/user-mode-bugs/1863247 create mode 100644 results/classifier/user-mode-bugs/1863445 create mode 100644 results/classifier/user-mode-bugs/1869073 create mode 100644 results/classifier/user-mode-bugs/1869241 create mode 100644 results/classifier/user-mode-bugs/1869782 create mode 100644 results/classifier/user-mode-bugs/1870477 create mode 100644 results/classifier/user-mode-bugs/1873898 create mode 100644 results/classifier/user-mode-bugs/1874888 create mode 100644 results/classifier/user-mode-bugs/1876373 create mode 100644 results/classifier/user-mode-bugs/1877794 create mode 100644 results/classifier/user-mode-bugs/1878501 create mode 100644 results/classifier/user-mode-bugs/1880225 create mode 100644 results/classifier/user-mode-bugs/1880332 create mode 100644 results/classifier/user-mode-bugs/1880722 create mode 100644 results/classifier/user-mode-bugs/1881450 create mode 100644 results/classifier/user-mode-bugs/1883268 create mode 100644 results/classifier/user-mode-bugs/1883784 create mode 100644 results/classifier/user-mode-bugs/1884719 create mode 100644 results/classifier/user-mode-bugs/1885350 create mode 100644 results/classifier/user-mode-bugs/1886097 create mode 100644 results/classifier/user-mode-bugs/1887306 create mode 100644 results/classifier/user-mode-bugs/1888303 create mode 100644 results/classifier/user-mode-bugs/1888728 create mode 100644 results/classifier/user-mode-bugs/1889288 create mode 100644 results/classifier/user-mode-bugs/1889411 create mode 100644 results/classifier/user-mode-bugs/1890 create mode 100644 results/classifier/user-mode-bugs/1892081 create mode 100644 results/classifier/user-mode-bugs/1893010 create mode 100644 results/classifier/user-mode-bugs/1894029 create mode 100644 results/classifier/user-mode-bugs/1894361 create mode 100644 results/classifier/user-mode-bugs/1895 create mode 100644 results/classifier/user-mode-bugs/1895080 create mode 100644 results/classifier/user-mode-bugs/1895305 create mode 100644 results/classifier/user-mode-bugs/1895471 create mode 100644 results/classifier/user-mode-bugs/1895703 create mode 100644 results/classifier/user-mode-bugs/1901 create mode 100644 results/classifier/user-mode-bugs/1904210 create mode 100644 results/classifier/user-mode-bugs/1904259 create mode 100644 results/classifier/user-mode-bugs/1905356 create mode 100644 results/classifier/user-mode-bugs/1906193 create mode 100644 results/classifier/user-mode-bugs/1906536 create mode 100644 results/classifier/user-mode-bugs/1907817 create mode 100644 results/classifier/user-mode-bugs/1907969 create mode 100644 results/classifier/user-mode-bugs/1908 create mode 100644 results/classifier/user-mode-bugs/1908551 create mode 100644 results/classifier/user-mode-bugs/1908626 create mode 100644 results/classifier/user-mode-bugs/1909 create mode 100644 results/classifier/user-mode-bugs/1909921 create mode 100644 results/classifier/user-mode-bugs/1910 create mode 100644 results/classifier/user-mode-bugs/1910605 create mode 100644 results/classifier/user-mode-bugs/1912934 create mode 100644 results/classifier/user-mode-bugs/1913 create mode 100644 results/classifier/user-mode-bugs/1913913 create mode 100644 results/classifier/user-mode-bugs/1914021 create mode 100644 results/classifier/user-mode-bugs/1914870 create mode 100644 results/classifier/user-mode-bugs/1915327 create mode 100644 results/classifier/user-mode-bugs/1915531 create mode 100644 results/classifier/user-mode-bugs/1915925 create mode 100644 results/classifier/user-mode-bugs/1916269 create mode 100644 results/classifier/user-mode-bugs/1916344 create mode 100644 results/classifier/user-mode-bugs/1917184 create mode 100644 results/classifier/user-mode-bugs/1918026 create mode 100644 results/classifier/user-mode-bugs/1922887 create mode 100644 results/classifier/user-mode-bugs/1925512 create mode 100644 results/classifier/user-mode-bugs/1926044 create mode 100644 results/classifier/user-mode-bugs/1926202 create mode 100644 results/classifier/user-mode-bugs/1926246 create mode 100644 results/classifier/user-mode-bugs/1926521 create mode 100644 results/classifier/user-mode-bugs/1926759 create mode 100644 results/classifier/user-mode-bugs/1926996 create mode 100644 results/classifier/user-mode-bugs/1927530 create mode 100644 results/classifier/user-mode-bugs/1930 create mode 100644 results/classifier/user-mode-bugs/1936977 create mode 100644 results/classifier/user-mode-bugs/1941 create mode 100644 results/classifier/user-mode-bugs/1952 create mode 100644 results/classifier/user-mode-bugs/1953 create mode 100644 results/classifier/user-mode-bugs/1967248 create mode 100644 results/classifier/user-mode-bugs/2027 create mode 100644 results/classifier/user-mode-bugs/2035 create mode 100644 results/classifier/user-mode-bugs/2072564 create mode 100644 results/classifier/user-mode-bugs/2078 create mode 100644 results/classifier/user-mode-bugs/2082 create mode 100644 results/classifier/user-mode-bugs/2083 create mode 100644 results/classifier/user-mode-bugs/2089 create mode 100644 results/classifier/user-mode-bugs/2101 create mode 100644 results/classifier/user-mode-bugs/2112 create mode 100644 results/classifier/user-mode-bugs/2119 create mode 100644 results/classifier/user-mode-bugs/2122 create mode 100644 results/classifier/user-mode-bugs/2123 create mode 100644 results/classifier/user-mode-bugs/2127 create mode 100644 results/classifier/user-mode-bugs/2136 create mode 100644 results/classifier/user-mode-bugs/2156 create mode 100644 results/classifier/user-mode-bugs/2157 create mode 100644 results/classifier/user-mode-bugs/2168 create mode 100644 results/classifier/user-mode-bugs/2170 create mode 100644 results/classifier/user-mode-bugs/2175 create mode 100644 results/classifier/user-mode-bugs/2197 create mode 100644 results/classifier/user-mode-bugs/2203 create mode 100644 results/classifier/user-mode-bugs/2208 create mode 100644 results/classifier/user-mode-bugs/2223 create mode 100644 results/classifier/user-mode-bugs/2248 create mode 100644 results/classifier/user-mode-bugs/2262 create mode 100644 results/classifier/user-mode-bugs/2302 create mode 100644 results/classifier/user-mode-bugs/2304 create mode 100644 results/classifier/user-mode-bugs/2309 create mode 100644 results/classifier/user-mode-bugs/2317 create mode 100644 results/classifier/user-mode-bugs/2318 create mode 100644 results/classifier/user-mode-bugs/2319 create mode 100644 results/classifier/user-mode-bugs/2333 create mode 100644 results/classifier/user-mode-bugs/2336 create mode 100644 results/classifier/user-mode-bugs/2353 create mode 100644 results/classifier/user-mode-bugs/2371 create mode 100644 results/classifier/user-mode-bugs/2372 create mode 100644 results/classifier/user-mode-bugs/2373 create mode 100644 results/classifier/user-mode-bugs/2374 create mode 100644 results/classifier/user-mode-bugs/2375 create mode 100644 results/classifier/user-mode-bugs/2376 create mode 100644 results/classifier/user-mode-bugs/2386 create mode 100644 results/classifier/user-mode-bugs/2390 create mode 100644 results/classifier/user-mode-bugs/2410 create mode 100644 results/classifier/user-mode-bugs/2419 create mode 100644 results/classifier/user-mode-bugs/2422 create mode 100644 results/classifier/user-mode-bugs/2446 create mode 100644 results/classifier/user-mode-bugs/2448 create mode 100644 results/classifier/user-mode-bugs/2460 create mode 100644 results/classifier/user-mode-bugs/2474 create mode 100644 results/classifier/user-mode-bugs/2483 create mode 100644 results/classifier/user-mode-bugs/2485 create mode 100644 results/classifier/user-mode-bugs/2486 create mode 100644 results/classifier/user-mode-bugs/2487 create mode 100644 results/classifier/user-mode-bugs/2495 create mode 100644 results/classifier/user-mode-bugs/2497 create mode 100644 results/classifier/user-mode-bugs/2498 create mode 100644 results/classifier/user-mode-bugs/2499 create mode 100644 results/classifier/user-mode-bugs/2500 create mode 100644 results/classifier/user-mode-bugs/2504 create mode 100644 results/classifier/user-mode-bugs/2505 create mode 100644 results/classifier/user-mode-bugs/2525 create mode 100644 results/classifier/user-mode-bugs/2536 create mode 100644 results/classifier/user-mode-bugs/2553 create mode 100644 results/classifier/user-mode-bugs/2560 create mode 100644 results/classifier/user-mode-bugs/2569 create mode 100644 results/classifier/user-mode-bugs/2580 create mode 100644 results/classifier/user-mode-bugs/2590 create mode 100644 results/classifier/user-mode-bugs/2592 create mode 100644 results/classifier/user-mode-bugs/2595 create mode 100644 results/classifier/user-mode-bugs/2596 create mode 100644 results/classifier/user-mode-bugs/2598 create mode 100644 results/classifier/user-mode-bugs/2604 create mode 100644 results/classifier/user-mode-bugs/2606 create mode 100644 results/classifier/user-mode-bugs/261 create mode 100644 results/classifier/user-mode-bugs/2619 create mode 100644 results/classifier/user-mode-bugs/2628 create mode 100644 results/classifier/user-mode-bugs/263 create mode 100644 results/classifier/user-mode-bugs/2632 create mode 100644 results/classifier/user-mode-bugs/2647 create mode 100644 results/classifier/user-mode-bugs/2655 create mode 100644 results/classifier/user-mode-bugs/266 create mode 100644 results/classifier/user-mode-bugs/2672 create mode 100644 results/classifier/user-mode-bugs/2683 create mode 100644 results/classifier/user-mode-bugs/2696 create mode 100644 results/classifier/user-mode-bugs/2730 create mode 100644 results/classifier/user-mode-bugs/2738 create mode 100644 results/classifier/user-mode-bugs/275 create mode 100644 results/classifier/user-mode-bugs/276 create mode 100644 results/classifier/user-mode-bugs/2761 create mode 100644 results/classifier/user-mode-bugs/2775 create mode 100644 results/classifier/user-mode-bugs/280 create mode 100644 results/classifier/user-mode-bugs/2802 create mode 100644 results/classifier/user-mode-bugs/2815 create mode 100644 results/classifier/user-mode-bugs/2825 create mode 100644 results/classifier/user-mode-bugs/2846 create mode 100644 results/classifier/user-mode-bugs/2865 create mode 100644 results/classifier/user-mode-bugs/2878 create mode 100644 results/classifier/user-mode-bugs/2971 create mode 100644 results/classifier/user-mode-bugs/306 create mode 100644 results/classifier/user-mode-bugs/311 create mode 100644 results/classifier/user-mode-bugs/312 create mode 100644 results/classifier/user-mode-bugs/324 create mode 100644 results/classifier/user-mode-bugs/326 create mode 100644 results/classifier/user-mode-bugs/333 create mode 100644 results/classifier/user-mode-bugs/355 create mode 100644 results/classifier/user-mode-bugs/356 create mode 100644 results/classifier/user-mode-bugs/361 create mode 100644 results/classifier/user-mode-bugs/364 create mode 100644 results/classifier/user-mode-bugs/381 create mode 100644 results/classifier/user-mode-bugs/385 create mode 100644 results/classifier/user-mode-bugs/390 create mode 100644 results/classifier/user-mode-bugs/419 create mode 100644 results/classifier/user-mode-bugs/422 create mode 100644 results/classifier/user-mode-bugs/427 create mode 100644 results/classifier/user-mode-bugs/442 create mode 100644 results/classifier/user-mode-bugs/447 create mode 100644 results/classifier/user-mode-bugs/449 create mode 100644 results/classifier/user-mode-bugs/456 create mode 100644 results/classifier/user-mode-bugs/470 create mode 100644 results/classifier/user-mode-bugs/494 create mode 100644 results/classifier/user-mode-bugs/508 create mode 100644 results/classifier/user-mode-bugs/514 create mode 100644 results/classifier/user-mode-bugs/562107 create mode 100644 results/classifier/user-mode-bugs/570 create mode 100644 results/classifier/user-mode-bugs/577 create mode 100644 results/classifier/user-mode-bugs/578 create mode 100644 results/classifier/user-mode-bugs/579 create mode 100644 results/classifier/user-mode-bugs/602 create mode 100644 results/classifier/user-mode-bugs/616 create mode 100644 results/classifier/user-mode-bugs/618 create mode 100644 results/classifier/user-mode-bugs/625 create mode 100644 results/classifier/user-mode-bugs/633 create mode 100644 results/classifier/user-mode-bugs/645662 create mode 100644 results/classifier/user-mode-bugs/654 create mode 100644 results/classifier/user-mode-bugs/690 create mode 100644 results/classifier/user-mode-bugs/693 create mode 100644 results/classifier/user-mode-bugs/695 create mode 100644 results/classifier/user-mode-bugs/697 create mode 100644 results/classifier/user-mode-bugs/698 create mode 100644 results/classifier/user-mode-bugs/704 create mode 100644 results/classifier/user-mode-bugs/714 create mode 100644 results/classifier/user-mode-bugs/739785 create mode 100644 results/classifier/user-mode-bugs/754 create mode 100644 results/classifier/user-mode-bugs/754635 create mode 100644 results/classifier/user-mode-bugs/796480 create mode 100644 results/classifier/user-mode-bugs/799 create mode 100644 results/classifier/user-mode-bugs/805 create mode 100644 results/classifier/user-mode-bugs/817 create mode 100644 results/classifier/user-mode-bugs/824 create mode 100644 results/classifier/user-mode-bugs/826 create mode 100644 results/classifier/user-mode-bugs/829 create mode 100644 results/classifier/user-mode-bugs/833 create mode 100644 results/classifier/user-mode-bugs/834 create mode 100644 results/classifier/user-mode-bugs/836 create mode 100644 results/classifier/user-mode-bugs/837 create mode 100644 results/classifier/user-mode-bugs/856 create mode 100644 results/classifier/user-mode-bugs/866 create mode 100644 results/classifier/user-mode-bugs/871 create mode 100644 results/classifier/user-mode-bugs/885 create mode 100644 results/classifier/user-mode-bugs/886621 create mode 100644 results/classifier/user-mode-bugs/890 create mode 100644 results/classifier/user-mode-bugs/904308 create mode 100644 results/classifier/user-mode-bugs/909 create mode 100644 results/classifier/user-mode-bugs/911 create mode 100644 results/classifier/user-mode-bugs/922 create mode 100644 results/classifier/user-mode-bugs/927 create mode 100644 results/classifier/user-mode-bugs/939 create mode 100644 results/classifier/user-mode-bugs/947 create mode 100644 results/classifier/user-mode-bugs/95 create mode 100644 results/classifier/user-mode-bugs/952 create mode 100644 results/classifier/user-mode-bugs/957 create mode 100644 results/classifier/user-mode-bugs/967 create mode 100644 results/classifier/user-mode-bugs/979 create mode 100644 results/classifier/user-mode-bugs/982 create mode 100644 results/classifier/user-mode-bugs/984 create mode 100644 results/classifier/user-mode-bugs/993 create mode 100644 results/classifier/user-mode-bugs/998 (limited to 'results/classifier') diff --git a/results/classifier/semantic-bugs/1095857 b/results/classifier/semantic-bugs/1095857 index a74648b9..3117b09d 100644 --- a/results/classifier/semantic-bugs/1095857 +++ b/results/classifier/semantic-bugs/1095857 @@ -1,15 +1,4 @@ -instruction: 0.914 -mistranslation: 0.764 -graphic: 0.736 -device: 0.679 -other: 0.555 -semantic: 0.442 -network: 0.323 -assembly: 0.286 -socket: 0.242 -boot: 0.214 -vnc: 0.198 -KVM: 0.114 + incorrect handling of [r32] address (long mode) @@ -21,9 +10,4 @@ end up executing as mov eax,[r15] -according to x86 programmer manuals the behavior of using the Address-Size override (in long mode) is supposed to ignore the high 32bits of the register. I use this fact in my operating system to reduce register usage (the high 32 bits of r15 holds other data). consequently a general protection exception occurs since the memory address isn't "canonical". this error doesn't always appear since the high 32 bits might not be zero in those conditions. - -You are correct about what the instruction is supposed to do. That said the behaviour you describe is not reproducible. Which version of QEMU are you using? Could you please send a testcase? - -[Expired for QEMU because there has been no activity for 60 days.] - +according to x86 programmer manuals the behavior of using the Address-Size override (in long mode) is supposed to ignore the high 32bits of the register. I use this fact in my operating system to reduce register usage (the high 32 bits of r15 holds other data). consequently a general protection exception occurs since the memory address isn't "canonical". this error doesn't always appear since the high 32 bits might not be zero in those conditions. \ No newline at end of file diff --git a/results/classifier/semantic-bugs/1156 b/results/classifier/semantic-bugs/1156 index 83908c6d..0a936d80 100644 --- a/results/classifier/semantic-bugs/1156 +++ b/results/classifier/semantic-bugs/1156 @@ -1,14 +1,3 @@ -instruction: 0.874 -mistranslation: 0.834 -device: 0.815 -assembly: 0.455 -graphic: 0.452 -semantic: 0.202 -boot: 0.139 -network: 0.079 -other: 0.068 -socket: 0.017 -KVM: 0.017 -vnc: 0.007 + Incorrect implementation of vmsumudm instruction diff --git a/results/classifier/semantic-bugs/1245543 b/results/classifier/semantic-bugs/1245543 index 99966ab8..b9f1b3bb 100644 --- a/results/classifier/semantic-bugs/1245543 +++ b/results/classifier/semantic-bugs/1245543 @@ -1,15 +1,4 @@ -instruction: 0.966 -other: 0.798 -device: 0.770 -semantic: 0.629 -socket: 0.619 -network: 0.548 -vnc: 0.529 -graphic: 0.455 -boot: 0.437 -mistranslation: 0.417 -assembly: 0.269 -KVM: 0.262 + Wrong implementation of SSE4.1 pmovzxbw and similar instructions @@ -33,11 +22,4 @@ qemu-system-x86_64 \ -kernel vmlinuz -initrd initrd.img \ -netdev user,id=user.0 -device rtl8139,netdev=user.0 -redir tcp:2222::22 \ -hda ubuntu-amd64.ext3 \ - --append "rw console=tty root=/dev/sda" - - - -Looking through old bug tickets... is this still an issue with the latest version of QEMU? Or could we close this ticket nowadays? - -[Expired for QEMU because there has been no activity for 60 days.] - + --append "rw console=tty root=/dev/sda" \ No newline at end of file diff --git a/results/classifier/semantic-bugs/1248168 b/results/classifier/semantic-bugs/1248168 index 22e04de3..b31cbfee 100644 --- a/results/classifier/semantic-bugs/1248168 +++ b/results/classifier/semantic-bugs/1248168 @@ -1,15 +1,4 @@ -instruction: 0.820 -graphic: 0.800 -assembly: 0.749 -device: 0.731 -mistranslation: 0.533 -socket: 0.270 -boot: 0.257 -other: 0.250 -semantic: 0.231 -vnc: 0.131 -network: 0.118 -KVM: 0.030 + MIPS, self-modifying code and uncached memory @@ -34,9 +23,4 @@ For example, when running this code I get unexpected behavior: 3ac: 00000000 nop I expect that swr instruction in line 384 would change `addi t2,t2,1`0 to `nop` -This should work because no cache is used for this memory region. - -Can you please provide full reproduction steps rather than just an assembly snippet? - -[Expired for QEMU because there has been no activity for 60 days.] - +This should work because no cache is used for this memory region. \ No newline at end of file diff --git a/results/classifier/semantic-bugs/1251 b/results/classifier/semantic-bugs/1251 new file mode 100644 index 00000000..d4f5a9a7 --- /dev/null +++ b/results/classifier/semantic-bugs/1251 @@ -0,0 +1,17 @@ + + +Octeon Instruction BBIT Bug +Steps to reproduce: +1. Compile 64bit binary for Octeon with Octeon instructions +`mips64-octeon-linux-gnu-gcc -o hello hello.c` +2. Run with `qemu-mips64` +`qemu-mips64 -cpu Octeon68XX hello` +3. Get the output below: +``` +qemu: uncaught target signal 4 (Illegal instruction) - core dumped +Illegal instruction +``` +Additional information: +I have a patch for this that I will be submitting to trivial-patches. This is not enough to emulate Octeon specific binaries alone. For small binaries mapping the `CVMSEG_LM = 0xFFFFFFFFFFFF8000 - 0xFFFFFFFFFFFF9FFF` to empty RAM and using this patch is enough. There are additional support issues for `N32` binaries that will require a separate issue. + +[hello](/uploads/d8b5e631508fd232b4a7b3a40f7e08f6/hello) diff --git a/results/classifier/semantic-bugs/1267955 b/results/classifier/semantic-bugs/1267955 index fe163590..e9cb6da8 100644 --- a/results/classifier/semantic-bugs/1267955 +++ b/results/classifier/semantic-bugs/1267955 @@ -1,15 +1,4 @@ -other: 0.979 -assembly: 0.959 -device: 0.954 -KVM: 0.953 -vnc: 0.950 -instruction: 0.947 -semantic: 0.945 -graphic: 0.944 -network: 0.942 -mistranslation: 0.913 -socket: 0.912 -boot: 0.895 + [i386] Parity Flag Not Set On xor %eax,%eax @@ -52,136 +41,4 @@ $ qemu-i386 ./prog | hexdump -vC 00000000 42 02 00 00 |B...| 00000004 -On the other hand if [xor %eax, %eax] (31 c0) is replaced with sub %eax,%eax (29 c0), then the parity flag is set correctly. - -Parity should be set for a zero result. - -Signed-off-by: Richard Henderson