-
Notifications
You must be signed in to change notification settings - Fork 783
/
ilsupp.fs
1539 lines (1274 loc) · 70 KB
/
ilsupp.fs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
// Copyright (c) Microsoft Corporation. All Rights Reserved. See License.txt in the project root for license information.
module internal FSharp.Compiler.AbstractIL.Internal.Support
open Internal.Utilities
open FSharp.Compiler.AbstractIL
open FSharp.Compiler.AbstractIL.Internal
open FSharp.Compiler.AbstractIL.Internal.Bytes
open FSharp.Compiler.AbstractIL.Diagnostics
open FSharp.Compiler.AbstractIL.Internal.Library
#if FX_NO_CORHOST_SIGNER
open FSharp.Compiler.AbstractIL.Internal.StrongNameSign
#endif
open System
open System.IO
open System.Text
open System.Reflection
#if !FX_NO_SYMBOLSTORE
open System.Diagnostics.SymbolStore
#endif
open System.Runtime.InteropServices
open System.Runtime.CompilerServices
let DateTime1970Jan01 = new DateTime(1970, 1, 1, 0, 0, 0, DateTimeKind.Utc) (* ECMA Spec (Oct2002), Part II, 24.2.2 PE File Header. *)
let absilWriteGetTimeStamp () = (DateTime.UtcNow - DateTime1970Jan01).TotalSeconds |> int
// Force inline, so GetLastWin32Error calls are immediately after interop calls as seen by FxCop under Debug build.
let inline ignore _x = ()
// Native Resource linking/unlinking
type IStream = System.Runtime.InteropServices.ComTypes.IStream
let check _action (hresult) =
if uint32 hresult >= 0x80000000ul then
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR hresult
//printf "action = %s, hresult = 0x%nx \n" action hresult
type PEFileType = X86 | X64
let MAX_PATH = 260
let E_FAIL = 0x80004005
let bytesToWord ((b0: byte), (b1: byte)) =
int16 b0 ||| (int16 b1 <<< 8)
let bytesToDWord ((b0: byte), (b1: byte), (b2: byte), (b3: byte)) =
int b0 ||| (int b1 <<< 8) ||| (int b2 <<< 16) ||| (int b3 <<< 24)
let bytesToQWord ((b0: byte), (b1: byte), (b2: byte), (b3: byte), (b4: byte), (b5: byte), (b6: byte), (b7: byte)) =
int64 b0 ||| (int64 b1 <<< 8) ||| (int64 b2 <<< 16) ||| (int64 b3 <<< 24) ||| (int64 b4 <<< 32) ||| (int64 b5 <<< 40) ||| (int64 b6 <<< 48) ||| (int64 b7 <<< 56)
let dwToBytes n = [| byte (n &&& 0xff) ; byte ((n >>> 8) &&& 0xff) ; byte ((n >>> 16) &&& 0xff) ; byte ((n >>> 24) &&& 0xff) |], 4
let wToBytes (n: int16) = [| byte (n &&& 0xffs) ; byte ((n >>> 8) &&& 0xffs) |], 2
// REVIEW: factor these classes under one hierarchy, use reflection for creation from buffer and toBytes()
// Though, everything I'd like to unify is static - metaclasses?
type IMAGE_FILE_HEADER (m: int16, secs: int16, tds: int32, ptst: int32, nos: int32, soh: int16, c: int16) =
let mutable machine = m
let mutable numberOfSections = secs
let mutable timeDateStamp = tds
let mutable pointerToSymbolTable = ptst
let mutable numberOfSymbols = nos
let mutable sizeOfOptionalHeader = soh
let mutable characteristics = c
member x.Machine
with get() = machine
and set value = machine <- value
member x.NumberOfSections
with get() = numberOfSections
and set value = numberOfSections <- value
member x.TimeDateStamp
with get() = timeDateStamp
and set value = timeDateStamp <- value
member x.PointerToSymbolTable
with get() = pointerToSymbolTable
and set value = pointerToSymbolTable <- value
member x.NumberOfSymbols
with get() = numberOfSymbols
and set value = numberOfSymbols <- value
member x.SizeOfOptionalHeader
with get() = sizeOfOptionalHeader
and set value = sizeOfOptionalHeader <- value
member x.Characteristics
with get() = characteristics
and set value = characteristics <- value
static member Width
with get() = 20
member x.toBytes () =
let buf = ByteBuffer.Create IMAGE_FILE_HEADER.Width
buf.EmitUInt16 (uint16 machine)
buf.EmitUInt16 (uint16 numberOfSections)
buf.EmitInt32 timeDateStamp
buf.EmitInt32 pointerToSymbolTable
buf.EmitInt32 numberOfSymbols
buf.EmitUInt16 (uint16 sizeOfOptionalHeader)
buf.EmitUInt16 (uint16 characteristics)
buf.Close()
let bytesToIFH (buffer: byte[]) (offset: int) =
if (buffer.Length - offset) < IMAGE_FILE_HEADER.Width then
invalidArg "buffer" "buffer too small to fit an IMAGE_FILE_HEADER"
IMAGE_FILE_HEADER( bytesToWord(buffer.[offset], buffer.[offset+1]), // Machine
bytesToWord(buffer.[offset+2], buffer.[offset+3]), // NumberOfSections
bytesToDWord(buffer.[offset+4], buffer.[offset+5], buffer.[offset+6], buffer.[offset+7]), // TimeDateStamp
bytesToDWord(buffer.[offset+8], buffer.[offset+9], buffer.[offset+10], buffer.[offset+11]), // PointerToSymbolTable
bytesToDWord(buffer.[offset+12], buffer.[offset+13], buffer.[offset+14], buffer.[offset+15]), // NumberOfSymbols
bytesToWord(buffer.[offset+16], buffer.[offset+17]), // SizeOfOptionalHeader
bytesToWord(buffer.[offset+18], buffer.[offset+19])) // Characteristics
type IMAGE_SECTION_HEADER(n: int64, ai: int32, va: int32, srd: int32, prd: int32, pr: int32, pln: int32, nr: int16, nl: int16, c: int32) =
let mutable name = n
let mutable addressInfo = ai // PhysicalAddress / VirtualSize
let mutable virtualAddress = va
let mutable sizeOfRawData = srd
let mutable pointerToRawData = prd
let mutable pointerToRelocations = pr
let mutable pointerToLineNumbers = pln
let mutable numberOfRelocations = nr
let mutable numberOfLineNumbers = nl
let mutable characteristics = c
member x.Name
with get() = name
and set value = name <- value
member x.PhysicalAddress
with get() = addressInfo
and set value = addressInfo <- value
member x.VirtualSize
with get() = addressInfo
and set value = addressInfo <- value
member x.VirtualAddress
with get() = virtualAddress
and set value = virtualAddress <- value
member x.SizeOfRawData
with get() = sizeOfRawData
and set value = sizeOfRawData <- value
member x.PointerToRawData
with get() = pointerToRawData
and set value = pointerToRawData <- value
member x.PointerToRelocations
with get() = pointerToRelocations
and set value = pointerToRelocations <- value
member x.PointerToLineNumbers
with get() = pointerToLineNumbers
and set value = pointerToLineNumbers <- value
member x.NumberOfRelocations
with get() = numberOfRelocations
and set value = numberOfRelocations <- value
member x.NumberOfLineNumbers
with get() = numberOfLineNumbers
and set value = numberOfLineNumbers <- value
member x.Characteristics
with get() = characteristics
and set value = characteristics <- value
static member Width
with get() = 40
member x.toBytes () =
let buf = ByteBuffer.Create IMAGE_SECTION_HEADER.Width
buf.EmitInt64 name
buf.EmitInt32 addressInfo
buf.EmitInt32 virtualAddress
buf.EmitInt32 sizeOfRawData
buf.EmitInt32 pointerToRawData
buf.EmitInt32 pointerToRelocations
buf.EmitInt32 pointerToLineNumbers
buf.EmitUInt16 (uint16 numberOfRelocations)
buf.EmitUInt16 (uint16 numberOfLineNumbers)
buf.EmitInt32 characteristics
buf.Close()
let bytesToISH (buffer: byte[]) (offset: int) =
if (buffer.Length - offset) < IMAGE_SECTION_HEADER.Width then
invalidArg "buffer" "buffer too small to fit an IMAGE_SECTION_HEADER"
IMAGE_SECTION_HEADER(bytesToQWord(buffer.[offset], buffer.[offset+1], buffer.[offset+2], buffer.[offset+3], buffer.[offset+4], buffer.[offset+5], buffer.[offset+6], buffer.[offset+7]), // Name
bytesToDWord(buffer.[offset+8], buffer.[offset+9], buffer.[offset+10], buffer.[offset+11]), // AddressInfo
bytesToDWord(buffer.[offset+12], buffer.[offset+13], buffer.[offset+14], buffer.[offset+15]), // VirtualAddress
bytesToDWord(buffer.[offset+16], buffer.[offset+17], buffer.[offset+18], buffer.[offset+19]), // SizeOfRawData
bytesToDWord(buffer.[offset+20], buffer.[offset+21], buffer.[offset+22], buffer.[offset+23]), // PointerToRawData
bytesToDWord(buffer.[offset+24], buffer.[offset+25], buffer.[offset+26], buffer.[offset+27]), // PointerToRelocations
bytesToDWord(buffer.[offset+28], buffer.[offset+29], buffer.[offset+30], buffer.[offset+31]), // PointerToLineNumbers
bytesToWord(buffer.[offset+32], buffer.[offset+33]), // NumberOfRelocations
bytesToWord(buffer.[offset+34], buffer.[offset+35]), // NumberOfLineNumbers
bytesToDWord(buffer.[offset+36], buffer.[offset+37], buffer.[offset+38], buffer.[offset+39])) // Characteristics
type IMAGE_SYMBOL(n: int64, v: int32, sn: int16, t: int16, sc: byte, nas: byte) =
let mutable name = n
let mutable value = v
let mutable sectionNumber = sn
let mutable stype = t
let mutable storageClass = sc
let mutable numberOfAuxSymbols = nas
member x.Name
with get() = name
and set v = name <- v
member x.Value
with get() = value
and set v = value <- v
member x.SectionNumber
with get() = sectionNumber
and set v = sectionNumber <- v
member x.Type
with get() = stype
and set v = stype <- v
member x.StorageClass
with get() = storageClass
and set v = storageClass <- v
member x.NumberOfAuxSymbols
with get() = numberOfAuxSymbols
and set v = numberOfAuxSymbols <- v
static member Width
with get() = 18
member x.toBytes() =
let buf = ByteBuffer.Create IMAGE_SYMBOL.Width
buf.EmitInt64 name
buf.EmitInt32 value
buf.EmitUInt16 (uint16 sectionNumber)
buf.EmitUInt16 (uint16 stype)
buf.EmitByte storageClass
buf.EmitByte numberOfAuxSymbols
buf.Close()
let bytesToIS (buffer: byte[]) (offset: int) =
if (buffer.Length - offset) < IMAGE_SYMBOL.Width then
invalidArg "buffer" "buffer too small to fit an IMAGE_SYMBOL"
IMAGE_SYMBOL( bytesToQWord(buffer.[offset], buffer.[offset+1], buffer.[offset+2], buffer.[offset+3], buffer.[offset+4], buffer.[offset+5], buffer.[offset+6], buffer.[offset+7]), // Name
bytesToDWord(buffer.[offset+8], buffer.[offset+9], buffer.[offset+10], buffer.[offset+11]), // Value
bytesToWord(buffer.[offset+12], buffer.[offset+13]), // SectionNumber
bytesToWord(buffer.[offset+14], buffer.[offset+15]), // Type
buffer.[offset+16], // StorageClass
buffer.[offset+17]) // NumberOfAuxSymbols
type IMAGE_RELOCATION(va: int32, sti: int32, t: int16) =
let mutable virtualAddress = va // Also RelocCount
let mutable symbolTableIndex = sti
let mutable ty = t // type
member x.VirtualAddress
with get() = virtualAddress
and set v = virtualAddress <- v
member x.RelocCount
with get() = virtualAddress
and set v = virtualAddress <- v
member x.SymbolTableIndex
with get() = symbolTableIndex
and set v = symbolTableIndex <- v
member x.Type
with get() = ty
and set v = ty <- v
static member Width
with get() = 10
member x.toBytes() =
let buf = ByteBuffer.Create IMAGE_RELOCATION.Width
buf.EmitInt32 virtualAddress
buf.EmitInt32 symbolTableIndex
buf.EmitUInt16 (uint16 ty)
buf.Close()
let bytesToIR (buffer: byte[]) (offset: int) =
if (buffer.Length - offset) < IMAGE_RELOCATION.Width then
invalidArg "buffer" "buffer too small to fit an IMAGE_RELOCATION"
IMAGE_RELOCATION( bytesToDWord(buffer.[offset], buffer.[offset+1], buffer.[offset+2], buffer.[offset+3]),
bytesToDWord(buffer.[offset+4], buffer.[offset+5], buffer.[offset+6], buffer.[offset+7]),
bytesToWord(buffer.[offset+8], buffer.[offset+9]))
type IMAGE_RESOURCE_DIRECTORY(c: int32, tds: int32, mjv: int16, mnv: int16, nne: int16, nie: int16) =
let mutable characteristics = c
let mutable timeDateStamp = tds
let mutable majorVersion = mjv
let mutable minorVersion = mnv
let mutable numberOfNamedEntries = nne
let mutable numberOfIdEntries = nie
member x.Characteristics
with get() = characteristics
and set v = characteristics <- v
member x.TimeDateStamp
with get() = timeDateStamp
and set v = timeDateStamp <- v
member x.MajorVersion
with get() = majorVersion
and set v = majorVersion <- v
member x.MinorVersion
with get() = minorVersion
and set v = minorVersion <- v
member x.NumberOfNamedEntries
with get() = numberOfNamedEntries
and set v = numberOfNamedEntries <- v
member x.NumberOfIdEntries
with get() = numberOfIdEntries
and set v = numberOfIdEntries <- v
static member Width = 16
member x.toBytes () =
let buf = ByteBuffer.Create IMAGE_RESOURCE_DIRECTORY.Width
buf.EmitInt32 characteristics
buf.EmitInt32 timeDateStamp
buf.EmitUInt16 (uint16 majorVersion)
buf.EmitUInt16 (uint16 minorVersion)
buf.EmitUInt16 (uint16 numberOfNamedEntries)
buf.EmitUInt16 (uint16 numberOfIdEntries)
buf.Close()
let bytesToIRD (buffer: byte[]) (offset: int) =
if (buffer.Length - offset) < IMAGE_RESOURCE_DIRECTORY.Width then
invalidArg "buffer" "buffer too small to fit an IMAGE_RESOURCE_DIRECTORY"
IMAGE_RESOURCE_DIRECTORY( bytesToDWord(buffer.[offset], buffer.[offset+1], buffer.[offset+2], buffer.[offset+3]), // Characteristics
bytesToDWord(buffer.[offset+4], buffer.[offset+5], buffer.[offset+6], buffer.[offset+7]), // TimeDateStamp
bytesToWord(buffer.[offset+8], buffer.[offset+9]), // MajorVersion
bytesToWord(buffer.[offset+10], buffer.[offset+11]), // MinorVersion
bytesToWord(buffer.[offset+12], buffer.[offset+13]), // NumberOfNamedEntries
bytesToWord(buffer.[offset+14], buffer.[offset+15])) // NumberOfIdEntries
type IMAGE_RESOURCE_DIRECTORY_ENTRY(n: int32, o: int32) =
let mutable name = n
let mutable offset = o
member x.Name
with get() = name
and set v = name <- v
member x.OffsetToData
with get() = offset
and set v = offset <- v
member x.OffsetToDirectory
with get() = offset &&& 0x7fffffff
member x.DataIsDirectory
with get() = (offset &&& 0x80000000) <> 0
static member Width = 8
member x.toBytes () =
let buf = ByteBuffer.Create IMAGE_RESOURCE_DIRECTORY_ENTRY.Width
buf.EmitInt32 name
buf.EmitInt32 offset
buf.Close()
let bytesToIRDE (buffer: byte[]) (offset: int) =
if (buffer.Length - offset) < IMAGE_RESOURCE_DIRECTORY_ENTRY.Width then
invalidArg "buffer" "buffer too small to fit an IMAGE_RESOURCE_DIRECTORY_ENTRY"
IMAGE_RESOURCE_DIRECTORY_ENTRY( bytesToDWord(buffer.[offset], buffer.[offset+1], buffer.[offset+2], buffer.[offset+3]), // Name
bytesToDWord(buffer.[offset+4], buffer.[offset+5], buffer.[offset+6], buffer.[offset+7])) // Offset
type IMAGE_RESOURCE_DATA_ENTRY(o: int32, s: int32, c: int32, r: int32) =
let mutable offsetToData = o
let mutable size = s
let mutable codePage = c
let mutable reserved = r
member x.OffsetToData
with get() = offsetToData
and set v = offsetToData <- v
member x.Size
with get() = size
and set v = size <- v
member x.CodePage
with get() = codePage
and set v = codePage <- v
member x.Reserved
with get() = reserved
and set v = reserved <- v
static member Width = 16
member x.toBytes() =
let buf = ByteBuffer.Create IMAGE_RESOURCE_DATA_ENTRY.Width
buf.EmitInt32 offsetToData
buf.EmitInt32 size
buf.EmitInt32 codePage
buf.EmitInt32 reserved
let bytesToIRDataE (buffer: byte[]) (offset: int) =
if (buffer.Length - offset) < IMAGE_RESOURCE_DATA_ENTRY.Width then
invalidArg "buffer" "buffer too small to fit an IMAGE_RESOURCE_DATA_ENTRY"
IMAGE_RESOURCE_DATA_ENTRY(bytesToDWord(buffer.[offset], buffer.[offset+1], buffer.[offset+2], buffer.[offset+3]), // OffsetToData
bytesToDWord(buffer.[offset+4], buffer.[offset+5], buffer.[offset+6], buffer.[offset+7]), // Size
bytesToDWord(buffer.[offset+8], buffer.[offset+9], buffer.[offset+10], buffer.[offset+11]), // CodePage
bytesToDWord(buffer.[offset+12], buffer.[offset+13], buffer.[offset+14], buffer.[offset+15])) // Reserved
type ResFormatHeader() =
let mutable dwDataSize = 0
let mutable dwHeaderSize = 32 // The eventual supposed size of this structure in memory
let mutable dwTypeID = 0xffff
let mutable dwNameID = 0xffff
let mutable dwDataVersion = 0
let mutable wMemFlags = 0s
let mutable wLangID = 0s
let mutable dwVersion = 0
let mutable dwCharacteristics = 0
member x.DataSize
with get() = dwDataSize
and set v = dwDataSize <- v
member x.HeaderSize
with get() = dwHeaderSize
and set v = dwHeaderSize <- v
member x.TypeID
with get() = dwTypeID
and set v = dwTypeID <- v
member x.NameID
with get() = dwNameID
and set v = dwNameID <- v
member x.DataVersion
with get() = dwDataVersion
and set v = dwDataVersion <- v
member x.MemFlags
with get() = wMemFlags
and set v = wMemFlags <- v
member x.LangID
with get() = wLangID
and set v = wLangID <- v
member x.Version
with get() = dwVersion
and set v = dwVersion <- v
member x.Characteristics
with get() = dwCharacteristics
and set v = dwCharacteristics <- v
static member Width = 32
member x.toBytes() =
let buf = ByteBuffer.Create ResFormatHeader.Width
buf.EmitInt32 dwDataSize
buf.EmitInt32 dwHeaderSize
buf.EmitInt32 dwTypeID
buf.EmitInt32 dwNameID
buf.EmitInt32 dwDataVersion
buf.EmitUInt16 (uint16 wMemFlags)
buf.EmitUInt16 (uint16 wLangID)
buf.EmitInt32 dwVersion
buf.EmitInt32 dwCharacteristics
buf.Close()
type ResFormatNode(tid: int32, nid: int32, lid: int32, dataOffset: int32, pbLinkedResource: byte[]) =
let mutable resHdr = ResFormatHeader()
let mutable dataEntry = Unchecked.defaultof<IMAGE_RESOURCE_DATA_ENTRY>
let mutable cType = 0
let mutable wzType = Unchecked.defaultof<byte[]>
let mutable cName = 0
let mutable wzName = Unchecked.defaultof<byte[]>
do
if (tid &&& 0x80000000) <> 0 then // REVIEW: Are names and types mutually exclusive? The C++ code didn't seem to think so, but I can't find any documentation
resHdr.TypeID <- 0
let mtid = tid &&& 0x7fffffff
cType <- bytesToDWord(pbLinkedResource.[mtid], pbLinkedResource.[mtid+1], pbLinkedResource.[mtid+2], pbLinkedResource.[mtid+3])
wzType <- Bytes.zeroCreate ((cType + 1) * 2)
Bytes.blit pbLinkedResource 4 wzType 0 (cType * 2)
else
resHdr.TypeID <- (0xffff ||| ((tid &&& 0xffff) <<< 16))
if (nid &&& 0x80000000) <> 0 then
resHdr.NameID <- 0
let mnid = nid &&& 0x7fffffff
cName <- bytesToDWord(pbLinkedResource.[mnid], pbLinkedResource.[mnid+1], pbLinkedResource.[mnid+2], pbLinkedResource.[mnid+3])
wzName <- Bytes.zeroCreate ((cName + 1) * 2)
Bytes.blit pbLinkedResource 4 wzName 0 (cName * 2)
else
resHdr.NameID <- (0xffff ||| ((nid &&& 0xffff) <<< 16))
resHdr.LangID <- (int16)lid
dataEntry <- bytesToIRDataE pbLinkedResource dataOffset
resHdr.DataSize <- dataEntry.Size
member x.ResHdr = resHdr
member x.DataEntry = dataEntry
member x.Type = wzType
member x.Name = wzName
member x.Save(ulLinkedResourceBaseRVA: int32, pbLinkedResource: byte[], pUnlinkedResource: byte[], offset: int) =
// Dump them to pUnlinkedResource
// For each resource write header and data
let size = ref 0
let unlinkedResourceOffset = ref 0
//resHdr.HeaderSize <- 32
if Unchecked.defaultof<byte[]> <> wzType then
resHdr.HeaderSize <- resHdr.HeaderSize + ((cType + 1) * 2) - 4
if Unchecked.defaultof<byte[]> <> wzName then
resHdr.HeaderSize <- resHdr.HeaderSize + ((cName + 1) * 2) - 4
let SaveChunk(p: byte[], sz: int) =
if Unchecked.defaultof<byte[]> <> pUnlinkedResource then
Bytes.blit p 0 pUnlinkedResource (!unlinkedResourceOffset + offset) sz
unlinkedResourceOffset := !unlinkedResourceOffset + sz
size := !size + sz
()
// ---- Constant part of the header: DWORD, DWORD
SaveChunk(dwToBytes resHdr.DataSize)
SaveChunk(dwToBytes resHdr.HeaderSize)
let mutable dwFiller = 0
if Unchecked.defaultof<byte[]> <> wzType then
SaveChunk(wzType, ((cType + 1) * 2))
dwFiller <- dwFiller + cType + 1
else
SaveChunk(dwToBytes resHdr.TypeID)
if Unchecked.defaultof<byte[]> <> wzName then
SaveChunk(wzName, ((cName + 1) * 2))
dwFiller <- dwFiller + cName + 1
else
SaveChunk(dwToBytes resHdr.NameID)
let bNil = Bytes.zeroCreate 3
// Align remaining fields on DWORD (nb. poor bit twiddling code taken from ildasm's dres.cpp)
if (dwFiller &&& 0x1) <> 0 then
SaveChunk(bNil, 2)
//---- Constant part of the header: DWORD, WORD, WORD, DWORD, DWORD
SaveChunk(dwToBytes resHdr.DataVersion)
SaveChunk(wToBytes resHdr.MemFlags)
SaveChunk(wToBytes resHdr.LangID)
SaveChunk(dwToBytes resHdr.Version)
SaveChunk(dwToBytes resHdr.Characteristics)
//---- Header done, now data
// just copying to make the code a bit cleaner - can blit if this ends up being a liability
let pbData = pbLinkedResource.[(dataEntry.OffsetToData - ulLinkedResourceBaseRVA) ..]
SaveChunk(pbData, dataEntry.Size)
dwFiller <- dataEntry.Size &&& 0x3
if dwFiller <> 0 then
SaveChunk(bNil, 4 - dwFiller)
!size
let linkNativeResourcesViaCVTres (unlinkedResources: byte[] list) (ulLinkedResourceBaseRVA: int32) (fileType: PEFileType) (outputFilePath: string) =
let nPEFileType = match fileType with X86 -> 0 | X64 -> 2
let mutable tempResFiles: string list = []
let mutable objBytes: byte[] = [||]
let unlinkedResources = unlinkedResources |> List.filter (fun arr -> arr.Length > 0)
if isNil unlinkedResources then // bail if there's nothing to link
objBytes
else
// Part 1: Write unlinked resources to an object file for linking
// check if the first dword is 0x0
let firstDWord = bytesToDWord(unlinkedResources.[0].[0], unlinkedResources.[0].[1], unlinkedResources.[0].[2], unlinkedResources.[0].[3])
if firstDWord = 0 then
// build the command line invocation string for cvtres.exe
let corSystemDir = System.Runtime.InteropServices.RuntimeEnvironment.GetRuntimeDirectory()
// We'll use the current dir and a random file name rather than System.IO.Path.GetTempFileName
// to try and prevent the command line invocation string from being > MAX_PATH
let outputFilePaths =
if outputFilePath = "" then
[ FileSystem.GetTempPathShim() ]
else
[ FileSystem.GetTempPathShim() ; (outputFilePath + "\\") ]
// Get a unique random file
let rec GetUniqueRandomFileName path =
let tfn = path + System.IO.Path.GetRandomFileName()
if FileSystem.SafeExists tfn then
GetUniqueRandomFileName path
else
tfn
let machine = if 2 = nPEFileType then "X64" else "X86"
let cmdLineArgsPreamble = sprintf "/NOLOGO /READONLY /MACHINE:%s" machine
let cvtres = corSystemDir + "cvtres.exe "
let createCvtresArgs path =
let tempObjFileName = GetUniqueRandomFileName path
let mutable cmdLineArgs = sprintf "%s \"/Out:%s\"" cmdLineArgsPreamble tempObjFileName
let mutable resFiles: string list = []
for _ulr in unlinkedResources do
let tempResFileName = GetUniqueRandomFileName path
resFiles <- tempResFileName :: resFiles
cmdLineArgs <- cmdLineArgs + " \"" + tempResFileName + "\""
let trf = resFiles
let cmd = cmdLineArgs
cmd, tempObjFileName, trf
let cmdLineArgs, tempObjFileName, tempResFileNames =
let attempts =
outputFilePaths |>
List.map (fun path -> createCvtresArgs path) |>
List.filter (fun ((argstring: string), (_t: string), (_f: string list)) -> (cvtres.Length + argstring.Length) < MAX_PATH)
let invoc, tmp, files =
match attempts with
| [] -> createCvtresArgs ".\\" // hope for the best...
| (i, t, f) :: _rest -> i, t, f // use the first one, since they're listed in order of precedence
tempResFiles <- files
(invoc, tmp, files)
let cvtresInvocation = cvtres + cmdLineArgs
try
let mutable iFiles = 0
for ulr in unlinkedResources do
// REVIEW: What can go wrong here? What happens when the various file calls fail
// dump the unlinked resource bytes into the temp file
System.IO.File.WriteAllBytes(tempResFileNames.[iFiles], ulr)
iFiles <- iFiles + 1
// call cvtres.exe using the full cmd line string we've generated
// check to see if the generated string is too long - if it is, fail with E_FAIL
if cvtresInvocation.Length >= MAX_PATH then
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR(E_FAIL)
// REVIEW: We really shouldn't be calling out to cvtres
let mutable psi = System.Diagnostics.ProcessStartInfo cvtres
psi.Arguments <- cmdLineArgs
psi.CreateNoWindow <- true ; // REVIEW: For some reason, this still creates a window unless WindowStyle is set to hidden
psi.WindowStyle <- System.Diagnostics.ProcessWindowStyle.Hidden
let p = System.Diagnostics.Process.Start psi
// Wait for the process to finish
p.WaitForExit()
check "Process.Start" p.ExitCode // TODO: really need to check against 0
// Conversion was successful, so read the object file
objBytes <- FileSystem.ReadAllBytesShim tempObjFileName
//Array.Copy(objBytes, pbUnlinkedResource, pbUnlinkedResource.Length)
FileSystem.FileDelete tempObjFileName
finally
// clean up the temp files
List.iter (fun tempResFileName -> FileSystem.FileDelete tempResFileName) tempResFiles
// Part 2: Read the COFF file held in pbUnlinkedResource, spit it out into pResBuffer and apply the COFF fixups
// pResBuffer will become the .rsrc section of the PE file
if (objBytes = Unchecked.defaultof<byte[]>) then
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR(E_FAIL)
let hMod = bytesToIFH objBytes 0
if hMod.SizeOfOptionalHeader <> 0s then
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR(E_FAIL)
let rsrc01Name = 0x313024637273722eL // ".rsrc$01"
let rsrc02Name = 0x323024637273722eL // ".rsrc$02"
let nullHdr = Unchecked.defaultof<IMAGE_SECTION_HEADER>
let mutable rsrc01 = nullHdr
let mutable rsrc02 = nullHdr
for i = 0 to int hMod.NumberOfSections do
let pSection = bytesToISH objBytes (IMAGE_FILE_HEADER.Width + (IMAGE_SECTION_HEADER.Width * i))
if pSection.Name = rsrc01Name then
rsrc01 <- pSection
else if pSection.Name = rsrc02Name then
rsrc02 <- pSection
if (nullHdr = rsrc01) || (nullHdr = rsrc02) then
// One of the rsrc sections wasn't found
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR(E_FAIL)
let size = rsrc01.SizeOfRawData + rsrc02.SizeOfRawData
let pResBuffer = Bytes.zeroCreate size
// Copy over the raw data
Bytes.blit objBytes rsrc01.PointerToRawData pResBuffer 0 rsrc01.SizeOfRawData
// map all the relocs in .rsrc$01 using the reloc and symbol tables in the COFF object
let symbolTableHead = hMod.PointerToSymbolTable
let IMAGE_SYM_CLASS_STATIC = 0x3uy
let IMAGE_SYM_TYPE_NULL = 0x0s
let GetSymbolEntry (buffer: byte[]) (idx: int) =
bytesToIS buffer (symbolTableHead + (idx * IMAGE_SYMBOL.Width) )
for iReloc = 0 to int (rsrc01.NumberOfRelocations - 1s) do
let pReloc = bytesToIR objBytes (rsrc01.PointerToRelocations + (iReloc * IMAGE_RELOCATION.Width))
let IdxSymbol = pReloc.SymbolTableIndex
let pSymbolEntry = GetSymbolEntry objBytes IdxSymbol
// Ensure the symbol entry is valid for a resource
if ((pSymbolEntry.StorageClass <> IMAGE_SYM_CLASS_STATIC) ||
(pSymbolEntry.Type <> IMAGE_SYM_TYPE_NULL) ||
(pSymbolEntry.SectionNumber <> 3s)) then
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR(E_FAIL)
// Ensure that RVA is a valid address inside rsrc02
if pSymbolEntry.Value >= rsrc02.SizeOfRawData then
// pSymbolEntry.Value is too big
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR(E_FAIL)
// store the value
let vBuff, vSize = dwToBytes (ulLinkedResourceBaseRVA + rsrc01.SizeOfRawData + pSymbolEntry.Value)
//Bytes.blit objBytes rsrc02.PointerToRawData pResBuffer pReloc.VirtualAddress rsrc02.SizeOfRawData
Bytes.blit vBuff 0 pResBuffer pReloc.VirtualAddress vSize
// Copy $02 (resource raw into pResBuffer
Bytes.blit objBytes rsrc02.PointerToRawData pResBuffer rsrc01.SizeOfRawData rsrc02.SizeOfRawData
// return the buffer
pResBuffer
let linkNativeResourcesManaged (unlinkedResources: byte[] list) (ulLinkedResourceBaseRVA: int32) (fileType: PEFileType) (outputFilePath: string) =
ignore fileType
ignore outputFilePath
let resources =
unlinkedResources
|> Seq.map (fun s -> new MemoryStream(s))
|> Seq.map (fun s ->
let res = CVTres.CvtResFile.ReadResFile s
s.Dispose()
res)
|> Seq.collect id
// See MakeWin32ResourceList https://github.com/dotnet/roslyn/blob/f40b89234db51da1e1153c14af184e618504be41/src/Compilers/Core/Portable/Compilation/Compilation.cs
|> Seq.map (fun r ->
WriteNativeRes.Win32Resource(data = r.data, codePage = 0u, languageId = uint32 r.LanguageId,
id = int (int16 r.pstringName.Ordinal), name = r.pstringName.theString,
typeId = int (int16 r.pstringType.Ordinal), typeName = r.pstringType.theString))
let bb = new System.Reflection.Metadata.BlobBuilder()
WriteNativeRes.NativeResourceWriter.SerializeWin32Resources(bb, resources, ulLinkedResourceBaseRVA)
bb.ToArray()
let linkNativeResources (unlinkedResources: byte[] list) (ulLinkedResourceBaseRVA: int32) (fileType: PEFileType) (outputFilePath: string) =
#if ENABLE_MONO_SUPPORT
if IL.runningOnMono then
linkNativeResourcesManaged unlinkedResources ulLinkedResourceBaseRVA fileType outputFilePath
else
#endif
#if !FX_NO_LINKEDRESOURCES
linkNativeResourcesViaCVTres unlinkedResources ulLinkedResourceBaseRVA fileType outputFilePath
#else
linkNativeResourcesManaged unlinkedResources ulLinkedResourceBaseRVA fileType outputFilePath
#endif
let unlinkResource (ulLinkedResourceBaseRVA: int32) (pbLinkedResource: byte[]) =
let mutable nResNodes = 0
let pirdType = bytesToIRD pbLinkedResource 0
let mutable pirdeType = Unchecked.defaultof<IMAGE_RESOURCE_DIRECTORY_ENTRY>
let nEntries = pirdType.NumberOfNamedEntries + pirdType.NumberOfIdEntries
// determine entry buffer size
// TODO: coalesce these two loops
for iEntry = 0 to (int nEntries - 1) do
pirdeType <- bytesToIRDE pbLinkedResource (IMAGE_RESOURCE_DIRECTORY.Width + (iEntry * IMAGE_RESOURCE_DIRECTORY_ENTRY.Width))
if pirdeType.DataIsDirectory then
let nameBase = pirdeType.OffsetToDirectory
let pirdName = bytesToIRD pbLinkedResource nameBase
let mutable pirdeName = Unchecked.defaultof<IMAGE_RESOURCE_DIRECTORY_ENTRY>
let nEntries2 = pirdName.NumberOfNamedEntries + pirdName.NumberOfIdEntries
for iEntry2 = 0 to (int nEntries2 - 1) do
pirdeName <- bytesToIRDE pbLinkedResource (nameBase + (iEntry2 * IMAGE_RESOURCE_DIRECTORY_ENTRY.Width))
if pirdeName.DataIsDirectory then
let langBase = pirdeName.OffsetToDirectory
let pirdLang = bytesToIRD pbLinkedResource langBase
let nEntries3 = pirdLang.NumberOfNamedEntries + pirdLang.NumberOfIdEntries
nResNodes <- nResNodes + (int nEntries3)
else
nResNodes <- nResNodes + 1
else
nResNodes <- nResNodes + 1
let pResNodes: ResFormatNode [] = Array.zeroCreate nResNodes
nResNodes <- 0
// fill out the entry buffer
for iEntry = 0 to (int nEntries - 1) do
pirdeType <- bytesToIRDE pbLinkedResource (IMAGE_RESOURCE_DIRECTORY.Width + (iEntry * IMAGE_RESOURCE_DIRECTORY_ENTRY.Width))
let dwTypeID = pirdeType.Name
// Need to skip VERSION and RT_MANIFEST resources
// REVIEW: ideally we shouldn't allocate space for these, or rename properly so we don't get the naming conflict
let skipResource = (0x10 = dwTypeID) || (0x18 = dwTypeID)
if pirdeType.DataIsDirectory then
let nameBase = pirdeType.OffsetToDirectory
let pirdName = bytesToIRD pbLinkedResource nameBase
let mutable pirdeName = Unchecked.defaultof<IMAGE_RESOURCE_DIRECTORY_ENTRY>
let nEntries2 = pirdName.NumberOfNamedEntries + pirdName.NumberOfIdEntries
for iEntry2 = 0 to (int nEntries2 - 1) do
pirdeName <- bytesToIRDE pbLinkedResource (nameBase + (iEntry2 * IMAGE_RESOURCE_DIRECTORY_ENTRY.Width))
let dwNameID = pirdeName.Name
if pirdeName.DataIsDirectory then
let langBase = pirdeName.OffsetToDirectory
let pirdLang = bytesToIRD pbLinkedResource langBase
let mutable pirdeLang = Unchecked.defaultof<IMAGE_RESOURCE_DIRECTORY_ENTRY>
let nEntries3 = pirdLang.NumberOfNamedEntries + pirdLang.NumberOfIdEntries
for iEntry3 = 0 to (int nEntries3 - 1) do
pirdeLang <- bytesToIRDE pbLinkedResource (langBase + (iEntry3 * IMAGE_RESOURCE_DIRECTORY_ENTRY.Width))
let dwLangID = pirdeLang.Name
if pirdeLang.DataIsDirectory then
// Resource hierarchy exceeds three levels
System.Runtime.InteropServices.Marshal.ThrowExceptionForHR(E_FAIL)
else
if (not skipResource) then
let rfn = ResFormatNode(dwTypeID, dwNameID, dwLangID, pirdeLang.OffsetToData, pbLinkedResource)
pResNodes.[nResNodes] <- rfn
nResNodes <- nResNodes + 1
else
if (not skipResource) then
let rfn = ResFormatNode(dwTypeID, dwNameID, 0, pirdeName.OffsetToData, pbLinkedResource)
pResNodes.[nResNodes] <- rfn
nResNodes <- nResNodes + 1
else
if (not skipResource) then
let rfn = ResFormatNode(dwTypeID, 0, 0, pirdeType.OffsetToData, pbLinkedResource) // REVIEW: I believe these 0s are what's causing the duplicate res naming problems
pResNodes.[nResNodes] <- rfn
nResNodes <- nResNodes + 1
// Ok, all tree leaves are in ResFormatNode structs, and nResNodes ptrs are in pResNodes
let mutable size = 0
if nResNodes <> 0 then
size <- size + ResFormatHeader.Width ; // sizeof ResFormatHeader
for i = 0 to (nResNodes - 1) do
size <- size + pResNodes.[i].Save(ulLinkedResourceBaseRVA, pbLinkedResource, Unchecked.defaultof<byte[]>, 0)
let pResBuffer = Bytes.zeroCreate size
if nResNodes <> 0 then
let mutable resBufferOffset = 0
// Write a dummy header
let rfh = ResFormatHeader()
let rfhBytes = rfh.toBytes()
Bytes.blit rfhBytes 0 pResBuffer 0 ResFormatHeader.Width
resBufferOffset <- resBufferOffset + ResFormatHeader.Width
for i = 0 to (nResNodes - 1) do
resBufferOffset <- resBufferOffset + pResNodes.[i].Save(ulLinkedResourceBaseRVA, pbLinkedResource, pResBuffer, resBufferOffset)
pResBuffer
#if !FX_NO_PDB_WRITER
// PDB Writing
[<ComImport; Interface>]
[<Guid("809c652e-7396-11d2-9771-00a0c9b4d50c") ; InterfaceType(ComInterfaceType.InterfaceIsIUnknown)>]
type IMetaDataDispenser =
abstract DefineScope: unit -> unit // need this here to fill the first vtable slot
abstract OpenScope: [<In ; MarshalAs(UnmanagedType.LPWStr)>] szScope: string * [<In>] dwOpenFlags: Int32 * [<In>] riid: System.Guid byref * [<Out ; MarshalAs(UnmanagedType.IUnknown)>] punk: Object byref -> unit
[<ComImport; Interface>]
[<Guid("7DAC8207-D3AE-4c75-9B67-92801A497D44"); InterfaceType(ComInterfaceType.InterfaceIsIUnknown)>]
[<CLSCompliant(true)>]
type IMetadataImport =
abstract Placeholder: unit -> unit
[<ComImport; Interface>]
[<Guid("BA3FEE4C-ECB9-4E41-83B7-183FA41CD859"); InterfaceType(ComInterfaceType.InterfaceIsIUnknown)>]
[<CLSCompliant(true)>]
type IMetadataEmit =
abstract Placeholder: unit -> unit
[<ComImport; Interface>]
[< Guid("B01FAFEB-C450-3A4D-BEEC-B4CEEC01E006") ; InterfaceType(ComInterfaceType.InterfaceIsIUnknown) >]
[< ComVisible(false) >]
type ISymUnmanagedDocumentWriter =
abstract SetSource: sourceSize: int * [<MarshalAs(UnmanagedType.LPArray)>] source: byte[] -> unit
abstract SetCheckSum: algorithmId: System.Guid * checkSumSize: int * [<MarshalAs(UnmanagedType.LPArray)>] checkSum: byte [] -> unit
// Struct used to retrieve info on the debug output
[<Struct; StructLayout(LayoutKind.Sequential)>]
type ImageDebugDirectory =
val Characteristics: int32
val TimeDateStamp: int32
val MajorVersion: int16
val MinorVersion: int16
val Type: int32
val SizeOfData: int32
val AddressOfRawData: int32
val PointerToRawData: int32
[<ComImport; Interface>]
[<Guid("0B97726E-9E6D-4f05-9A26-424022093CAA"); InterfaceType(ComInterfaceType.InterfaceIsIUnknown)>]
type ISymUnmanagedWriter2 =
abstract DefineDocument: [<MarshalAs(UnmanagedType.LPWStr)>] url: string *
language: System.Guid byref *
languageVendor: System.Guid byref *
documentType: System.Guid byref *
[<MarshalAs(UnmanagedType.Interface)>] RetVal: ISymUnmanagedDocumentWriter byref -> unit
abstract SetUserEntryPoint: entryMethod: uint32 -> unit
abstract OpenMethod: meth: int -> unit
abstract CloseMethod: unit -> unit
abstract OpenScope: startOffset: int * pRetVal: int byref -> unit
abstract CloseScope: endOffset: int -> unit
abstract SetScopeRange: scopeID: int * startOffset: int * endOffset: int -> unit
abstract DefineLocalVariable: [<MarshalAs(UnmanagedType.LPWStr)>] varname: string *
attributes: int *
cSig: int *
[<MarshalAs(UnmanagedType.LPArray, SizeParamIndex=2s)>]signature: byte[] *
addressKind: int *
addr1: int *
addr2: int *
addr3: int *
startOffset: int *
endOffset: int -> unit
abstract DefineParameter: [<MarshalAs(UnmanagedType.LPWStr)>] paramname: string *
attributes: int *
sequence: int *
addressKind: int *
addr1: int *
addr2: int *
addr3: int -> unit
abstract DefineField: parent: int *
[<MarshalAs(UnmanagedType.LPWStr)>] fieldname: string *
attributes: int *
cSig: int *
[<MarshalAs(UnmanagedType.LPArray, SizeParamIndex=3s)>]signature: byte[] *
addressKind: int *
addr1: int *
addr2: int *
addr3: int -> unit
abstract DefineGlobalVariable: [<MarshalAs(UnmanagedType.LPWStr)>] globalvarname: string *
attributes: int *
cSig: int *
[<MarshalAs(UnmanagedType.LPArray, SizeParamIndex=2s)>]signature: byte[] *
addressKind: int *
addr1: int *
addr2: int *
addr3: int -> unit
abstract Close: unit -> unit
abstract SetSymAttribute: parent: int *
[<MarshalAs(UnmanagedType.LPWStr)>] attname: string *
cData: int *
[<MarshalAs(UnmanagedType.LPArray, SizeParamIndex=2s)>]data: byte[] -> unit
abstract OpenNamespace: [<MarshalAs(UnmanagedType.LPWStr)>] nsname: string -> unit
abstract CloseNamespace: unit -> unit
abstract UsingNamespace: [<MarshalAs(UnmanagedType.LPWStr)>] fullName: string -> unit
abstract SetMethodSourceRange: startDoc: ISymUnmanagedDocumentWriter *
startLine: int *
startColumn: int *
endDoc: ISymUnmanagedDocumentWriter *
endLine: int *
endColumn: int -> unit
abstract Initialize: emitter: nativeint *
[<MarshalAs(UnmanagedType.LPWStr)>] filename: string *
stream: IStream *
fullBuild: bool -> unit
abstract GetDebugInfo: iDD: ImageDebugDirectory byref *
cData: int *
pcData: int byref *
[<MarshalAs(UnmanagedType.LPArray, SizeParamIndex=1s)>]data: byte[] -> unit
abstract DefineSequencePoints: document: ISymUnmanagedDocumentWriter *
spCount: int *