blob: 22fbd6aac6fb77fe2bb25aa4d60c206e3b3fe20b [file] [log] [blame]
Adam Langleyd9e397b2015-01-22 14:27:53 -08001// 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
David Benjaminc895d6b2016-08-11 13:26:41 -040013// CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
Adam Langleyd9e397b2015-01-22 14:27:53 -080014
15package main
16
17import (
18 "bufio"
19 "errors"
20 "flag"
21 "fmt"
22 "io"
23 "os"
24 "path/filepath"
25 "sort"
26 "strconv"
27 "strings"
Adam Langleyd9e397b2015-01-22 14:27:53 -080028)
29
30// ssl.h reserves values 1000 and above for error codes corresponding to
31// alerts. If automatically assigned reason codes exceed this value, this script
32// will error. This must be kept in sync with SSL_AD_REASON_OFFSET in ssl.h.
33const reservedReasonCode = 1000
34
35var resetFlag *bool = flag.Bool("reset", false, "If true, ignore current assignments and reassign from scratch")
36
37func makeErrors(reset bool) error {
Adam Langleye9ada862015-05-11 17:20:37 -070038 topLevelPath, err := findToplevel()
39 if err != nil {
40 return err
41 }
42
Adam Langleyd9e397b2015-01-22 14:27:53 -080043 dirName, err := os.Getwd()
44 if err != nil {
45 return err
46 }
47
48 lib := filepath.Base(dirName)
Adam Langleye9ada862015-05-11 17:20:37 -070049 headerPath := filepath.Join(topLevelPath, "include", "openssl", lib+".h")
50 errDir := filepath.Join(topLevelPath, "crypto", "err")
51 dataPath := filepath.Join(errDir, lib+".errordata")
Adam Langleyd9e397b2015-01-22 14:27:53 -080052
53 headerFile, err := os.Open(headerPath)
54 if err != nil {
55 if os.IsNotExist(err) {
56 return fmt.Errorf("No header %s. Run in the right directory or touch the file.", headerPath)
57 }
58
59 return err
60 }
61
62 prefix := strings.ToUpper(lib)
Kenny Rootb8494592015-09-25 02:29:14 +000063 reasons, err := parseHeader(prefix, headerFile)
Adam Langleyd9e397b2015-01-22 14:27:53 -080064 headerFile.Close()
65
66 if reset {
67 err = nil
Adam Langleyd9e397b2015-01-22 14:27:53 -080068 // Retain any reason codes above reservedReasonCode.
69 newReasons := make(map[string]int)
70 for key, value := range reasons {
71 if value >= reservedReasonCode {
72 newReasons[key] = value
73 }
74 }
75 reasons = newReasons
76 }
77
78 if err != nil {
79 return err
80 }
81
82 dir, err := os.Open(".")
83 if err != nil {
84 return err
85 }
86 defer dir.Close()
87
88 filenames, err := dir.Readdirnames(-1)
89 if err != nil {
90 return err
91 }
92
Robert Sloan8ff03552017-06-14 12:40:58 -070093 if filepath.Base(filepath.Dir(dirName)) == "fipsmodule" {
94 // Search the non-FIPS half of library for error codes as well.
95 extraPath := filepath.Join(topLevelPath, "crypto", lib+"_extra")
96 extraDir, err := os.Open(extraPath)
97 if err != nil && !os.IsNotExist(err) {
98 return err
99 }
100 if err == nil {
101 defer extraDir.Close()
102 extraFilenames, err := extraDir.Readdirnames(-1)
103 if err != nil {
104 return err
105 }
106 for _, extraFilename := range extraFilenames {
107 filenames = append(filenames, filepath.Join(extraPath, extraFilename))
108 }
109 }
110 }
111
Adam Langleyd9e397b2015-01-22 14:27:53 -0800112 for _, name := range filenames {
Adam Langleye9ada862015-05-11 17:20:37 -0700113 if !strings.HasSuffix(name, ".c") {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800114 continue
115 }
116
Kenny Rootb8494592015-09-25 02:29:14 +0000117 if err := addReasons(reasons, name, prefix); err != nil {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800118 return err
119 }
120 }
121
Adam Langleyd9e397b2015-01-22 14:27:53 -0800122 assignNewValues(reasons, reservedReasonCode)
123
124 headerFile, err = os.Open(headerPath)
125 if err != nil {
126 return err
127 }
128 defer headerFile.Close()
129
130 newHeaderFile, err := os.OpenFile(headerPath+".tmp", os.O_CREATE|os.O_WRONLY|os.O_TRUNC, 0666)
131 if err != nil {
132 return err
133 }
134 defer newHeaderFile.Close()
135
Kenny Rootb8494592015-09-25 02:29:14 +0000136 if err := writeHeaderFile(newHeaderFile, headerFile, prefix, reasons); err != nil {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800137 return err
138 }
139 os.Rename(headerPath+".tmp", headerPath)
140
Adam Langleye9ada862015-05-11 17:20:37 -0700141 dataFile, err := os.OpenFile(dataPath, os.O_CREATE|os.O_WRONLY|os.O_TRUNC, 0644)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800142 if err != nil {
143 return err
144 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800145
Kenny Rootb8494592015-09-25 02:29:14 +0000146 outputStrings(dataFile, lib, reasons)
Adam Langleye9ada862015-05-11 17:20:37 -0700147 dataFile.Close()
Adam Langleyd9e397b2015-01-22 14:27:53 -0800148
149 return nil
150}
151
Adam Langleye9ada862015-05-11 17:20:37 -0700152func findToplevel() (path string, err error) {
153 path = ".."
Kenny Rootb8494592015-09-25 02:29:14 +0000154 buildingPath := filepath.Join(path, "BUILDING.md")
Adam Langleyd9e397b2015-01-22 14:27:53 -0800155
Adam Langleye9ada862015-05-11 17:20:37 -0700156 _, err = os.Stat(buildingPath)
Robert Sloan8ff03552017-06-14 12:40:58 -0700157 for i := 0; i < 2 && err != nil && os.IsNotExist(err); i++ {
Adam Langleye9ada862015-05-11 17:20:37 -0700158 path = filepath.Join("..", path)
Kenny Rootb8494592015-09-25 02:29:14 +0000159 buildingPath = filepath.Join(path, "BUILDING.md")
Adam Langleye9ada862015-05-11 17:20:37 -0700160 _, err = os.Stat(buildingPath)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800161 }
162 if err != nil {
Kenny Rootb8494592015-09-25 02:29:14 +0000163 return "", errors.New("Cannot find BUILDING.md file at the top-level")
Adam Langleyd9e397b2015-01-22 14:27:53 -0800164 }
Adam Langleye9ada862015-05-11 17:20:37 -0700165 return path, nil
Adam Langleyd9e397b2015-01-22 14:27:53 -0800166}
167
168type assignment struct {
169 key string
170 value int
171}
172
173type assignmentsSlice []assignment
174
175func (a assignmentsSlice) Len() int {
176 return len(a)
177}
178
179func (a assignmentsSlice) Less(i, j int) bool {
180 return a[i].value < a[j].value
181}
182
183func (a assignmentsSlice) Swap(i, j int) {
184 a[i], a[j] = a[j], a[i]
185}
186
187func outputAssignments(w io.Writer, assignments map[string]int) {
188 var sorted assignmentsSlice
189
190 for key, value := range assignments {
191 sorted = append(sorted, assignment{key, value})
192 }
193
194 sort.Sort(sorted)
195
196 for _, assignment := range sorted {
197 fmt.Fprintf(w, "#define %s %d\n", assignment.key, assignment.value)
198 }
199}
200
Kenny Rootb8494592015-09-25 02:29:14 +0000201func parseDefineLine(line, lib string) (key string, value int, ok bool) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800202 if !strings.HasPrefix(line, "#define ") {
203 return
204 }
205
206 fields := strings.Fields(line)
207 if len(fields) != 3 {
208 return
209 }
210
Adam Langleyd9e397b2015-01-22 14:27:53 -0800211 key = fields[1]
Kenny Rootb8494592015-09-25 02:29:14 +0000212 if !strings.HasPrefix(key, lib+"_R_") {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800213 return
214 }
215
216 var err error
217 if value, err = strconv.Atoi(fields[2]); err != nil {
218 return
219 }
220
221 ok = true
222 return
223}
224
Kenny Rootb8494592015-09-25 02:29:14 +0000225func writeHeaderFile(w io.Writer, headerFile io.Reader, lib string, reasons map[string]int) error {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800226 var last []byte
227 var haveLast, sawDefine bool
228 newLine := []byte("\n")
229
230 scanner := bufio.NewScanner(headerFile)
231 for scanner.Scan() {
232 line := scanner.Text()
Kenny Rootb8494592015-09-25 02:29:14 +0000233 _, _, ok := parseDefineLine(line, lib)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800234 if ok {
235 sawDefine = true
236 continue
237 }
238
239 if haveLast {
240 w.Write(last)
241 w.Write(newLine)
242 }
243
244 if len(line) > 0 || !sawDefine {
245 last = []byte(line)
246 haveLast = true
247 } else {
248 haveLast = false
249 }
250 sawDefine = false
251 }
252
253 if err := scanner.Err(); err != nil {
254 return err
255 }
256
Adam Langleyd9e397b2015-01-22 14:27:53 -0800257 outputAssignments(w, reasons)
258 w.Write(newLine)
259
260 if haveLast {
261 w.Write(last)
262 w.Write(newLine)
263 }
264
265 return nil
266}
267
Kenny Rootb8494592015-09-25 02:29:14 +0000268func outputStrings(w io.Writer, lib string, assignments map[string]int) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800269 lib = strings.ToUpper(lib)
Kenny Rootb8494592015-09-25 02:29:14 +0000270 prefixLen := len(lib + "_R_")
Adam Langleyd9e397b2015-01-22 14:27:53 -0800271
272 keys := make([]string, 0, len(assignments))
273 for key := range assignments {
274 keys = append(keys, key)
275 }
276 sort.Strings(keys)
277
278 for _, key := range keys {
Kenny Rootb8494592015-09-25 02:29:14 +0000279 fmt.Fprintf(w, "%s,%d,%s\n", lib, assignments[key], key[prefixLen:])
Adam Langleyd9e397b2015-01-22 14:27:53 -0800280 }
281}
282
283func assignNewValues(assignments map[string]int, reserved int) {
Adam Langleye9ada862015-05-11 17:20:37 -0700284 // Needs to be in sync with the reason limit in
285 // |ERR_reason_error_string|.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800286 max := 99
287
288 for _, value := range assignments {
289 if reserved >= 0 && value >= reserved {
290 continue
291 }
292 if value > max {
293 max = value
294 }
295 }
296
297 max++
298
Adam Langleye9ada862015-05-11 17:20:37 -0700299 // Sort the keys, so this script is reproducible.
300 keys := make([]string, 0, len(assignments))
Adam Langleyd9e397b2015-01-22 14:27:53 -0800301 for key, value := range assignments {
302 if value == -1 {
Adam Langleye9ada862015-05-11 17:20:37 -0700303 keys = append(keys, key)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800304 }
305 }
Adam Langleye9ada862015-05-11 17:20:37 -0700306 sort.Strings(keys)
307
308 for _, key := range keys {
309 if reserved >= 0 && max >= reserved {
310 // If this happens, try passing -reset. Otherwise bump
311 // up reservedReasonCode.
312 panic("Automatically-assigned values exceeded limit!")
313 }
314 assignments[key] = max
315 max++
316 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800317}
318
319func handleDeclareMacro(line, join, macroName string, m map[string]int) {
320 if i := strings.Index(line, macroName); i >= 0 {
321 contents := line[i+len(macroName):]
322 if i := strings.Index(contents, ")"); i >= 0 {
323 contents = contents[:i]
324 args := strings.Split(contents, ",")
325 for i := range args {
326 args[i] = strings.TrimSpace(args[i])
327 }
328 if len(args) != 2 {
329 panic("Bad macro line: " + line)
330 }
331 token := args[0] + join + args[1]
332 if _, ok := m[token]; !ok {
333 m[token] = -1
334 }
335 }
336 }
337}
338
Kenny Rootb8494592015-09-25 02:29:14 +0000339func addReasons(reasons map[string]int, filename, prefix string) error {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800340 file, err := os.Open(filename)
341 if err != nil {
342 return err
343 }
344 defer file.Close()
345
Adam Langleye9ada862015-05-11 17:20:37 -0700346 reasonPrefix := prefix + "_R_"
Adam Langleyd9e397b2015-01-22 14:27:53 -0800347
348 scanner := bufio.NewScanner(file)
349 for scanner.Scan() {
350 line := scanner.Text()
351
Adam Langleyd9e397b2015-01-22 14:27:53 -0800352 handleDeclareMacro(line, "_R_", "OPENSSL_DECLARE_ERROR_REASON(", reasons)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800353
354 for len(line) > 0 {
Kenny Rootb8494592015-09-25 02:29:14 +0000355 i := strings.Index(line, prefix+"_")
Adam Langleyd9e397b2015-01-22 14:27:53 -0800356 if i == -1 {
357 break
358 }
359
360 line = line[i:]
361 end := strings.IndexFunc(line, func(r rune) bool {
362 return !(r == '_' || (r >= 'A' && r <= 'Z') || (r >= '0' && r <= '9'))
363 })
364 if end == -1 {
365 end = len(line)
366 }
367
368 var token string
369 token, line = line[:end], line[end:]
370
371 switch {
372 case strings.HasPrefix(token, reasonPrefix):
373 if _, ok := reasons[token]; !ok {
374 reasons[token] = -1
375 }
376 }
377 }
378 }
379
380 return scanner.Err()
381}
382
Kenny Rootb8494592015-09-25 02:29:14 +0000383func parseHeader(lib string, file io.Reader) (reasons map[string]int, err error) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800384 reasons = make(map[string]int)
385
386 scanner := bufio.NewScanner(file)
387 for scanner.Scan() {
Kenny Rootb8494592015-09-25 02:29:14 +0000388 key, value, ok := parseDefineLine(scanner.Text(), lib)
Adam Langleyd9e397b2015-01-22 14:27:53 -0800389 if !ok {
390 continue
391 }
392
Kenny Rootb8494592015-09-25 02:29:14 +0000393 reasons[key] = value
Adam Langleyd9e397b2015-01-22 14:27:53 -0800394 }
395
396 err = scanner.Err()
397 return
398}
399
400func main() {
401 flag.Parse()
402
403 if err := makeErrors(*resetFlag); err != nil {
404 fmt.Fprintf(os.Stderr, "%s\n", err)
405 os.Exit(1)
406 }
407}