⊟
108 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B
⊟
108 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A/lib vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B/lib
⊟
107 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A/lib/ghc-9.6.6 vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B/lib/ghc-9.6.6
⊟
107 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A/lib/ghc-9.6.6/lib vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B/lib/ghc-9.6.6/lib
⊟
107 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6 vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6
⊟
107 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr
⊟
23.8 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr/libHSquickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr.a vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr/libHSquickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr.a
⊟
23.5 KB
IO.o
⊟
3.98 KB
readelf --wide --sections {}
    
Offset 10, 28 lines modifiedOffset 10, 28 lines modified
10 ··[·5]·.rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule4_bytes·PROGBITS········0000000000000000·000053·00002b·01·AMS··0···0··110 ··[·5]·.rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule4_bytes·PROGBITS········0000000000000000·000053·00002b·01·AMS··0···0··1
11 ··[·6]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure·PROGBITS········0000000000000000·000080·000010·00··WA··0···0··811 ··[·6]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure·PROGBITS········0000000000000000·000080·000010·00··WA··0···0··8
12 ··[·7]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure·RELA············0000000000000000·001ed8·000030·18···I·62···6··812 ··[·7]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure·RELA············0000000000000000·001ed8·000030·18···I·62···6··8
13 ··[·8]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure·PROGBITS········0000000000000000·000090·000010·00··WA··0···0··813 ··[·8]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure·PROGBITS········0000000000000000·000090·000010·00··WA··0···0··8
14 ··[·9]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure·RELA············0000000000000000·001f08·000030·18···I·62···8··814 ··[·9]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure·RELA············0000000000000000·001f08·000030·18···I·62···8··8
15 ··[10]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure·PROGBITS········0000000000000000·0000a0·000020·00··WA··0···0··815 ··[10]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure·PROGBITS········0000000000000000·0000a0·000020·00··WA··0···0··8
16 ··[11]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure·RELA············0000000000000000·001f38·000048·18···I·62··10··816 ··[11]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure·RELA············0000000000000000·001f38·000048·18···I·62··10··8
17 ··[12]·.data..Lu2lg_srt··PROGBITS········0000000000000000·0000c0·000020·00··WA··0···0··817 ··[12]·.data..Lu2lO_srt··PROGBITS········0000000000000000·0000c0·000020·00··WA··0···0··8
18 ··[13]·.rela.data..Lu2lg_srt·RELA············0000000000000000·001f80·000048·18···I·62··12··818 ··[13]·.rela.data..Lu2lO_srt·RELA············0000000000000000·001f80·000048·18···I·62··12··8
19 ··[14]·.data..Lu2lh_srt··PROGBITS········0000000000000000·0000e0·000028·00··WA··0···0··819 ··[14]·.data..Lu2lP_srt··PROGBITS········0000000000000000·0000e0·000028·00··WA··0···0··8
20 ··[15]·.rela.data..Lu2lh_srt·RELA············0000000000000000·001fc8·000060·18···I·62··14··820 ··[15]·.rela.data..Lu2lP_srt·RELA············0000000000000000·001fc8·000060·18···I·62··14··8
21 ··[16]·.text..Ls2jC_info·PROGBITS········0000000000000000·000108·000036·00··AX··0···0··821 ··[16]·.text..Ls2jC_info·PROGBITS········0000000000000000·000108·000036·00··AX··0···0··8
22 ··[17]·.rela.text..Ls2jC_info·RELA············0000000000000000·002028·000048·18···I·62··16··822 ··[17]·.rela.text..Ls2jC_info·RELA············0000000000000000·002028·000048·18···I·62··16··8
23 ··[18]·.text..Ls2jB_info·PROGBITS········0000000000000000·000140·00005d·00··AX··0···0··823 ··[18]·.text..Ls2jB_info·PROGBITS········0000000000000000·000140·00005d·00··AX··0···0··8
24 ··[19]·.rela.text..Ls2jB_info·RELA············0000000000000000·002070·000090·18···I·62··18··824 ··[19]·.rela.text..Ls2jB_info·RELA············0000000000000000·002070·000090·18···I·62··18··8
25 ··[20]·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info·PROGBITS········0000000000000000·0001a0·0001c1·00··AX··0···0··825 ··[20]·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info·PROGBITS········0000000000000000·0001a0·0001c1·00··AX··0···0··8
26 ··[21]·.rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info·RELA············0000000000000000·002100·0002a0·18···I·62··20··826 ··[21]·.rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info·RELA············0000000000000000·002100·0002a0·18···I·62··20··8
27 ··[22]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_closure·PROGBITS········0000000000000000·000368·000010·00··WA··0···0··827 ··[22]·.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_closure·PROGBITS········0000000000000000·000368·000010·00··WA··0···0··8
28 ··[23]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_closure·RELA············0000000000000000·0023a0·000018·18···I·62··22··828 ··[23]·.rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_closure·RELA············0000000000000000·0023a0·000018·18···I·62··22··8
29 ··[24]·.data..Lu2mF_srt··PROGBITS········0000000000000000·000378·000020·00··WA··0···0··829 ··[24]·.data..Lu2oe_srt··PROGBITS········0000000000000000·000378·000020·00··WA··0···0··8
30 ··[25]·.rela.data..Lu2mF_srt·RELA············0000000000000000·0023b8·000048·18···I·62··24··830 ··[25]·.rela.data..Lu2oe_srt·RELA············0000000000000000·0023b8·000048·18···I·62··24··8
31 ··[26]·.text..Ls2jN_info·PROGBITS········0000000000000000·000398·00005e·00··AX··0···0··831 ··[26]·.text..Ls2jN_info·PROGBITS········0000000000000000·000398·00005e·00··AX··0···0··8
32 ··[27]·.rela.text..Ls2jN_info·RELA············0000000000000000·002400·000048·18···I·62··26··832 ··[27]·.rela.text..Ls2jN_info·RELA············0000000000000000·002400·000048·18···I·62··26··8
33 ··[28]·.text..Ls2jW_info·PROGBITS········0000000000000000·0003f8·00001f·00··AX··0···0··833 ··[28]·.text..Ls2jW_info·PROGBITS········0000000000000000·0003f8·00001f·00··AX··0···0··8
34 ··[29]·.text..Ls2jX_info·PROGBITS········0000000000000000·000418·0000e6·00··AX··0···0··834 ··[29]·.text..Ls2jX_info·PROGBITS········0000000000000000·000418·0000e6·00··AX··0···0··8
35 ··[30]·.rela.text..Ls2jX_info·RELA············0000000000000000·002448·000108·18···I·62··29··835 ··[30]·.rela.text..Ls2jX_info·RELA············0000000000000000·002448·000108·18···I·62··29··8
36 ··[31]·.text..Ls2jY_info·PROGBITS········0000000000000000·000500·0000b6·00··AX··0···0··836 ··[31]·.text..Ls2jY_info·PROGBITS········0000000000000000·000500·0000b6·00··AX··0···0··8
37 ··[32]·.rela.text..Ls2jY_info·RELA············0000000000000000·002550·0000c0·18···I·62··31··837 ··[32]·.rela.text..Ls2jY_info·RELA············0000000000000000·002550·0000c0·18···I·62··31··8
⊟
1.53 KB
readelf --wide --symbols {}
    
Offset 1, 17 lines modifiedOffset 1, 17 lines modified
  
1 Symbol·table·'.symtab'·contains·69·entries:1 Symbol·table·'.symtab'·contains·69·entries:
2 ···Num:····Value··········Size·Type····Bind···Vis······Ndx·Name2 ···Num:····Value··········Size·Type····Bind···Vis······Ndx·Name
3 ·····0:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT··UND·3 ·····0:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT··UND·
4 ·····1:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···12·.data..Lu2lg_srt4 ·····1:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···12·.data..Lu2lO_srt
5 ·····2:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···14·.data..Lu2lh_srt5 ·····2:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···14·.data..Lu2lP_srt
6 ·····3:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···16·.text..Ls2jC_info6 ·····3:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···16·.text..Ls2jC_info
7 ·····4:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···18·.text..Ls2jB_info7 ·····4:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···18·.text..Ls2jB_info
8 ·····5:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···20·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info8 ·····5:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···20·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info
9 ·····6:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···24·.data..Lu2mF_srt9 ·····6:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···24·.data..Lu2oe_srt
10 ·····7:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···26·.text..Ls2jN_info10 ·····7:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···26·.text..Ls2jN_info
11 ·····8:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···28·.text..Ls2jW_info11 ·····8:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···28·.text..Ls2jW_info
12 ·····9:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···29·.text..Ls2jX_info12 ·····9:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···29·.text..Ls2jX_info
13 ····10:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···31·.text..Ls2jY_info13 ····10:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···31·.text..Ls2jY_info
14 ····11:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···41·.data..Lu2pG_srt14 ····11:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···41·.data..Lu2pG_srt
15 ····12:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···43·.text..Ls2k6_info15 ····12:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···43·.text..Ls2k6_info
16 ····13:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···45·.text..Ls2ke_info16 ····13:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···45·.text..Ls2ke_info
⊟
11.4 KB
readelf --wide --relocs {}
Max HTML report size reached
⊟
1.44 KB
strings --all --bytes=8 {}
    
Offset 55, 21 lines modifiedOffset 55, 21 lines modified
55 QuickCheckzm2zi14zi3zm2ib5howzz5bF8WgkuPDgHew_TestziQuickCheckziProperty_CZCTestable_con_info55 QuickCheckzm2zi14zi3zm2ib5howzz5bF8WgkuPDgHew_TestziQuickCheckziProperty_CZCTestable_con_info
56 .shstrtab56 .shstrtab
57 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule2_bytes57 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule2_bytes
58 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule4_bytes58 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule4_bytes
59 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure59 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure
60 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure60 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure
61 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure61 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure
62 .rela.data..Lu2lg_srt62 .rela.data..Lu2lO_srt
63 .rela.data..Lu2lh_srt63 .rela.data..Lu2lP_srt
64 .rela.text..Ls2jC_info64 .rela.text..Ls2jC_info
65 .rela.text..Ls2jB_info65 .rela.text..Ls2jB_info
66 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info66 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info
67 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_closure67 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_closure
68 .rela.data..Lu2mF_srt68 .rela.data..Lu2oe_srt
69 .rela.text..Ls2jN_info69 .rela.text..Ls2jN_info
70 .text..Ls2jW_info70 .text..Ls2jW_info
71 .rela.text..Ls2jX_info71 .rela.text..Ls2jX_info
72 .rela.text..Ls2jY_info72 .rela.text..Ls2jY_info
73 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info73 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info
74 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_closure74 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_closure
75 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_info75 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_info
⊟
2.14 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.quickcheckzmiozm0zi2zi0zmCBaigpdJ […]
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 0000000000000000·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info-0x18>:6 0000000000000000·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info-0x18>:
7 »       add····$0x2000000,%eax7 »       add····$0x2000000,%eax
8 »       ...8 »       ...
9 »       add····%al,(%rax)9 »       add····%al,(%rax)
10 »       add····%cl,(%rsi)10 »       add····%cl,(%rsi)
11 »       add····%al,(%rax)11 »       add····%al,(%rax)
12 »       add····%al,(%rax)12 »       add····%al,(%rax)
13 ·R_X86_64_PC32»  .data..Lu2lh_srt-0x413 ·R_X86_64_PC32»  .data..Lu2lP_srt-0x4
14 »       add····%al,(%rax)14 »       add····%al,(%rax)
15 »       ...15 »       ...
  
16 0000000000000018·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info>:16 0000000000000018·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info>:
17 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info():17 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info():
18 »       lea····-0x18(%rbp),%rax18 »       lea····-0x18(%rbp),%rax
19 »       cmp····%r15,%rax19 »       cmp····%r15,%rax
Offset 27, 15 lines modifiedOffset 27, 15 lines modified
27 »       jne····48·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info+0x30>27 »       jne····48·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info+0x30>
28 »       jmp····*(%rbx)28 »       jmp····*(%rbx)
29 »       nop29 »       nop
30 »       ...30 »       ...
31 »       (bad)31 »       (bad)
32 »       add····%al,(%rax)32 »       add····%al,(%rax)
33 »       add····%al,(%rax)33 »       add····%al,(%rax)
34 ·R_X86_64_PC32»  .data..Lu2lh_srt-0x434 ·R_X86_64_PC32»  .data..Lu2lP_srt-0x4
35 »       add····%al,(%rax)35 »       add····%al,(%rax)
36 »       add····%cl,-0x39(%rax)36 »       add····%cl,-0x39(%rax)
37 »       rex.RB37 »       rex.RB
38 »       lock·add·%al,(%rax)38 »       lock·add·%al,(%rax)
39 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info+0x8839 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info+0x88
40 »       add····%al,(%rax)40 »       add····%al,(%rax)
41 »       mov····0x7(%rbx),%r1441 »       mov····0x7(%rbx),%r14
Offset 52, 15 lines modifiedOffset 52, 15 lines modified
52 »       add····(%rax),%al52 »       add····(%rax),%al
53 »       add····%al,(%rax)53 »       add····%al,(%rax)
54 »       add····%al,(%rax)54 »       add····%al,(%rax)
55 »       add····%al,(%rax)55 »       add····%al,(%rax)
56 »       (bad)56 »       (bad)
57 »       add····%al,(%rax)57 »       add····%al,(%rax)
58 »       add····%al,(%rax)58 »       add····%al,(%rax)
59 ·R_X86_64_PC32»  .data..Lu2lh_srt-0x459 ·R_X86_64_PC32»  .data..Lu2lP_srt-0x4
60 »       add····%al,(%rax)60 »       add····%al,(%rax)
61 »       add····%cl,-0x39(%rax)61 »       add····%cl,-0x39(%rax)
62 »       add····%r8b,(%r8)62 »       add····%r8b,(%r8)
63 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info+0xb063 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO3_info+0xb0
64 »       add····%al,(%rax)64 »       add····%al,(%rax)
65 »       add····%cl,-0x73(%rax)65 »       add····%cl,-0x73(%rax)
66 »       xor····$0x0,%eax66 »       xor····$0x0,%eax
Offset 72, 15 lines modifiedOffset 72, 15 lines modified
72 »       add····(%rax),%al72 »       add····(%rax),%al
73 »       add····%al,(%rax)73 »       add····%al,(%rax)
74 »       add····%al,(%rax)74 »       add····%al,(%rax)
75 »       add····%al,(%rax)75 »       add····%al,(%rax)
76 »       (bad)76 »       (bad)
77 »       add····%al,(%rax)77 »       add····%al,(%rax)
78 »       add····%al,(%rax)78 »       add····%al,(%rax)
79 ·R_X86_64_PC32»  .data..Lu2lg_srt-0x479 ·R_X86_64_PC32»  .data..Lu2lO_srt-0x4
80 »       add····%al,(%rax)80 »       add····%al,(%rax)
81 »       add····%cl,-0x77(%rax)81 »       add····%cl,-0x77(%rax)
82 »       fadds··-0x7cb7f820(%rbx)82 »       fadds··-0x7cb7f820(%rbx)
83 »       clc83 »       clc
84 »       add····%ecx,(%rdi)84 »       add····%ecx,(%rdi)
85 »       test···%dh,%ah85 »       test···%dh,%ah
86 »       add····%al,(%rax)86 »       add····%al,(%rax)
⊟
630 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2jY_info {}
    
Offset 11, 15 lines modifiedOffset 11, 15 lines modified
11 »       add····%eax,(%rax)11 »       add····%eax,(%rax)
12 »       add····%al,(%rax)12 »       add····%al,(%rax)
13 »       add····%al,(%rax)13 »       add····%al,(%rax)
14 »       add····%al,(%rax)14 »       add····%al,(%rax)
15 »       or·····%eax,(%rax)15 »       or·····%eax,(%rax)
16 »       add····%al,(%rax)16 »       add····%al,(%rax)
17 »       add····%al,(%rax)17 »       add····%al,(%rax)
18 ·R_X86_64_PC32»  .data..Lu2mF_srt-0x418 ·R_X86_64_PC32»  .data..Lu2oe_srt-0x4
19 »       add····%al,(%rax)19 »       add····%al,(%rax)
20 »       lea····-0x8(%rbp),%rax20 »       lea····-0x8(%rbp),%rax
21 »       cmp····%r15,%rax21 »       cmp····%r15,%rax
22 »       jb·····67·<.text..Ls2jY_info+0x67>22 »       jb·····67·<.text..Ls2jY_info+0x67>
23 »       add····$0x10,%r1223 »       add····$0x10,%r12
24 »       cmp····0x358(%r13),%r1224 »       cmp····0x358(%r13),%r12
25 »       ja·····5c·<.text..Ls2jY_info+0x5c>25 »       ja·····5c·<.text..Ls2jY_info+0x5c>
⊟
2.36 KB
readelf --wide --decompress --hex-dump=.shstrtab {}
    
Offset 31, 16 lines modifiedOffset 31, 16 lines modified
31 ··0x000001c0·656c612e·64617461·2e717569·636b6368·ela.data.quickch31 ··0x000001c0·656c612e·64617461·2e717569·636b6368·ela.data.quickch
32 ··0x000001d0·65636b7a·6d696f7a·6d307a69·327a6930·eckzmiozm0zi2zi032 ··0x000001d0·65636b7a·6d696f7a·6d307a69·327a6930·eckzmiozm0zi2zi0
33 ··0x000001e0·7a6d4342·61696770·644a5645·49416f30·zmCBaigpdJVEIAo033 ··0x000001e0·7a6d4342·61696770·644a5645·49416f30·zmCBaigpdJVEIAo0
34 ··0x000001f0·327a7a74·474f4e74·725f5465·73747a69·2zztGONtr_Testzi34 ··0x000001f0·327a7a74·474f4e74·725f5465·73747a69·2zztGONtr_Testzi
35 ··0x00000200·51756963·6b436865·636b7a69·494f5f7a·QuickCheckziIO_z35 ··0x00000200·51756963·6b436865·636b7a69·494f5f7a·QuickCheckziIO_z
36 ··0x00000210·6474724d·6f64756c·655f636c·6f737572·dtrModule_closur36 ··0x00000210·6474724d·6f64756c·655f636c·6f737572·dtrModule_closur
37 ··0x00000220·65002e72·656c612e·64617461·2e2e4c75·e..rela.data..Lu37 ··0x00000220·65002e72·656c612e·64617461·2e2e4c75·e..rela.data..Lu
38 ··0x00000230·326c675f·73727400·2e72656c·612e6461·2lg_srt..rela.da38 ··0x00000230·326c4f5f·73727400·2e72656c·612e6461·2lO_srt..rela.da
39 ··0x00000240·74612e2e·4c75326c·685f7372·74002e72·ta..Lu2lh_srt..r39 ··0x00000240·74612e2e·4c75326c·505f7372·74002e72·ta..Lu2lP_srt..r
40 ··0x00000250·656c612e·74657874·2e2e4c73·326a435f·ela.text..Ls2jC_40 ··0x00000250·656c612e·74657874·2e2e4c73·326a435f·ela.text..Ls2jC_
41 ··0x00000260·696e666f·002e7265·6c612e74·6578742e·info..rela.text.41 ··0x00000260·696e666f·002e7265·6c612e74·6578742e·info..rela.text.
42 ··0x00000270·2e4c7332·6a425f69·6e666f00·2e72656c·.Ls2jB_info..rel42 ··0x00000270·2e4c7332·6a425f69·6e666f00·2e72656c·.Ls2jB_info..rel
43 ··0x00000280·612e7465·78742e71·7569636b·63686563·a.text.quickchec43 ··0x00000280·612e7465·78742e71·7569636b·63686563·a.text.quickchec
44 ··0x00000290·6b7a6d69·6f7a6d30·7a69327a·69307a6d·kzmiozm0zi2zi0zm44 ··0x00000290·6b7a6d69·6f7a6d30·7a69327a·69307a6d·kzmiozm0zi2zi0zm
45 ··0x000002a0·43426169·6770644a·56454941·6f30327a·CBaigpdJVEIAo02z45 ··0x000002a0·43426169·6770644a·56454941·6f30327a·CBaigpdJVEIAo02z
46 ··0x000002b0·7a74474f·4e74725f·54657374·7a695175·ztGONtr_TestziQu46 ··0x000002b0·7a74474f·4e74725f·54657374·7a695175·ztGONtr_TestziQu
Offset 49, 15 lines modifiedOffset 49, 15 lines modified
49 ··0x000002e0·002e7265·6c612e64·6174612e·71756963·..rela.data.quic49 ··0x000002e0·002e7265·6c612e64·6174612e·71756963·..rela.data.quic
50 ··0x000002f0·6b636865·636b7a6d·696f7a6d·307a6932·kcheckzmiozm0zi250 ··0x000002f0·6b636865·636b7a6d·696f7a6d·307a6932·kcheckzmiozm0zi2
51 ··0x00000300·7a69307a·6d434261·69677064·4a564549·zi0zmCBaigpdJVEI51 ··0x00000300·7a69307a·6d434261·69677064·4a564549·zi0zmCBaigpdJVEI
52 ··0x00000310·416f3032·7a7a7447·4f4e7472·5f546573·Ao02zztGONtr_Tes52 ··0x00000310·416f3032·7a7a7447·4f4e7472·5f546573·Ao02zztGONtr_Tes
53 ··0x00000320·747a6951·7569636b·43686563·6b7a6949·tziQuickCheckziI53 ··0x00000320·747a6951·7569636b·43686563·6b7a6949·tziQuickCheckziI
54 ··0x00000330·4f5f7a64·66546573·7461626c·65494f33·O_zdfTestableIO354 ··0x00000330·4f5f7a64·66546573·7461626c·65494f33·O_zdfTestableIO3
55 ··0x00000340·5f636c6f·73757265·002e7265·6c612e64·_closure..rela.d55 ··0x00000340·5f636c6f·73757265·002e7265·6c612e64·_closure..rela.d
56 ··0x00000350·6174612e·2e4c7532·6d465f73·7274002e·ata..Lu2mF_srt..56 ··0x00000350·6174612e·2e4c7532·6f655f73·7274002e·ata..Lu2oe_srt..
57 ··0x00000360·72656c61·2e746578·742e2e4c·73326a4e·rela.text..Ls2jN57 ··0x00000360·72656c61·2e746578·742e2e4c·73326a4e·rela.text..Ls2jN
58 ··0x00000370·5f696e66·6f002e74·6578742e·2e4c7332·_info..text..Ls258 ··0x00000370·5f696e66·6f002e74·6578742e·2e4c7332·_info..text..Ls2
59 ··0x00000380·6a575f69·6e666f00·2e72656c·612e7465·jW_info..rela.te59 ··0x00000380·6a575f69·6e666f00·2e72656c·612e7465·jW_info..rela.te
60 ··0x00000390·78742e2e·4c73326a·585f696e·666f002e·xt..Ls2jX_info..60 ··0x00000390·78742e2e·4c73326a·585f696e·666f002e·xt..Ls2jX_info..
61 ··0x000003a0·72656c61·2e746578·742e2e4c·73326a59·rela.text..Ls2jY61 ··0x000003a0·72656c61·2e746578·742e2e4c·73326a59·rela.text..Ls2jY
62 ··0x000003b0·5f696e66·6f002e72·656c612e·74657874·_info..rela.text62 ··0x000003b0·5f696e66·6f002e72·656c612e·74657874·_info..rela.text
63 ··0x000003c0·2e717569·636b6368·65636b7a·6d696f7a·.quickcheckzmioz63 ··0x000003c0·2e717569·636b6368·65636b7a·6d696f7a·.quickcheckzmioz
⊟
82.8 KB
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/A/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr/libHSquickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr_p.a vs.
3riwi86vhls7hsyb4zhj6pg0mdphycdm-quickcheck-io-0.2.0/B/lib/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6/quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr/libHSquickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr_p.a
⊟
920 B
nm -s {}
    
Offset 140, 20 lines modifiedOffset 140, 20 lines modified
140 ·················U·base_GHCziMaybe_Nothing_closure140 ·················U·base_GHCziMaybe_Nothing_closure
141 ·················U·enterFunCCS141 ·················U·enterFunCCS
142 ·················U·era142 ·················U·era
143 ·················U·ghczmprim_GHCziTypes_Module_con_info143 ·················U·ghczmprim_GHCziTypes_Module_con_info
144 ·················U·ghczmprim_GHCziTypes_TrNameS_con_info144 ·················U·ghczmprim_GHCziTypes_TrNameS_con_info
145 ·················U·ghczmprim_GHCziTypes_True_closure145 ·················U·ghczmprim_GHCziTypes_True_closure
146 ·················U·ghczmprim_GHCziTypes_ZMZN_closure146 ·················U·ghczmprim_GHCziTypes_ZMZN_closure
147 0000000000000000·r·i2iH_str147 0000000000000000·r·i2j6_str
148 0000000000000000·r·i2iI_str148 0000000000000000·r·i2j7_str
149 0000000000000000·r·i2iJ_str149 0000000000000000·r·i2j8_str
150 0000000000000000·r·i2iK_str150 0000000000000000·r·i2j9_str
151 0000000000000000·r·i2iL_str151 0000000000000000·r·i2ja_str
152 0000000000000000·r·i2iM_str152 0000000000000000·r·i2jb_str
153 0000000000000000·r·i2kO_str153 0000000000000000·r·i2kO_str
154 0000000000000000·r·i2kP_str154 0000000000000000·r·i2kP_str
155 0000000000000000·r·i2kQ_str155 0000000000000000·r·i2kQ_str
156 0000000000000000·r·i2kR_str156 0000000000000000·r·i2kR_str
157 0000000000000000·r·i2kS_str157 0000000000000000·r·i2kS_str
158 0000000000000000·r·i2kT_str158 0000000000000000·r·i2kT_str
159 0000000000000000·r·i2nA_str159 0000000000000000·r·i2nA_str
⊟
81.6 KB
IO.p_o
⊟
14.2 KB
readelf --wide --sections {}
Max HTML report size reached
⊟
4.8 KB
readelf --wide --symbols {}
    
Offset 1, 40 lines modifiedOffset 1, 40 lines modified
  
1 Symbol·table·'.symtab'·contains·109·entries:1 Symbol·table·'.symtab'·contains·109·entries:
2 ···Num:····Value··········Size·Type····Bind···Vis······Ndx·Name2 ···Num:····Value··········Size·Type····Bind···Vis······Ndx·Name
3 ·····0:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT··UND·3 ·····0:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT··UND·
4 ·····1:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····1·.text4 ·····1:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····1·.text
5 ·····2:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····3·.data5 ·····2:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····3·.data
6 ·····3:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····6·.rodata.str.c2h8_str6 ·····3:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····6·.rodata.str.c2hK_str
7 ·····4:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····7·.rodata.str.c2ha_str7 ·····4:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····7·.rodata.str.c2hM_str
8 ·····5:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····8·.rodata.str.c2hc_str8 ·····5:·0000000000000000·····0·SECTION·LOCAL··DEFAULT····8·.rodata.str.c2hO_str
9 ·····6:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···11·.rodata.str.c2hf_str9 ·····6:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···11·.rodata.str.c2hR_str
10 ·····7:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···12·.rodata.str.c2hh_str10 ·····7:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···12·.rodata.str.c2hT_str
11 ·····8:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···13·.rodata.str.c2hj_str11 ·····8:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···13·.rodata.str.c2hV_str
12 ·····9:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···26·.data..Lu2iF_srt12 ·····9:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···26·.data..Lu2j4_srt
13 ····10:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···28·.data..Lu2iG_srt13 ····10:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···28·.data..Lu2j5_srt
14 ····11:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···32·.text..Ls2gx_info14 ····11:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···32·.text..Ls2gW_info
15 ····12:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···36·.text..Ls2gw_info15 ····12:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···36·.text..Ls2gV_info
16 ····13:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···40·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info16 ····13:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···40·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info
17 ····14:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···46·.text..Ls2gG_info17 ····14:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···46·.text..Ls2h5_info
18 ····15:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···50·.text..Ls2gH_info18 ····15:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···50·.text..Ls2h6_info
19 ····16:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···58·.data..Lu2nv_srt19 ····16:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···58·.data..Lu2nv_srt
20 ····17:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···62·.text..Ls2gO_info20 ····17:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···62·.text..Ls2hd_info
21 ····18:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···66·.text..Ls2gU_info21 ····18:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···66·.text..Ls2hj_info
22 ····19:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···70·.text..Ls2gV_info22 ····19:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···70·.text..Ls2hk_info
23 ····20:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···74·.text..Ls2gN_info23 ····20:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···74·.text..Ls2hc_info
24 ····21:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···78·.text..Ls2h1_info24 ····21:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···78·.text..Ls2hu_info
25 ····22:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···82·.text..Ls2gW_info25 ····22:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···82·.text..Ls2hl_info
26 ····23:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···86·.text..Ls2h3_info26 ····23:·0000000000000000·····0·SECTION·LOCAL··DEFAULT···86·.text..Ls2hy_info
27 ····24:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···30·i2iH_str27 ····24:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···30·i2j6_str
28 ····25:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···31·i2iI_str28 ····25:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···31·i2j7_str
29 ····26:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···34·i2iJ_str29 ····26:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···34·i2j8_str
30 ····27:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···35·i2iK_str30 ····27:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···35·i2j9_str
31 ····28:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···38·i2iL_str31 ····28:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···38·i2ja_str
32 ····29:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···39·i2iM_str32 ····29:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···39·i2jb_str
33 ····30:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···44·i2kO_str33 ····30:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···44·i2kO_str
34 ····31:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···45·i2kP_str34 ····31:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···45·i2kP_str
35 ····32:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···48·i2kQ_str35 ····32:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···48·i2kQ_str
36 ····33:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···49·i2kR_str36 ····33:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···49·i2kR_str
37 ····34:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···52·i2kS_str37 ····34:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···52·i2kS_str
38 ····35:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···53·i2kT_str38 ····35:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···53·i2kT_str
39 ····36:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···60·i2nw_str39 ····36:·0000000000000000·····0·NOTYPE··LOCAL··DEFAULT···60·i2nw_str
⊟
29.6 KB
readelf --wide --relocs {}
Max HTML report size reached
⊟
6.21 KB
strings --all --bytes=8 {}
    
Offset 2, 44 lines modifiedOffset 2, 44 lines modified
2 Test.QuickCheck.IO2 Test.QuickCheck.IO
3 src/Test/QuickCheck/IO.hs:(18,1)-(29,31)3 src/Test/QuickCheck/IO.hs:(18,1)-(29,31)
4 Test.QuickCheck.IO4 Test.QuickCheck.IO
5 <entire-module>5 <entire-module>
6 Test.QuickCheck.IO6 Test.QuickCheck.IO
7 quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr7 quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr
8 SomeException8 SomeException
9 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gx>9 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gW>
10 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gw>10 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gV>
11 ->>(#,#)11 ->>(#,#)
12 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.$fTestableIO2_r2dE>12 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.$fTestableIO2_r2dR>
13 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gG>13 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h5>
14 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gH>14 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h6>
15 ->Property15 ->Property
16 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.propertyIO_ruX>16 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.propertyIO_rv5>
17 Assertion17 Assertion
18 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.action_s2gO>18 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.action_s2hd>
19 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gU>19 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hj>
20 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gV>20 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hk>
21 Property21 Property
22 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.z_s2gN>22 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.z_s2hc>
23 Property23 Property
24 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h1>24 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hu>
25 ->Property25 ->Property
26 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.go1_s2gW>26 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.go1_s2hl>
27 ->Property27 ->Property
28 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h3>28 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hy>
29 ->>>>Gen29 ->>>>Gen
30 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.$fTestableIO1_r2dD>30 <quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.$fTestableIO1_r2dQ>
31 GHC·9.6.631 GHC·9.6.6
32 GCC:·(GNU)·14.2.1·2024111632 GCC:·(GNU)·14.2.1·20241116
33 i2iH_str33 i2j6_str
34 i2iI_str34 i2j7_str
35 i2iJ_str35 i2j8_str
36 i2iK_str36 i2j9_str
37 i2iL_str37 i2ja_str
38 i2iM_str38 i2jb_str
39 i2kO_str39 i2kO_str
40 i2kP_str40 i2kP_str
41 i2kQ_str41 i2kQ_str
42 i2kR_str42 i2kR_str
43 i2kS_str43 i2kS_str
44 i2kT_str44 i2kT_str
45 i2nw_str45 i2nw_str
Offset 113, 72 lines modifiedOffset 113, 72 lines modified
113 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule2_bytes113 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule2_bytes
114 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc_ccs114 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc_ccs
115 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc115 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc
116 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_HPC_cc116 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_HPC_cc
117 .shstrtab117 .shstrtab
118 .rela.text118 .rela.text
119 .rela.data119 .rela.data
120 .rodata.str.c2h8_str120 .rodata.str.c2hK_str
121 .rodata.str.c2ha_str121 .rodata.str.c2hM_str
122 .rodata.str.c2hc_str122 .rodata.str.c2hO_str
123 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_HPC_cc123 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_HPC_cc
124 .rodata.str.c2hf_str124 .rodata.str.c2hR_str
125 .rodata.str.c2hh_str125 .rodata.str.c2hT_str
126 .rodata.str.c2hj_str126 .rodata.str.c2hV_str
127 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc127 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc
128 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc_ccs128 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_CAFs_cc_ccs
129 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule2_bytes129 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule2_bytes
130 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule4_bytes130 .rodata.str.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule4_bytes
131 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure131 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule3_closure
132 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure132 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule1_closure
133 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure133 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdtrModule_closure
134 .rela.data..Lu2iF_srt134 .rela.data..Lu2j4_srt
135 .rela.data..Lu2iG_srt135 .rela.data..Lu2j5_srt
136 .rodata.str.i2iH_str136 .rodata.str.i2j6_str
137 .rodata.str.i2iI_str137 .rodata.str.i2j7_str
138 .rela.text..Ls2gx_info138 .rela.text..Ls2gW_info
139 .rodata.str.i2iJ_str139 .rodata.str.i2j8_str
140 .rodata.str.i2iK_str140 .rodata.str.i2j9_str
141 .rela.text..Ls2gw_info141 .rela.text..Ls2gV_info
142 .rodata.str.i2iL_str142 .rodata.str.i2ja_str
143 .rodata.str.i2iM_str143 .rodata.str.i2jb_str
144 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info144 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info
145 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_closure145 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_closure
146 .rodata.str.i2kO_str146 .rodata.str.i2kO_str
147 .rodata.str.i2kP_str147 .rodata.str.i2kP_str
148 .rela.text..Ls2gG_info148 .rela.text..Ls2h5_info
149 .rodata.str.i2kQ_str149 .rodata.str.i2kQ_str
150 .rodata.str.i2kR_str150 .rodata.str.i2kR_str
151 .rela.text..Ls2gH_info151 .rela.text..Ls2h6_info
152 .rodata.str.i2kS_str152 .rodata.str.i2kS_str
153 .rodata.str.i2kT_str153 .rodata.str.i2kT_str
154 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_info154 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_info
155 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_closure155 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_propertyIO_closure
156 .rela.data..Lu2nv_srt156 .rela.data..Lu2nv_srt
157 .rodata.str.i2nw_str157 .rodata.str.i2nw_str
158 .rodata.str.i2nx_str158 .rodata.str.i2nx_str
159 .rela.text..Ls2gO_info159 .rela.text..Ls2hd_info
160 .rodata.str.i2ny_str160 .rodata.str.i2ny_str
161 .rodata.str.i2nz_str161 .rodata.str.i2nz_str
162 .rela.text..Ls2gU_info162 .rela.text..Ls2hj_info
163 .rodata.str.i2nA_str163 .rodata.str.i2nA_str
164 .rodata.str.i2nB_str164 .rodata.str.i2nB_str
165 .rela.text..Ls2gV_info165 .rela.text..Ls2hk_info
166 .rodata.str.i2nC_str166 .rodata.str.i2nC_str
167 .rodata.str.i2nD_str167 .rodata.str.i2nD_str
168 .rela.text..Ls2gN_info168 .rela.text..Ls2hc_info
169 .rodata.str.i2nE_str169 .rodata.str.i2nE_str
170 .rodata.str.i2nF_str170 .rodata.str.i2nF_str
171 .rela.text..Ls2h1_info171 .rela.text..Ls2hu_info
172 .rodata.str.i2nG_str172 .rodata.str.i2nG_str
173 .rodata.str.i2nH_str173 .rodata.str.i2nH_str
174 .rela.text..Ls2gW_info174 .rela.text..Ls2hl_info
175 .rodata.str.i2nI_str175 .rodata.str.i2nI_str
176 .rodata.str.i2nJ_str176 .rodata.str.i2nJ_str
177 .rela.text..Ls2h3_info177 .rela.text..Ls2hy_info
178 .rodata.str.i2nK_str178 .rodata.str.i2nK_str
179 .rodata.str.i2nL_str179 .rodata.str.i2nL_str
180 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_info180 .rela.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_info
181 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_closure181 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_closure
182 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO_closure182 .rela.data.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO_closure
183 .rela.init_array.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_init_arr183 .rela.init_array.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_init_arr
184 .rela.eh_frame184 .rela.eh_frame
⊟
4.07 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2gW_info {}
    
Offset 1, 107 lines modifiedOffset 1, 47 lines modified
  
  
  
1 Disassembly·of·section·.text..Ls2gW_info:1 Disassembly·of·section·.text..Ls2gW_info:
  
2 0000000000000000·<.text..Ls2gW_info>:2 0000000000000000·<.text..Ls2gW_info>:
3 »       add····$0x1000000,%eax 
4 »       ...3 »       ...
5 ·R_X86_64_PC64»  i2nG_str-0x204 ·R_X86_64_PC64»  i2j6_str-0x20
6 ·R_X86_64_PC64»  i2nH_str-0x185 ·R_X86_64_PC64»  i2j7_str-0x18
 6 »       add····%eax,(%rax)
7 »       add····%al,(%rax)7 »       add····%al,(%rax)
8 »       add····%al,(%rcx) 
9 »       add····%al,(%rax)8 »       add····%al,(%rax)
10 »       add····%al,(%rax)9 »       add····%al,(%rax)
 10 »       adc····%al,(%rax)
11 »       add····%al,(%rax)11 »       add····%al,(%rax)
12 »       add····%cl,(%rcx) 
13 »       add····%al,(%rax)12 »       add····%al,(%rax)
 13 ·R_X86_64_PC32»  HUnitzm1zi6zi2zi0zm3feDxoNlxgwJ4Ew4Y1KOAW_TestziHUnitziLang_zdfExceptionHUnitFailurezuzdctoException_closure-0x4
14 »       add····%al,(%rax)14 »       add····%al,(%rax)
 15 »       mov····%rbx,%rax
15 ·R_X86_64_PC32»  QuickCheckzm2zi14zi3zm2ib5howzz5bF8WgkuPDgHew_TestziQuickCheckziProperty_zddmpropertyForAllShrinkShowzuzdscounterexample_closure-0x4 
16 »       add····%al,(%rax) 
17 »       add····%cl,-0x73(%rax) 
18 »       rex.RB·loopne·79·<.text..Ls2gW_info+0x79> 
19 »       cmp····%edi,%eax 
20 »       jb·····162·<.text..Ls2gW_info+0x162> 
21 »       cmpl···$0x0,0x0(%rip)········16 »       cmpl···$0x0,0x0(%rip)········
22 ·R_X86_64_PC32»  era-0x517 ·R_X86_64_PC32»  era-0x5
23 »       jbe····69·<.text..Ls2gW_info+0x69>18 »       jbe····57·<.text..Ls2gW_info+0x57>
24 »       movabs·$0x1000000000000000,%rax19 »       movabs·$0x1000000000000000,%rcx
25 »       mov····0x0(%rip),%ecx········20 »       mov····0x0(%rip),%edx········
26 ·R_X86_64_PC32»  era-0x421 ·R_X86_64_PC32»  era-0x4
27 »       or·····%rax,%rcx 
28 »       movabs·$0xfffffffc0000000,%rax 
29 »       mov····0xf(%rbx),%rdx 
30 »       and····%rax,%rdx 
31 »       or·····%rcx,%rdx22 »       or·····%rcx,%rdx
 23 »       movabs·$0xfffffffc0000000,%rcx
32 »       mov····%rdx,0xf(%rbx) 
33 »       mov····%r13,%rax 
34 »       mov····0x7(%rbx),%rcx24 »       mov····0x10(%rax),%rsi
35 »       sub····$0x8,%rsp 
36 »       mov····%rcx,%rsi25 »       and····%rcx,%rsi
37 »       mov····%rax,%rdi26 »       or·····%rdx,%rsi
38 »       xor····%eax,%eax27 »       mov····%rsi,0x10(%rax)
 28 »       lea····-0x20(%rbp),%rcx
 29 »       cmp····%r15,%rcx
39 »       call···81·<.text..Ls2gW_info+0x81>30 »       jb·····8f·<.text..Ls2gW_info+0x8f>
40 ·R_X86_64_PLT32» enterFunCCS-0x4 
41 »       add····$0x8,%rsp 
42 »       movq···$0x0,-0x20(%rbp)31 »       movq···$0x0,-0x20(%rbp)
 32 ·R_X86_64_32S»   stg_upd_frame_info
 33 »       mov····%rax,-0x8(%rbp)
43 ·R_X86_64_32S»   .text..Ls2gW_info+0xd8 
44 »       mov····%rbx,%rax 
45 »       mov····%r14,%rbx 
46 »       mov····0x360(%r13),%rcx34 »       mov····0x360(%r13),%rcx
47 »       mov····%rcx,-0x18(%rbp)35 »       mov····%rcx,-0x18(%rbp)
48 »       mov····0x17(%rax),%rcx36 »       mov····0x8(%rbx),%rbx
49 »       mov····%rcx,-0x10(%rbp)37 »       mov····%rbx,0x360(%r13)
50 »       mov····%rax,-0x8(%rbp)38 »       mov····0x20(%rax),%r14
51 »       add····$0xffffffffffffffe0,%rbp39 »       add····$0xffffffffffffffe0,%rbp
52 »       test···$0x7,%bl 
53 »       jne····d8·<.text..Ls2gW_info+0xd8>40 »       jmp····8f·<.text..Ls2gW_info+0x8f>
 41 ·R_X86_64_PLT32» HUnitzm1zi6zi2zi0zm3feDxoNlxgwJ4Ew4Y1KOAW_TestziHUnitziLang_zdfExceptionHUnitFailurezuzdctoException_info-0x4
54 »       jmp····*(%rbx) 
55 »       nopl···(%rax) 
56 »       ... 
57 »       rex.XB·add·%al,(%r8) 
58 »       add····%al,(%rax) 
59 »       add····%al,(%rax) 
60 »       add····%bl,(%rsi) 
61 »       add····%al,(%rax) 
62 »       add····%al,(%rax) 
63 ·R_X86_64_PC32»  QuickCheckzm2zi14zi3zm2ib5howzz5bF8WgkuPDgHew_TestziQuickCheckziProperty_zddmpropertyForAllShrinkShowzuzdscounterexample_closure-0x4 
64 »       add····%al,(%rax) 
65 »       add····%cl,-0x75(%rax) 
66 »       or·····%r9b,-0x77(%r9) 
67 »       test···%esp,0x3(%rax) 
68 »       add····%al,(%rax) 
69 »       mov····%rbx,%rax42 »       mov····%rax,%rbx
70 »       and····$0x7,%eax 
71 »       cmp····$0x1,%rax 
72 »       je·····166·<.text..Ls2gW_info+0x166> 
73 »       add····$0x30,%r12 
74 »       cmp····0x358(%r13),%r12 
75 »       ja·····152·<.text..Ls2gW_info+0x152> 
76 »       mov····0x18(%rbp),%rax 
77 »       mov····0x16(%rbx),%rcx 
78 »       mov····0x1e(%rbx),%rbx 
79 »       mov····0x360(%r13),%rdx 
80 »       addq···$0x4,0x48(%rdx) 
81 »       movq···$0x0,-0x28(%r12) 
82 ·R_X86_64_32S»   .text..Ls2h1_info+0x20 
83 »       mov····0x360(%r13),%rdx 
84 »       mov····%rdx,-0x20(%r12) 
85 »       mov····0x0(%rip),%edx········ 
86 ·R_X86_64_PC32»  era-0x4 
87 »       shl····$0x1e,%rdx 
88 »       mov····%rdx,-0x18(%r12) 
89 »       mov····%rbx,-0x8(%r12) 
90 »       mov····%rax,(%r12) 
91 »       lea····-0x28(%r12),%rsi 
92 »       mov····%rcx,%r14 
93 »       add····$0x20,%rbp 
94 »       jmp····152·<.text..Ls2gW_info+0x152> 
95 ·R_X86_64_PLT32» QuickCheckzm2zi14zi3zm2ib5howzz5bF8WgkuPDgHew_TestziQuickCheckziProperty_zddmpropertyForAllShrinkShowzuzdscounterexample_info-0x4 
96 »       movq···$0x30,0x388(%r13) 
97 »       jmp····162·<.text..Ls2gW_info+0x162> 
98 ·R_X86_64_PLT32» stg_gc_unpt_r1-0x4 
99 »       jmp····*-0x8(%r13)43 »       jmp····*-0x10(%r13)
100 »       mov····0x10(%rbp),%rbx 
101 »       add····$0x20,%rbp 
102 »       jmp····173·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0x14b> 
103 ·R_X86_64_PLT32» stg_ap_0_fast-0x4 
⊟
3.49 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text..Ls2gV_info {}
    
Offset 1, 65 lines modifiedOffset 1, 69 lines modified
  
  
  
1 Disassembly·of·section·.text..Ls2gV_info:1 Disassembly·of·section·.text..Ls2gV_info:
  
2 0000000000000000·<.text..Ls2gV_info>:2 0000000000000000·<.text..Ls2gV_info>:
3 »       add····(%rax),%eax 
4 »       add····%al,(%rax) 
5 »       add····%eax,(%rax) 
6 »       ...3 »       ...
7 ·R_X86_64_PC64»  i2nA_str-0x204 ·R_X86_64_PC64»  i2j8_str-0x20
8 ·R_X86_64_PC64»  i2nB_str-0x185 ·R_X86_64_PC64»  i2j9_str-0x18
9 »       add····%al,(%rax) 
10 »       add····%eax,(%rax)6 »       add····%eax,(%rax)
11 »       add····%al,(%rax)7 »       add····%al,(%rax)
12 »       add····%al,(%rax)8 »       add····%al,(%rax)
13 »       add····%al,(%rax)9 »       add····%al,(%rax)
14 »       or·····%eax,(%rax)10 »       adc····%al,(%rax)
15 »       add····%al,(%rax)11 »       add····%al,(%rax)
16 »       add····%al,(%rax)12 »       add····%al,(%rax)
17 ·R_X86_64_PC32»  quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_closure-0x413 ·R_X86_64_PC32»  HUnitzm1zi6zi2zi0zm3feDxoNlxgwJ4Ew4Y1KOAW_TestziHUnitziLang_formatFailureReason_closure-0x4
18 »       add····%al,(%rax)14 »       add····%al,(%rax)
 15 »       mov····%rbx,%rax
19 »       add····$0x20,%r12 
20 »       cmp····0x358(%r13),%r12 
21 »       ja·····d2·<.text..Ls2gV_info+0xd2> 
22 »       cmpl···$0x0,0x0(%rip)········16 »       cmpl···$0x0,0x0(%rip)········
23 ·R_X86_64_PC32»  era-0x517 ·R_X86_64_PC32»  era-0x5
24 »       jbe····6d·<.text..Ls2gV_info+0x6d>18 »       jbe····57·<.text..Ls2gV_info+0x57>
25 »       movabs·$0x1000000000000000,%rax19 »       movabs·$0x1000000000000000,%rcx
26 »       mov····0x0(%rip),%ecx········20 »       mov····0x0(%rip),%edx········
27 ·R_X86_64_PC32»  era-0x421 ·R_X86_64_PC32»  era-0x4
28 »       or·····%rax,%rcx 
29 »       movabs·$0xfffffffc0000000,%rax 
30 »       mov····0xf(%rbx),%rdx 
31 »       and····%rax,%rdx 
32 »       or·····%rcx,%rdx22 »       or·····%rcx,%rdx
 23 »       movabs·$0xfffffffc0000000,%rcx
 24 »       mov····0x10(%rax),%rsi
 25 »       and····%rcx,%rsi
 26 »       or·····%rdx,%rsi
 27 »       mov····%rsi,0x10(%rax)
 28 »       lea····-0x30(%rbp),%rcx
 29 »       cmp····%r15,%rcx
 30 »       jb·····a2·<.text..Ls2gV_info+0xa2>
 31 »       movq···$0x0,-0x20(%rbp)
 32 ·R_X86_64_32S»   stg_upd_frame_info
33 »       mov····%rdx,0xf(%rbx)33 »       mov····%rax,-0x8(%rbp)
34 »       mov····%r13,%rax 
35 »       mov····0x7(%rbx),%rcx 
36 »       sub····$0x8,%rsp 
37 »       mov····%rcx,%rsi 
38 »       mov····%rax,%rdi 
39 »       xor····%eax,%eax 
40 »       call···85·<.text..Ls2gV_info+0x85> 
41 ·R_X86_64_PLT32» enterFunCCS-0x4 
42 »       add····$0x8,%rsp 
43 »       mov····0x17(%rbx),%rax 
44 »       mov····0x360(%r13),%rbx34 »       mov····0x360(%r13),%rcx
45 »       addq···$0x2,0x48(%rbx)35 »       mov····%rcx,-0x18(%rbp)
 36 »       mov····0x8(%rbx),%rbx
 37 »       mov····%rbx,0x360(%r13)
46 »       movq···$0x0,-0x18(%r12)38 »       movq···$0x0,-0x30(%rbp)
47 ·R_X86_64_32S»   .text..Ls2gU_info+0x2839 ·R_X86_64_32S»   .text..Ls2gV_info+0xd0
 40 »       mov····0x20(%rax),%rbx
48 »       mov····0x360(%r13),%rbx41 »       mov····0x360(%r13),%rax
49 »       mov····%rbx,-0x10(%r12) 
50 »       mov····0x0(%rip),%ebx········ 
51 ·R_X86_64_PC32»  era-0x4 
52 »       shl····$0x1e,%rbx 
53 »       mov····%rbx,-0x8(%r12)42 »       mov····%rax,-0x28(%rbp)
 43 »       add····$0xffffffffffffffd0,%rbp
54 »       mov····%rax,(%r12) 
55 »       lea····0x0(%rip),%r14········ 
56 ·R_X86_64_PC32»  quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_closure-0x2 
57 »       lea····-0x17(%r12),%rbx 
58 »       jmp····d2·<.text..Ls2gV_info+0xd2>44 »       jmp····a2·<.text..Ls2gV_info+0xa2>
59 ·R_X86_64_PLT32» stg_catchzh-0x445 ·R_X86_64_PLT32» stg_ap_0_fast-0x4
60 »       movq···$0x20,0x388(%r13)46 »       mov····%rax,%rbx
61 »       jmp····*-0x8(%r13)47 »       jmp····*-0x10(%r13)
 48 »       nopl···0x0(%rax)
 49 »       ...
 50 »       add····%al,(%r8)
 51 »       add····%al,(%rax)
 52 »       add····%al,(%rax)
 53 »       add····%bl,(%rsi)
 54 »       add····%al,(%rax)
 55 »       add····%al,(%rax)
 56 ·R_X86_64_PC32»  HUnitzm1zi6zi2zi0zm3feDxoNlxgwJ4Ew4Y1KOAW_TestziHUnitziLang_formatFailureReason_closure-0x4
 57 »       add····%al,(%rax)
 58 »       add····%cl,-0x75(%rax)
 59 »       or·····%r9b,-0x77(%r9)
 60 »       test···%esp,0x3(%rax)
 61 »       add····%al,(%rax)
 62 »       mov····0x1f(%rbx),%r14
 63 »       add····$0x10,%rbp
 64 »       jmp····e8·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0xc0>
 65 ·R_X86_64_PLT32» HUnitzm1zi6zi2zi0zm3feDxoNlxgwJ4Ew4Y1KOAW_TestziHUnitziLang_formatFailureReason_info-0x4
⊟
3.34 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.quickcheckzmiozm0zi2zi0zmCBaigpdJ […]
    
Offset 2, 21 lines modifiedOffset 2, 21 lines modified
  
  
2 Disassembly·of·section·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info:2 Disassembly·of·section·.text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info:
  
3 0000000000000000·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info-0x28>:3 0000000000000000·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info-0x28>:
4 »       add····$0x2000000,%eax4 »       add····$0x2000000,%eax
5 »       ...5 »       ...
6 ·R_X86_64_PC64»  i2iL_str-0x206 ·R_X86_64_PC64»  i2ja_str-0x20
7 ·R_X86_64_PC64»  i2iM_str-0x187 ·R_X86_64_PC64»  i2jb_str-0x18
8 »       add····%al,(%rax)8 »       add····%al,(%rax)
9 »       add····%cl,(%rsi)9 »       add····%cl,(%rsi)
10 »       add····%al,(%rax)10 »       add····%al,(%rax)
11 »       add····%al,(%rax)11 »       add····%al,(%rax)
12 ·R_X86_64_PC32»  .data..Lu2iG_srt-0x412 ·R_X86_64_PC32»  .data..Lu2j5_srt-0x4
13 »       add····%al,(%rax)13 »       add····%al,(%rax)
14 »       ...14 »       ...
  
15 0000000000000028·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info>:15 0000000000000028·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info>:
16 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info():16 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info():
17 »       lea····-0x20(%rbp),%rax17 »       lea····-0x20(%rbp),%rax
18 »       cmp····%r15,%rax18 »       cmp····%r15,%rax
Offset 34, 15 lines modifiedOffset 34, 15 lines modified
34 »       ...34 »       ...
35 »       add····%al,(%r8)35 »       add····%al,(%r8)
36 »       add····%al,(%rax)36 »       add····%al,(%rax)
37 »       add····%al,(%rax)37 »       add····%al,(%rax)
38 »       add····%bl,(%rsi)38 »       add····%bl,(%rsi)
39 »       add····%al,(%rax)39 »       add····%al,(%rax)
40 »       add····%al,(%rax)40 »       add····%al,(%rax)
41 ·R_X86_64_PC32»  .data..Lu2iG_srt-0x441 ·R_X86_64_PC32»  .data..Lu2j5_srt-0x4
42 »       add····%al,(%rax)42 »       add····%al,(%rax)
43 »       add····%cl,-0x75(%rax)43 »       add····%cl,-0x75(%rax)
44 »       or·····%r9b,-0x77(%r9)44 »       or·····%r9b,-0x77(%r9)
45 »       test···%esp,0x3(%rax)45 »       test···%esp,0x3(%rax)
46 »       add····%al,(%rax)46 »       add····%al,(%rax)
47 »       movq···$0x0,-0x10(%rbp)47 »       movq···$0x0,-0x10(%rbp)
48 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0xe048 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0xe0
Offset 63, 15 lines modifiedOffset 63, 15 lines modified
63 »       add····(%rcx),%eax63 »       add····(%rcx),%eax
64 »       add····%al,(%rax)64 »       add····%al,(%rax)
65 »       add····%al,(%rax)65 »       add····%al,(%rax)
66 »       add····%al,(%rax)66 »       add····%al,(%rax)
67 »       (bad)67 »       (bad)
68 »       add····%al,(%rax)68 »       add····%al,(%rax)
69 »       add····%al,(%rax)69 »       add····%al,(%rax)
70 ·R_X86_64_PC32»  .data..Lu2iG_srt-0x470 ·R_X86_64_PC32»  .data..Lu2j5_srt-0x4
71 »       add····%al,(%rax)71 »       add····%al,(%rax)
72 »       add····%cl,-0x75(%rax)72 »       add····%cl,-0x75(%rax)
73 »       sbb····%r9b,-0x77(%r9)73 »       sbb····%r9b,-0x77(%r9)
74 »       test···%esp,0x3(%rax)74 »       test···%esp,0x3(%rax)
75 »       add····%al,(%rax)75 »       add····%al,(%rax)
76 »       movq···$0x0,0x0(%rbp)76 »       movq···$0x0,0x0(%rbp)
77 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0x13077 ·R_X86_64_32S»   .text.quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0x130
Offset 87, 15 lines modifiedOffset 87, 15 lines modified
87 »       add····(%rcx),%eax87 »       add····(%rcx),%eax
88 »       add····%al,(%rax)88 »       add····%al,(%rax)
89 »       add····%al,(%rax)89 »       add····%al,(%rax)
90 »       add····%al,(%rax)90 »       add····%al,(%rax)
91 »       (bad)91 »       (bad)
92 »       add····%al,(%rax)92 »       add····%al,(%rax)
93 »       add····%al,(%rax)93 »       add····%al,(%rax)
94 ·R_X86_64_PC32»  .data..Lu2iF_srt-0x494 ·R_X86_64_PC32»  .data..Lu2j4_srt-0x4
95 »       add····%al,(%rax)95 »       add····%al,(%rax)
96 »       add····%cl,-0x75(%rax)96 »       add····%cl,-0x75(%rax)
97 »       sbb····%r9b,-0x77(%r9)97 »       sbb····%r9b,-0x77(%r9)
98 »       test···%esp,0x3(%rax)98 »       test···%esp,0x3(%rax)
99 »       add····%al,(%rax)99 »       add····%al,(%rax)
100 »       mov····%rbx,%rax100 »       mov····%rbx,%rax
101 »       and····$0x7,%eax101 »       and····$0x7,%eax
Offset 104, 15 lines modifiedOffset 104, 15 lines modified
104 »       add····$0xf0,%r12104 »       add····$0xf0,%r12
105 »       cmp····0x358(%r13),%r12105 »       cmp····0x358(%r13),%r12
106 »       ja·····2e3·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0x2bb>106 »       ja·····2e3·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO2_info+0x2bb>
107 »       mov····0x8(%rbp),%rax107 »       mov····0x8(%rbp),%rax
108 »       mov····0x360(%r13),%rbx108 »       mov····0x360(%r13),%rbx
109 »       addq···$0x3,0x48(%rbx)109 »       addq···$0x3,0x48(%rbx)
110 »       movq···$0x0,-0xe8(%r12)110 »       movq···$0x0,-0xe8(%r12)
111 ·R_X86_64_32S»   .text..Ls2gx_info+0x20111 ·R_X86_64_32S»   .text..Ls2gW_info+0x20
112 »       mov····0x360(%r13),%rbx112 »       mov····0x360(%r13),%rbx
113 »       mov····%rbx,-0xe0(%r12)113 »       mov····%rbx,-0xe0(%r12)
114 »       mov····0x0(%rip),%ebx········114 »       mov····0x0(%rip),%ebx········
115 ·R_X86_64_PC32»  era-0x4115 ·R_X86_64_PC32»  era-0x4
116 »       shl····$0x1e,%rbx116 »       shl····$0x1e,%rbx
117 »       mov····%rbx,-0xd8(%r12)117 »       mov····%rbx,-0xd8(%r12)
118 »       mov····%rax,-0xc8(%r12)118 »       mov····%rax,-0xc8(%r12)
Offset 127, 15 lines modifiedOffset 127, 15 lines modified
127 »       shl····$0x1e,%rbx127 »       shl····$0x1e,%rbx
128 »       mov····%rbx,-0xb0(%r12)128 »       mov····%rbx,-0xb0(%r12)
129 »       lea····-0xe8(%r12),%rbx129 »       lea····-0xe8(%r12),%rbx
130 »       mov····%rbx,-0xa8(%r12)130 »       mov····%rbx,-0xa8(%r12)
131 »       mov····0x360(%r13),%rbx131 »       mov····0x360(%r13),%rbx
132 »       addq···$0x3,0x48(%rbx)132 »       addq···$0x3,0x48(%rbx)
133 »       movq···$0x0,-0xa0(%r12)133 »       movq···$0x0,-0xa0(%r12)
134 ·R_X86_64_32S»   .text..Ls2gw_info+0x20134 ·R_X86_64_32S»   .text..Ls2gV_info+0x20
135 »       mov····0x360(%r13),%rbx135 »       mov····0x360(%r13),%rbx
136 »       mov····%rbx,-0x98(%r12)136 »       mov····%rbx,-0x98(%r12)
137 »       mov····0x0(%rip),%ebx········137 »       mov····0x0(%rip),%ebx········
138 ·R_X86_64_PC32»  era-0x4138 ·R_X86_64_PC32»  era-0x4
139 »       shl····$0x1e,%rbx139 »       shl····$0x1e,%rbx
140 »       mov····%rbx,-0x90(%r12)140 »       mov····%rbx,-0x90(%r12)
141 »       mov····%rax,-0x80(%r12)141 »       mov····%rax,-0x80(%r12)
⊟
370 B
readelf --wide --decompress --string-dump=.rodata.str.i2kP_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2kP_str':1 String·dump·of·section·'.rodata.str.i2kP_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gG>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h5>
  
⊟
370 B
readelf --wide --decompress --string-dump=.rodata.str.i2kR_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2kR_str':1 String·dump·of·section·'.rodata.str.i2kR_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gH>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h6>
  
⊟
382 B
readelf --wide --decompress --string-dump=.rodata.str.i2kT_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2kT_str':1 String·dump·of·section·'.rodata.str.i2kT_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.propertyIO_ruX>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.propertyIO_rv5>
  
⊟
704 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.quickcheckzmiozm0zi2zi0zmCBaigpdJ […]
    
Offset 35, 15 lines modifiedOffset 35, 15 lines modified
35 ·R_X86_64_PLT32» pushCostCentre-0x435 ·R_X86_64_PLT32» pushCostCentre-0x4
36 »       add····$0x8,%rsp36 »       add····$0x8,%rsp
37 »       incq···0x30(%rax)37 »       incq···0x30(%rax)
38 »       mov····%rax,0x360(%r13)38 »       mov····%rax,0x360(%r13)
39 »       mov····0x360(%r13),%rax39 »       mov····0x360(%r13),%rax
40 »       addq···$0x2,0x48(%rax)40 »       addq···$0x2,0x48(%rax)
41 »       movq···$0x0,-0x18(%r12)41 »       movq···$0x0,-0x18(%r12)
42 ·R_X86_64_32S»   .text..Ls2gH_info+0x2842 ·R_X86_64_32S»   .text..Ls2h6_info+0x28
43 »       mov····0x360(%r13),%rax43 »       mov····0x360(%r13),%rax
44 »       mov····%rax,-0x10(%r12)44 »       mov····%rax,-0x10(%r12)
45 »       mov····0x0(%rip),%eax········45 »       mov····0x0(%rip),%eax········
46 ·R_X86_64_PC32»  era-0x446 ·R_X86_64_PC32»  era-0x4
47 »       shl····$0x1e,%rax47 »       shl····$0x1e,%rax
48 »       mov····%rax,-0x8(%r12)48 »       mov····%rax,-0x8(%r12)
49 »       mov····%r14,(%r12)49 »       mov····%r14,(%r12)
⊟
376 B
readelf --wide --decompress --string-dump=.rodata.str.i2nx_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nx_str':1 String·dump·of·section·'.rodata.str.i2nx_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.action_s2gO>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.action_s2hd>
  
⊟
370 B
readelf --wide --decompress --string-dump=.rodata.str.i2nz_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nz_str':1 String·dump·of·section·'.rodata.str.i2nz_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gU>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hj>
  
⊟
370 B
readelf --wide --decompress --string-dump=.rodata.str.i2nB_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nB_str':1 String·dump·of·section·'.rodata.str.i2nB_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2gV>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hk>
  
⊟
366 B
readelf --wide --decompress --string-dump=.rodata.str.i2nD_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nD_str':1 String·dump·of·section·'.rodata.str.i2nD_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.z_s2gN>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.z_s2hc>
  
⊟
370 B
readelf --wide --decompress --string-dump=.rodata.str.i2nF_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nF_str':1 String·dump·of·section·'.rodata.str.i2nF_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h1>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hu>
  
⊟
370 B
readelf --wide --decompress --string-dump=.rodata.str.i2nH_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nH_str':1 String·dump·of·section·'.rodata.str.i2nH_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.go1_s2gW>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.go1_s2hl>
  
⊟
370 B
readelf --wide --decompress --string-dump=.rodata.str.i2nJ_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nJ_str':1 String·dump·of·section·'.rodata.str.i2nJ_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2h3>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.sat_s2hy>
  
⊟
390 B
readelf --wide --decompress --string-dump=.rodata.str.i2nL_str {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 String·dump·of·section·'.rodata.str.i2nL_str':1 String·dump·of·section·'.rodata.str.i2nL_str':
2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.$fTestableIO1_r2dD>2 ··[·····0]··<quickcheck-io-0.2.0-CBaigpdJVEIAo02ztGONtr:Test.QuickCheck.IO.$fTestableIO1_r2dQ>
  
⊟
857 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text.quickcheckzmiozm0zi2zi0zmCBaigpdJ […]
    
Offset 25, 15 lines modifiedOffset 25, 15 lines modified
25 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_info():25 quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_info():
26 »       add····$0x28,%r1226 »       add····$0x28,%r12
27 »       cmp····0x358(%r13),%r1227 »       cmp····0x358(%r13),%r12
28 »       ja·····78·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_info+0x50>28 »       ja·····78·<quickcheckzmiozm0zi2zi0zmCBaigpdJVEIAo02zztGONtr_TestziQuickCheckziIO_zdfTestableIO1_info+0x50>
29 »       mov····0x360(%r13),%rax29 »       mov····0x360(%r13),%rax
30 »       addq···$0x3,0x48(%rax)30 »       addq···$0x3,0x48(%rax)
31 »       movq···$0x0,-0x20(%r12)31 »       movq···$0x0,-0x20(%r12)
32 ·R_X86_64_32S»   .text..Ls2h3_info+0x2832 ·R_X86_64_32S»   .text..Ls2hy_info+0x28
33 »       mov····0x360(%r13),%rax33 »       mov····0x360(%r13),%rax
34 »       mov····%rax,-0x18(%r12)34 »       mov····%rax,-0x18(%r12)
35 »       mov····0x0(%rip),%eax········35 »       mov····0x0(%rip),%eax········
36 ·R_X86_64_PC32»  era-0x436 ·R_X86_64_PC32»  era-0x4
37 »       shl····$0x1e,%rax37 »       shl····$0x1e,%rax
38 »       mov····%rax,-0x10(%r12)38 »       mov····%rax,-0x10(%r12)
39 »       mov····%rdi,-0x8(%r12)39 »       mov····%rdi,-0x8(%r12)
⊟
1.13 KB
readelf --wide --decompress --hex-dump=.strtab {}
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
  
1 Hex·dump·of·section·'.strtab':1 Hex·dump·of·section·'.strtab':
2 ··0x00000000·00693269·485f7374·72006932·69495f73·.i2iH_str.i2iI_s2 ··0x00000000·0069326a·365f7374·72006932·6a375f73·.i2j6_str.i2j7_s
3 ··0x00000010·74720069·32694a5f·73747200·6932694b·tr.i2iJ_str.i2iK3 ··0x00000010·74720069·326a385f·73747200·69326a39·tr.i2j8_str.i2j9
4 ··0x00000020·5f737472·00693269·4c5f7374·72006932·_str.i2iL_str.i24 ··0x00000020·5f737472·0069326a·615f7374·72006932·_str.i2ja_str.i2
5 ··0x00000030·694d5f73·74720069·326b4f5f·73747200·iM_str.i2kO_str.5 ··0x00000030·6a625f73·74720069·326b4f5f·73747200·jb_str.i2kO_str.
6 ··0x00000040·69326b50·5f737472·0069326b·515f7374·i2kP_str.i2kQ_st6 ··0x00000040·69326b50·5f737472·0069326b·515f7374·i2kP_str.i2kQ_st
7 ··0x00000050·72006932·6b525f73·74720069·326b535f·r.i2kR_str.i2kS_7 ··0x00000050·72006932·6b525f73·74720069·326b535f·r.i2kR_str.i2kS_
8 ··0x00000060·73747200·69326b54·5f737472·0069326e·str.i2kT_str.i2n8 ··0x00000060·73747200·69326b54·5f737472·0069326e·str.i2kT_str.i2n
9 ··0x00000070·775f7374·72006932·6e785f73·74720069·w_str.i2nx_str.i9 ··0x00000070·775f7374·72006932·6e785f73·74720069·w_str.i2nx_str.i
10 ··0x00000080·326e795f·73747200·69326e7a·5f737472·2ny_str.i2nz_str10 ··0x00000080·326e795f·73747200·69326e7a·5f737472·2ny_str.i2nz_str
11 ··0x00000090·0069326e·415f7374·72006932·6e425f73·.i2nA_str.i2nB_s11 ··0x00000090·0069326e·415f7374·72006932·6e425f73·.i2nA_str.i2nB_s
12 ··0x000000a0·74720069·326e435f·73747200·69326e44·tr.i2nC_str.i2nD12 ··0x000000a0·74720069·326e435f·73747200·69326e44·tr.i2nC_str.i2nD
⊟
9.11 KB
readelf --wide --decompress --hex-dump=.shstrtab {}
Max HTML report size reached
Generated by diffoscope 287