282 lines
7.8 KiB
Plaintext
282 lines
7.8 KiB
Plaintext
/* $FreeBSD$ */
|
|
/* $KAME: token.l,v 1.43 2003/07/25 09:35:28 itojun Exp $ */
|
|
|
|
/*-
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*
|
|
* Copyright (C) 1995, 1996, 1997, 1998, and 1999 WIDE Project.
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions
|
|
* are met:
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution.
|
|
* 3. Neither the name of the project nor the names of its contributors
|
|
* may be used to endorse or promote products derived from this software
|
|
* without specific prior written permission.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE PROJECT AND CONTRIBUTORS ``AS IS'' AND
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE PROJECT OR CONTRIBUTORS BE LIABLE
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
* SUCH DAMAGE.
|
|
*/
|
|
|
|
%{
|
|
#include <sys/types.h>
|
|
#include <sys/param.h>
|
|
#include <sys/socket.h>
|
|
#include <net/route.h>
|
|
#include <net/pfkeyv2.h>
|
|
#include <netipsec/keydb.h>
|
|
#include <netipsec/key_debug.h>
|
|
#include <netinet/in.h>
|
|
#include <netipsec/ipsec.h>
|
|
|
|
#include <stdlib.h>
|
|
#include <limits.h>
|
|
#include <string.h>
|
|
#include <unistd.h>
|
|
#include <errno.h>
|
|
#include <netdb.h>
|
|
|
|
#include "vchar.h"
|
|
#include "y.tab.h"
|
|
|
|
int lineno = 1;
|
|
|
|
extern u_char m_buf[BUFSIZ];
|
|
extern u_int m_len;
|
|
extern int f_debug;
|
|
|
|
int yylex(void);
|
|
void yyfatal(const char *s);
|
|
void yyerror(const char *s);
|
|
extern void parse_init(void);
|
|
int parse(FILE **);
|
|
int yyparse(void);
|
|
%}
|
|
|
|
%option noyywrap
|
|
|
|
/* common section */
|
|
nl \n
|
|
ws [ \t]+
|
|
digit [0-9]
|
|
letter [0-9A-Za-z]
|
|
hexdigit [0-9A-Fa-f]
|
|
dot \.
|
|
hyphen \-
|
|
slash \/
|
|
blcl \[
|
|
elcl \]
|
|
semi \;
|
|
comment \#.*
|
|
quotedstring \"[^"]*\"
|
|
decstring {digit}+
|
|
hexstring 0[xX]{hexdigit}+
|
|
ipaddress [a-fA-F0-9:]([a-fA-F0-9:\.]*|[a-fA-F0-9:\.]*%[a-zA-Z0-9]*)
|
|
ipaddrmask {slash}{digit}{1,3}
|
|
name {letter}(({letter}|{digit}|{hyphen})*({letter}|{digit}))*
|
|
hostname {name}(({dot}{name})+{dot}?)?
|
|
|
|
%s S_PL S_AUTHALG S_ENCALG
|
|
|
|
%%
|
|
|
|
add { return(ADD); }
|
|
delete { return(DELETE); }
|
|
deleteall { return(DELETEALL); }
|
|
get { return(GET); }
|
|
flush { return(FLUSH); }
|
|
dump { return(DUMP); }
|
|
|
|
/* for management SPD */
|
|
spdadd { return(SPDADD); }
|
|
spddelete { return(SPDDELETE); }
|
|
spddump { return(SPDDUMP); }
|
|
spdflush { return(SPDFLUSH); }
|
|
tagged { return(TAGGED); }
|
|
{hyphen}P { BEGIN S_PL; return(F_POLICY); }
|
|
<S_PL>[a-zA-Z0-9:\.\-_/ \n\t][a-zA-Z0-9:\.%\-_/ \n\t]* {
|
|
yymore();
|
|
|
|
/* count up for nl */
|
|
{
|
|
char *p;
|
|
for (p = yytext; *p != '\0'; p++)
|
|
if (*p == '\n')
|
|
lineno++;
|
|
}
|
|
|
|
yylval.val.len = strlen(yytext);
|
|
yylval.val.buf = strdup(yytext);
|
|
if (!yylval.val.buf)
|
|
yyfatal("insufficient memory");
|
|
|
|
return(PL_REQUESTS);
|
|
}
|
|
<S_PL>{semi} { BEGIN INITIAL; return(EOT); }
|
|
|
|
/* address resolution flags */
|
|
{hyphen}[n46][n46]* {
|
|
yylval.val.len = strlen(yytext);
|
|
yylval.val.buf = strdup(yytext);
|
|
if (!yylval.val.buf)
|
|
yyfatal("insufficient memory");
|
|
return(F_AIFLAGS);
|
|
}
|
|
|
|
/* security protocols */
|
|
ah { yylval.num = 0; return(PR_AH); }
|
|
esp { yylval.num = 0; return(PR_ESP); }
|
|
ah-old { yylval.num = 1; return(PR_AH); }
|
|
esp-old { yylval.num = 1; return(PR_ESP); }
|
|
ipcomp { yylval.num = 0; return(PR_IPCOMP); }
|
|
tcp { yylval.num = 0; return(PR_TCP); }
|
|
|
|
/* authentication alogorithm */
|
|
{hyphen}A { BEGIN S_AUTHALG; return(F_AUTH); }
|
|
<S_AUTHALG>chacha20-poly1305 { yylval.num = SADB_X_AALG_CHACHA20POLY1305; BEGIN INITIAL; return(ALG_AUTH); }
|
|
<S_AUTHALG>hmac-sha1 { yylval.num = SADB_AALG_SHA1HMAC; BEGIN INITIAL; return(ALG_AUTH); }
|
|
<S_AUTHALG>hmac-sha2-256 { yylval.num = SADB_X_AALG_SHA2_256; BEGIN INITIAL; return(ALG_AUTH); }
|
|
<S_AUTHALG>hmac-sha2-384 { yylval.num = SADB_X_AALG_SHA2_384; BEGIN INITIAL; return(ALG_AUTH); }
|
|
<S_AUTHALG>hmac-sha2-512 { yylval.num = SADB_X_AALG_SHA2_512; BEGIN INITIAL; return(ALG_AUTH); }
|
|
<S_AUTHALG>aes-xcbc-mac { yylval.num = SADB_X_AALG_AES_XCBC_MAC; BEGIN INITIAL; return(ALG_AUTH); }
|
|
<S_AUTHALG>tcp-md5 { yylval.num = SADB_X_AALG_TCP_MD5; BEGIN INITIAL; return(ALG_AUTH); }
|
|
<S_AUTHALG>null { yylval.num = SADB_X_AALG_NULL; BEGIN INITIAL; return(ALG_AUTH_NOKEY); }
|
|
|
|
/* encryption alogorithm */
|
|
{hyphen}E { BEGIN S_ENCALG; return(F_ENC); }
|
|
<S_ENCALG>null { yylval.num = SADB_EALG_NULL; BEGIN INITIAL; return(ALG_ENC); }
|
|
<S_ENCALG>simple { yylval.num = SADB_EALG_NULL; BEGIN INITIAL; return(ALG_ENC_OLD); }
|
|
<S_ENCALG>rijndael-cbc { yylval.num = SADB_X_EALG_AESCBC; BEGIN INITIAL; return(ALG_ENC); }
|
|
<S_ENCALG>aes-cbc { yylval.num = SADB_X_EALG_AESCBC; BEGIN INITIAL; return(ALG_ENC); }
|
|
<S_ENCALG>aes-ctr { yylval.num = SADB_X_EALG_AESCTR; BEGIN INITIAL; return(ALG_ENC_SALT); }
|
|
<S_ENCALG>aes-gcm-16 { yylval.num = SADB_X_EALG_AESGCM16; BEGIN INITIAL; return(ALG_ENC_SALT); }
|
|
<S_ENCALG>chacha20-poly1305 { yylval.num = SADB_X_EALG_CHACHA20POLY1305; BEGIN INITIAL; return(ALG_ENC_SALT); }
|
|
|
|
/* compression algorithms */
|
|
{hyphen}C { return(F_COMP); }
|
|
oui { yylval.num = SADB_X_CALG_OUI; return(ALG_COMP); }
|
|
deflate { yylval.num = SADB_X_CALG_DEFLATE; return(ALG_COMP); }
|
|
lzs { yylval.num = SADB_X_CALG_LZS; return(ALG_COMP); }
|
|
{hyphen}R { return(F_RAWCPI); }
|
|
|
|
/* extension */
|
|
{hyphen}m { return(F_MODE); }
|
|
transport { yylval.num = IPSEC_MODE_TRANSPORT; return(MODE); }
|
|
tunnel { yylval.num = IPSEC_MODE_TUNNEL; return(MODE); }
|
|
{hyphen}u { return(F_REQID); }
|
|
{hyphen}f { return(F_EXT); }
|
|
random-pad { yylval.num = SADB_X_EXT_PRAND; return(EXTENSION); }
|
|
seq-pad { yylval.num = SADB_X_EXT_PSEQ; return(EXTENSION); }
|
|
zero-pad { yylval.num = SADB_X_EXT_PZERO; return(EXTENSION); }
|
|
nocyclic-seq { return(NOCYCLICSEQ); }
|
|
{hyphen}r { return(F_REPLAY); }
|
|
{hyphen}lh { return(F_LIFETIME_HARD); }
|
|
{hyphen}ls { return(F_LIFETIME_SOFT); }
|
|
|
|
/* ... */
|
|
any { return(ANY); }
|
|
{ws} { }
|
|
{nl} { lineno++; }
|
|
{comment}
|
|
{semi} { return(EOT); }
|
|
|
|
/* for address parameters: /prefix, [port] */
|
|
{slash} { return SLASH; }
|
|
{blcl} { return BLCL; }
|
|
{elcl} { return ELCL; }
|
|
|
|
/* parameter */
|
|
{decstring} {
|
|
char *bp;
|
|
|
|
yylval.ulnum = strtoul(yytext, &bp, 10);
|
|
return(DECSTRING);
|
|
}
|
|
|
|
{hexstring} {
|
|
yylval.val.buf = strdup(yytext + 2);
|
|
if (!yylval.val.buf)
|
|
yyfatal("insufficient memory");
|
|
yylval.val.len = strlen(yylval.val.buf);
|
|
|
|
return(HEXSTRING);
|
|
}
|
|
|
|
{quotedstring} {
|
|
char *p = yytext;
|
|
while (*++p != '"') ;
|
|
*p = '\0';
|
|
yytext++;
|
|
yylval.val.len = yyleng - 2;
|
|
yylval.val.buf = strdup(yytext);
|
|
if (!yylval.val.buf)
|
|
yyfatal("insufficient memory");
|
|
|
|
return(QUOTEDSTRING);
|
|
}
|
|
|
|
[A-Za-z0-9:][A-Za-z0-9:%\.-]* {
|
|
yylval.val.len = yyleng;
|
|
yylval.val.buf = strdup(yytext);
|
|
if (!yylval.val.buf)
|
|
yyfatal("insufficient memory");
|
|
return(STRING);
|
|
}
|
|
|
|
[0-9,]+ {
|
|
yylval.val.len = yyleng;
|
|
yylval.val.buf = strdup(yytext);
|
|
if (!yylval.val.buf)
|
|
yyfatal("insufficient memory");
|
|
return(STRING);
|
|
}
|
|
|
|
. {
|
|
yyfatal("Syntax error");
|
|
/*NOTREACHED*/
|
|
}
|
|
|
|
%%
|
|
|
|
void
|
|
yyfatal(const char *s)
|
|
{
|
|
yyerror(s);
|
|
exit(1);
|
|
}
|
|
|
|
void
|
|
yyerror(const char *s)
|
|
{
|
|
printf("line %d: %s at [%s]\n", lineno, s, yytext);
|
|
}
|
|
|
|
int
|
|
parse(FILE **fp)
|
|
{
|
|
yyin = *fp;
|
|
|
|
parse_init();
|
|
|
|
if (yyparse()) {
|
|
printf("parse failed, line %d.\n", lineno);
|
|
return(-1);
|
|
}
|
|
|
|
return(0);
|
|
}
|