Start date: 2024-02-29 08:52:06.534195+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_blocks PANDA[core]:initializing reven_icount PANDA[core]:initializing reven_blocks 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. 11.51 sec. 1.10 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 13441038 ( 2.00%) instrs. 19.35 sec. 1.11 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 20161555 ( 3.00%) instrs. 28.15 sec. 1.15 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 26882073 ( 4.00%) instrs. 35.46 sec. 1.16 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 33602591 ( 5.00%) instrs. 42.88 sec. 1.16 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 40323109 ( 6.00%) instrs. 51.00 sec. 1.16 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 47043630 ( 7.00%) instrs. 59.69 sec. 1.17 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 53764148 ( 8.00%) instrs. 70.25 sec. 1.19 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 60484666 ( 9.00%) instrs. 78.25 sec. 1.21 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 67205182 ( 10.00%) instrs. 85.50 sec. 1.22 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 73925701 ( 11.00%) instrs. 93.55 sec. 1.23 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 80646226 ( 12.00%) instrs. 99.52 sec. 1.23 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 87366757 ( 13.00%) instrs. 102.60 sec. 1.23 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 94087255 ( 14.00%) instrs. 109.86 sec. 1.23 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 100807777 ( 15.00%) instrs. 118.35 sec. 1.25 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 107528301 ( 16.00%) instrs. 126.04 sec. 1.25 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 114248814 ( 17.00%) instrs. 132.77 sec. 1.25 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 120969327 ( 18.00%) instrs. 138.19 sec. 1.25 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 127689850 ( 19.00%) instrs. 147.38 sec. 1.27 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 134410369 ( 20.00%) instrs. 153.47 sec. 1.27 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 141130887 ( 21.00%) instrs. 162.64 sec. 1.27 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 147851401 ( 22.00%) instrs. 172.77 sec. 1.29 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 154571922 ( 23.00%) instrs. 182.74 sec. 1.29 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 161292439 ( 24.00%) instrs. 191.95 sec. 1.30 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 168012956 ( 25.00%) instrs. 200.11 sec. 1.31 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 174733475 ( 26.00%) instrs. 206.40 sec. 1.31 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 181453995 ( 27.00%) instrs. 213.82 sec. 1.32 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 188174516 ( 28.00%) instrs. 222.00 sec. 1.32 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 194895031 ( 29.00%) instrs. 229.91 sec. 1.33 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 201615546 ( 30.00%) instrs. 237.89 sec. 1.34 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 208336064 ( 31.00%) instrs. 245.67 sec. 1.35 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 215056583 ( 32.00%) instrs. 252.60 sec. 1.35 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 221777106 ( 33.00%) instrs. 257.24 sec. 1.35 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 228497620 ( 34.00%) instrs. 263.71 sec. 1.37 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 235218147 ( 35.00%) instrs. 272.61 sec. 1.37 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 241938661 ( 36.00%) instrs. 279.43 sec. 1.39 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 248659193 ( 37.00%) instrs. 284.72 sec. 1.39 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 255379692 ( 38.00%) instrs. 291.14 sec. 1.39 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 262100209 ( 39.00%) instrs. 299.51 sec. 1.41 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 268820727 ( 40.00%) instrs. 309.30 sec. 1.41 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 275541246 ( 41.00%) instrs. 317.44 sec. 1.42 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 282261764 ( 42.00%) instrs. 324.41 sec. 1.43 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 288982298 ( 43.00%) instrs. 331.62 sec. 1.43 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 295702802 ( 44.00%) instrs. 338.54 sec. 1.44 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 302423321 ( 45.00%) instrs. 345.45 sec. 1.44 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 309143836 ( 46.00%) instrs. 352.89 sec. 1.44 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 315864354 ( 47.00%) instrs. 359.84 sec. 1.44 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 322584872 ( 48.00%) instrs. 367.45 sec. 1.44 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 329305392 ( 49.00%) instrs. 375.72 sec. 1.45 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 336025917 ( 50.00%) instrs. 383.81 sec. 1.45 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 342746427 ( 51.00%) instrs. 391.03 sec. 1.45 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 349466949 ( 52.00%) instrs. 398.74 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 356187468 ( 53.00%) instrs. 403.00 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 362907986 ( 54.00%) instrs. 408.53 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 369628499 ( 55.00%) instrs. 414.08 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 376349019 ( 56.00%) instrs. 421.36 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 383069536 ( 57.00%) instrs. 428.94 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 389790053 ( 58.00%) instrs. 437.73 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 396510572 ( 59.00%) instrs. 445.73 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 403231090 ( 60.00%) instrs. 454.47 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 409951613 ( 61.00%) instrs. 463.68 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 416672134 ( 62.00%) instrs. 473.33 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 423392648 ( 63.00%) instrs. 481.70 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 430113162 ( 64.00%) instrs. 489.08 sec. 1.46 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 436833683 ( 65.00%) instrs. 496.27 sec. 1.47 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 443554198 ( 66.00%) instrs. 503.75 sec. 1.47 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 450274718 ( 67.00%) instrs. 510.90 sec. 1.47 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 456995246 ( 68.00%) instrs. 515.93 sec. 1.48 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 463715753 ( 69.00%) instrs. 522.05 sec. 1.48 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 470436279 ( 70.00%) instrs. 528.80 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 477156791 ( 71.00%) instrs. 535.35 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 483877320 ( 72.00%) instrs. 542.12 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 490597827 ( 73.00%) instrs. 549.06 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 497318345 ( 74.00%) instrs. 555.64 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 504038862 ( 75.00%) instrs. 562.88 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 510759398 ( 76.00%) instrs. 569.85 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 517479911 ( 77.00%) instrs. 576.73 sec. 1.49 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 524200417 ( 78.00%) instrs. 583.39 sec. 1.50 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 530920945 ( 79.00%) instrs. 590.77 sec. 1.50 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 537641453 ( 80.00%) instrs. 598.08 sec. 1.50 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 544361980 ( 81.00%) instrs. 606.10 sec. 1.50 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 551082494 ( 82.00%) instrs. 613.30 sec. 1.50 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 557803009 ( 83.00%) instrs. 621.40 sec. 1.50 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 564523527 ( 84.00%) instrs. 627.33 sec. 1.51 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 571244043 ( 85.00%) instrs. 635.88 sec. 1.51 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 577964563 ( 86.00%) instrs. 643.22 sec. 1.51 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 584685081 ( 87.00%) instrs. 651.38 sec. 1.51 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 591405601 ( 88.00%) instrs. 660.04 sec. 1.51 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 598126117 ( 89.00%) instrs. 667.67 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 604846635 ( 90.00%) instrs. 674.22 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 611567154 ( 91.00%) instrs. 679.70 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 618287671 ( 92.00%) instrs. 684.96 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 625008188 ( 93.00%) instrs. 689.05 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 631728707 ( 94.00%) instrs. 695.34 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 638449230 ( 95.00%) instrs. 702.14 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 645169746 ( 96.00%) instrs. 709.47 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 651890261 ( 97.00%) instrs. 716.28 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 658610783 ( 98.00%) instrs. 722.06 sec. 1.52 GB ram. 91584808-5f9e-459c-a80a-c0506354813d: 665331298 ( 99.00%) instrs. 727.87 sec. 1.52 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: 750 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