diff --git a/manticore/manticore.py b/manticore/manticore.py index 438b7b0..4092aeb 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -862,7 +862,7 @@ class Manticore(object): ''' self._executor.shutdown() - def _assertions_callback(self, state): + def _assertions_callback(self, state, instruction): pc = state.cpu.PC if pc not in self._assertions: return @@ -873,7 +873,7 @@ class Manticore(object): #This will interpret the buffer specification written in INTEL ASM. # (It may dereference pointers) - assertion = parse(program, state.cpu.read, state.cpu.read_register) + assertion = parse(program, state.cpu.read_int, state.cpu.read_register) if not solver.can_be_true(state.constraints, assertion): logger.info(str(state.cpu)) logger.info("Assertion %x -> {%s} does not hold. Aborting state.", diff --git a/tests/reference/arguments_linux_arm64_visited.txt b/tests/reference/arguments_linux_arm64_visited.txt new file mode 100644 index 0000000..4bbb308 --- /dev/null +++ b/tests/reference/arguments_linux_arm64_visited.txt @@ -0,0 +1,3670 @@ +0:004002d8 +0:004002dc +0:004002e3 +0:004002e6 +0:004002ed +0:004002f1 +0:00400370 +0:00400ba0 +0:00400ba1 +0:00400ba8 +0:00400bab +0:00400bac +0:00400bc0 +0:00400bc1 +0:00400bc4 +0:00400bc6 +0:00400bc8 +0:00400bc9 +0:00400bd0 +0:00400bd5 +0:00400bdc +0:00400be3 +0:00400be5 +0:00400be7 +0:00400be9 +0:00400bec +0:00400c0b +0:00400c0e +0:00400c13 +0:00400c18 +0:00400c1b +0:00400c20 +0:00400c23 +0:00400c28 +0:00400c2b +0:00400c2e +0:00400c34 +0:00400c3a +0:00400c3e +0:00400c41 +0:00400c45 +0:00400c47 +0:00400c49 +0:00400c4f +0:00400c58 +0:00400c5b +0:00400c5e +0:00400c61 +0:00400c64 +0:00400c6a +0:00400c6e +0:00400c71 +0:00400c73 +0:00400c75 +0:00400c77 +0:00400c80 +0:00400c82 +0:00400c84 +0:00400c87 +0:00400c89 +0:00400c8c +0:00400c8e +0:00400c91 +0:00400c94 +0:00400c97 +0:00400c99 +0:00400c9c +0:00400ca3 +0:00400ca7 +0:00400caa +0:00400cb1 +0:00400cb8 +0:00400cbb +0:00400cbe +0:00400cc5 +0:00400cc8 +0:00400cce +0:00400cd1 +0:00400cd8 +0:00400cdc +0:00400cdf +0:00400ce6 +0:00400ced +0:00400cf0 +0:00400cf3 +0:00400cfa +0:00400cfe +0:00400cff +0:00400d01 +0:00400d03 +0:00400d04 +0:00400dbe +0:00400dc1 +0:00400dc7 +0:00400dc9 +0:00400dcd +0:00400dcf +0:00400dd1 +0:00400dd7 +0:00400dda +0:00400ddd +0:00400ddf +0:00400de1 +0:00400de7 +0:00400dea +0:00400dec +0:00400dee +0:00400df0 +0:00400df6 +0:00400df8 +0:00400dfa +0:00400dfd +0:00400e00 +0:00400e03 +0:00400e06 +0:00400e08 +0:00400e0a +0:00400e0c +0:00400e0e +0:00400e11 +0:00400e40 +0:00400e42 +0:00400e45 +0:00400e46 +0:00400e49 +0:00400e4d +0:00400e4e +0:00400e4f +0:00400e56 +0:00400e5d +0:00400e64 +0:00400e70 +0:00400e77 +0:00400e78 +0:00400e7f +0:00400e82 +0:00400e85 +0:00400e89 +0:00400ea0 +0:00400ea1 +0:00400eb0 +0:00400eb7 +0:00400eb8 +0:00400ebf +0:00400ec2 +0:00400ec5 +0:00400ec9 +0:00400ecc +0:00400ed0 +0:00400ed3 +0:00400ed6 +0:00400ef0 +0:00400ef1 +0:00400f00 +0:00400f07 +0:00400f09 +0:00400f11 +0:00400f12 +0:00400f15 +0:00400f23 +0:00400f28 +0:00400f30 +0:00400f32 +0:00400f39 +0:00400f3e +0:00400f3f +0:00400f46 +0:00400f50 +0:00400f58 +0:00400f59 +0:00400f5c +0:00400f5e +0:00400f65 +0:00400f6c +0:00400f71 +0:00400f78 +0:00400f7c +0:00400f7e +0:00400f7f +0:00400f98 +0:00400f99 +0:00400f9c +0:00400fa4 +0:00400fa9 +0:00400fb1 +0:00400fb4 +0:00400fb8 +0:00400fbc +0:00400fc5 +0:00400fc9 +0:00400fcb +0:00400fce +0:00400fd0 +0:00400fd7 +0:00400fdc +0:00400fe1 +0:00400fe5 +0:00400fe7 +0:00400feb +0:00400fef +0:00400ff2 +0:00400ff9 +0:00400ffc +0:00401001 +0:00401003 +0:00401005 +0:0040100c +0:00401011 +0:00401016 +0:00401029 +0:0040102d +0:00401036 +0:0040103d +0:0040103e +0:00401040 +0:00401041 +0:00401044 +0:00401046 +0:00401048 +0:0040104a +0:0040104c +0:0040104d +0:00401054 +0:00401059 +0:00401060 +0:00401067 +0:0040106e +0:00401074 +0:00401077 +0:0040107e +0:00401081 +0:00401084 +0:00401087 +0:00401096 +0:0040109d +0:004010a4 +0:004010a8 +0:004010aa +0:004010b1 +0:004010b8 +0:004010bd +0:004010c0 +0:004010c7 +0:004010ca +0:004010d0 +0:004010d4 +0:004010d9 +0:004010db +0:004010e0 +0:004010e7 +0:004010eb +0:0040113d +0:00401144 +0:00401146 +0:00401148 +0:0040114a +0:00401151 +0:00401158 +0:00401160 +0:00401163 +0:00401167 +0:0040116e +0:00401171 +0:00401173 +0:00401177 +0:0040117a +0:00401188 +0:0040118d +0:0040118f +0:00401195 +0:0040119c +0:0040119e +0:004011a0 +0:004011a6 +0:004011ad +0:004011af +0:004011b4 +0:004011c2 +0:004011c4 +0:004011c9 +0:004011ce +0:004011d5 +0:004011d8 +0:004011db +0:004011dd +0:004011e6 +0:004011ea +0:004011f3 +0:004011f6 +0:00401204 +0:0040120b +0:00401212 +0:00401218 +0:0040121b +0:00401220 +0:00401223 +0:00401225 +0:00401227 +0:00401229 +0:0040122c +0:00401231 +0:00401238 +0:0040123b +0:00401241 +0:00401244 +0:00401246 +0:0040124d +0:00401254 +0:0040125a +0:0040125d +0:00401260 +0:00401262 +0:00401264 +0:00401269 +0:00401270 +0:00401275 +0:00401277 +0:00401279 +0:00401282 +0:00401286 +0:0040128f +0:00401293 +0:0040129a +0:004012a3 +0:004012aa +0:004012b1 +0:004012b7 +0:004012ba +0:004012c1 +0:004012c3 +0:004012c5 +0:00401440 +0:00401441 +0:00401444 +0:00401446 +0:00401448 +0:0040144a +0:0040144c +0:0040144d +0:00401454 +0:00401459 +0:00401460 +0:00401467 +0:0040146a +0:0040146d +0:0040146f +0:00401476 +0:00401479 +0:00401481 +0:00401485 +0:00401488 +0:0040148b +0:0040148e +0:00401498 +0:0040149c +0:0040149f +0:004014a1 +0:004014a4 +0:004014a6 +0:004014aa +0:004014ae +0:004014b2 +0:004014b6 +0:004014b9 +0:004014bc +0:004014c0 +0:004014c4 +0:004014e3 +0:004014ea +0:004014ec +0:004014ef +0:004014f4 +0:004014f7 +0:004014fa +0:004014fe +0:00401501 +0:00401504 +0:00401509 +0:0040150e +0:00401511 +0:00401518 +0:0040151b +0:0040151e +0:00401525 +0:00401528 +0:0040152b +0:00401532 +0:00401535 +0:0040153b +0:00401540 +0:00401542 +0:00401545 +0:00401548 +0:0040154c +0:0040154f +0:00401552 +0:00401556 +0:0040155a +0:0040155d +0:00401564 +0:00401569 +0:0040156d +0:00401571 +0:00401575 +0:0040157a +0:0040157e +0:00401582 +0:00401587 +0:0040158b +0:0040158f +0:00401592 +0:00401596 +0:0040159b +0:0040159f +0:004015a1 +0:004015a3 +0:004015a7 +0:004015d0 +0:004015d4 +0:004015db +0:004015de +0:004015e5 +0:004015ec +0:004015f3 +0:004015fe +0:00401605 +0:0040160c +0:00401617 +0:0040161e +0:00401625 +0:0040162c +0:0040162f +0:00401631 +0:00401636 +0:00401638 +0:0040163b +0:00401642 +0:00401646 +0:0040164b +0:0040164f +0:00401656 +0:0040165a +0:00401661 +0:00401668 +0:0040166b +0:00401670 +0:00401674 +0:0040167b +0:0040167e +0:00401685 +0:0040168c +0:00401690 +0:00401691 +0:00401693 +0:00401695 +0:00401697 +0:00401699 +0:0040169a +0:00401730 +0:00401731 +0:00401736 +0:0040173b +0:0040173e +0:0040173f +0:00401750 +0:00401751 +0:00401754 +0:00401756 +0:00401758 +0:0040175a +0:0040175c +0:0040175d +0:00401764 +0:00401769 +0:00401770 +0:00401777 +0:0040177e +0:00401780 +0:00401783 +0:00401786 +0:00401789 +0:0040178d +0:00401790 +0:00401794 +0:00401797 +0:0040179a +0:004017b6 +0:004017bb +0:004017c2 +0:004017c9 +0:004017cc +0:004017d0 +0:004017d3 +0:004017d7 +0:004017da +0:004017dd +0:004017df +0:004017e0 +0:004017e3 +0:004017e6 +0:004017e8 +0:004017ec +0:004017f0 +0:004017f4 +0:004017f6 +0:004017fa +0:004017fb +0:004017fd +0:004017ff +0:00401801 +0:00401803 +0:00401804 +0:00401810 +0:00401811 +0:00401814 +0:00401816 +0:00401817 +0:0040181e +0:00401823 +0:0040182a +0:00401831 +0:00401838 +0:0040183b +0:0040183f +0:00401842 +0:00401844 +0:00401848 +0:0040184d +0:00401851 +0:00401853 +0:00401854 +0:00401856 +0:00401857 +0:00406890 +0:00406892 +0:00407260 +0:00407261 +0:00407264 +0:00407266 +0:00407268 +0:0040726a +0:0040726c +0:0040726d +0:00407274 +0:00407279 +0:00407280 +0:00407283 +0:00407288 +0:0040728b +0:00407292 +0:00407295 +0:00407298 +0:0040729e +0:004072a3 +0:004072a5 +0:004072ab +0:004072b0 +0:004072d6 +0:004072da +0:004072dd +0:004072de +0:004072e0 +0:004072e2 +0:004072e4 +0:004072e6 +0:004072e7 +0:004072f0 +0:004072f4 +0:004072f9 +0:004072fd +0:00407301 +0:00407305 +0:00407308 +0:0040730a +0:00407350 +0:00407351 +0:00407354 +0:00407356 +0:00407358 +0:0040735a +0:0040735b +0:00407362 +0:00407367 +0:0040736e +0:00407376 +0:00407378 +0:0040737b +0:0040737e +0:00407385 +0:00407389 +0:0040738c +0:0040738e +0:00407390 +0:00407394 +0:00407397 +0:0040739b +0:0040739e +0:004073a3 +0:004073a5 +0:004073a9 +0:004073ad +0:004073b0 +0:004073b4 +0:004073ba +0:004073be +0:004073d3 +0:004073d6 +0:004073d9 +0:004073dd +0:004073e3 +0:004073e6 +0:004073e8 +0:004073ef +0:004073f6 +0:004073f9 +0:004073fb +0:004073ff +0:00407403 +0:00407406 +0:00407408 +0:0040740a +0:00407440 +0:00407444 +0:00407446 +0:0040744b +0:0040744f +0:00407453 +0:00407457 +0:00407460 +0:00407462 +0:004074a0 +0:004074a1 +0:004074a4 +0:004074ab +0:004074b0 +0:004074b7 +0:004074be +0:004074c3 +0:004074d0 +0:004074d1 +0:004074d4 +0:004074d5 +0:004074dc +0:004074e1 +0:004074e8 +0:004074ed +0:004074ef +0:004074f2 +0:004074f9 +0:00407507 +0:0040750e +0:0040752a +0:0040752d +0:00407530 +0:00407536 +0:00407538 +0:00407540 +0:00407544 +0:00407547 +0:00407587 +0:0040758a +0:00407592 +0:00407595 +0:00407598 +0:004075c5 +0:004075cc +0:004075d3 +0:004075d7 +0:004075de +0:004075eb +0:004075f1 +0:0040760d +0:00407611 +0:00407614 +0:00407615 +0:00407616 +0:0040763b +0:0040763e +0:00407642 +0:0040764a +0:00407710 +0:00407711 +0:00407714 +0:00407716 +0:00407718 +0:00407719 +0:00407720 +0:00407725 +0:0040772c +0:0040772f +0:00407736 +0:00407739 +0:0040773c +0:00407741 +0:00407744 +0:00407746 +0:00407749 +0:0040774d +0:00407751 +0:0040775a +0:0040775e +0:00407762 +0:00407769 +0:0040776b +0:0040776f +0:00407770 +0:00407772 +0:00407774 +0:00407775 +0:00407e90 +0:00407e91 +0:00407e94 +0:00407e9b +0:00407ea0 +0:00407ea7 +0:00407ea9 +0:00407eb0 +0:00407eb7 +0:00407ebe +0:00407ec5 +0:00407ecc +0:00407eee +0:00407ef2 +0:00407ef5 +0:00407efc +0:00407f03 +0:00407f0a +0:00407f14 +0:00407f1e +0:00407f25 +0:00407f2c +0:00407f2f +0:00407f34 +0:00407f35 +0:004086e0 +0:004086e1 +0:004086e4 +0:004086e6 +0:004086e8 +0:004086ea +0:004086eb +0:004086f2 +0:004086f7 +0:004086fe +0:00408701 +0:00408706 +0:0040870d +0:00408710 +0:00408714 +0:00408718 +0:0040871b +0:00408720 +0:00408722 +0:0040872a +0:00408733 +0:00408737 +0:00408739 +0:0040873e +0:00408745 +0:0040874f +0:00408752 +0:0040876a +0:00408772 +0:00408776 +0:0040877e +0:00408782 +0:00408786 +0:0040878c +0:0040878e +0:0040879e +0:004087a5 +0:004087a8 +0:004087ab +0:004087ae +0:004087b1 +0:004087b7 +0:004087bb +0:004087bf +0:004087c3 +0:004087c9 +0:004087cd +0:004087d1 +0:004087d4 +0:004087d8 +0:004087dd +0:004087e4 +0:004087e8 +0:004087f0 +0:004087f2 +0:004087fa +0:004087fe +0:00408800 +0:00408808 +0:00408810 +0:00408818 +0:0040881f +0:00408828 +0:0040882a +0:00408842 +0:00408844 +0:00408845 +0:00408847 +0:00408849 +0:0040884b +0:0040884c +0:00408850 +0:00408853 +0:0040a880 +0:0040a881 +0:0040a884 +0:0040a885 +0:0040a88c +0:0040a891 +0:0040a898 +0:0040a89b +0:0040a8a0 +0:0040a8a3 +0:0040a8a5 +0:0040a8a9 +0:0040a8ad +0:0040a8b1 +0:0040a8b5 +0:0040a8b9 +0:0040a8bd +0:0040a8c1 +0:0040a8c4 +0:0040a8c8 +0:0040a8c9 +0:0040a8ca +0:0040a950 +0:0040a951 +0:0040a954 +0:0040a956 +0:0040a958 +0:0040a959 +0:0040a960 +0:0040a965 +0:0040a96c +0:0040a972 +0:0040a975 +0:0040a978 +0:0040a97b +0:0040a988 +0:0040a98f +0:0040a992 +0:0040a995 +0:0040a998 +0:0040a99b +0:0040a99e +0:0040a9a1 +0:0040a9a8 +0:0040a9aa +0:0040a9ad +0:0040a9b3 +0:0040a9b9 +0:0040a9bd +0:0040a9bf +0:0040a9c3 +0:0040a9c7 +0:0040a9cb +0:0040a9cf +0:0040a9d3 +0:0040a9d5 +0:0040a9d9 +0:0040a9dd +0:0040a9e0 +0:0040a9e4 +0:0040a9e5 +0:0040a9e7 +0:0040a9e9 +0:0040a9ea +0:0040a9f0 +0:0040a9f4 +0:0040a9f8 +0:0040a9fb +0:0040aa28 +0:0040aa2e +0:0040aa30 +0:0040b650 +0:0040b651 +0:0040b654 +0:0040b657 +0:0040b65c +0:0040b65f +0:0040b660 +0:0040b670 +0:0040b671 +0:0040b674 +0:0040b676 +0:0040b678 +0:0040b67a +0:0040b67b +0:0040b682 +0:0040b687 +0:0040b68e +0:0040b691 +0:0040b694 +0:0040b697 +0:0040b699 +0:0040b69c +0:0040b69f +0:0040b6b4 +0:0040b6b7 +0:0040b6ba +0:0040b6bd +0:0040b6bf +0:0040b6c4 +0:0040b6c8 +0:0040b6cb +0:0040b6ce +0:0040b6d0 +0:0040b6d5 +0:0040b6d8 +0:0040b6e4 +0:0040b6eb +0:0040b6ee +0:0040b6fa +0:0040b6fb +0:0040b6fd +0:0040b6ff +0:0040b701 +0:0040b702 +0:0040b708 +0:0040b70b +0:0040b70e +0:0040bc00 +0:0040bc01 +0:0040bc04 +0:0040bc06 +0:0040bc08 +0:0040bc0a +0:0040bc0c +0:0040bc0d +0:0040bc14 +0:0040bc19 +0:0040bc20 +0:0040bc22 +0:0040bc25 +0:0040bc28 +0:0040bc2a +0:0040bc2c +0:0040bc2f +0:0040bc32 +0:0040bc37 +0:0040bc3c +0:0040bc42 +0:0040bc46 +0:0040bc4a +0:0040bc4d +0:0040bc4f +0:0040bc52 +0:0040bc55 +0:0040bc58 +0:0040bc5b +0:0040bc5d +0:0040bc60 +0:0040bc63 +0:0040bc67 +0:0040bc6a +0:0040bc6d +0:0040bc72 +0:0040bc76 +0:0040bc79 +0:0040bc7c +0:0040bc7f +0:0040bc82 +0:0040bc85 +0:0040bc87 +0:0040bc8a +0:0040bc8d +0:0040bc91 +0:0040bc92 +0:0040bc94 +0:0040bc96 +0:0040bc98 +0:0040bc9a +0:0040bc9b +0:0040bca0 +0:0040bca3 +0:0040bca6 +0:0040bca9 +0:0040bcab +0:0040bcb2 +0:0040bcb7 +0:0040bcba +0:0040bcbd +0:0040bcc0 +0:0040bcc6 +0:0040bcca +0:0040bcce +0:0040bcd0 +0:0040bcd4 +0:0040bcd6 +0:0040bcd9 +0:0040bcdb +0:0040bcde +0:0040bce1 +0:0040bce4 +0:0040bcea +0:0040bced +0:0040bcef +0:0040bcf3 +0:0040bcf6 +0:0040bcf9 +0:0040bcfe +0:0040bd01 +0:0040bf80 +0:0040bf82 +0:0040bf85 +0:0040bf87 +0:0040bf90 +0:0040bf91 +0:0040bf94 +0:0040bf95 +0:0040bf9c +0:0040bfa1 +0:0040bfa8 +0:0040bfab +0:0040bfb0 +0:0040bfb3 +0:0040bfb6 +0:0040bfba +0:0040bfbd +0:0040bfbf +0:0040bfc0 +0:0040bfc1 +0:0040c720 +0:0040c721 +0:0040c724 +0:0040c726 +0:0040c728 +0:0040c729 +0:0040c730 +0:0040c735 +0:0040c73c +0:0040c73e +0:0040c741 +0:0040c743 +0:0040c749 +0:0040c74c +0:0040c74f +0:0040c751 +0:0040c756 +0:0040c75c +0:0040c760 +0:0040c764 +0:0040c7a8 +0:0040c7ad +0:0040c7b7 +0:0040c7ba +0:0040c7c0 +0:0040c7c4 +0:0040c7c7 +0:0040c7cd +0:0040c7d1 +0:0040c7d5 +0:0040c7d7 +0:0040c7db +0:0040c7de +0:0040c7e2 +0:0040c7e6 +0:0040c7e8 +0:0040c7ee +0:0040c7f2 +0:0040c7f4 +0:0040c7fa +0:0040c7ff +0:0040c8c0 +0:0040c8c4 +0:0040c8c8 +0:0040c8cb +0:0040c8cc +0:0040c8ce +0:0040c8d0 +0:0040c8d1 +0:0040c8d4 +0:0040c910 +0:0040c913 +0:0040c918 +0:0040c91c +0:0040c91e +0:0040c922 +0:0040c926 +0:0040c92a +0:0040c950 +0:0040c951 +0:0040c954 +0:0040c955 +0:0040c95c +0:0040c961 +0:0040c968 +0:0040c96c +0:0040c970 +0:0040c973 +0:0040c976 +0:0040c9a6 +0:0040c9aa +0:0040c9ae +0:0040c9b0 +0:0040c9bb +0:0040c9bd +0:0040c9c1 +0:0040c9c2 +0:0040c9c3 +0:0040d5a0 +0:0040d5a1 +0:0040d5a4 +0:0040d5a6 +0:0040d5a7 +0:0040d5ae +0:0040d5b3 +0:0040d5ba +0:0040d5bd +0:0040d5c1 +0:0040d5c4 +0:0040d5c6 +0:0040d5c9 +0:0040d5cb +0:0040d5cd +0:0040d5cf +0:0040d5d1 +0:0040d5d5 +0:0040d5d9 +0:0040d5db +0:0040d5de +0:0040d5e0 +0:0040d5e4 +0:0040d5e5 +0:0040d5e7 +0:0040d5e8 +0:0040d5f0 +0:0040d5f3 +0:0040d5f5 +0:0040d5f9 +0:0040d5fa +0:0040d5fc +0:0040d5fd +0:0040d630 +0:0040d635 +0:0040d640 +0:0040d641 +0:0040d644 +0:0040d645 +0:0040d64c +0:0040d651 +0:0040d658 +0:0040d65b +0:0040d65e +0:0040d66a +0:0040d671 +0:0040d674 +0:0040d677 +0:0040d67a +0:0040d67c +0:0040d680 +0:0040d681 +0:0040d682 +0:0040d700 +0:0040d701 +0:0040d704 +0:0040d706 +0:0040d708 +0:0040d70a +0:0040d70c +0:0040d70d +0:0040d714 +0:0040d719 +0:0040d720 +0:0040d722 +0:0040d725 +0:0040d728 +0:0040d72e +0:0040d731 +0:0040d734 +0:0040d737 +0:0040d740 +0:0040d744 +0:0040d748 +0:0040d74b +0:0040d74d +0:0040d750 +0:0040d753 +0:0040d757 +0:0040d75b +0:0040d75d +0:0040d760 +0:0040d762 +0:0040d764 +0:0040d768 +0:0040d76e +0:0040d771 +0:0040d775 +0:0040d778 +0:0040d77a +0:0040d77e +0:0040d781 +0:0040d785 +0:0040d788 +0:0040d78b +0:0040d7d0 +0:0040d7d3 +0:0040d7d6 +0:0040d7da +0:0040d7db +0:0040d7dd +0:0040d7df +0:0040d7e1 +0:0040d7e3 +0:0040d7e4 +0:0040d8d0 +0:0040d8d1 +0:0040d8d4 +0:0040d8d6 +0:0040d8d8 +0:0040d8d9 +0:0040d8e0 +0:0040d8e5 +0:0040d8ec +0:0040d8f3 +0:0040d8f6 +0:0040d8f9 +0:0040d8fc +0:0040d8ff +0:0040d902 +0:0040d908 +0:0040d90b +0:0040d927 +0:0040d92f +0:0040d937 +0:0040d93a +0:0040d942 +0:0040d94a +0:0040d952 +0:0040d95a +0:0040d95e +0:0040d95f +0:0040d961 +0:0040d963 +0:0040d964 +0:0040d968 +0:0040d96b +0:0040d972 +0:0040d979 +0:0040d97b +0:0040d97e +0:0040d983 +0:0040de20 +0:0040de21 +0:0040de24 +0:0040de26 +0:0040de28 +0:0040de2a +0:0040de2c +0:0040de2d +0:0040de34 +0:0040de39 +0:0040de40 +0:0040de42 +0:0040de45 +0:0040def4 +0:0040defd +0:0040df00 +0:0040df04 +0:0040df1f +0:0040df22 +0:0040df29 +0:0040df8c +0:0040df92 +0:0040df94 +0:0040dfab +0:0040dfb2 +0:0040dfb7 +0:0040dfba +0:0040dfbd +0:0040dfc0 +0:0040dfc5 +0:0040dfc9 +0:0040dfcc +0:0040e028 +0:0040e02e +0:0040e039 +0:0040e03c +0:0040e042 +0:0040e046 +0:0040e049 +0:0040e04f +0:0040e052 +0:0040e058 +0:0040e05a +0:0040e05d +0:0040e05f +0:0040e06c +0:0040e070 +0:0040e073 +0:0040e074 +0:0040e076 +0:0040e078 +0:0040e07a +0:0040e07c +0:0040e07d +0:0040e080 +0:0040e087 +0:0040e08e +0:0040e095 +0:0040e098 +0:0040e09b +0:0040e0b0 +0:0040e0b4 +0:0040e0b8 +0:0040e0be +0:0040e150 +0:0040e151 +0:0040e154 +0:0040e156 +0:0040e158 +0:0040e15a +0:0040e15b +0:0040e162 +0:0040e167 +0:0040e16e +0:0040e170 +0:0040e175 +0:0040e178 +0:0040e17f +0:0040e188 +0:0040e18b +0:0040e18e +0:0040e194 +0:0040e198 +0:0040e19a +0:0040e19d +0:0040e1a3 +0:0040e1a9 +0:0040e1ac +0:0040e1b2 +0:0040e1b8 +0:0040e1bb +0:0040e1bd +0:0040e1c3 +0:0040e1ca +0:0040e1cd +0:0040e1cf +0:0040e1d3 +0:0040e1d9 +0:0040e1db +0:0040e1e0 +0:0040e1e7 +0:0040e1ef +0:0040e1f2 +0:0040e1f4 +0:0040e1fa +0:0040e201 +0:0040e205 +0:0040e20c +0:0040e213 +0:0040e21a +0:0040e238 +0:0040e23f +0:0040e242 +0:0040e244 +0:0040e248 +0:0040e24a +0:0040e251 +0:0040e259 +0:0040e260 +0:0040e267 +0:0040e270 +0:0040e272 +0:0040e28a +0:0040e290 +0:0040e29a +0:0040e29e +0:0040e2a1 +0:0040e2a7 +0:0040e2a8 +0:0040e2ab +0:0040e2ad +0:0040e2af +0:0040e2b1 +0:0040e2b2 +0:0040e2f0 +0:0040e2f2 +0:0040e2f4 +0:0040e2f6 +0:0040e2f9 +0:0040e2fd +0:0040e2ff +0:0040e306 +0:0040e30d +0:0040e314 +0:0040e318 +0:0040e31b +0:0040e322 +0:0040e329 +0:0040e330 +0:0040e332 +0:0040e334 +0:0040e337 +0:0040e33a +0:0040e33e +0:0040e344 +0:0040f270 +0:0040f271 +0:0040f275 +0:0040f27c +0:0040f27f +0:0040f282 +0:0040f288 +0:0040f28c +0:0040f290 +0:0040f294 +0:0040f297 +0:0040f299 +0:0040f2a0 +0:0040f2a3 +0:0040f2b7 +0:0040f2ba +0:0040f2c5 +0:0040f2c9 +0:0040f2ca +0:0040f2cd +0:0040f2d0 +0:0040fea0 +0:0040fea8 +0:0041014c +0:004112f0 +0:004112f1 +0:004112f4 +0:004112f6 +0:004112f8 +0:004112fa +0:004112fc +0:004112fd +0:00411304 +0:00411309 +0:00411310 +0:00411314 +0:0041131a +0:0041131e +0:00411322 +0:00411325 +0:00411329 +0:0041132f +0:00411333 +0:0041133a +0:0041133c +0:0041133f +0:00411342 +0:00411345 +0:0041134a +0:0041134d +0:00411352 +0:00411355 +0:004113a8 +0:004113af +0:004113b1 +0:004113b4 +0:004113b8 +0:004113bd +0:004113c1 +0:004113c5 +0:004113e4 +0:004113e9 +0:004113ed +0:004113f0 +0:004113f2 +0:004113f5 +0:0041142d +0:00411430 +0:00411434 +0:00411438 +0:00411456 +0:0041145a +0:0041145c +0:0041145f +0:00411464 +0:00411467 +0:0041146a +0:0041146d +0:00411470 +0:00411473 +0:00411476 +0:00411479 +0:0041147c +0:00411480 +0:00411484 +0:00411488 +0:0041148c +0:00411490 +0:00411493 +0:00411497 +0:0041149a +0:0041149f +0:004114a3 +0:004114a7 +0:004114ae +0:004114b1 +0:004114b8 +0:004114bb +0:004114be +0:004114c1 +0:004114c5 +0:004114cb +0:004114d1 +0:004114d4 +0:004114d7 +0:004114db +0:004114e1 +0:0041152b +0:0041152f +0:00411532 +0:004117e7 +0:004117ee +0:004117f4 +0:004117f7 +0:004117fa +0:004117fc +0:00411801 +0:00411806 +0:00411808 +0:0041180a +0:0041180d +0:00411810 +0:00411818 +0:0041181a +0:0041181e +0:00411820 +0:00411823 +0:00411826 +0:0041182c +0:00411830 +0:00411833 +0:0041183b +0:0041183d +0:00411843 +0:00411846 +0:00411849 +0:0041184b +0:0041184f +0:00411853 +0:00411856 +0:0041185a +0:0041185e +0:00411864 +0:00411868 +0:0041196b +0:0041196f +0:00411972 +0:00411973 +0:00411975 +0:00411977 +0:00411979 +0:0041197b +0:0041197c +0:004119cf +0:004119d2 +0:004119d6 +0:004119db +0:004119df +0:004119e2 +0:00411af0 +0:00411af4 +0:00411af7 +0:00411c6c +0:00411c73 +0:00411c76 +0:00411c79 +0:00411c7d +0:00411c81 +0:00411c88 +0:00411c8b +0:00411cd7 +0:00411cdb +0:00411cde +0:00411ce2 +0:00411ce6 +0:00411ce9 +0:00411ced +0:00411cf3 +0:00411cf5 +0:00411cfb +0:00411d02 +0:00411d05 +0:00411d90 +0:00411d97 +0:00411d9e +0:00411da0 +0:00411da7 +0:00411dab +0:00411daf +0:00411db3 +0:00411db7 +0:00411dbd +0:00411dc4 +0:00411dc7 +0:00411dc9 +0:00411dcd +0:00411dd0 +0:00411dd3 +0:00411dd7 +0:00411ddb +0:00411ddf +0:00411de3 +0:00411de7 +0:00411dea +0:00411dee +0:00411df2 +0:00411df5 +0:00411dfb +0:00411e01 +0:00411e03 +0:00411e10 +0:00411e14 +0:00411e17 +0:00411f71 +0:00411f78 +0:00411f7b +0:00411f7f +0:00411f82 +0:00411f86 +0:00411f89 +0:00411f8d +0:00411f91 +0:00411f94 +0:00411f98 +0:00411f9b +0:00411f9f +0:00411fa3 +0:00411fa7 +0:00411fad +0:00411faf +0:004120e3 +0:004120ea +0:004120ee +0:004120f1 +0:004120f4 +0:004120f7 +0:004120fb +0:00412100 +0:00412104 +0:0041210a +0:0041210e +0:00412111 +0:00412114 +0:00412117 +0:0041211d +0:00412121 +0:00412125 +0:00412128 +0:0041212c +0:00412132 +0:00412135 +0:00412138 +0:0041213c +0:00412140 +0:00412142 +0:00412149 +0:0041214e +0:00412151 +0:00412154 +0:00412169 +0:0041216b +0:00412173 +0:00412175 +0:0041217c +0:0041217f +0:00412186 +0:00412189 +0:00412190 +0:00412239 +0:00412240 +0:00412246 +0:00412249 +0:00412259 +0:0041225c +0:0041225f +0:00412271 +0:00412275 +0:00412278 +0:0041227b +0:0041227e +0:00412281 +0:00412285 +0:00412289 +0:0041228c +0:0041228f +0:00412295 +0:00412299 +0:0041229c +0:004122a2 +0:004122a5 +0:004122a9 +0:004122af +0:004122b6 +0:004122b9 +0:004122bc +0:004122d0 +0:004122d3 +0:004122da +0:004122dd +0:004122e1 +0:004122e5 +0:004122ec +0:004122f0 +0:004123a1 +0:004123a4 +0:004123a6 +0:004123c1 +0:004123c5 +0:00413800 +0:00413801 +0:00413804 +0:00413806 +0:00413807 +0:0041380e +0:00413813 +0:0041381a +0:00413821 +0:00413824 +0:00413827 +0:0041382d +0:00413834 +0:00413837 +0:0041383b +0:0041383e +0:00413844 +0:00413849 +0:0041384b +0:00413852 +0:0041385c +0:0041385f +0:00413877 +0:0041387a +0:0041387d +0:00413882 +0:00413885 +0:00413888 +0:0041388e +0:00413895 +0:0041389e +0:004138a0 +0:004138b8 +0:004138bc +0:004138be +0:004138c0 +0:004138c2 +0:004138c9 +0:004138d8 +0:004138db +0:004138e1 +0:004138e4 +0:004138e5 +0:004138e7 +0:004138e8 +0:004138f0 +0:004138f1 +0:004138f5 +0:004138f7 +0:004138f8 +0:00414940 +0:00414941 +0:00414944 +0:00414946 +0:00414948 +0:0041494a +0:0041494c +0:0041494d +0:00414954 +0:00414959 +0:00414960 +0:00414967 +0:0041496e +0:00414978 +0:0041497c +0:00414983 +0:0041498a +0:00414991 +0:00414998 +0:0041499f +0:004149a6 +0:004149ad +0:004149b0 +0:004149b6 +0:004149b9 +0:004149c0 +0:004149c7 +0:004149d1 +0:004149d6 +0:004149dd +0:004149e0 +0:004149e3 +0:004149e9 +0:004149ec +0:004149f3 +0:004149fc +0:00414a00 +0:00414a03 +0:00414a78 +0:00414a7b +0:00414a86 +0:00414a8d +0:00414a90 +0:00414a93 +0:00414a97 +0:00414aa1 +0:00414aa5 +0:00414aa6 +0:00414aa8 +0:00414aaa +0:00414aac +0:00414aae +0:00414aaf +0:00414d10 +0:00414d17 +0:00414d1e +0:00414d24 +0:00414d26 +0:00414d30 +0:00414d31 +0:00414d34 +0:00414d3b +0:00414d40 +0:00414d47 +0:00414d4b +0:00414d50 +0:00414d54 +0:00414d55 +0:00416060 +0:00416061 +0:00416064 +0:0041606b +0:00416070 +0:00416077 +0:0041607c +0:00416081 +0:00416085 +0:00416089 +0:0041608a +0:00416090 +0:00416097 +0:00416099 +0:0041609e +0:004160a5 +0:004160af +0:004160b8 +0:004162e0 +0:004162e7 +0:004162ee +0:004162f5 +0:004162ff +0:0041631b +0:00418510 +0:00418517 +0:0041851e +0:00418525 +0:0041852f +0:0041854b +0:00418680 +0:00418685 +0:0041868a +0:0041868f +0:00418694 +0:00418697 +0:0041869a +0:004186a1 +0:004186a8 +0:004186aa +0:004186af +0:004186b4 +0:004186b9 +0:004186bb +0:004186bd +0:004186c0 +0:004186c1 +0:004186c5 +0:004186cb +0:004186d1 +0:004186d7 +0:004186dc +0:004186e1 +0:004186e6 +0:004186ea +0:004186ee +0:004186f1 +0:004186f5 +0:004186f8 +0:004186fb +0:004186fe +0:00418702 +0:00418705 +0:00418708 +0:0041870a +0:0041870e +0:0041ab00 +0:0041ab01 +0:0041ab04 +0:0041ab05 +0:0041ab0c +0:0041ab11 +0:0041ab18 +0:0041ab1f +0:0041ab21 +0:0041ab23 +0:0041ab25 +0:0041ab29 +0:0041ab30 +0:0041ab32 +0:0041ab39 +0:0041ab3d +0:0041ab3e +0:0041ab3f +0:0041aea0 +0:0041aea7 +0:0041aeae +0:0041aeb8 +0:0041aec2 +0:0041aecc +0:0041aece +0:0041aed5 +0:0041b470 +0:0041b471 +0:0041b474 +0:0041b475 +0:0041b47c +0:0041b481 +0:0041b488 +0:0041b48f +0:0041b491 +0:0041b493 +0:0041b495 +0:0041b498 +0:0041b49b +0:0041b49d +0:0041b4a1 +0:0041b4a8 +0:0041b4aa +0:0041b4ad +0:0041b4af +0:0041b4b6 +0:0041b4ba +0:0041b4bb +0:0041b4bc +0:0041b4f0 +0:0041b4f7 +0:0041b4fe +0:0041b505 +0:0041b50f +0:0041b518 +0:0041b670 +0:0041b674 +0:0041b676 +0:0041b679 +0:0041b67b +0:0041b67e +0:0041b680 +0:0041b683 +0:0041b686 +0:0041b689 +0:0041b68b +0:0041b68e +0:0041b691 +0:0041b695 +0:0041b699 +0:0041b69c +0:0041b69e +0:0041b6a0 +0:0041b6a2 +0:0041b6a6 +0:0041b6aa +0:0041b6ad +0:0041b6af +0:0041b6b2 +0:0041b6b5 +0:0041b6b9 +0:0041b6bd +0:0041b6c0 +0:0041b6c6 +0:0041b6eb +0:0041b6ee +0:0041b6f0 +0:0041b6f2 +0:0041b6f5 +0:0041b720 +0:0041b727 +0:0041b729 +0:0041b72b +0:0041b72e +0:0041b730 +0:0041b732 +0:0041b735 +0:0041b739 +0:0041b73d +0:0041b741 +0:0041b744 +0:0041b748 +0:0041b74c +0:0041b750 +0:0041b754 +0:0041b758 +0:0041b790 +0:0041b793 +0:0041bad0 +0:0041bad7 +0:0041bade +0:0041bae5 +0:0041baef +0:0041bb0b +0:0041bbf0 +0:0041bbf7 +0:0041bbfe +0:0041bc08 +0:0041bc0a +0:0041bc11 +0:0041bc1b +0:0041bc37 +0:00421110 +0:00421114 +0:00421117 +0:00421190 +0:00421195 +0:00421197 +0:0042119a +0:004211d0 +0:004211d7 +0:004211d9 +0:004211db +0:004211de +0:004211e0 +0:004211e2 +0:004211e5 +0:004211e9 +0:004211ed +0:004211f1 +0:004211f4 +0:004211f8 +0:004211fc +0:00421200 +0:00421204 +0:00421208 +0:00421240 +0:00421243 +0:00421248 +0:0042124e +0:00421d00 +0:00421d04 +0:00421d06 +0:00421d0b +0:00421d0f +0:00421d14 +0:00421d18 +0:00421d1d +0:00421d23 +0:00421d27 +0:00421d2b +0:00421d2f +0:00421d33 +0:00421d37 +0:00421d3b +0:00421d3f +0:00421d41 +0:00421d43 +0:00421d46 +0:00421d4a +0:00423170 +0:00423172 +0:00423174 +0:00423178 +0:0042317a +0:0042317f +0:00423184 +0:0042318a +0:0042318e +0:00423192 +0:00423196 +0:0042319a +0:0042319e +0:004231a2 +0:004231a6 +0:004231a9 +0:004231ab +0:004231af +0:004231b3 +0:004231b7 +0:004231b9 +0:004324c0 +0:004324c2 +0:004324c8 +0:004324c9 +0:004324cc +0:004324ce +0:004324d0 +0:004324d2 +0:004324d3 +0:004324da +0:004324df +0:004324e6 +0:004324ed +0:004324f0 +0:004324f5 +0:004324f8 +0:004324fc +0:004324fe +0:00432501 +0:00432503 +0:00432507 +0:0043250d +0:00432514 +0:00432518 +0:0043251c +0:00432520 +0:00432526 +0:0043252d +0:00432533 +0:00432537 +0:00432560 +0:00432563 +0:00432569 +0:00432570 +0:00432574 +0:00432577 +0:0043257b +0:0043257e +0:00432580 +0:00432582 +0:00432585 +0:00432588 +0:0043258a +0:0043258d +0:00432590 +0:00432594 +0:00432597 +0:004325aa +0:004325ad +0:004325af +0:004325b5 +0:004325b7 +0:004325b8 +0:004325ba +0:004325bc +0:004325be +0:004325bf +0:004325c0 +0:004325c4 +0:004325c7 +0:004325c9 +0:0043261d +0:0043261f +0:00432624 +0:00432626 +0:00432628 +0:0043262b +0:0043262d +0:00432630 +0:00432633 +0:00432636 +0:00432639 +0:0043263d +0:00432641 +0:00432644 +0:00432648 +0:0043264b +0:0043264d +0:0043264f +0:00432655 +0:00432658 +0:0043265c +0:0043265f +0:00432663 +0:00432666 +0:0043266c +0:00432670 +0:00432676 +0:0043267a +0:0043267c +0:00432680 +0:00432683 +0:00432685 +0:00432688 +0:0043268a +0:0043268d +0:0043268f +0:00432693 +0:00432695 +0:00432698 +0:004326a0 +0:004326a3 +0:004326a6 +0:004326a8 +0:004326aa +0:004326ac +0:004326af +0:004326b5 +0:004326b8 +0:004326bb +0:004326be +0:004326c2 +0:004326c5 +0:004326c9 +0:004326cc +0:004326d3 +0:004326d6 +0:004326d9 +0:004326dc +0:004326e3 +0:004326e9 +0:004326ec +0:0043271b +0:0043271d +0:00432720 +0:00432723 +0:00432726 +0:00432728 +0:0043272b +0:00432730 +0:00432733 +0:00432736 +0:00432738 +0:0043273e +0:00432741 +0:00432744 +0:00432747 +0:004327b0 +0:004327b1 +0:004327b4 +0:004327b6 +0:004327b8 +0:004327ba +0:004327bc +0:004327bd +0:004327c4 +0:004327c9 +0:004327d0 +0:004327d3 +0:004327d9 +0:004327dc +0:004327e0 +0:004327e4 +0:004327ea +0:004327f1 +0:004327f5 +0:004327f9 +0:00432800 +0:00432803 +0:00432806 +0:00432808 +0:0043280b +0:00432810 +0:00432813 +0:00432819 +0:0043281c +0:0043281f +0:00432821 +0:00432824 +0:00432829 +0:0043282c +0:0043286b +0:00432870 +0:00432872 +0:00432876 +0:00432879 +0:0043287c +0:0043287e +0:00432881 +0:00432883 +0:00432886 +0:004328b0 +0:004328b4 +0:004328b5 +0:004328b7 +0:004328b9 +0:004328bb +0:004328bd +0:004328be +0:00432fd0 +0:00432fd1 +0:00432fd4 +0:00432fdb +0:00432fe1 +0:00432fe7 +0:00432fea +0:00433001 +0:00433004 +0:00433007 +0:00433960 +0:00433961 +0:00433964 +0:00433967 +0:00433969 +0:0043396b +0:0043396e +0:00433971 +0:00433976 +0:00433978 +0:0043397e +0:00433980 +0:00433981 +0:00433a80 +0:00433a87 +0:00433a89 +0:00433a8e +0:00433a90 +0:00433a96 +0:00433a98 +0:00434470 +0:00434471 +0:00434474 +0:00434476 +0:00434478 +0:00434479 +0:00434480 +0:00434485 +0:0043448c +0:00434493 +0:00434496 +0:0043449a +0:0043449d +0:0043449f +0:004344a6 +0:004344a8 +0:004344aa +0:004344ac +0:004344b0 +0:004344b2 +0:004344b4 +0:004344b7 +0:004344ba +0:004344bc +0:004344c1 +0:004344c3 +0:004344c5 +0:004344c9 +0:004344cc +0:004344cd +0:004344cf +0:004344d1 +0:004344d2 +0:004344d8 +0:004344da +0:004344df +0:004344e1 +0:004344e3 +0:004344e7 +0:004345b0 +0:004345b3 +0:004345b8 +0:004345ba +0:004345c0 +0:004345c2 +0:004356f0 +0:004356f3 +0:004356f5 +0:004356f6 +0:004356f9 +0:004356fb +0:004356fc +0:00435703 +0:00435708 +0:0043570f +0:00435712 +0:00435715 +0:00435717 +0:0043571a +0:0043571d +0:00435722 +0:00435727 +0:0043572a +0:0043572c +0:00435730 +0:00435737 +0:0043573a +0:00435741 +0:00435742 +0:00435744 +0:00435745 +0:00435ae0 +0:00435ae1 +0:00435ae8 +0:00435aeb +0:00435af0 +0:00435af3 +0:00435af6 +0:00435af9 +0:00435b02 +0:00435b05 +0:00435b09 +0:00435b0c +0:00435b0e +0:00435b0f +0:00436920 +0:00436921 +0:00436924 +0:00436927 +0:0043694f +0:00436953 +0:00436957 +0:0043695e +0:00436962 +0:00436969 +0:0043696c +0:00436970 +0:00436974 +0:00436975 +0:00436980 +0:00436987 +0:0043698c +0:0043698e +0:00436991 +0:00436997 +0:00436999 +0:004369a0 +0:004369a4 +0:004369b0 +0:004369b7 +0:004369b8 +0:004369bb +0:004369bd +0:004369bf +0:004369c6 +0:004369c9 +0:004369cc +0:004369cf +0:004369d2 +0:004369d4 +0:004369d8 +0:004369dc +0:004369e0 +0:004369e2 +0:004369e6 +0:004369e9 +0:00436a00 +0:00436a04 +0:00436a07 +0:00436a0a +0:00436a0c +0:00436a0f +0:00436a20 +0:00436a24 +0:00436a27 +0:00436a30 +0:00436a33 +0:00436a36 +0:00436a40 +0:00436a44 +0:00436a4b +0:00436a4e +0:00436a50 +0:00436a54 +0:00436a5b +0:00436a5e +0:00436a60 +0:00436a63 +0:00436a66 +0:00436a70 +0:00436a74 +0:00436a77 +0:00436a79 +0:00436a80 +0:00436aa0 +0:00436aa4 +0:00436aab +0:00436aae +0:00436ab8 +0:00436abc +0:00436ac3 +0:00436ad0 +0:00436ad4 +0:00436ad7 +0:00436ae0 +0:00436ae4 +0:00436aeb +0:00436b30 +0:00436b33 +0:00436b36 +0:00436b38 +0:00436b3b +0:00436b3d +0:00436b44 +0:00436b47 +0:00436b49 +0:00436b50 +0:00436b56 +0:00436b57 +0:00436b60 +0:00436b61 +0:00436b64 +0:00436b66 +0:00436b68 +0:00436b6a +0:00436b6c +0:00436b6d +0:00436b74 +0:00436b79 +0:00436b80 +0:00436b85 +0:00436b8c +0:00436b93 +0:00436b96 +0:00436b9d +0:00436ba4 +0:00436ba7 +0:00436bae +0:00436bb0 +0:00436bb4 +0:00436bb6 +0:00436bbd +0:00436bc0 +0:00436bc7 +0:00436bca +0:00436bcf +0:00436bd6 +0:00436bd9 +0:00436be0 +0:00436be4 +0:00436be6 +0:00436be9 +0:00436bf0 +0:00436bf3 +0:00436bf8 +0:00436bfa +0:00437067 +0:0043706e +0:00437075 +0:0043707a +0:0043707d +0:00437082 +0:00437089 +0:00437090 +0:00437093 +0:0043709a +0:0043709d +0:004370a2 +0:004370a5 +0:004370ac +0:004370b0 +0:004370b2 +0:004370b5 +0:004370bc +0:004370bf +0:004370c1 +0:004370c6 +0:004370c9 +0:004370d0 +0:004370d4 +0:004370d6 +0:004370d9 +0:004370e0 +0:004370e3 +0:004370e5 +0:004370ea +0:004370ed +0:004370f4 +0:004370f8 +0:004370fa +0:004370fd +0:00437104 +0:00437107 +0:00437109 +0:0043710e +0:00437115 +0:00437118 +0:0043711b +0:00437126 +0:0043712d +0:00437134 +0:00437136 +0:00437139 +0:0043713b +0:0043713d +0:00437140 +0:00437143 +0:00437146 +0:00437148 +0:00437191 +0:00437198 +0:0043719b +0:0043719e +0:004371a9 +0:004371b0 +0:004371b5 +0:004371b8 +0:004371bb +0:0043720b +0:00437212 +0:00437215 +0:00437218 +0:00437229 +0:00437230 +0:00437233 +0:00437236 +0:00437238 +0:0043723f +0:00437242 +0:00437245 +0:00437247 +0:00437249 +0:0043724f +0:00437253 +0:00437260 +0:00437263 +0:00437267 +0:0043726e +0:00437274 +0:00437278 +0:0043727b +0:004373c0 +0:004373c3 +0:004373c9 +0:004373cd +0:004373ce +0:004373d0 +0:004373d2 +0:004373d4 +0:004373d6 +0:004373d7 +0:004377e0 +0:004377e7 +0:004377e9 +0:004377eb +0:004377ed +0:00437850 +0:00437851 +0:00437854 +0:00437856 +0:00437858 +0:00437859 +0:00437860 +0:00437865 +0:0043786c +0:00437873 +0:00437876 +0:0043787b +0:0043787d +0:00437884 +0:0043788a +0:0043788d +0:0043788f +0:00437892 +0:00437895 +0:00437898 +0:0043789a +0:0043789e +0:004378a2 +0:004378a5 +0:004378a8 +0:004378ac +0:004378c7 +0:004378ca +0:004378ce +0:004378d2 +0:004378d4 +0:004378d7 +0:004378d9 +0:004378dd +0:004378df +0:004378e6 +0:004378e7 +0:004378e9 +0:004378eb +0:004378ec +0:004378ed +0:004378f1 +0:00437980 +0:00437981 +0:00437984 +0:00437986 +0:00437988 +0:00437989 +0:00437990 +0:00437995 +0:0043799c +0:004379a3 +0:004379a5 +0:004379a8 +0:004379ab +0:004379ae +0:004379c0 +0:004379c7 +0:004379c9 +0:004379d0 +0:004379d3 +0:004379da +0:004379dd +0:004379e2 +0:004379e7 +0:004379ea +0:004379ed +0:004379ef +0:004379f4 +0:004379f8 +0:004379f9 +0:004379fb +0:004379fd +0:004379fe +0:00437a08 +0:00437a0f +0:00437a19 +0:00437a1c +0:00437a23 +0:00437a26 +0:00437a50 +0:00437a51 +0:00437a58 +0:00437a5a +0:00437a5d +0:00437a5e +0:00437a60 +0:00437a66 +0:00437a69 +0:00437a6d +0:00437a73 +0:00437a76 +0:00437a79 +0:00437a7b +0:00437a81 +0:00437ab4 +0:00437ab8 +0:00437aba +0:00437abf +0:00437ac1 +0:00437ac3 +0:00437ac6 +0:00437ac9 +0:00437acc +0:00437acf +0:00437ad3 +0:00437ada +0:00437adc +0:00437ade +0:00437ae1 +0:00437ae4 +0:00437ae7 +0:00437ae9 +0:00437aed +0:00437af0 +0:00437af3 +0:00437af4 +0:00437af5 +0:00437b00 +0:00437b07 +0:00437b09 +0:00437b0d +0:00437b11 +0:00437b1a +0:00437b21 +0:00437b23 +0:00437b2a +0:00437b2e +0:00437b48 +0:00437b4d +0:00437b4f +0:00437b52 +0:00437b55 +0:00437b57 +0:00437b5b +0:00437b5d +0:00437b60 +0:00437b63 +0:00437b67 +0:00437b6a +0:00437b70 +0:00437b74 +0:00437b77 +0:00437b7a +0:00437b7d +0:00437b83 +0:00437b87 +0:00437b8d +0:00437b93 +0:00437b95 +0:00437b98 +0:00437b9b +0:00437b9d +0:00437ba4 +0:00437ba8 +0:00437bab +0:00437c06 +0:00437c0c +0:00437c12 +0:00437c18 +0:00437c1c +0:00437c22 +0:004426d0 +0:004426d7 +0:004426d8 +0:004426df +0:004426e2 +0:004426e6 +0:004426e9 +0:004426ed +0:004426f4 +0:004426f8 +0:004426fb +0:00442702 +0:00442706 +0:0044270d +0:00442711 +0:00442714 +0:0044271b +0:0044271f +0:00442725 +0:00442729 +0:0044272a +0:00442750 +0:00442753 +0:00442756 +0:0044275f +0:00442763 +0:00442767 +0:0044276b +0:0044276f +0:00442773 +0:00442777 +0:0044277c +0:00442785 +0:00442789 +0:0044278d +0:00442791 +0:0044279a +0:0044279e +0:004427a2 +0:004427b0 +0:004427b1 +0:004427b4 +0:004427b5 +0:004427bc +0:004427c1 +0:004427c8 +0:004427ca +0:004427cc +0:004427cf +0:004427e6 +0:004427e9 +0:004427ed +0:004427ef +0:004427f0 +0:004427f1 +0:00443b90 +0:00443b91 +0:00443b93 +0:00443b96 +0:00443b98 +0:00443b9b +0:00443ba2 +0:00443c1c +0:00443c26 +0:00443c30 +0:00443c33 +0:00443c37 +0:00443c3a +0:00443c3e +0:00443c42 +0:00443c45 +0:00443c48 +0:00443c4b +0:00443c50 +0:00443c53 +0:00443c55 +0:00443c57 +0:00443c5a +0:00443c5b +0:00443da0 +0:00443da1 +0:00443da4 +0:00443da6 +0:00443da8 +0:00443daa +0:00443dac +0:00443dad +0:00443db4 +0:00443db9 +0:00443dc0 +0:00443dc7 +0:00443dca +0:00443dd0 +0:00443dd6 +0:00443dd8 +0:00443dde +0:00443de8 +0:00443dea +0:00443ded +0:00443df3 +0:00443df6 +0:00443dfc +0:00443dff +0:00443e02 +0:00443e05 +0:00443e08 +0:00443e0e +0:00443e11 +0:00443e16 +0:00443e19 +0:00443e20 +0:00443e24 +0:00443e2b +0:00443e2f +0:00443e36 +0:00443e3b +0:00443e3e +0:00443e45 +0:00443e4c +0:00443e56 +0:00443e5c +0:00443e63 +0:00443e6a +0:00443e6d +0:00443e70 +0:00443e73 +0:00443e76 +0:00443e79 +0:00443e7c +0:00443e86 +0:00443e8c +0:00443e93 +0:00443e95 +0:00443e9c +0:00443ea0 +0:00443eb4 +0:00443eba +0:00443ebe +0:00443ebf +0:00443ec1 +0:00443ec3 +0:00443ec5 +0:00443ec7 +0:00443ec8 +0:00443ee0 +0:00443ee8 +0:00443eee +0:00443ef5 +0:00443efc +0:00443f03 +0:00443f0a +0:00443f13 +0:00443f17 +0:00443f19 +0:00443f1e +0:00443f20 +0:00443f27 +0:00443f31 +0:00443f34 +0:00443f4c +0:00443f53 +0:00443f57 +0:00443f5e +0:00443f62 +0:00443f88 +0:00443f8f +0:00443f97 +0:00443f9e +0:00443fa5 +0:00443fae +0:00443fb0 +0:00443fc8 +0:00443fce +0:00443fd0 +0:00444028 +0:0044402f +0:00444048 +0:0044404f +0:00444055 +0:00444058 +0:0044405e +0:00444065 +0:00444069 +0:004443ab +0:004443b2 +0:004443c0 +0:004443c7 +0:004443ca +0:004443d1 +0:004443d4 +0:00444409 +0:00444410 +0:00444414 +0:0044441a +0:00444421 +0:00444428 +0:00444433 +0:0044443d +0:00444447 +0:0044444b +0:00444c60 +0:00444c67 +0:00444c6e +0:00444c75 +0:00444c7c +0:00444dd3 +0:00444dde +0:00444de9 +0:00444ded +0:00444def +0:00444df9 +0:00444e03 +0:00444e0d +0:00444e14 +0:00444e18 +0:00444e22 +0:00444e2c +0:00444e36 +0:00444e40 +0:00444e4a +0:00444e54 +0:00444e56 +0:00444e5c +0:00444e60 +0:00444e63 +0:00444e6d +0:00444e77 +0:00444e7e +0:00444e88 +0:00444e8f +0:00444e92 +0:00444e99 +0:00444e9f +0:00444ea2 +0:00444ea9 +0:00444eac +0:00444eae +0:00444eb2 +0:00444eb9 +0:00444ebd +0:00445ae0 +0:00445ae3 +0:00445aed +0:00445af4 +0:00445af9 +0:00445afd +0:00445b00 +0:00445b07 +0:00445b0c +0:00445b13 +0:00445b1a +0:00445b20 +0:00445b27 +0:00445b2a +0:00445b2d +0:00445b30 +0:00445b33 +0:00445b36 +0:00445b3d +0:00445b40 +0:00445b43 +0:00445b45 +0:00445b48 +0:00445b4e +0:00445b53 +0:00445b59 +0:00445b5c +0:00445b5f +0:00445b65 +0:00445b6b +0:00445b6e +0:00445be7 +0:00445bee +0:00445c4b +0:00445c52 +0:00445c59 +0:00445c5c +0:00445c63 +0:00445c66 +0:00445c6b +0:00445c6f +0:00445c76 +0:00445c7d +0:00445c83 +0:00445c89 +0:00445c8f +0:00445c95 +0:00445c9b +0:00445ca2 +0:00445ca8 +0:00445caa +0:00445cb1 +0:00445ccf +0:00445cd5 +0:00445cd8 +0:00445cde +0:00445ce1 +0:00445ce8 +0:00445cef +0:00445cf5 +0:00445cf8 +0:00445d31 +0:00445d38 +0:00445d3a +0:00445d41 +0:00445dae +0:00445db4 +0:00445dba +0:00445dbc +0:00445e1b +0:00445e22 +0:00445e28 +0:00445e2f +0:00445e36 +0:00445e39 +0:00445e40 +0:00445e43 +0:00445e46 +0:00445e4d +0:00445e50 +0:00445e57 +0:00445e5a +0:00445e60 +0:00445e65 +0:00445e6b +0:00445e6d +0:00445e70 +0:00445e76 +0:00445e7c +0:00445e88 +0:00445e8a +0:00445e91 +0:00445e97 +0:00445e9e +0:00445ea1 +0:00445ea8 +0:00445eaf +0:00445eb2 +0:00445eb7 +0:00445ebf +0:00445ec6 +0:00445ecd +0:00445ed4 +0:00445ed6 +0:00445edd +0:00445ee3 +0:00445eea +0:00445eec +0:00445ef3 +0:00445ef5 +0:00445ef8 +0:00445eff +0:00445f06 +0:00445f0d +0:00445f14 +0:00445f1b +0:00445f1e +0:00445f21 +0:00445f23 +0:00445f29 +0:00445f30 +0:00445f34 +0:00445f3b +0:00445f3e +0:00445f41 +0:00445f48 +0:00445fa3 +0:00445fa9 +0:00447492 +0:00447498 +0:0044749a +0:0044755c +0:00447566 +0:004475fc +0:00447603 +0:00447a69 +0:00447a70 +0:00447a74 +0:00447a8c +0:00447a8f +0:00447ac8 +0:00447ad2 +0:00447ad5 +0:00447aea +0:00447af1 +0:00447b46 +0:00447b4d +0:00447b53 +0:00447b56 +0:00447b5c +0:00447b5e +0:00447b63 +0:00447b66 +0:00447b6a +0:00447b6d +0:00449403 +0:0044940a +0:0044950f +0:00449519 +0:004550b0 +0:004550b1 +0:004550b4 +0:004550b6 +0:004550b8 +0:004550b9 +0:004550c0 +0:004550c5 +0:004550cc +0:004550cf +0:004550d2 +0:004550d4 +0:004550d6 +0:004550dd +0:004550e4 +0:004550ea +0:004550ec +0:004550ee +0:004550f4 +0:004550f9 +0:004550fe +0:00455100 +0:00455104 +0:00455107 +0:00455109 +0:00455110 +0:00455117 +0:0045512a +0:0045512d +0:0045512f +0:00455135 +0:0045513a +0:0045513f +0:00455144 +0:00455148 +0:0045514a +0:0045514e +0:00455151 +0:00455156 +0:00455159 +0:0045515e +0:00455163 +0:0045516a +0:0045516b +0:0045516d +0:0045516f +0:00455170 +0:00455178 +0:0045517f +0:00455182 +0:00455186 +0:0045518a +0:0045518f +0:00455195 +0:00455197 +0:0045519c +0:0045519f +0:004551b0 +0:004551b7 +0:004551bc +0:004551c0 +0:004551c5 +0:004551c7 +0:004551cb +0:004551cd +0:004578d0 +0:004578d4 +0:004578d7 +0:004578dc +0:004578e0 +0:004578e6 +0:004578ea +0:004578ef +0:004578f5 +0:004578f9 +0:004578fd +0:00457901 +0:00457905 +0:00457909 +0:0045790d +0:00457911 +0:00457914 +0:00457930 +0:00457935 +0:00457939 +0:0045793e +0:00457942 +0:00457946 +0:0045794b +0:0045794f +0:00457953 +0:00457957 +0:0045795b +0:0045795f +0:00457963 +0:00457968 +0:0045796c +0:00457970 +0:00457974 +0:00457978 +0:0045797c +0:0045797f +0:00457982 +0:00457986 +0:0045798a +0:0045798e +0:00457991 +0:00457994 +0:00457998 +0:0045799c +0:0045799f +0:004579a2 +0:004579a4 +0:004579a8 +0:004579ab +0:004579ae +0:004579b4 +0:004579b8 +0:004579bc +0:0045c230 +0:0045c235 +0:0045c237 +0:0045c23d +0:0045c23f +0:0045c4e0 +0:0045c4e1 +0:0045c4e4 +0:0045c4eb +0:0045c4f0 +0:0045c4f7 +0:0045c4fb +0:0045c500 +0:0045c502 +0:0045c503 +0:0045c506 +0:0045c509 +0:0045c510 +0:0045c511 +0:0045c516 +0:0045c519 +0:0045c51c +0:0045c521 +0:0045c523 +0:0045c526 +0:0045c52a +0:0045c52c +0:0045c532 +0:0045c535 +0:0045c5a8 +0:0045c5af +0:0045c5b1 +0:0045c5b4 +0:0045c5b9 +0:0045c5ba +0:0045c5c0 +0:0045c5c1 +0:0045c5c6 +0:0045c5c9 +0:0045c5cb +0:0045c5ce +0:0045c5d0 +0:0045c5d6 +0:0045c5d9 +0:0045c5db +0:0045c5e2 +0:0045c5e4 +0:0045c5e7 +0:0045c5e9 +0:0045c5ea +0:0045f770 +0:0045f771 +0:0045f774 +0:0045f776 +0:0045f778 +0:0045f77a +0:0045f77b +0:0045f782 +0:0045f787 +0:0045f78e +0:0045f795 +0:0045f79c +0:0045f7a3 +0:0045f7a6 +0:0045f7a9 +0:0045f7b0 +0:0045f7b3 +0:0045f7b8 +0:0045f7bd +0:0045f7c4 +0:0045f7c9 +0:0045f7cc +0:0045f7cf +0:0045f7d6 +0:0045f7dc +0:0045f7e3 +0:0045f7ed +0:0045f7f5 +0:0045f7f8 +0:0045f7fc +0:0045f800 +0:0045f804 +0:0045f808 +0:0045f80d +0:0045f810 +0:0045f813 +0:0045f817 +0:0045f81d +0:0045f824 +0:0045f828 +0:0045f82a +0:0045f82d +0:0045f837 +0:0045f83f +0:0045f847 +0:0045f84a +0:0045f84d +0:0045f854 +0:0045f858 +0:0045f85f +0:0045f863 +0:0045f86a +0:0045f86c +0:0045f86e +0:0045f870 +0:0045f878 +0:0045f87c +0:0045f87f +0:0045f881 +0:0045f885 +0:0045f887 +0:0045f88a +0:0045f88d +0:0045f891 +0:0045f894 +0:0045f89b +0:0045f89f +0:0045f8a3 +0:0045f8a7 +0:0045f8ab +0:0045f8af +0:0045f8b3 +0:0045f8bb +0:0045f8c3 +0:0045f8c9 +0:0045f8cc +0:0045f8cf +0:0045f8d4 +0:0045f8e0 +0:0045f8e3 +0:0045f8ea +0:0045f8f5 +0:0045f8fd +0:0045f908 +0:0045f913 +0:0045f917 +0:0045f918 +0:0045f91a +0:0045f91c +0:0045f91e +0:0045f91f +0:00463cd0 +0:00463cd1 +0:00463cd4 +0:00463cd6 +0:00463cd8 +0:00463cda +0:00463cdc +0:00463cdd +0:00463ce4 +0:00463ce9 +0:00463cf0 +0:00463cf7 +0:00463cfb +0:00463cfe +0:00463d02 +0:00463d06 +0:00463d0a +0:00463d0d +0:00463d11 +0:00463d16 +0:00463d19 +0:00463d1d +0:00463d24 +0:00463d27 +0:00463d2a +0:00463d31 +0:00463d34 +0:00463d63 +0:00463d6a +0:00463d6d +0:00463d70 +0:00463d74 +0:00463e57 +0:00463e5b +0:00463e62 +0:00463e65 +0:00463e68 +0:00463e6c +0:00463e70 +0:00463e73 +0:00463e7a +0:00463e7d +0:00463e8b +0:00463e8e +0:00463e90 +0:00463e93 +0:00463e96 +0:00463e9b +0:00463ea2 +0:00463ea6 +0:00463eab +0:00463ead +0:00463eb0 +0:00463eb3 +0:00463efe +0:00463f02 +0:00463f26 +0:00463f2a +0:00463f2d +0:00463f31 +0:00463f34 +0:00463f38 +0:00463f3f +0:00463f47 +0:00463f4a +0:00463f50 +0:00463f54 +0:00463f58 +0:00464275 +0:00464279 +0:0046427d +0:0046427e +0:00464280 +0:00464282 +0:00464284 +0:00464286 +0:00464287 +0:00464299 +0:0046429d +0:004642a1 +0:004642a6 +0:004642ad +0:004642b2 +0:004642b7 +0:004642ba +0:004642be +0:004642c4 +0:004642c8 +0:004642cb +0:004642cf +0:004642d3 +0:004642db +0:004642de +0:004642e1 +0:004642e5 +0:004642e9 +0:004642ec +0:004642f1 +0:004642f4 +0:004642f8 +0:004642fc +0:00464303 +0:00464307 +0:0046430a +0:00464432 +0:00464435 +0:00464438 +0:00465aa0 +0:00465aa1 +0:00465aa4 +0:00465aa6 +0:00465aa8 +0:00465aa9 +0:00465ab0 +0:00465ab6 +0:00465abb +0:00465ac2 +0:00465ac7 +0:00465ace +0:00465ad3 +0:00465ada +0:00465adc +0:00465ade +0:00465ae4 +0:00465ae9 +0:00465aeb +0:00465af2 +0:00465af5 +0:00465af7 +0:00465afa +0:00465b00 +0:00465b03 +0:00465b05 +0:00465b08 +0:00465b0b +0:00465b13 +0:00465b20 +0:00465b23 +0:00465b26 +0:00465b2e +0:00465b34 +0:00465b36 +0:00465b39 +0:00465bba +0:00465bc1 +0:00465bc4 +0:00465bc5 +0:00465bc7 +0:00465bc9 +0:00465bca +0:00465be0 +0:00465be3 +0:00465be6 +0:00465beb +0:00465bee +0:00465bf1 +0:00465bf3 +0:00465bf6 +0:00465bfd +0:00465c00 +0:00465c03 +0:00465c08 +0:00465c0b +0:00474fc0 +0:00474fc1 +0:00474fc4 +0:00474fc7 +0:00474fca +0:00474fdf +0:00474fe0 +0:00482980 +0:00482987 +0:0048298e +0:00482998 +0:0048299a +0:004829a1 +0:004829ab +0:004829c7 +0:0048f930 +0:0048f933 +0:0048f935 +0:0048f937 +0:0048f939 +0:0048f940 +0:0048f948 +0:0048f94d +0:0048f955 +0:0048f95c +0:0048f964 +0:0048f96c +0:0048f970 +0:0048f974 +0:0048f9a8 +0:0048f9af +0:0048f9b6 +0:0048f9ba +0:0048fb20 +0:0048fb22 +0:0048fb23 +0:0048fb24 +0:0048fb27 +0:0048fb2d +0:0048fb2f +0:0048fb31 +0:0048fb37 +0:0048fb3e +0:0048fb41 +0:0048fb44 +0:0048fb52 +0:0048fb59 +0:0048fb5c +0:0048fb5e +0:0048fb62 +0:0048fb64 +0:0048fbd4 +0:0048fbd8 +0:0048fbdb +0:0048fbde +0:0048fbf1 +0:0048fbf4 +0:0048fbf5 +0:0048fbf6 +0:0048fbf8 +0:0048fc35 +0:0048fc38 +0:0048fc3f +0:0048fc50 +0:0049124c +0:00491250 +0:00491254 diff --git a/tests/test_binaries.py b/tests/test_binaries.py index 8f1faae..ef693c7 100644 --- a/tests/test_binaries.py +++ b/tests/test_binaries.py @@ -22,6 +22,15 @@ class IntegrationTest(unittest.TestCase): # Remove the directory after the test shutil.rmtree(self.test_dir) + def _loadVisitedSet(self, visited): + + self.assertTrue(os.path.exists(visited)) + vitems = open(visited, 'r').read().splitlines() + + vitems = map(lambda x: int(x[2:], 16), vitems) + + return set(vitems) + def _runWithTimeout(self, procargs, logfile, timeout=1200): with open(os.path.join(os.pardir, logfile), "w") as output: @@ -43,8 +52,6 @@ class IntegrationTest(unittest.TestCase): self.assertTrue(filename.startswith(os.getcwd())) filename = filename[len(os.getcwd())+1:] data = file(filename,'rb').read() - self.assertEqual(len(data), 767152) - self.assertEqual(hashlib.md5(data).hexdigest() , '00fb23e47831a1054ca4a74656035472') workspace = '%s/workspace'%self.test_dir t = time.time() with open(os.path.join(os.pardir, '%s/output.log'%self.test_dir), "w") as output: @@ -66,30 +73,25 @@ class IntegrationTest(unittest.TestCase): output = subprocess.check_output(['python', '-m', 'manticore', filename]) self.assertLessEqual(len(output.splitlines()), 25) - @unittest.skip('TODO(mark); skipping so we can move on with our lives and merge x86_new. ask felipe to fix later.') def testArgumentsAssertions(self): dirname = os.path.dirname(__file__) filename = os.path.abspath(os.path.join(dirname, 'binaries/arguments_linux_amd64')) self.assertTrue(filename.startswith(os.getcwd())) filename = filename[len(os.getcwd())+1:] - SE = os.path.join(dirname, '../main.py') data = file(filename,'rb').read() - self.assertEqual(len(data), 767152) - self.assertEqual(hashlib.md5(data).hexdigest() , '00fb23e47831a1054ca4a74656035472') workspace = '%s/workspace'%self.test_dir assertions = '%s/assertions.txt'%self.test_dir file(assertions,'w').write('0x0000000000401003 ZF == 1') with open(os.path.join(os.pardir, '%s/output.log'%self.test_dir), "w") as output: - self._runWithTimeout(['python', SE, - '--workspace', workspace, - '--proc', '4', - '--assertions', assertions, - filename, - '+++++++++'], stdout=output) - data = file('%s/visited.txt'%workspace,'r').read() - data = '\n'.join(sorted(set(data.split('\n')))) - self.assertEqual(hashlib.md5(data).hexdigest() , 'c52d7d471ba5c94fcf59936086821a6b') - + subprocess.check_call(['python', '-m', 'manticore', + '--workspace', workspace, + '--proc', '4', + '--assertions', assertions, + filename, + '+++++++++'], stdout=output) + actual = self._loadVisitedSet(os.path.join(dirname, '%s/visited.txt'%workspace)) + expected = self._loadVisitedSet(os.path.join(dirname, 'reference/arguments_linux_arm64_visited.txt')) + self.assertGreaterEqual(actual, expected) def testDecree(self): dirname = os.path.dirname(__file__) @@ -98,8 +100,6 @@ class IntegrationTest(unittest.TestCase): filename = filename[len(os.getcwd())+1:] SE = os.path.join(dirname, '../main.py') data = file(filename,'rb').read() - self.assertEqual(len(data), 1828) - self.assertEqual(hashlib.md5(data).hexdigest() , '8955a29d51c1edd39b0e53794ebcf464') workspace = '%s/workspace'%self.test_dir self._runWithTimeout(['python', '-m', 'manticore', '--workspace', workspace, @@ -108,9 +108,8 @@ class IntegrationTest(unittest.TestCase): '--policy', 'uncovered', filename], '%s/output.log'%self.test_dir) - data = file('%s/visited.txt'%workspace,'r').read() - visited = len(set(data.split('\n'))) - self.assertTrue(visited > 100 ) + actual = self._loadVisitedSet(os.path.join(dirname, '%s/visited.txt'%workspace)) + self.assertTrue(len(actual) > 100 ) if __name__ == '__main__':