blob: 48d9ad4f3806bf50b0781f676774391332761180 [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001// Copyright (c) 2014, Google Inc.
2//
3// Permission to use, copy, modify, and/or distribute this software for any
4// purpose with or without fee is hereby granted, provided that the above
5// copyright notice and this permission notice appear in all copies.
6//
7// THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8// WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9// MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10// SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11// WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12// OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13// CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15package main
16
17import (
18 "bufio"
Adam Langley4c921e12014-07-14 15:28:14 -070019 "errors"
Adam Langley95c29f32014-06-20 12:00:00 -070020 "flag"
21 "fmt"
22 "io"
23 "os"
Adam Langley29b18672015-02-06 11:52:16 -080024 "os/exec"
Adam Langley95c29f32014-06-20 12:00:00 -070025 "path/filepath"
26 "sort"
27 "strconv"
28 "strings"
29 "unicode"
30)
31
David Benjamin2e521212014-07-16 14:37:51 -040032// ssl.h reserves values 1000 and above for error codes corresponding to
33// alerts. If automatically assigned reason codes exceed this value, this script
34// will error. This must be kept in sync with SSL_AD_REASON_OFFSET in ssl.h.
35const reservedReasonCode = 1000
36
Adam Langley95c29f32014-06-20 12:00:00 -070037var resetFlag *bool = flag.Bool("reset", false, "If true, ignore current assignments and reassign from scratch")
38
39func makeErrors(reset bool) error {
Adam Langley29b18672015-02-06 11:52:16 -080040 topLevelPath, err := findToplevel()
41 if err != nil {
42 return err
43 }
44
Adam Langley95c29f32014-06-20 12:00:00 -070045 dirName, err := os.Getwd()
46 if err != nil {
47 return err
48 }
49
50 lib := filepath.Base(dirName)
Adam Langley29b18672015-02-06 11:52:16 -080051 headerPath := filepath.Join(topLevelPath, "include", "openssl", lib+".h")
52 errDir := filepath.Join(topLevelPath, "crypto", "err")
53 dataPath := filepath.Join(errDir, lib+".errordata")
Adam Langley95c29f32014-06-20 12:00:00 -070054
55 headerFile, err := os.Open(headerPath)
56 if err != nil {
57 if os.IsNotExist(err) {
Adam Langley4c921e12014-07-14 15:28:14 -070058 return fmt.Errorf("No header %s. Run in the right directory or touch the file.", headerPath)
Adam Langley95c29f32014-06-20 12:00:00 -070059 }
60
61 return err
62 }
63
64 prefix := strings.ToUpper(lib)
65 functions, reasons, err := parseHeader(prefix, headerFile)
66 headerFile.Close()
67
68 if reset {
69 err = nil
70 functions = make(map[string]int)
David Benjamin2e521212014-07-16 14:37:51 -040071 // Retain any reason codes above reservedReasonCode.
72 newReasons := make(map[string]int)
73 for key, value := range reasons {
74 if value >= reservedReasonCode {
75 newReasons[key] = value
76 }
77 }
78 reasons = newReasons
Adam Langley95c29f32014-06-20 12:00:00 -070079 }
80
81 if err != nil {
82 return err
83 }
84
85 dir, err := os.Open(".")
86 if err != nil {
87 return err
88 }
89 defer dir.Close()
90
91 filenames, err := dir.Readdirnames(-1)
92 if err != nil {
93 return err
94 }
95
96 for _, name := range filenames {
Adam Langley29b18672015-02-06 11:52:16 -080097 if !strings.HasSuffix(name, ".c") {
Adam Langley95c29f32014-06-20 12:00:00 -070098 continue
99 }
100
101 if err := addFunctionsAndReasons(functions, reasons, name, prefix); err != nil {
102 return err
103 }
104 }
105
David Benjamin2e521212014-07-16 14:37:51 -0400106 assignNewValues(functions, -1)
107 assignNewValues(reasons, reservedReasonCode)
Adam Langley95c29f32014-06-20 12:00:00 -0700108
109 headerFile, err = os.Open(headerPath)
110 if err != nil {
111 return err
112 }
113 defer headerFile.Close()
114
Adam Langley4c921e12014-07-14 15:28:14 -0700115 newHeaderFile, err := os.OpenFile(headerPath+".tmp", os.O_CREATE|os.O_WRONLY|os.O_TRUNC, 0666)
Adam Langley95c29f32014-06-20 12:00:00 -0700116 if err != nil {
117 return err
118 }
119 defer newHeaderFile.Close()
120
121 if err := writeHeaderFile(newHeaderFile, headerFile, prefix, functions, reasons); err != nil {
122 return err
123 }
Adam Langley4c921e12014-07-14 15:28:14 -0700124 os.Rename(headerPath+".tmp", headerPath)
Adam Langley95c29f32014-06-20 12:00:00 -0700125
Adam Langley29b18672015-02-06 11:52:16 -0800126 dataFile, err := os.OpenFile(dataPath, os.O_CREATE|os.O_WRONLY|os.O_TRUNC, 0644)
Adam Langley95c29f32014-06-20 12:00:00 -0700127 if err != nil {
128 return err
129 }
Adam Langley95c29f32014-06-20 12:00:00 -0700130
Adam Langley29b18672015-02-06 11:52:16 -0800131 outputStrings(dataFile, lib, typeFunctions, functions)
132 outputStrings(dataFile, lib, typeReasons, reasons)
133 dataFile.Close()
Adam Langley95c29f32014-06-20 12:00:00 -0700134
Adam Langley29b18672015-02-06 11:52:16 -0800135 generateCmd := exec.Command("go", "run", "err_data_generate.go")
136 generateCmd.Dir = errDir
Adam Langley95c29f32014-06-20 12:00:00 -0700137
Adam Langley29b18672015-02-06 11:52:16 -0800138 errDataH, err := os.OpenFile(filepath.Join(errDir, "err_data.h"), os.O_CREATE|os.O_TRUNC|os.O_WRONLY, 0644)
139 if err != nil {
140 return err
141 }
142 defer errDataH.Close()
Adam Langley95c29f32014-06-20 12:00:00 -0700143
Adam Langley29b18672015-02-06 11:52:16 -0800144 generateCmd.Stdout = errDataH
145 generateCmd.Stderr = os.Stderr
Adam Langley95c29f32014-06-20 12:00:00 -0700146
Adam Langley29b18672015-02-06 11:52:16 -0800147 if err := generateCmd.Start(); err != nil {
148 return err
149 }
150 if err := generateCmd.Wait(); err != nil {
151 return err
152 }
Adam Langley95c29f32014-06-20 12:00:00 -0700153
154 return nil
155}
156
Adam Langley29b18672015-02-06 11:52:16 -0800157func findToplevel() (path string, err error) {
158 path = ".."
159 buildingPath := filepath.Join(path, "BUILDING")
Adam Langley4c921e12014-07-14 15:28:14 -0700160
Adam Langley29b18672015-02-06 11:52:16 -0800161 _, err = os.Stat(buildingPath)
Adam Langley4c921e12014-07-14 15:28:14 -0700162 if err != nil && os.IsNotExist(err) {
Adam Langley29b18672015-02-06 11:52:16 -0800163 path = filepath.Join("..", path)
164 buildingPath = filepath.Join(path, "BUILDING")
165 _, err = os.Stat(buildingPath)
Adam Langley4c921e12014-07-14 15:28:14 -0700166 }
167 if err != nil {
Adam Langley29b18672015-02-06 11:52:16 -0800168 return "", errors.New("Cannot find BUILDING file at the top-level")
Adam Langley4c921e12014-07-14 15:28:14 -0700169 }
Adam Langley29b18672015-02-06 11:52:16 -0800170 return path, nil
Adam Langley4c921e12014-07-14 15:28:14 -0700171}
172
Adam Langley95c29f32014-06-20 12:00:00 -0700173type assignment struct {
174 key string
175 value int
176}
177
178type assignmentsSlice []assignment
179
180func (a assignmentsSlice) Len() int {
181 return len(a)
182}
183
184func (a assignmentsSlice) Less(i, j int) bool {
185 return a[i].value < a[j].value
186}
187
188func (a assignmentsSlice) Swap(i, j int) {
189 a[i], a[j] = a[j], a[i]
190}
191
192func outputAssignments(w io.Writer, assignments map[string]int) {
193 var sorted assignmentsSlice
194
195 for key, value := range assignments {
196 sorted = append(sorted, assignment{key, value})
197 }
198
199 sort.Sort(sorted)
200
201 for _, assignment := range sorted {
202 fmt.Fprintf(w, "#define %s %d\n", assignment.key, assignment.value)
203 }
204}
205
206func parseDefineLine(line, lib string) (typ int, key string, value int, ok bool) {
207 if !strings.HasPrefix(line, "#define ") {
208 return
209 }
210
211 fields := strings.Fields(line)
212 if len(fields) != 3 {
213 return
214 }
215
216 funcPrefix := lib + "_F_"
217 reasonPrefix := lib + "_R_"
218
219 key = fields[1]
220 switch {
221 case strings.HasPrefix(key, funcPrefix):
222 typ = typeFunctions
223 case strings.HasPrefix(key, reasonPrefix):
224 typ = typeReasons
225 default:
226 return
227 }
228
229 var err error
230 if value, err = strconv.Atoi(fields[2]); err != nil {
231 return
232 }
233
234 ok = true
235 return
236}
237
238func writeHeaderFile(w io.Writer, headerFile io.Reader, lib string, functions, reasons map[string]int) error {
239 var last []byte
240 var haveLast, sawDefine bool
241 newLine := []byte("\n")
242
243 scanner := bufio.NewScanner(headerFile)
244 for scanner.Scan() {
245 line := scanner.Text()
246 _, _, _, ok := parseDefineLine(line, lib)
247 if ok {
248 sawDefine = true
249 continue
250 }
251
252 if haveLast {
253 w.Write(last)
254 w.Write(newLine)
255 }
256
257 if len(line) > 0 || !sawDefine {
258 last = []byte(line)
259 haveLast = true
260 } else {
261 haveLast = false
262 }
263 sawDefine = false
264 }
265
266 if err := scanner.Err(); err != nil {
267 return err
268 }
269
270 outputAssignments(w, functions)
271 outputAssignments(w, reasons)
272 w.Write(newLine)
273
274 if haveLast {
275 w.Write(last)
276 w.Write(newLine)
277 }
278
279 return nil
280}
281
282const (
283 typeFunctions = iota
284 typeReasons
285)
286
287func outputStrings(w io.Writer, lib string, ty int, assignments map[string]int) {
288 lib = strings.ToUpper(lib)
289 prefixLen := len(lib + "_F_")
290
291 keys := make([]string, 0, len(assignments))
292 for key := range assignments {
293 keys = append(keys, key)
294 }
295 sort.Strings(keys)
296
297 for _, key := range keys {
Adam Langley29b18672015-02-06 11:52:16 -0800298 typeString := "function"
299 if ty == typeReasons {
300 typeString = "reason"
Adam Langley95c29f32014-06-20 12:00:00 -0700301 }
Adam Langley29b18672015-02-06 11:52:16 -0800302 fmt.Fprintf(w, "%s,%s,%d,%s\n", lib, typeString, assignments[key], key[prefixLen:])
Adam Langley95c29f32014-06-20 12:00:00 -0700303 }
304}
305
David Benjamin2e521212014-07-16 14:37:51 -0400306func assignNewValues(assignments map[string]int, reserved int) {
Adam Langley29b18672015-02-06 11:52:16 -0800307 // Needs to be in sync with the reason limit in
308 // |ERR_reason_error_string|.
Adam Langley95c29f32014-06-20 12:00:00 -0700309 max := 99
310
311 for _, value := range assignments {
David Benjamin2e521212014-07-16 14:37:51 -0400312 if reserved >= 0 && value >= reserved {
313 continue
314 }
Adam Langley95c29f32014-06-20 12:00:00 -0700315 if value > max {
316 max = value
317 }
318 }
319
320 max++
321
David Benjaminfc233962015-02-09 21:30:53 -0500322 // Sort the keys, so this script is reproducible.
323 keys := make([]string, 0, len(assignments))
Adam Langley95c29f32014-06-20 12:00:00 -0700324 for key, value := range assignments {
325 if value == -1 {
David Benjaminfc233962015-02-09 21:30:53 -0500326 keys = append(keys, key)
Adam Langley95c29f32014-06-20 12:00:00 -0700327 }
328 }
David Benjaminfc233962015-02-09 21:30:53 -0500329 sort.Strings(keys)
330
331 for _, key := range keys {
332 if reserved >= 0 && max >= reserved {
333 // If this happens, try passing -reset. Otherwise bump
334 // up reservedReasonCode.
335 panic("Automatically-assigned values exceeded limit!")
336 }
337 assignments[key] = max
338 max++
339 }
Adam Langley95c29f32014-06-20 12:00:00 -0700340}
341
342func handleDeclareMacro(line, join, macroName string, m map[string]int) {
343 if i := strings.Index(line, macroName); i >= 0 {
Adam Langley4c921e12014-07-14 15:28:14 -0700344 contents := line[i+len(macroName):]
Adam Langley95c29f32014-06-20 12:00:00 -0700345 if i := strings.Index(contents, ")"); i >= 0 {
346 contents = contents[:i]
347 args := strings.Split(contents, ",")
348 for i := range args {
349 args[i] = strings.TrimSpace(args[i])
350 }
351 if len(args) != 2 {
352 panic("Bad macro line: " + line)
353 }
354 token := args[0] + join + args[1]
355 if _, ok := m[token]; !ok {
356 m[token] = -1
357 }
358 }
359 }
360}
361
362func addFunctionsAndReasons(functions, reasons map[string]int, filename, prefix string) error {
363 file, err := os.Open(filename)
364 if err != nil {
365 return err
366 }
367 defer file.Close()
368
David Benjamin96396b32015-02-11 15:53:03 -0500369 reasonPrefix := prefix + "_R_"
Adam Langley95c29f32014-06-20 12:00:00 -0700370 var currentFunction string
371
372 scanner := bufio.NewScanner(file)
373 for scanner.Scan() {
374 line := scanner.Text()
375
376 if len(line) > 0 && unicode.IsLetter(rune(line[0])) {
377 /* Function start */
378 fields := strings.Fields(line)
379 for _, field := range fields {
380 if i := strings.Index(field, "("); i != -1 {
381 f := field[:i]
382 // The return type of some functions is
383 // a macro that contains a "(".
384 if f == "STACK_OF" {
385 continue
386 }
387 currentFunction = f
388 for len(currentFunction) > 0 && currentFunction[0] == '*' {
389 currentFunction = currentFunction[1:]
390 }
391 break
392 }
393 }
394 }
395
David Benjamin96396b32015-02-11 15:53:03 -0500396 // Do not include cross-module error lines.
397 if strings.Contains(line, "OPENSSL_PUT_ERROR(" + prefix + ",") {
398 functionToken := prefix + "_F_" + currentFunction
Adam Langley95c29f32014-06-20 12:00:00 -0700399 if _, ok := functions[functionToken]; !ok {
400 functions[functionToken] = -1
401 }
402 }
403
404 handleDeclareMacro(line, "_R_", "OPENSSL_DECLARE_ERROR_REASON(", reasons)
405 handleDeclareMacro(line, "_F_", "OPENSSL_DECLARE_ERROR_FUNCTION(", functions)
406
407 for len(line) > 0 {
David Benjamin96396b32015-02-11 15:53:03 -0500408 i := strings.Index(line, prefix + "_")
Adam Langley95c29f32014-06-20 12:00:00 -0700409 if i == -1 {
410 break
411 }
412
413 line = line[i:]
414 end := strings.IndexFunc(line, func(r rune) bool {
415 return !(r == '_' || (r >= 'A' && r <= 'Z') || (r >= '0' && r <= '9'))
416 })
417 if end == -1 {
418 end = len(line)
419 }
420
421 var token string
422 token, line = line[:end], line[end:]
423
424 switch {
425 case strings.HasPrefix(token, reasonPrefix):
426 if _, ok := reasons[token]; !ok {
427 reasons[token] = -1
428 }
429 }
430 }
431 }
432
433 return scanner.Err()
434}
435
436func parseHeader(lib string, file io.Reader) (functions, reasons map[string]int, err error) {
437 functions = make(map[string]int)
438 reasons = make(map[string]int)
439
440 scanner := bufio.NewScanner(file)
441 for scanner.Scan() {
442 typ, key, value, ok := parseDefineLine(scanner.Text(), lib)
443 if !ok {
444 continue
445 }
446
447 switch typ {
448 case typeFunctions:
449 functions[key] = value
450 case typeReasons:
451 reasons[key] = value
452 default:
453 panic("internal error")
454 }
455 }
456
457 err = scanner.Err()
458 return
459}
460
461func main() {
462 flag.Parse()
463
464 if err := makeErrors(*resetFlag); err != nil {
465 fmt.Fprintf(os.Stderr, "%s\n", err)
466 os.Exit(1)
467 }
468}