• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===--- COFFModuleDefinition.cpp - Simple DEF parser ---------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // Windows-specific.
10 // A parser for the module-definition file (.def file).
11 //
12 // The format of module-definition files are described in this document:
13 // https://msdn.microsoft.com/en-us/library/28d6s79h.aspx
14 //
15 //===----------------------------------------------------------------------===//
16 
17 #include "llvm/Object/COFFModuleDefinition.h"
18 #include "llvm/ADT/StringRef.h"
19 #include "llvm/ADT/StringSwitch.h"
20 #include "llvm/Object/COFF.h"
21 #include "llvm/Object/COFFImportFile.h"
22 #include "llvm/Object/Error.h"
23 #include "llvm/Support/Error.h"
24 #include "llvm/Support/Path.h"
25 #include "llvm/Support/raw_ostream.h"
26 
27 using namespace llvm::COFF;
28 using namespace llvm;
29 
30 namespace llvm {
31 namespace object {
32 
33 enum Kind {
34   Unknown,
35   Eof,
36   Identifier,
37   Comma,
38   Equal,
39   EqualEqual,
40   KwBase,
41   KwConstant,
42   KwData,
43   KwExports,
44   KwHeapsize,
45   KwLibrary,
46   KwName,
47   KwNoname,
48   KwPrivate,
49   KwStacksize,
50   KwVersion,
51 };
52 
53 struct Token {
Tokenllvm::object::Token54   explicit Token(Kind T = Unknown, StringRef S = "") : K(T), Value(S) {}
55   Kind K;
56   StringRef Value;
57 };
58 
isDecorated(StringRef Sym,bool MingwDef)59 static bool isDecorated(StringRef Sym, bool MingwDef) {
60   // In def files, the symbols can either be listed decorated or undecorated.
61   //
62   // - For cdecl symbols, only the undecorated form is allowed.
63   // - For fastcall and vectorcall symbols, both fully decorated or
64   //   undecorated forms can be present.
65   // - For stdcall symbols in non-MinGW environments, the decorated form is
66   //   fully decorated with leading underscore and trailing stack argument
67   //   size - like "_Func@0".
68   // - In MinGW def files, a decorated stdcall symbol does not include the
69   //   leading underscore though, like "Func@0".
70 
71   // This function controls whether a leading underscore should be added to
72   // the given symbol name or not. For MinGW, treat a stdcall symbol name such
73   // as "Func@0" as undecorated, i.e. a leading underscore must be added.
74   // For non-MinGW, look for '@' in the whole string and consider "_Func@0"
75   // as decorated, i.e. don't add any more leading underscores.
76   // We can't check for a leading underscore here, since function names
77   // themselves can start with an underscore, while a second one still needs
78   // to be added.
79   return Sym.startswith("@") || Sym.contains("@@") || Sym.startswith("?") ||
80          (!MingwDef && Sym.contains('@'));
81 }
82 
createError(const Twine & Err)83 static Error createError(const Twine &Err) {
84   return make_error<StringError>(StringRef(Err.str()),
85                                  object_error::parse_failed);
86 }
87 
88 class Lexer {
89 public:
Lexer(StringRef S)90   Lexer(StringRef S) : Buf(S) {}
91 
lex()92   Token lex() {
93     Buf = Buf.trim();
94     if (Buf.empty())
95       return Token(Eof);
96 
97     switch (Buf[0]) {
98     case '\0':
99       return Token(Eof);
100     case ';': {
101       size_t End = Buf.find('\n');
102       Buf = (End == Buf.npos) ? "" : Buf.drop_front(End);
103       return lex();
104     }
105     case '=':
106       Buf = Buf.drop_front();
107       if (Buf.startswith("=")) {
108         Buf = Buf.drop_front();
109         return Token(EqualEqual, "==");
110       }
111       return Token(Equal, "=");
112     case ',':
113       Buf = Buf.drop_front();
114       return Token(Comma, ",");
115     case '"': {
116       StringRef S;
117       std::tie(S, Buf) = Buf.substr(1).split('"');
118       return Token(Identifier, S);
119     }
120     default: {
121       size_t End = Buf.find_first_of("=,;\r\n \t\v");
122       StringRef Word = Buf.substr(0, End);
123       Kind K = llvm::StringSwitch<Kind>(Word)
124                    .Case("BASE", KwBase)
125                    .Case("CONSTANT", KwConstant)
126                    .Case("DATA", KwData)
127                    .Case("EXPORTS", KwExports)
128                    .Case("HEAPSIZE", KwHeapsize)
129                    .Case("LIBRARY", KwLibrary)
130                    .Case("NAME", KwName)
131                    .Case("NONAME", KwNoname)
132                    .Case("PRIVATE", KwPrivate)
133                    .Case("STACKSIZE", KwStacksize)
134                    .Case("VERSION", KwVersion)
135                    .Default(Identifier);
136       Buf = (End == Buf.npos) ? "" : Buf.drop_front(End);
137       return Token(K, Word);
138     }
139     }
140   }
141 
142 private:
143   StringRef Buf;
144 };
145 
146 class Parser {
147 public:
Parser(StringRef S,MachineTypes M,bool B)148   explicit Parser(StringRef S, MachineTypes M, bool B)
149       : Lex(S), Machine(M), MingwDef(B) {}
150 
parse()151   Expected<COFFModuleDefinition> parse() {
152     do {
153       if (Error Err = parseOne())
154         return std::move(Err);
155     } while (Tok.K != Eof);
156     return Info;
157   }
158 
159 private:
read()160   void read() {
161     if (Stack.empty()) {
162       Tok = Lex.lex();
163       return;
164     }
165     Tok = Stack.back();
166     Stack.pop_back();
167   }
168 
readAsInt(uint64_t * I)169   Error readAsInt(uint64_t *I) {
170     read();
171     if (Tok.K != Identifier || Tok.Value.getAsInteger(10, *I))
172       return createError("integer expected");
173     return Error::success();
174   }
175 
expect(Kind Expected,StringRef Msg)176   Error expect(Kind Expected, StringRef Msg) {
177     read();
178     if (Tok.K != Expected)
179       return createError(Msg);
180     return Error::success();
181   }
182 
unget()183   void unget() { Stack.push_back(Tok); }
184 
parseOne()185   Error parseOne() {
186     read();
187     switch (Tok.K) {
188     case Eof:
189       return Error::success();
190     case KwExports:
191       for (;;) {
192         read();
193         if (Tok.K != Identifier) {
194           unget();
195           return Error::success();
196         }
197         if (Error Err = parseExport())
198           return Err;
199       }
200     case KwHeapsize:
201       return parseNumbers(&Info.HeapReserve, &Info.HeapCommit);
202     case KwStacksize:
203       return parseNumbers(&Info.StackReserve, &Info.StackCommit);
204     case KwLibrary:
205     case KwName: {
206       bool IsDll = Tok.K == KwLibrary; // Check before parseName.
207       std::string Name;
208       if (Error Err = parseName(&Name, &Info.ImageBase))
209         return Err;
210 
211       Info.ImportName = Name;
212 
213       // Set the output file, but don't override /out if it was already passed.
214       if (Info.OutputFile.empty()) {
215         Info.OutputFile = Name;
216         // Append the appropriate file extension if not already present.
217         if (!sys::path::has_extension(Name))
218           Info.OutputFile += IsDll ? ".dll" : ".exe";
219       }
220 
221       return Error::success();
222     }
223     case KwVersion:
224       return parseVersion(&Info.MajorImageVersion, &Info.MinorImageVersion);
225     default:
226       return createError("unknown directive: " + Tok.Value);
227     }
228   }
229 
parseExport()230   Error parseExport() {
231     COFFShortExport E;
232     E.Name = Tok.Value;
233     read();
234     if (Tok.K == Equal) {
235       read();
236       if (Tok.K != Identifier)
237         return createError("identifier expected, but got " + Tok.Value);
238       E.ExtName = E.Name;
239       E.Name = Tok.Value;
240     } else {
241       unget();
242     }
243 
244     if (Machine == IMAGE_FILE_MACHINE_I386) {
245       if (!isDecorated(E.Name, MingwDef))
246         E.Name = (std::string("_").append(E.Name));
247       if (!E.ExtName.empty() && !isDecorated(E.ExtName, MingwDef))
248         E.ExtName = (std::string("_").append(E.ExtName));
249     }
250 
251     for (;;) {
252       read();
253       if (Tok.K == Identifier && Tok.Value[0] == '@') {
254         if (Tok.Value == "@") {
255           // "foo @ 10"
256           read();
257           Tok.Value.getAsInteger(10, E.Ordinal);
258         } else if (Tok.Value.drop_front().getAsInteger(10, E.Ordinal)) {
259           // "foo \n @bar" - Not an ordinal modifier at all, but the next
260           // export (fastcall decorated) - complete the current one.
261           unget();
262           Info.Exports.push_back(E);
263           return Error::success();
264         }
265         // "foo @10"
266         read();
267         if (Tok.K == KwNoname) {
268           E.Noname = true;
269         } else {
270           unget();
271         }
272         continue;
273       }
274       if (Tok.K == KwData) {
275         E.Data = true;
276         continue;
277       }
278       if (Tok.K == KwConstant) {
279         E.Constant = true;
280         continue;
281       }
282       if (Tok.K == KwPrivate) {
283         E.Private = true;
284         continue;
285       }
286       if (Tok.K == EqualEqual) {
287         read();
288         E.AliasTarget = Tok.Value;
289         if (Machine == IMAGE_FILE_MACHINE_I386 && !isDecorated(E.AliasTarget, MingwDef))
290           E.AliasTarget = std::string("_").append(E.AliasTarget);
291         continue;
292       }
293       unget();
294       Info.Exports.push_back(E);
295       return Error::success();
296     }
297   }
298 
299   // HEAPSIZE/STACKSIZE reserve[,commit]
parseNumbers(uint64_t * Reserve,uint64_t * Commit)300   Error parseNumbers(uint64_t *Reserve, uint64_t *Commit) {
301     if (Error Err = readAsInt(Reserve))
302       return Err;
303     read();
304     if (Tok.K != Comma) {
305       unget();
306       Commit = nullptr;
307       return Error::success();
308     }
309     if (Error Err = readAsInt(Commit))
310       return Err;
311     return Error::success();
312   }
313 
314   // NAME outputPath [BASE=address]
parseName(std::string * Out,uint64_t * Baseaddr)315   Error parseName(std::string *Out, uint64_t *Baseaddr) {
316     read();
317     if (Tok.K == Identifier) {
318       *Out = Tok.Value;
319     } else {
320       *Out = "";
321       unget();
322       return Error::success();
323     }
324     read();
325     if (Tok.K == KwBase) {
326       if (Error Err = expect(Equal, "'=' expected"))
327         return Err;
328       if (Error Err = readAsInt(Baseaddr))
329         return Err;
330     } else {
331       unget();
332       *Baseaddr = 0;
333     }
334     return Error::success();
335   }
336 
337   // VERSION major[.minor]
parseVersion(uint32_t * Major,uint32_t * Minor)338   Error parseVersion(uint32_t *Major, uint32_t *Minor) {
339     read();
340     if (Tok.K != Identifier)
341       return createError("identifier expected, but got " + Tok.Value);
342     StringRef V1, V2;
343     std::tie(V1, V2) = Tok.Value.split('.');
344     if (V1.getAsInteger(10, *Major))
345       return createError("integer expected, but got " + Tok.Value);
346     if (V2.empty())
347       *Minor = 0;
348     else if (V2.getAsInteger(10, *Minor))
349       return createError("integer expected, but got " + Tok.Value);
350     return Error::success();
351   }
352 
353   Lexer Lex;
354   Token Tok;
355   std::vector<Token> Stack;
356   MachineTypes Machine;
357   COFFModuleDefinition Info;
358   bool MingwDef;
359 };
360 
parseCOFFModuleDefinition(MemoryBufferRef MB,MachineTypes Machine,bool MingwDef)361 Expected<COFFModuleDefinition> parseCOFFModuleDefinition(MemoryBufferRef MB,
362                                                          MachineTypes Machine,
363                                                          bool MingwDef) {
364   return Parser(MB.getBuffer(), Machine, MingwDef).parse();
365 }
366 
367 } // namespace object
368 } // namespace llvm
369