blob: 22fbd6aac6fb77fe2bb25aa4d60c206e3b3fe20b [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
David Benjamin0d1b0962016-08-01 09:50:57 -040013// CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
Adam Langley95c29f32014-06-20 12:00:00 -070014
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"
24 "path/filepath"
25 "sort"
26 "strconv"
27 "strings"
Adam Langley95c29f32014-06-20 12:00:00 -070028)
29
David Benjamin2e521212014-07-16 14:37:51 -040030// 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
Adam Langley95c29f32014-06-20 12:00:00 -070035var resetFlag *bool = flag.Bool("reset", false, "If true, ignore current assignments and reassign from scratch")
36
37func makeErrors(reset bool) error {
Adam Langley29b18672015-02-06 11:52:16 -080038 topLevelPath, err := findToplevel()
39 if err != nil {
40 return err
41 }
42
Adam Langley95c29f32014-06-20 12:00:00 -070043 dirName, err := os.Getwd()
44 if err != nil {
45 return err
46 }
47
48 lib := filepath.Base(dirName)
Adam Langley29b18672015-02-06 11:52:16 -080049 headerPath := filepath.Join(topLevelPath, "include", "openssl", lib+".h")
50 errDir := filepath.Join(topLevelPath, "crypto", "err")
51 dataPath := filepath.Join(errDir, lib+".errordata")
Adam Langley95c29f32014-06-20 12:00:00 -070052
53 headerFile, err := os.Open(headerPath)
54 if err != nil {
55 if os.IsNotExist(err) {
Adam Langley4c921e12014-07-14 15:28:14 -070056 return fmt.Errorf("No header %s. Run in the right directory or touch the file.", headerPath)
Adam Langley95c29f32014-06-20 12:00:00 -070057 }
58
59 return err
60 }
61
62 prefix := strings.ToUpper(lib)
David Benjamin34248d42015-06-28 23:36:21 -040063 reasons, err := parseHeader(prefix, headerFile)
Adam Langley95c29f32014-06-20 12:00:00 -070064 headerFile.Close()
65
66 if reset {
67 err = nil
David Benjamin2e521212014-07-16 14:37:51 -040068 // 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
Adam Langley95c29f32014-06-20 12:00:00 -070076 }
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
David Benjamin616c4c22017-05-03 15:51:56 -040093 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 Langley95c29f32014-06-20 12:00:00 -0700112 for _, name := range filenames {
Adam Langley29b18672015-02-06 11:52:16 -0800113 if !strings.HasSuffix(name, ".c") {
Adam Langley95c29f32014-06-20 12:00:00 -0700114 continue
115 }
116
David Benjamin34248d42015-06-28 23:36:21 -0400117 if err := addReasons(reasons, name, prefix); err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700118 return err
119 }
120 }
121
David Benjamin2e521212014-07-16 14:37:51 -0400122 assignNewValues(reasons, reservedReasonCode)
Adam Langley95c29f32014-06-20 12:00:00 -0700123
124 headerFile, err = os.Open(headerPath)
125 if err != nil {
126 return err
127 }
128 defer headerFile.Close()
129
Adam Langley4c921e12014-07-14 15:28:14 -0700130 newHeaderFile, err := os.OpenFile(headerPath+".tmp", os.O_CREATE|os.O_WRONLY|os.O_TRUNC, 0666)
Adam Langley95c29f32014-06-20 12:00:00 -0700131 if err != nil {
132 return err
133 }
134 defer newHeaderFile.Close()
135
David Benjamin34248d42015-06-28 23:36:21 -0400136 if err := writeHeaderFile(newHeaderFile, headerFile, prefix, reasons); err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700137 return err
138 }
Adam Langley4c921e12014-07-14 15:28:14 -0700139 os.Rename(headerPath+".tmp", headerPath)
Adam Langley95c29f32014-06-20 12:00:00 -0700140
Adam Langley29b18672015-02-06 11:52:16 -0800141 dataFile, err := os.OpenFile(dataPath, os.O_CREATE|os.O_WRONLY|os.O_TRUNC, 0644)
Adam Langley95c29f32014-06-20 12:00:00 -0700142 if err != nil {
143 return err
144 }
Adam Langley95c29f32014-06-20 12:00:00 -0700145
David Benjamin34248d42015-06-28 23:36:21 -0400146 outputStrings(dataFile, lib, reasons)
Adam Langley29b18672015-02-06 11:52:16 -0800147 dataFile.Close()
Adam Langley95c29f32014-06-20 12:00:00 -0700148
Adam Langley95c29f32014-06-20 12:00:00 -0700149 return nil
150}
151
Adam Langley29b18672015-02-06 11:52:16 -0800152func findToplevel() (path string, err error) {
153 path = ".."
David Benjamin95aaf4a2015-09-03 12:09:36 -0400154 buildingPath := filepath.Join(path, "BUILDING.md")
Adam Langley4c921e12014-07-14 15:28:14 -0700155
Adam Langley29b18672015-02-06 11:52:16 -0800156 _, err = os.Stat(buildingPath)
David Benjamin616c4c22017-05-03 15:51:56 -0400157 for i := 0; i < 2 && err != nil && os.IsNotExist(err); i++ {
Adam Langley29b18672015-02-06 11:52:16 -0800158 path = filepath.Join("..", path)
David Benjamin95aaf4a2015-09-03 12:09:36 -0400159 buildingPath = filepath.Join(path, "BUILDING.md")
Adam Langley29b18672015-02-06 11:52:16 -0800160 _, err = os.Stat(buildingPath)
Adam Langley4c921e12014-07-14 15:28:14 -0700161 }
162 if err != nil {
David Benjamin95aaf4a2015-09-03 12:09:36 -0400163 return "", errors.New("Cannot find BUILDING.md file at the top-level")
Adam Langley4c921e12014-07-14 15:28:14 -0700164 }
Adam Langley29b18672015-02-06 11:52:16 -0800165 return path, nil
Adam Langley4c921e12014-07-14 15:28:14 -0700166}
167
Adam Langley95c29f32014-06-20 12:00:00 -0700168type 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
David Benjamin34248d42015-06-28 23:36:21 -0400201func parseDefineLine(line, lib string) (key string, value int, ok bool) {
Adam Langley95c29f32014-06-20 12:00:00 -0700202 if !strings.HasPrefix(line, "#define ") {
203 return
204 }
205
206 fields := strings.Fields(line)
207 if len(fields) != 3 {
208 return
209 }
210
Adam Langley95c29f32014-06-20 12:00:00 -0700211 key = fields[1]
David Benjamin34248d42015-06-28 23:36:21 -0400212 if !strings.HasPrefix(key, lib+"_R_") {
Adam Langley95c29f32014-06-20 12:00:00 -0700213 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
David Benjamin34248d42015-06-28 23:36:21 -0400225func writeHeaderFile(w io.Writer, headerFile io.Reader, lib string, reasons map[string]int) error {
Adam Langley95c29f32014-06-20 12:00:00 -0700226 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()
David Benjamin34248d42015-06-28 23:36:21 -0400233 _, _, ok := parseDefineLine(line, lib)
Adam Langley95c29f32014-06-20 12:00:00 -0700234 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 Langley95c29f32014-06-20 12:00:00 -0700257 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
David Benjamin34248d42015-06-28 23:36:21 -0400268func outputStrings(w io.Writer, lib string, assignments map[string]int) {
Adam Langley95c29f32014-06-20 12:00:00 -0700269 lib = strings.ToUpper(lib)
David Benjamin34248d42015-06-28 23:36:21 -0400270 prefixLen := len(lib + "_R_")
Adam Langley95c29f32014-06-20 12:00:00 -0700271
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 {
David Benjamin34248d42015-06-28 23:36:21 -0400279 fmt.Fprintf(w, "%s,%d,%s\n", lib, assignments[key], key[prefixLen:])
Adam Langley95c29f32014-06-20 12:00:00 -0700280 }
281}
282
David Benjamin2e521212014-07-16 14:37:51 -0400283func assignNewValues(assignments map[string]int, reserved int) {
Adam Langley29b18672015-02-06 11:52:16 -0800284 // Needs to be in sync with the reason limit in
285 // |ERR_reason_error_string|.
Adam Langley95c29f32014-06-20 12:00:00 -0700286 max := 99
287
288 for _, value := range assignments {
David Benjamin2e521212014-07-16 14:37:51 -0400289 if reserved >= 0 && value >= reserved {
290 continue
291 }
Adam Langley95c29f32014-06-20 12:00:00 -0700292 if value > max {
293 max = value
294 }
295 }
296
297 max++
298
David Benjaminfc233962015-02-09 21:30:53 -0500299 // Sort the keys, so this script is reproducible.
300 keys := make([]string, 0, len(assignments))
Adam Langley95c29f32014-06-20 12:00:00 -0700301 for key, value := range assignments {
302 if value == -1 {
David Benjaminfc233962015-02-09 21:30:53 -0500303 keys = append(keys, key)
Adam Langley95c29f32014-06-20 12:00:00 -0700304 }
305 }
David Benjaminfc233962015-02-09 21:30:53 -0500306 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 Langley95c29f32014-06-20 12:00:00 -0700317}
318
319func handleDeclareMacro(line, join, macroName string, m map[string]int) {
320 if i := strings.Index(line, macroName); i >= 0 {
Adam Langley4c921e12014-07-14 15:28:14 -0700321 contents := line[i+len(macroName):]
Adam Langley95c29f32014-06-20 12:00:00 -0700322 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
David Benjamin34248d42015-06-28 23:36:21 -0400339func addReasons(reasons map[string]int, filename, prefix string) error {
Adam Langley95c29f32014-06-20 12:00:00 -0700340 file, err := os.Open(filename)
341 if err != nil {
342 return err
343 }
344 defer file.Close()
345
David Benjamin96396b32015-02-11 15:53:03 -0500346 reasonPrefix := prefix + "_R_"
Adam Langley95c29f32014-06-20 12:00:00 -0700347
348 scanner := bufio.NewScanner(file)
349 for scanner.Scan() {
350 line := scanner.Text()
351
Adam Langley95c29f32014-06-20 12:00:00 -0700352 handleDeclareMacro(line, "_R_", "OPENSSL_DECLARE_ERROR_REASON(", reasons)
Adam Langley95c29f32014-06-20 12:00:00 -0700353
354 for len(line) > 0 {
David Benjamin34248d42015-06-28 23:36:21 -0400355 i := strings.Index(line, prefix+"_")
Adam Langley95c29f32014-06-20 12:00:00 -0700356 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
David Benjamin34248d42015-06-28 23:36:21 -0400383func parseHeader(lib string, file io.Reader) (reasons map[string]int, err error) {
Adam Langley95c29f32014-06-20 12:00:00 -0700384 reasons = make(map[string]int)
385
386 scanner := bufio.NewScanner(file)
387 for scanner.Scan() {
David Benjamin34248d42015-06-28 23:36:21 -0400388 key, value, ok := parseDefineLine(scanner.Text(), lib)
Adam Langley95c29f32014-06-20 12:00:00 -0700389 if !ok {
390 continue
391 }
392
David Benjamin34248d42015-06-28 23:36:21 -0400393 reasons[key] = value
Adam Langley95c29f32014-06-20 12:00:00 -0700394 }
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}