Start date: 2024-02-29 08:52:06.574106+00:00 Command: panda-system-x86_64 -replay /Reven2/2.15.0/Records/cve-2020-15999-remote_342c6291-44b7-448e-b9fa-6f186c253553/record/91584808-5f9e-459c-a80a-c0506354813d -m 2048M -usbdevice tablet -panda reven_icount -panda reven_memory_history PANDA[core]:initializing reven_icount PANDA[core]:initializing reven_memory_history loading snapshot ... done. opening nondet log for read : /Reven2/2.15.0/Records/cve-2020-15999-remote_342c6291-44b7-448e-b9fa-6f186c253553/record/91584808-5f9e-459c-a80a-c0506354813d-rr-nondet.log /Reven2/2.15.0/Records/cve-2020-15999-remote_342c6291-44b7-448e-b9fa-6f186c253553/record/91584808-5f9e-459c-a80a-c0506354813d-rr-nondet.log: 672051815 instrs total. 91584808-5f9e-459c-a80a-c0506354813d: 6720519 ( 1.00%) instrs. 8.84 sec. 1.33 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 13441038 ( 2.00%) instrs. 14.57 sec. 1.58 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 20161555 ( 3.00%) instrs. 60.52 sec. 1.90 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 26882073 ( 4.00%) instrs. 65.94 sec. 1.92 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 33602591 ( 5.00%) instrs. 70.87 sec. 2.33 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 40323109 ( 6.00%) instrs. 75.59 sec. 2.41 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 47043630 ( 7.00%) instrs. 174.11 sec. 2.76 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 53764148 ( 8.00%) instrs. 180.95 sec. 2.76 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 60484666 ( 9.00%) instrs. 186.80 sec. 2.76 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 67205182 ( 10.00%) instrs. 269.55 sec. 2.76 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 73925701 ( 11.00%) instrs. 276.27 sec. 2.76 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 80646226 ( 12.00%) instrs. 283.18 sec. 2.76 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 87366757 ( 13.00%) instrs. 285.09 sec. 2.77 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 94087255 ( 14.00%) instrs. 291.63 sec. 2.98 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 100807777 ( 15.00%) instrs. 406.40 sec. 3.22 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 107528301 ( 16.00%) instrs. 416.10 sec. 3.22 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 114248814 ( 17.00%) instrs. 420.12 sec. 3.22 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 120969327 ( 18.00%) instrs. 423.73 sec. 3.22 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 127689850 ( 19.00%) instrs. 430.44 sec. 3.24 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 134410369 ( 20.00%) instrs. 433.86 sec. 3.35 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 141130887 ( 21.00%) instrs. 439.84 sec. 3.53 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 147851401 ( 22.00%) instrs. 579.00 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 154571922 ( 23.00%) instrs. 585.18 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 161292439 ( 24.00%) instrs. 591.40 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 168012956 ( 25.00%) instrs. 597.02 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 174733475 ( 26.00%) instrs. 707.11 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 181453995 ( 27.00%) instrs. 714.13 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 188174516 ( 28.00%) instrs. 721.31 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 194895031 ( 29.00%) instrs. 727.78 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 201615546 ( 30.00%) instrs. 831.17 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 208336064 ( 31.00%) instrs. 857.05 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 215056583 ( 32.00%) instrs. 862.99 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 221777106 ( 33.00%) instrs. 866.40 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 228497620 ( 34.00%) instrs. 871.49 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 235218147 ( 35.00%) instrs. 878.35 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 241938661 ( 36.00%) instrs. 981.05 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 248659193 ( 37.00%) instrs. 985.51 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 255379692 ( 38.00%) instrs. 992.88 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 262100209 ( 39.00%) instrs. 1000.75 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 268820727 ( 40.00%) instrs. 1098.61 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 275541246 ( 41.00%) instrs. 1104.55 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 282261764 ( 42.00%) instrs. 1111.07 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 288982298 ( 43.00%) instrs. 1189.62 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 295702802 ( 44.00%) instrs. 1197.00 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 302423321 ( 45.00%) instrs. 1202.72 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 309143836 ( 46.00%) instrs. 1270.44 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 315864354 ( 47.00%) instrs. 1279.37 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 322584872 ( 48.00%) instrs. 1285.70 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 329305392 ( 49.00%) instrs. 1361.94 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 336025917 ( 50.00%) instrs. 1368.42 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 342746427 ( 51.00%) instrs. 1375.88 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 349466949 ( 52.00%) instrs. 1461.76 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 356187468 ( 53.00%) instrs. 1465.09 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 362907986 ( 54.00%) instrs. 1473.41 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 369628499 ( 55.00%) instrs. 1478.92 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 376349019 ( 56.00%) instrs. 1485.80 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 383069536 ( 57.00%) instrs. 1492.45 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 389790053 ( 58.00%) instrs. 1634.70 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 396510572 ( 59.00%) instrs. 1641.86 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 403231090 ( 60.00%) instrs. 1648.56 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 409951613 ( 61.00%) instrs. 1654.47 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 416672134 ( 62.00%) instrs. 1660.63 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 423392648 ( 63.00%) instrs. 1788.96 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 430113162 ( 64.00%) instrs. 1796.27 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 436833683 ( 65.00%) instrs. 1802.55 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 443554198 ( 66.00%) instrs. 1898.55 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 450274718 ( 67.00%) instrs. 1906.22 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 456995246 ( 68.00%) instrs. 1974.64 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 463715753 ( 69.00%) instrs. 1978.41 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 470436279 ( 70.00%) instrs. 1981.59 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 477156791 ( 71.00%) instrs. 2029.98 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 483877320 ( 72.00%) instrs. 2033.43 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 490597827 ( 73.00%) instrs. 2067.24 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 497318345 ( 74.00%) instrs. 2091.22 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 504038862 ( 75.00%) instrs. 2096.37 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 510759398 ( 76.00%) instrs. 2100.52 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 517479911 ( 77.00%) instrs. 2105.54 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 524200417 ( 78.00%) instrs. 2173.84 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 530920945 ( 79.00%) instrs. 2179.50 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 537641453 ( 80.00%) instrs. 2245.20 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 544361980 ( 81.00%) instrs. 2250.93 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 551082494 ( 82.00%) instrs. 2310.63 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 557803009 ( 83.00%) instrs. 2316.19 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 564523527 ( 84.00%) instrs. 2364.83 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 571244043 ( 85.00%) instrs. 2371.11 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 577964563 ( 86.00%) instrs. 2376.63 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 584685081 ( 87.00%) instrs. 2431.10 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 591405601 ( 88.00%) instrs. 2434.99 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 598126117 ( 89.00%) instrs. 2441.42 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 604846635 ( 90.00%) instrs. 2446.92 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 611567154 ( 91.00%) instrs. 2451.82 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 618287671 ( 92.00%) instrs. 2455.80 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 625008188 ( 93.00%) instrs. 2459.26 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 631728707 ( 94.00%) instrs. 2583.43 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 638449230 ( 95.00%) instrs. 2623.10 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 645169746 ( 96.00%) instrs. 2626.98 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 651890261 ( 97.00%) instrs. 2670.08 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 658610783 ( 98.00%) instrs. 2676.22 sec. 4.04 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 665331298 ( 99.00%) instrs. 2683.33 sec. 4.04 GB ram. /Reven2/2.15.0/Records/cve-2020-15999-remote_342c6291-44b7-448e-b9fa-6f186c253553/record/91584808-5f9e-459c-a80a-c0506354813d-rr-nondet.log: log is empty. /Reven2/2.15.0/Records/cve-2020-15999-remote_342c6291-44b7-448e-b9fa-6f186c253553/record/91584808-5f9e-459c-a80a-c0506354813d-rr-nondet.log: log is empty. Time taken was: 3127 seconds. Stats: RR_INPUT_1 number = 0, size = 0 bytes RR_INPUT_2 number = 0, size = 0 bytes RR_INPUT_4 number = 10172, size = 142408 bytes RR_INPUT_8 number = 178114, size = 3206052 bytes RR_INTERRUPT_REQUEST number = 25434, size = 356076 bytes RR_EXIT_REQUEST number = 0, size = 0 bytes RR_SKIPPED_CALL number = 3819, size = 1910142 bytes RR_END_OF_LOG number = 1, size = 10 bytes RR_PENDING_INTERRUPTS number = 0, size = 0 bytes RR_EXCEPTION number = 0, size = 0 bytes max_queue_len = 376 Checksum of guest memory: 0x30eddaea Replay completed successfully Exiting cpu_handle_execption loop