]>
git.cameronkatri.com Git - mandoc.git/blob - read.c
1 /* $Id: read.c,v 1.195 2018/03/16 15:05:44 schwarze Exp $ */
3 * Copyright (c) 2008, 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv>
4 * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org>
5 * Copyright (c) 2010, 2012 Joerg Sonnenberger <joerg@netbsd.org>
7 * Permission to use, copy, modify, and distribute this software for any
8 * purpose with or without fee is hereby granted, provided that the above
9 * copyright notice and this permission notice appear in all copies.
11 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
12 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
13 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR
14 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
15 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
16 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
17 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
21 #include <sys/types.h>
36 #include "mandoc_aux.h"
41 #include "libmandoc.h"
43 #define REPARSE_LIMIT 1000
46 struct roff
*roff
; /* roff parser (!NULL) */
47 struct roff_man
*man
; /* man parser */
48 char *sodest
; /* filename pointed to by .so */
49 const char *file
; /* filename of current input file */
50 struct buf
*primary
; /* buffer currently being parsed */
51 struct buf
*secondary
; /* preprocessed copy of input */
52 const char *os_s
; /* default operating system */
53 mandocmsg mmsg
; /* warning/error message handler */
54 enum mandoclevel file_status
; /* status of current parse */
55 enum mandocerr mmin
; /* ignore messages below this */
56 int options
; /* parser options */
57 int gzip
; /* current input file is gzipped */
58 int filenc
; /* encoding of the current file */
59 int reparse_count
; /* finite interp. stack */
60 int line
; /* line number in the file */
63 static void choose_parser(struct mparse
*);
64 static void resize_buf(struct buf
*, size_t);
65 static int mparse_buf_r(struct mparse
*, struct buf
, size_t, int);
66 static int read_whole_file(struct mparse
*, const char *, int,
68 static void mparse_end(struct mparse
*);
69 static void mparse_parse_buffer(struct mparse
*, struct buf
,
72 static const enum mandocerr mandoclimits
[MANDOCLEVEL_MAX
] = {
82 static const char * const mandocerrs
[MANDOCERR_MAX
] = {
85 "base system convention",
89 "unknown architecture",
90 "operating system explicitly specified",
92 "referenced manual not found",
94 "generic style suggestion",
96 "legacy man(7) date format",
97 "lower case character in document title",
99 "possible typo in section name",
100 "unterminated quoted argument",
102 "consider using OS macro",
103 "errnos out of order",
105 "trailing delimiter",
106 "no blank before trailing delimiter",
107 "fill mode already enabled, skipping",
108 "fill mode already disabled, skipping",
109 "verbatim \"--\", maybe consider using \\(em",
110 "function name without markup",
111 "whitespace at end of input line",
116 /* related to the prologue */
117 "missing manual title, using UNTITLED",
118 "missing manual title, using \"\"",
119 "missing manual section, using \"\"",
120 "unknown manual section",
121 "missing date, using today's date",
122 "cannot parse date, using it verbatim",
123 "date in the future, using it anyway",
124 "missing Os macro, using \"\"",
125 "late prologue macro",
126 "prologue macros out of order",
128 /* related to document structure */
129 ".so is fragile, better use ln(1)",
131 "content before first section header",
132 "first section is not \"NAME\"",
133 "NAME section without Nm before Nd",
134 "NAME section without description",
135 "description not at the end of NAME",
136 "bad NAME section content",
137 "missing comma before name",
138 "missing description line, using \"\"",
139 "description line outside NAME section",
140 "sections out of conventional order",
141 "duplicate section title",
142 "unexpected section",
143 "cross reference to self",
145 "unusual Xr punctuation",
146 "AUTHORS section without An macro",
148 /* related to macros and nesting */
150 "macro neither callable nor escaped",
151 "skipping paragraph macro",
152 "moving paragraph macro out of list",
153 "skipping no-space macro",
154 "blocks badly nested",
155 "nested displays are not portable",
156 "moving content out of list",
157 "first macro on line",
159 "skipping blank line in line scope",
161 /* related to missing macro arguments */
162 "skipping empty request",
163 "conditional request controls empty scope",
164 "skipping empty macro",
166 "empty argument, using 0n",
167 "missing display type, using -ragged",
168 "list type is not the first argument",
169 "missing -width in -tag list, using 6n",
170 "missing utility name, using \"\"",
171 "missing function name, using \"\"",
172 "empty head in list item",
174 "missing argument, using next line",
175 "missing font type, using \\fR",
176 "unknown font type, using \\fR",
177 "nothing follows prefix",
178 "empty reference block",
179 "missing section argument",
180 "missing -std argument, adding it",
181 "missing option string, using \"\"",
182 "missing resource identifier, using \"\"",
183 "missing eqn box, using \"\"",
185 /* related to bad macro arguments */
186 "duplicate argument",
187 "skipping duplicate argument",
188 "skipping duplicate display type",
189 "skipping duplicate list type",
190 "skipping -width argument",
191 "wrong number of cells",
192 "unknown AT&T UNIX version",
193 "comma in function argument",
194 "parenthesis in function name",
195 "unknown library name",
196 "invalid content in Rs block",
197 "invalid Boolean argument",
198 "unknown font, skipping request",
199 "odd number of characters in request",
201 /* related to plain text */
202 "blank line in fill mode, using .sp",
203 "tab in filled text",
204 "new sentence, new line",
205 "invalid escape sequence",
206 "undefined string, using \"\"",
208 /* related to tables */
209 "tbl line starts with span",
210 "tbl column starts with span",
211 "skipping vertical bar in tbl layout",
215 /* related to tables */
216 "non-alphabetic character in tbl options",
217 "skipping unknown tbl option",
218 "missing tbl option argument",
219 "wrong tbl option argument size",
221 "invalid character in tbl layout",
222 "unmatched parenthesis in tbl layout",
223 "tbl without any data cells",
224 "ignoring data in spanned tbl cell",
225 "ignoring extra tbl data cells",
226 "data block open at end of tbl",
228 /* related to document structure and macros */
230 "duplicate prologue macro",
231 "skipping late title macro",
232 "input stack limit exceeded, infinite loop?",
233 "skipping bad character",
234 "skipping unknown macro",
235 "skipping insecure request",
236 "skipping item outside list",
237 "skipping column outside column list",
238 "skipping end of block that is not open",
239 "fewer RS blocks open, skipping",
240 "inserting missing end of block",
241 "appending missing end of block",
243 /* related to request and macro arguments */
244 "escaped character not allowed in a name",
245 "NOT IMPLEMENTED: Bd -file",
246 "skipping display without arguments",
247 "missing list type, using -item",
248 "argument is not numeric, using 1",
249 "missing manual name, using \"\"",
250 "uname(3) system call failed, using UNKNOWN",
251 "unknown standard specifier",
252 "skipping request without numeric argument",
253 "NOT IMPLEMENTED: .so with absolute path or \"..\"",
254 ".so request failed",
255 "skipping all arguments",
256 "skipping excess arguments",
259 "unsupported feature",
261 "unsupported control character",
262 "unsupported roff request",
263 "eqn delim option in tbl",
264 "unsupported tbl layout modifier",
265 "ignoring macro in table",
268 static const char * const mandoclevels
[MANDOCLEVEL_MAX
] = {
280 resize_buf(struct buf
*buf
, size_t initial
)
283 buf
->sz
= buf
->sz
> initial
/2 ? 2 * buf
->sz
: initial
;
284 buf
->buf
= mandoc_realloc(buf
->buf
, buf
->sz
);
288 choose_parser(struct mparse
*curp
)
294 * If neither command line arguments -mdoc or -man select
295 * a parser nor the roff parser found a .Dd or .TH macro
296 * yet, look ahead in the main input buffer.
299 if ((format
= roff_getformat(curp
->roff
)) == 0) {
300 cp
= curp
->primary
->buf
;
301 ep
= cp
+ curp
->primary
->sz
;
303 if (*cp
== '.' || *cp
== '\'') {
305 if (cp
[0] == 'D' && cp
[1] == 'd') {
306 format
= MPARSE_MDOC
;
309 if (cp
[0] == 'T' && cp
[1] == 'H') {
314 cp
= memchr(cp
, '\n', ep
- cp
);
321 if (format
== MPARSE_MDOC
) {
322 curp
->man
->macroset
= MACROSET_MDOC
;
323 if (curp
->man
->mdocmac
== NULL
)
324 curp
->man
->mdocmac
= roffhash_alloc(MDOC_Dd
, MDOC_MAX
);
326 curp
->man
->macroset
= MACROSET_MAN
;
327 if (curp
->man
->manmac
== NULL
)
328 curp
->man
->manmac
= roffhash_alloc(MAN_TH
, MAN_MAX
);
330 curp
->man
->first
->tok
= TOKEN_NONE
;
334 * Main parse routine for a buffer.
335 * It assumes encoding and line numbering are already set up.
336 * It can recurse directly (for invocations of user-defined
337 * macros, inline equations, and input line traps)
338 * and indirectly (for .so file inclusion).
341 mparse_buf_r(struct mparse
*curp
, struct buf blk
, size_t i
, int start
)
344 const char *save_file
;
346 size_t pos
; /* byte number in the ln buffer */
349 int lnn
; /* line number in the real file */
353 memset(&ln
, 0, sizeof(ln
));
359 if (0 == pos
&& '\0' == blk
.buf
[i
])
364 curp
->reparse_count
= 0;
367 curp
->filenc
& MPARSE_UTF8
&&
368 curp
->filenc
& MPARSE_LATIN1
)
369 curp
->filenc
= preconv_cue(&blk
, i
);
372 while (i
< blk
.sz
&& (start
|| blk
.buf
[i
] != '\0')) {
375 * When finding an unescaped newline character,
376 * leave the character loop to process the line.
377 * Skip a preceding carriage return, if any.
380 if ('\r' == blk
.buf
[i
] && i
+ 1 < blk
.sz
&&
381 '\n' == blk
.buf
[i
+ 1])
383 if ('\n' == blk
.buf
[i
]) {
390 * Make sure we have space for the worst
391 * case of 11 bytes: "\\[u10ffff]\0"
394 if (pos
+ 11 > ln
.sz
)
395 resize_buf(&ln
, 256);
398 * Encode 8-bit input.
403 if ( ! (curp
->filenc
&& preconv_encode(
404 &blk
, &i
, &ln
, &pos
, &curp
->filenc
))) {
405 mandoc_vmsg(MANDOCERR_CHAR_BAD
, curp
,
406 curp
->line
, pos
, "0x%x", c
);
414 * Exclude control characters.
417 if (c
== 0x7f || (c
< 0x20 && c
!= 0x09)) {
418 mandoc_vmsg(c
== 0x00 || c
== 0x04 ||
419 c
> 0x0a ? MANDOCERR_CHAR_BAD
:
420 MANDOCERR_CHAR_UNSUPP
,
421 curp
, curp
->line
, pos
, "0x%x", c
);
428 ln
.buf
[pos
++] = blk
.buf
[i
++];
431 if (pos
+ 1 >= ln
.sz
)
432 resize_buf(&ln
, 256);
434 if (i
== blk
.sz
|| blk
.buf
[i
] == '\0')
435 ln
.buf
[pos
++] = '\n';
439 * A significant amount of complexity is contained by
440 * the roff preprocessor. It's line-oriented but can be
441 * expressed on one line, so we need at times to
442 * readjust our starting point and re-run it. The roff
443 * preprocessor can also readjust the buffers with new
444 * data, so we pass them in wholesale.
450 * Maintain a lookaside buffer of all parsed lines. We
451 * only do this if mparse_keep() has been invoked (the
452 * buffer may be accessed with mparse_getkeep()).
455 if (curp
->secondary
) {
456 curp
->secondary
->buf
= mandoc_realloc(
457 curp
->secondary
->buf
,
458 curp
->secondary
->sz
+ pos
+ 2);
459 memcpy(curp
->secondary
->buf
+
462 curp
->secondary
->sz
+= pos
;
464 [curp
->secondary
->sz
] = '\n';
465 curp
->secondary
->sz
++;
467 [curp
->secondary
->sz
] = '\0';
470 rr
= roff_parseln(curp
->roff
, curp
->line
, &ln
, &of
);
474 if (++curp
->reparse_count
> REPARSE_LIMIT
)
475 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
,
476 curp
->line
, pos
, NULL
);
477 else if (mparse_buf_r(curp
, ln
, of
, 0) == 1 ||
485 pos
= strlen(ln
.buf
);
493 if ( ! (curp
->options
& MPARSE_SO
) &&
494 (i
>= blk
.sz
|| blk
.buf
[i
] == '\0')) {
495 curp
->sodest
= mandoc_strdup(ln
.buf
+ of
);
500 * We remove `so' clauses from our lookaside
501 * buffer because we're going to descend into
502 * the file recursively.
505 curp
->secondary
->sz
-= pos
+ 1;
506 save_file
= curp
->file
;
507 if ((fd
= mparse_open(curp
, ln
.buf
+ of
)) != -1) {
508 mparse_readfd(curp
, fd
, ln
.buf
+ of
);
510 curp
->file
= save_file
;
512 curp
->file
= save_file
;
513 mandoc_vmsg(MANDOCERR_SO_FAIL
,
514 curp
, curp
->line
, pos
,
515 ".so %s", ln
.buf
+ of
);
516 ln
.sz
= mandoc_asprintf(&cp
,
517 ".sp\nSee the file %s.\n.sp",
522 mparse_buf_r(curp
, ln
, of
, 0);
530 if (curp
->man
->macroset
== MACROSET_NONE
)
533 if ((curp
->man
->macroset
== MACROSET_MDOC
?
534 mdoc_parseln(curp
->man
, curp
->line
, ln
.buf
, of
) :
535 man_parseln(curp
->man
, curp
->line
, ln
.buf
, of
)) == 2)
538 /* Temporary buffers typically are not full. */
540 if (0 == start
&& '\0' == blk
.buf
[i
])
543 /* Start the next input line. */
553 read_whole_file(struct mparse
*curp
, const char *file
, int fd
,
554 struct buf
*fb
, int *with_mmap
)
560 int gzerrnum
, retval
;
562 if (fstat(fd
, &st
) == -1) {
563 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0,
564 "fstat: %s", strerror(errno
));
569 * If we're a regular file, try just reading in the whole entry
570 * via mmap(). This is faster than reading it into blocks, and
571 * since each file is only a few bytes to begin with, I'm not
572 * concerned that this is going to tank any machines.
575 if (curp
->gzip
== 0 && S_ISREG(st
.st_mode
)) {
576 if (st
.st_size
> 0x7fffffff) {
577 mandoc_msg(MANDOCERR_TOOLARGE
, curp
, 0, 0, NULL
);
581 fb
->sz
= (size_t)st
.st_size
;
582 fb
->buf
= mmap(NULL
, fb
->sz
, PROT_READ
, MAP_SHARED
, fd
, 0);
583 if (fb
->buf
!= MAP_FAILED
)
589 * Duplicating the file descriptor is required
590 * because we will have to call gzclose(3)
591 * to free memory used internally by zlib,
592 * but that will also close the file descriptor,
593 * which this function must not do.
595 if ((fd
= dup(fd
)) == -1) {
596 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0,
597 "dup: %s", strerror(errno
));
600 if ((gz
= gzdopen(fd
, "rb")) == NULL
) {
601 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0,
602 "gzdopen: %s", strerror(errno
));
610 * If this isn't a regular file (like, say, stdin), then we must
611 * go the old way and just read things in bit by bit.
621 if (fb
->sz
== (1U << 31)) {
622 mandoc_msg(MANDOCERR_TOOLARGE
, curp
,
626 resize_buf(fb
, 65536);
629 gzread(gz
, fb
->buf
+ (int)off
, fb
->sz
- off
) :
630 read(fd
, fb
->buf
+ (int)off
, fb
->sz
- off
);
638 (void)gzerror(gz
, &gzerrnum
);
639 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0, "read: %s",
640 curp
->gzip
&& gzerrnum
!= Z_ERRNO
?
641 zError(gzerrnum
) : strerror(errno
));
647 if (curp
->gzip
&& (gzerrnum
= gzclose(gz
)) != Z_OK
)
648 mandoc_vmsg(MANDOCERR_FILE
, curp
, 0, 0, "gzclose: %s",
649 gzerrnum
== Z_ERRNO
? strerror(errno
) :
659 mparse_end(struct mparse
*curp
)
661 if (curp
->man
->macroset
== MACROSET_NONE
)
662 curp
->man
->macroset
= MACROSET_MAN
;
663 if (curp
->man
->macroset
== MACROSET_MDOC
)
664 mdoc_endparse(curp
->man
);
666 man_endparse(curp
->man
);
667 roff_endparse(curp
->roff
);
671 mparse_parse_buffer(struct mparse
*curp
, struct buf blk
, const char *file
)
673 struct buf
*svprimary
;
676 static int recursion_depth
;
678 if (64 < recursion_depth
) {
679 mandoc_msg(MANDOCERR_ROFFLOOP
, curp
, curp
->line
, 0, NULL
);
683 /* Line number is per-file. */
686 svprimary
= curp
->primary
;
687 curp
->primary
= &blk
;
691 /* Skip an UTF-8 byte order mark. */
692 if (curp
->filenc
& MPARSE_UTF8
&& blk
.sz
> 2 &&
693 (unsigned char)blk
.buf
[0] == 0xef &&
694 (unsigned char)blk
.buf
[1] == 0xbb &&
695 (unsigned char)blk
.buf
[2] == 0xbf) {
697 curp
->filenc
&= ~MPARSE_LATIN1
;
701 mparse_buf_r(curp
, blk
, offset
, 1);
703 if (--recursion_depth
== 0)
706 curp
->primary
= svprimary
;
711 mparse_readmem(struct mparse
*curp
, void *buf
, size_t len
,
719 mparse_parse_buffer(curp
, blk
, file
);
720 return curp
->file_status
;
724 * Read the whole file into memory and call the parsers.
725 * Called recursively when an .so request is encountered.
728 mparse_readfd(struct mparse
*curp
, int fd
, const char *file
)
734 if (read_whole_file(curp
, file
, fd
, &blk
, &with_mmap
)) {
735 save_filenc
= curp
->filenc
;
736 curp
->filenc
= curp
->options
&
737 (MPARSE_UTF8
| MPARSE_LATIN1
);
738 mparse_parse_buffer(curp
, blk
, file
);
739 curp
->filenc
= save_filenc
;
741 munmap(blk
.buf
, blk
.sz
);
745 return curp
->file_status
;
749 mparse_open(struct mparse
*curp
, const char *file
)
755 cp
= strrchr(file
, '.');
756 curp
->gzip
= (cp
!= NULL
&& ! strcmp(cp
+ 1, "gz"));
758 /* First try to use the filename as it is. */
760 if ((fd
= open(file
, O_RDONLY
)) != -1)
764 * If that doesn't work and the filename doesn't
765 * already end in .gz, try appending .gz.
769 mandoc_asprintf(&cp
, "%s.gz", file
);
770 fd
= open(cp
, O_RDONLY
);
778 /* Neither worked, give up. */
780 mandoc_msg(MANDOCERR_FILE
, curp
, 0, 0, strerror(errno
));
785 mparse_alloc(int options
, enum mandocerr mmin
, mandocmsg mmsg
,
786 enum mandoc_os os_e
, const char *os_s
)
790 curp
= mandoc_calloc(1, sizeof(struct mparse
));
792 curp
->options
= options
;
797 curp
->roff
= roff_alloc(curp
, options
);
798 curp
->man
= roff_man_alloc(curp
->roff
, curp
, curp
->os_s
,
799 curp
->options
& MPARSE_QUICK
? 1 : 0);
800 if (curp
->options
& MPARSE_MDOC
) {
801 curp
->man
->macroset
= MACROSET_MDOC
;
802 if (curp
->man
->mdocmac
== NULL
)
803 curp
->man
->mdocmac
= roffhash_alloc(MDOC_Dd
, MDOC_MAX
);
804 } else if (curp
->options
& MPARSE_MAN
) {
805 curp
->man
->macroset
= MACROSET_MAN
;
806 if (curp
->man
->manmac
== NULL
)
807 curp
->man
->manmac
= roffhash_alloc(MAN_TH
, MAN_MAX
);
809 curp
->man
->first
->tok
= TOKEN_NONE
;
810 curp
->man
->meta
.os_e
= os_e
;
815 mparse_reset(struct mparse
*curp
)
817 roff_reset(curp
->roff
);
818 roff_man_reset(curp
->man
);
824 curp
->secondary
->sz
= 0;
826 curp
->file_status
= MANDOCLEVEL_OK
;
831 mparse_free(struct mparse
*curp
)
834 roffhash_free(curp
->man
->mdocmac
);
835 roffhash_free(curp
->man
->manmac
);
836 roff_man_free(curp
->man
);
837 roff_free(curp
->roff
);
839 free(curp
->secondary
->buf
);
841 free(curp
->secondary
);
847 mparse_result(struct mparse
*curp
, struct roff_man
**man
,
851 if (sodest
&& NULL
!= (*sodest
= curp
->sodest
)) {
860 mparse_updaterc(struct mparse
*curp
, enum mandoclevel
*rc
)
862 if (curp
->file_status
> *rc
)
863 *rc
= curp
->file_status
;
867 mandoc_vmsg(enum mandocerr t
, struct mparse
*m
,
868 int ln
, int pos
, const char *fmt
, ...)
874 (void)vsnprintf(buf
, sizeof(buf
), fmt
, ap
);
877 mandoc_msg(t
, m
, ln
, pos
, buf
);
881 mandoc_msg(enum mandocerr er
, struct mparse
*m
,
882 int ln
, int col
, const char *msg
)
884 enum mandoclevel level
;
886 if (er
< m
->mmin
&& er
!= MANDOCERR_FILE
)
889 level
= MANDOCLEVEL_UNSUPP
;
890 while (er
< mandoclimits
[level
])
894 (*m
->mmsg
)(er
, level
, m
->file
, ln
, col
, msg
);
896 if (m
->file_status
< level
)
897 m
->file_status
= level
;
901 mparse_strerror(enum mandocerr er
)
904 return mandocerrs
[er
];
908 mparse_strlevel(enum mandoclevel lvl
)
910 return mandoclevels
[lvl
];
914 mparse_keep(struct mparse
*p
)
917 assert(NULL
== p
->secondary
);
918 p
->secondary
= mandoc_calloc(1, sizeof(struct buf
));
922 mparse_getkeep(const struct mparse
*p
)
925 assert(p
->secondary
);
926 return p
->secondary
->sz
? p
->secondary
->buf
: NULL
;