npf_scan.l revision 1.36 1 1.1 rmind /*-
2 1.35 joe * Copyright (c) 2011-2025 The NetBSD Foundation, Inc.
3 1.1 rmind * All rights reserved.
4 1.1 rmind *
5 1.1 rmind * This code is derived from software contributed to The NetBSD Foundation
6 1.1 rmind * by Martin Husemann.
7 1.1 rmind *
8 1.1 rmind * Redistribution and use in source and binary forms, with or without
9 1.1 rmind * modification, are permitted provided that the following conditions
10 1.1 rmind * are met:
11 1.1 rmind * 1. Redistributions of source code must retain the above copyright
12 1.1 rmind * notice, this list of conditions and the following disclaimer.
13 1.1 rmind * 2. Redistributions in binary form must reproduce the above copyright
14 1.1 rmind * notice, this list of conditions and the following disclaimer in the
15 1.1 rmind * documentation and/or other materials provided with the distribution.
16 1.1 rmind *
17 1.1 rmind * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
18 1.1 rmind * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
19 1.1 rmind * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
20 1.1 rmind * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
21 1.1 rmind * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
22 1.1 rmind * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
23 1.1 rmind * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
24 1.1 rmind * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
25 1.1 rmind * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
26 1.1 rmind * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
27 1.1 rmind * POSSIBILITY OF SUCH DAMAGE.
28 1.1 rmind */
29 1.1 rmind
30 1.1 rmind %{
31 1.1 rmind #include <stdio.h>
32 1.6 rmind #include <stdlib.h>
33 1.32 rmind #include <unistd.h>
34 1.1 rmind #include <err.h>
35 1.1 rmind
36 1.1 rmind #include "npfctl.h"
37 1.1 rmind #include "npf_parse.h"
38 1.1 rmind
39 1.1 rmind int yycolumn;
40 1.1 rmind
41 1.1 rmind #define YY_USER_ACTION yycolumn += yyleng;
42 1.1 rmind
43 1.30 rmind extern int yystarttoken;
44 1.10 rmind extern int yylineno;
45 1.10 rmind extern const char * yyfilename;
46 1.10 rmind extern int yyparse(void);
47 1.10 rmind extern void yyrestart(FILE *);
48 1.10 rmind
49 1.10 rmind void
50 1.10 rmind npfctl_parse_file(const char *name)
51 1.10 rmind {
52 1.32 rmind const bool use_stdin = strcmp(name, "-") == 0;
53 1.10 rmind FILE *fp;
54 1.10 rmind
55 1.32 rmind fp = use_stdin ? fdopen(STDIN_FILENO, "r") : fopen(name, "r");
56 1.10 rmind if (fp == NULL) {
57 1.10 rmind err(EXIT_FAILURE, "open '%s'", name);
58 1.10 rmind }
59 1.30 rmind yystarttoken = 0;
60 1.10 rmind yyrestart(fp);
61 1.10 rmind yylineno = 1;
62 1.10 rmind yycolumn = 0;
63 1.32 rmind yyfilename = use_stdin ? "stdin" : name;
64 1.10 rmind yyparse();
65 1.10 rmind fclose(fp);
66 1.10 rmind }
67 1.10 rmind
68 1.10 rmind void
69 1.30 rmind npfctl_parse_string(const char *str, parse_entry_t entry)
70 1.10 rmind {
71 1.10 rmind YY_BUFFER_STATE bs;
72 1.10 rmind
73 1.30 rmind switch (entry) {
74 1.30 rmind case NPFCTL_PARSE_RULE:
75 1.30 rmind yystarttoken = RULE_ENTRY_TOKEN;
76 1.30 rmind break;
77 1.30 rmind case NPFCTL_PARSE_MAP:
78 1.30 rmind yystarttoken = MAP_ENTRY_TOKEN;
79 1.30 rmind break;
80 1.30 rmind default:
81 1.30 rmind abort();
82 1.30 rmind }
83 1.30 rmind
84 1.10 rmind bs = yy_scan_string(str);
85 1.10 rmind yyfilename = "stdin";
86 1.10 rmind yyparse();
87 1.10 rmind yy_delete_buffer(bs);
88 1.10 rmind }
89 1.10 rmind
90 1.1 rmind %}
91 1.1 rmind
92 1.1 rmind %option noyywrap nounput noinput
93 1.1 rmind
94 1.1 rmind ID [a-zA-Z_][a-zA-Z_0-9]*
95 1.14 rmind DID [a-zA-Z_][a-zA-Z_0-9-]*
96 1.31 rmind SPID [a-zA-Z][a-zA-Z_0-9.]*
97 1.1 rmind NUMBER [0-9]+
98 1.21 rmind HEXDIG [0-9a-fA-F]+
99 1.1 rmind
100 1.1 rmind %%
101 1.30 rmind %{
102 1.30 rmind /* This is prepended to yylex(). */
103 1.30 rmind if (yystarttoken) {
104 1.30 rmind int token = yystarttoken;
105 1.30 rmind yystarttoken = 0;
106 1.30 rmind return token;
107 1.30 rmind }
108 1.30 rmind %}
109 1.30 rmind
110 1.12 christos alg return ALG;
111 1.1 rmind table return TABLE;
112 1.1 rmind type return TYPE;
113 1.1 rmind hash return HASH;
114 1.1 rmind tree return TREE;
115 1.28 rmind lpm return LPM;
116 1.17 rmind cdb return CDB;
117 1.28 rmind const return CONST;
118 1.3 rmind static return TSTATIC;
119 1.1 rmind dynamic return TDYNAMIC;
120 1.1 rmind file return TFILE;
121 1.3 rmind map return MAP;
122 1.26 rmind no-ports return NO_PORTS;
123 1.22 christos set return SET;
124 1.3 rmind "<->" return ARROWBOTH;
125 1.3 rmind "<-" return ARROWLEFT;
126 1.3 rmind "->" return ARROWRIGHT;
127 1.19 rmind algo return ALGO;
128 1.28 rmind netmap return NETMAP;
129 1.28 rmind ipset return IPSET;
130 1.28 rmind "ip-hash" return IPHASH;
131 1.28 rmind "round-robin" return ROUNDROBIN;
132 1.19 rmind npt66 return NPT66;
133 1.1 rmind "-" return MINUS;
134 1.1 rmind procedure return PROCEDURE;
135 1.3 rmind \\\n yylineno++; yycolumn = 0;
136 1.33 christos \n yylineno++; yycolumn = 0; return NEWLINE;
137 1.33 christos ; return SEMICOLON;
138 1.1 rmind name return NAME;
139 1.1 rmind group return GROUP;
140 1.1 rmind default return DEFAULT;
141 1.1 rmind in return IN;
142 1.1 rmind out return OUT;
143 1.10 rmind forw return FORW;
144 1.1 rmind interface return INTERFACE;
145 1.1 rmind all return ALL;
146 1.1 rmind block return BLOCK;
147 1.1 rmind pass return PASS;
148 1.13 rmind pcap-filter return PCAP_FILTER;
149 1.2 rmind stateful return STATEFUL;
150 1.29 rmind stateful-all return STATEFUL_ALL;
151 1.1 rmind apply return APPLY;
152 1.2 rmind final return FINAL;
153 1.2 rmind quick return FINAL;
154 1.1 rmind on return ON;
155 1.22 christos off return OFF;
156 1.1 rmind inet6 return INET6;
157 1.16 rmind inet4 return INET4;
158 1.25 rmind ifaddrs return IFADDRS;
159 1.1 rmind proto return PROTO;
160 1.1 rmind family return FAMILY;
161 1.1 rmind tcp return TCP;
162 1.5 spz icmp { yylval.num = IPPROTO_ICMP; return ICMP; }
163 1.5 spz ipv6-icmp { yylval.num = IPPROTO_ICMPV6; return ICMP6; }
164 1.5 spz \"ipv6-icmp\" { yylval.num = IPPROTO_ICMPV6; return ICMP6; }
165 1.1 rmind return-rst return RETURNRST;
166 1.1 rmind return-icmp return RETURNICMP;
167 1.1 rmind return return RETURN;
168 1.11 rmind ruleset return RULESET;
169 1.1 rmind from return FROM;
170 1.1 rmind to return TO;
171 1.1 rmind port return PORT;
172 1.1 rmind flags return FLAGS;
173 1.1 rmind icmp-type return ICMPTYPE;
174 1.1 rmind code return CODE;
175 1.1 rmind any return ANY;
176 1.34 joe user return USER;
177 1.36 joe ether return ETHER;
178 1.36 joe layer-2 return L2;
179 1.1 rmind
180 1.1 rmind "/" return SLASH;
181 1.1 rmind "{" return CURLY_OPEN;
182 1.1 rmind "}" return CURLY_CLOSE;
183 1.1 rmind "(" return PAR_OPEN;
184 1.1 rmind ")" return PAR_CLOSE;
185 1.1 rmind "," return COMMA;
186 1.1 rmind "=" return EQ;
187 1.24 rmind "!" return EXCL_MARK;
188 1.34 joe "<" return LT;
189 1.34 joe ">" return GT;
190 1.34 joe "<>" return XRG;
191 1.34 joe "><" return IRG;
192 1.1 rmind
193 1.21 rmind "0x"{HEXDIG} {
194 1.8 rmind char *endp, *buf = ecalloc(1, yyleng + 1);
195 1.1 rmind buf[yyleng] = 0;
196 1.1 rmind yylval.num = strtoul(buf+2, &endp, 16);
197 1.1 rmind free(buf);
198 1.1 rmind return HEX;
199 1.1 rmind }
200 1.1 rmind
201 1.36 joe "Ex"{HEXDIG} {
202 1.36 joe yylval.str = estrndup(yytext, yyleng);
203 1.36 joe return ETHERHEX;
204 1.36 joe }
205 1.36 joe
206 1.6 rmind {NUMBER}"."{NUMBER} {
207 1.7 rmind char *endp, *buf = estrndup(yytext, yyleng);
208 1.6 rmind yylval.fpnum = strtod(buf, &endp);
209 1.6 rmind free(buf);
210 1.6 rmind return FPNUM;
211 1.6 rmind }
212 1.6 rmind
213 1.36 joe {HEXDIG}(":"{HEXDIG}){5} {
214 1.36 joe yylval.str = estrndup(yytext, yyleng);
215 1.36 joe return MACADDR;
216 1.36 joe }
217 1.36 joe
218 1.21 rmind {HEXDIG}":"[0-9a-fA-F:]* {
219 1.21 rmind yylval.str = estrndup(yytext, yyleng);
220 1.21 rmind return IPV6ADDR;
221 1.21 rmind }
222 1.21 rmind
223 1.23 christos "::"{HEXDIG}[0-9a-fA-F:.]* {
224 1.7 rmind yylval.str = estrndup(yytext, yyleng);
225 1.1 rmind return IPV6ADDR;
226 1.1 rmind }
227 1.1 rmind
228 1.1 rmind {NUMBER}"."[0-9][0-9.]* {
229 1.7 rmind yylval.str = estrndup(yytext, yyleng);
230 1.1 rmind return IPV4ADDR;
231 1.1 rmind }
232 1.1 rmind
233 1.36 joe {HEXDIG}"."[0-9a-fA-F.]* {
234 1.36 joe yylval.str = estrndup(yytext, yyleng);
235 1.36 joe return MACADDR;
236 1.36 joe }
237 1.36 joe
238 1.36 joe {HEXDIG}"-"[0-9a-fA-F\-]* {
239 1.36 joe yylval.str = estrndup(yytext, yyleng);
240 1.36 joe return MACADDR;
241 1.36 joe }
242 1.36 joe
243 1.1 rmind {NUMBER} {
244 1.7 rmind char *endp, *buf = estrndup(yytext, yyleng);
245 1.1 rmind yylval.num = strtoul(buf, &endp, 10);
246 1.1 rmind free(buf);
247 1.1 rmind return NUM;
248 1.1 rmind }
249 1.1 rmind
250 1.14 rmind "<"{DID}">" {
251 1.7 rmind yylval.str = estrndup(yytext + 1, yyleng - 2);
252 1.1 rmind return TABLE_ID;
253 1.1 rmind }
254 1.1 rmind
255 1.15 rmind "$"{ID} {
256 1.7 rmind yylval.str = estrndup(yytext + 1, yyleng - 1);
257 1.1 rmind return VAR_ID;
258 1.1 rmind }
259 1.1 rmind
260 1.31 rmind {ID}"."{SPID}+ {
261 1.29 rmind yylval.str = estrndup(yytext, yyleng);
262 1.29 rmind return PARAM;
263 1.29 rmind }
264 1.29 rmind
265 1.1 rmind {ID} {
266 1.7 rmind yylval.str = estrndup(yytext, yyleng);
267 1.1 rmind return IDENTIFIER;
268 1.1 rmind }
269 1.1 rmind
270 1.1 rmind \"[^\"]*\" {
271 1.7 rmind yylval.str = estrndup(yytext + 1, yyleng - 2);
272 1.1 rmind return STRING;
273 1.1 rmind }
274 1.1 rmind
275 1.1 rmind #.*$ /* drop comment until end of line */
276 1.1 rmind [ \t] /* eat whitespace */
277 1.1 rmind
278 1.1 rmind : return COLON;
279 1.32 rmind
280 1.32 rmind . return INVALID;
281