libpcap  1.10.1
About: libpcap is a packet filter library used by tools like tcpdump.
  Fossies Dox: libpcap-1.10.1.tar.gz  ("unofficial" and yet experimental doxygen-generated source code documentation)  

gencode.h
Go to the documentation of this file.
1 /*
2  * Copyright (c) 1990, 1991, 1992, 1993, 1994, 1995, 1996
3  * The Regents of the University of California. All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that: (1) source code distributions
7  * retain the above copyright notice and this paragraph in its entirety, (2)
8  * distributions including binary code include the above copyright notice and
9  * this paragraph in its entirety in the documentation or other materials
10  * provided with the distribution, and (3) all advertising materials mentioning
11  * features or use of this software display the following acknowledgement:
12  * ``This product includes software developed by the University of California,
13  * Lawrence Berkeley Laboratory and its contributors.'' Neither the name of
14  * the University nor the names of its contributors may be used to endorse
15  * or promote products derived from this software without specific prior
16  * written permission.
17  * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED
18  * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
19  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
20  */
21 
22 #include "pcap/funcattrs.h"
23 
24 /*
25  * ATM support:
26  *
27  * Copyright (c) 1997 Yen Yen Lim and North Dakota State University
28  * All rights reserved.
29  *
30  * Redistribution and use in source and binary forms, with or without
31  * modification, are permitted provided that the following conditions
32  * are met:
33  * 1. Redistributions of source code must retain the above copyright
34  * notice, this list of conditions and the following disclaimer.
35  * 2. Redistributions in binary form must reproduce the above copyright
36  * notice, this list of conditions and the following disclaimer in the
37  * documentation and/or other materials provided with the distribution.
38  * 3. All advertising materials mentioning features or use of this software
39  * must display the following acknowledgement:
40  * This product includes software developed by Yen Yen Lim and
41  * North Dakota State University
42  * 4. The name of the author may not be used to endorse or promote products
43  * derived from this software without specific prior written permission.
44  *
45  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
46  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
47  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
48  * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT,
49  * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
50  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
51  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
52  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
53  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
54  * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
55  * POSSIBILITY OF SUCH DAMAGE.
56  */
57 
58 /* Address qualifiers. */
59 
60 #define Q_HOST 1
61 #define Q_NET 2
62 #define Q_PORT 3
63 #define Q_GATEWAY 4
64 #define Q_PROTO 5
65 #define Q_PROTOCHAIN 6
66 #define Q_PORTRANGE 7
67 
68 /* Protocol qualifiers. */
69 
70 #define Q_LINK 1
71 #define Q_IP 2
72 #define Q_ARP 3
73 #define Q_RARP 4
74 #define Q_SCTP 5
75 #define Q_TCP 6
76 #define Q_UDP 7
77 #define Q_ICMP 8
78 #define Q_IGMP 9
79 #define Q_IGRP 10
80 
81 
82 #define Q_ATALK 11
83 #define Q_DECNET 12
84 #define Q_LAT 13
85 #define Q_SCA 14
86 #define Q_MOPRC 15
87 #define Q_MOPDL 16
88 
89 
90 #define Q_IPV6 17
91 #define Q_ICMPV6 18
92 #define Q_AH 19
93 #define Q_ESP 20
94 
95 #define Q_PIM 21
96 #define Q_VRRP 22
97 
98 #define Q_AARP 23
99 
100 #define Q_ISO 24
101 #define Q_ESIS 25
102 #define Q_ISIS 26
103 #define Q_CLNP 27
104 
105 #define Q_STP 28
106 
107 #define Q_IPX 29
108 
109 #define Q_NETBEUI 30
110 
111 /* IS-IS Levels */
112 #define Q_ISIS_L1 31
113 #define Q_ISIS_L2 32
114 /* PDU types */
115 #define Q_ISIS_IIH 33
116 #define Q_ISIS_SNP 34
117 #define Q_ISIS_CSNP 35
118 #define Q_ISIS_PSNP 36
119 #define Q_ISIS_LSP 37
120 
121 #define Q_RADIO 38
122 
123 #define Q_CARP 39
124 
125 /* Directional qualifiers. */
126 
127 #define Q_SRC 1
128 #define Q_DST 2
129 #define Q_OR 3
130 #define Q_AND 4
131 #define Q_ADDR1 5
132 #define Q_ADDR2 6
133 #define Q_ADDR3 7
134 #define Q_ADDR4 8
135 #define Q_RA 9
136 #define Q_TA 10
137 
138 #define Q_DEFAULT 0
139 #define Q_UNDEF 255
140 
141 /* ATM types */
142 #define A_METAC 22 /* Meta signalling Circuit */
143 #define A_BCC 23 /* Broadcast Circuit */
144 #define A_OAMF4SC 24 /* Segment OAM F4 Circuit */
145 #define A_OAMF4EC 25 /* End-to-End OAM F4 Circuit */
146 #define A_SC 26 /* Signalling Circuit*/
147 #define A_ILMIC 27 /* ILMI Circuit */
148 #define A_OAM 28 /* OAM cells : F4 only */
149 #define A_OAMF4 29 /* OAM F4 cells: Segment + End-to-end */
150 #define A_LANE 30 /* LANE traffic */
151 #define A_LLC 31 /* LLC-encapsulated traffic */
152 
153 /* Based on Q.2931 signalling protocol */
154 #define A_SETUP 41 /* Setup message */
155 #define A_CALLPROCEED 42 /* Call proceeding message */
156 #define A_CONNECT 43 /* Connect message */
157 #define A_CONNECTACK 44 /* Connect Ack message */
158 #define A_RELEASE 45 /* Release message */
159 #define A_RELEASE_DONE 46 /* Release message */
160 
161 /* ATM field types */
162 #define A_VPI 51
163 #define A_VCI 52
164 #define A_PROTOTYPE 53
165 #define A_MSGTYPE 54
166 #define A_CALLREFTYPE 55
167 
168 #define A_CONNECTMSG 70 /* returns Q.2931 signalling messages for
169  establishing and destroying switched
170  virtual connection */
171 #define A_METACONNECT 71 /* returns Q.2931 signalling messages for
172  establishing and destroying predefined
173  virtual circuits, such as broadcast
174  circuit, oamf4 segment circuit, oamf4
175  end-to-end circuits, ILMI circuits or
176  connection signalling circuit. */
177 
178 /* MTP2 types */
179 #define M_FISU 22 /* FISU */
180 #define M_LSSU 23 /* LSSU */
181 #define M_MSU 24 /* MSU */
182 
183 /* MTP2 HSL types */
184 #define MH_FISU 25 /* FISU for HSL */
185 #define MH_LSSU 26 /* LSSU */
186 #define MH_MSU 27 /* MSU */
187 
188 /* MTP3 field types */
189 #define M_SIO 1
190 #define M_OPC 2
191 #define M_DPC 3
192 #define M_SLS 4
193 
194 /* MTP3 field types in case of MTP2 HSL */
195 #define MH_SIO 5
196 #define MH_OPC 6
197 #define MH_DPC 7
198 #define MH_SLS 8
199 
200 
201 struct slist;
202 
203 /*
204  * A single statement, corresponding to an instruction in a block.
205  */
206 struct stmt {
207  int code; /* opcode */
208  struct slist *jt; /* only for relative jump in block */
209  struct slist *jf; /* only for relative jump in block */
210  bpf_u_int32 k; /* k field */
211 };
212 
213 struct slist {
214  struct stmt s;
215  struct slist *next;
216 };
217 
218 /*
219  * A bit vector to represent definition sets. We assume TOT_REGISTERS
220  * is smaller than 8*sizeof(atomset).
221  */
223 #define ATOMMASK(n) (1 << (n))
224 #define ATOMELEM(d, n) (d & ATOMMASK(n))
225 
226 /*
227  * An unbounded set.
228  */
229 typedef bpf_u_int32 *uset;
230 
231 /*
232  * Total number of atomic entities, including accumulator (A) and index (X).
233  * We treat all these guys similarly during flow analysis.
234  */
235 #define N_ATOMS (BPF_MEMWORDS+2)
236 
237 /*
238  * Control flow graph of a program.
239  * This corresponds to an edge in the CFG.
240  * It's a directed graph, so an edge has a predecessor and a successor.
241  */
242 struct edge {
243  u_int id;
244  int code; /* opcode for branch corresponding to this edge */
246  struct block *succ; /* successor vertex */
247  struct block *pred; /* predecessor vertex */
248  struct edge *next; /* link list of incoming edges for a node */
249 };
250 
251 /*
252  * A block is a vertex in the CFG.
253  * It has a list of statements, with the final statement being a
254  * branch to successor blocks.
255  */
256 struct block {
257  u_int id;
258  struct slist *stmts; /* side effect stmts */
259  struct stmt s; /* branch stmt */
260  int mark;
261  u_int longjt; /* jt branch requires long jump */
262  u_int longjf; /* jf branch requires long jump */
263  int level;
264  int offset;
265  int sense;
266  struct edge et; /* edge corresponding to the jt branch */
267  struct edge ef; /* edge corresponding to the jf branch */
268  struct block *head;
269  struct block *link; /* link field used by optimizer */
272  struct edge *in_edges; /* first edge in the set (linked list) of edges with this as a successor */
276  int oval; /* value ID for value tested in branch stmt */
278 };
279 
280 /*
281  * A value of 0 for val[i] means the value is unknown.
282  */
283 #define VAL_UNKNOWN 0
284 
285 struct arth {
286  struct block *b; /* protocol checks */
287  struct slist *s; /* stmt list */
288  int regno; /* virtual register number of result */
289 };
290 
291 struct qual {
292  unsigned char addr;
293  unsigned char proto;
294  unsigned char dir;
295  unsigned char pad;
296 };
297 
298 struct _compiler_state;
299 
300 typedef struct _compiler_state compiler_state_t;
301 
303 struct arth *gen_load(compiler_state_t *, int, struct arth *, bpf_u_int32);
305 struct arth *gen_neg(compiler_state_t *, struct arth *);
306 struct arth *gen_arth(compiler_state_t *, int, struct arth *, struct arth *);
307 
308 void gen_and(struct block *, struct block *);
309 void gen_or(struct block *, struct block *);
310 void gen_not(struct block *);
311 
312 struct block *gen_scode(compiler_state_t *, const char *, struct qual);
313 struct block *gen_ecode(compiler_state_t *, const char *, struct qual);
314 struct block *gen_acode(compiler_state_t *, const char *, struct qual);
315 struct block *gen_mcode(compiler_state_t *, const char *, const char *,
316  bpf_u_int32, struct qual);
317 #ifdef INET6
318 struct block *gen_mcode6(compiler_state_t *, const char *, const char *,
319  bpf_u_int32, struct qual);
320 #endif
321 struct block *gen_ncode(compiler_state_t *, const char *, bpf_u_int32,
322  struct qual);
323 struct block *gen_proto_abbrev(compiler_state_t *, int);
324 struct block *gen_relation(compiler_state_t *, int, struct arth *,
325  struct arth *, int);
326 struct block *gen_less(compiler_state_t *, int);
327 struct block *gen_greater(compiler_state_t *, int);
328 struct block *gen_byteop(compiler_state_t *, int, int, bpf_u_int32);
329 struct block *gen_broadcast(compiler_state_t *, int);
330 struct block *gen_multicast(compiler_state_t *, int);
331 struct block *gen_ifindex(compiler_state_t *, int);
332 struct block *gen_inbound(compiler_state_t *, int);
333 
334 struct block *gen_llc(compiler_state_t *);
335 struct block *gen_llc_i(compiler_state_t *);
336 struct block *gen_llc_s(compiler_state_t *);
337 struct block *gen_llc_u(compiler_state_t *);
340 
341 struct block *gen_vlan(compiler_state_t *, bpf_u_int32, int);
342 struct block *gen_mpls(compiler_state_t *, bpf_u_int32, int);
343 
346 
348 
350  int, int);
353 
356  int, int);
357 
358 struct block *gen_pf_ifname(compiler_state_t *, const char *);
359 struct block *gen_pf_rnr(compiler_state_t *, int);
360 struct block *gen_pf_srnr(compiler_state_t *, int);
361 struct block *gen_pf_ruleset(compiler_state_t *, char *);
362 struct block *gen_pf_reason(compiler_state_t *, int);
363 struct block *gen_pf_action(compiler_state_t *, int);
364 
367 
368 /*
369  * Representation of a program as a tree of blocks, plus current mark.
370  * A block is marked if only if its mark equals the current mark.
371  * Rather than traverse the code array, marking each item, 'cur_mark'
372  * is incremented. This automatically makes each element unmarked.
373  */
374 #define isMarked(icp, p) ((p)->mark == (icp)->cur_mark)
375 #define unMarkAll(icp) (icp)->cur_mark += 1
376 #define Mark(icp, p) ((p)->mark = (icp)->cur_mark)
377 
378 struct icode {
379  struct block *root;
380  int cur_mark;
381 };
382 
383 int bpf_optimize(struct icode *, char *);
384 void bpf_set_error(compiler_state_t *, const char *, ...)
385  PCAP_PRINTFLIKE(2, 3);
386 
387 int finish_parse(compiler_state_t *, struct block *);
388 char *sdup(compiler_state_t *, const char *);
389 
390 struct bpf_insn *icode_to_fcode(struct icode *, struct block *, u_int *,
391  char *);
392 void sappend(struct slist *, struct slist *);
393 
394 /*
395  * Older versions of Bison don't put this declaration in
396  * grammar.h.
397  */
399 
400 /* XXX */
401 #define JT(b) ((b)->et.succ)
402 #define JF(b) ((b)->ef.succ)
u_int bpf_u_int32
Definition: bpf.h:98
#define PCAP_PRINTFLIKE(x, y)
Definition: funcattrs.h:270
struct block * gen_llc_i(compiler_state_t *)
Definition: gencode.c:3751
struct block * gen_relation(compiler_state_t *, int, struct arth *, struct arth *, int)
Definition: gencode.c:7625
void gen_or(struct block *, struct block *)
Definition: gencode.c:1018
bpf_u_int32 atomset
Definition: gencode.h:222
struct block * gen_p80211_type(compiler_state_t *, bpf_u_int32, bpf_u_int32)
Definition: gencode.c:8638
void gen_not(struct block *)
Definition: gencode.c:1028
struct block * gen_mtp2type_abbrev(compiler_state_t *, int)
Definition: gencode.c:9743
struct arth * gen_loadi(compiler_state_t *, bpf_u_int32)
Definition: gencode.c:7685
struct block * gen_atmtype_abbrev(compiler_state_t *, int)
Definition: gencode.c:9636
struct block * gen_llc(compiler_state_t *)
Definition: gencode.c:3738
struct block * gen_greater(compiler_state_t *, int)
Definition: gencode.c:7837
char * sdup(compiler_state_t *, const char *)
Definition: gencode.c:674
struct block * gen_pf_reason(compiler_state_t *, int)
Definition: gencode.c:8608
struct arth * gen_loadlen(compiler_state_t *)
Definition: gencode.c:7639
struct bpf_insn * icode_to_fcode(struct icode *, struct block *, u_int *, char *)
Definition: optimize.c:2872
struct block * gen_less(compiler_state_t *, int)
Definition: gencode.c:7853
struct arth * gen_arth(compiler_state_t *, int, struct arth *, struct arth *)
Definition: gencode.c:7733
struct block * gen_mpls(compiler_state_t *, bpf_u_int32, int)
Definition: gencode.c:9074
struct block * gen_pf_ifname(compiler_state_t *, const char *)
Definition: gencode.c:8552
struct block * gen_atmmulti_abbrev(compiler_state_t *, int)
Definition: gencode.c:9981
void bpf_set_error(compiler_state_t *, const char *,...)
Definition: gencode.c:438
struct block * gen_vlan(compiler_state_t *, bpf_u_int32, int)
Definition: gencode.c:8976
struct block * gen_ncode(compiler_state_t *, const char *, bpf_u_int32, struct qual)
Definition: gencode.c:7012
struct block * gen_llc_s(compiler_state_t *)
Definition: gencode.c:3782
int pcap_parse(void *, compiler_state_t *)
struct block * gen_pf_action(compiler_state_t *, int)
Definition: gencode.c:8622
struct block * gen_ifindex(compiler_state_t *, int)
Definition: gencode.c:8197
struct block * gen_broadcast(compiler_state_t *, int)
Definition: gencode.c:7927
struct block * gen_multicast(compiler_state_t *, int)
Definition: gencode.c:8013
struct block * gen_acode(compiler_state_t *, const char *, struct qual)
Definition: gencode.c:8698
struct block * gen_llc_s_subtype(compiler_state_t *, bpf_u_int32)
Definition: gencode.c:3834
struct block * gen_pf_ruleset(compiler_state_t *, char *)
Definition: gencode.c:8566
struct block * gen_proto_abbrev(compiler_state_t *, int)
Definition: gencode.c:5545
struct block * gen_p80211_fcdir(compiler_state_t *, bpf_u_int32)
Definition: gencode.c:8667
struct block * gen_pppoed(compiler_state_t *)
Definition: gencode.c:9156
struct block * gen_mcode(compiler_state_t *, const char *, const char *, bpf_u_int32, struct qual)
Definition: gencode.c:6954
struct block * gen_byteop(compiler_state_t *, int, int, bpf_u_int32)
Definition: gencode.c:7881
struct block * gen_pf_srnr(compiler_state_t *, int)
Definition: gencode.c:8594
struct block * gen_pf_rnr(compiler_state_t *, int)
Definition: gencode.c:8580
struct block * gen_inbound(compiler_state_t *, int)
Definition: gencode.c:8253
struct block * gen_scode(compiler_state_t *, const char *, struct qual)
Definition: gencode.c:6644
struct block * gen_mtp3field_code(compiler_state_t *, int, bpf_u_int32, int, int)
Definition: gencode.c:9830
bpf_u_int32 * uset
Definition: gencode.h:229
struct block * gen_pppoes(compiler_state_t *, bpf_u_int32, int)
Definition: gencode.c:9170
struct arth * gen_load(compiler_state_t *, int, struct arth *, bpf_u_int32)
Definition: gencode.c:7567
#define N_ATOMS
Definition: gencode.h:235
struct block * gen_atmfield_code(compiler_state_t *, int, bpf_u_int32, int, int)
Definition: gencode.c:9621
struct block * gen_llc_u_subtype(compiler_state_t *, bpf_u_int32)
Definition: gencode.c:3859
void sappend(struct slist *, struct slist *)
Definition: gencode.c:7252
struct arth * gen_neg(compiler_state_t *, struct arth *)
Definition: gencode.c:7703
int finish_parse(compiler_state_t *, struct block *)
Definition: gencode.c:950
void gen_and(struct block *, struct block *)
Definition: gencode.c:1007
int bpf_optimize(struct icode *, char *)
Definition: optimize.c:2264
struct block * gen_llc_u(compiler_state_t *)
Definition: gencode.c:3808
struct block * gen_ecode(compiler_state_t *, const char *, struct qual)
Definition: gencode.c:7197
struct block * gen_geneve(compiler_state_t *, bpf_u_int32, int)
Definition: gencode.c:9470
Definition: gencode.h:285
int regno
Definition: gencode.h:288
struct slist * s
Definition: gencode.h:287
struct block * b
Definition: gencode.h:286
Definition: gencode.h:256
u_int longjf
Definition: gencode.h:262
struct slist * stmts
Definition: gencode.h:258
u_int id
Definition: gencode.h:257
int offset
Definition: gencode.h:264
int sense
Definition: gencode.h:265
struct edge * in_edges
Definition: gencode.h:272
bpf_u_int32 val[(BPF_MEMWORDS+2)]
Definition: gencode.h:277
int oval
Definition: gencode.h:276
uset dom
Definition: gencode.h:270
uset closure
Definition: gencode.h:271
atomset in_use
Definition: gencode.h:274
atomset out_use
Definition: gencode.h:275
int mark
Definition: gencode.h:260
atomset kill
Definition: gencode.h:273
struct block * head
Definition: gencode.h:268
struct block * link
Definition: gencode.h:269
struct edge et
Definition: gencode.h:266
struct stmt s
Definition: gencode.h:259
struct edge ef
Definition: gencode.h:267
atomset def
Definition: gencode.h:273
int level
Definition: gencode.h:263
u_int longjt
Definition: gencode.h:261
Definition: bpf.h:245
Definition: gencode.h:242
uset edom
Definition: gencode.h:245
int code
Definition: gencode.h:244
struct block * pred
Definition: gencode.h:247
struct edge * next
Definition: gencode.h:248
struct block * succ
Definition: gencode.h:246
u_int id
Definition: gencode.h:243
Definition: gencode.h:378
struct block * root
Definition: gencode.h:379
int cur_mark
Definition: gencode.h:380
Definition: gencode.h:291
unsigned char dir
Definition: gencode.h:294
unsigned char addr
Definition: gencode.h:292
unsigned char proto
Definition: gencode.h:293
unsigned char pad
Definition: gencode.h:295
Definition: gencode.h:213
struct stmt s
Definition: gencode.h:214
struct slist * next
Definition: gencode.h:215
Definition: gencode.h:206
struct slist * jf
Definition: gencode.h:209
struct slist * jt
Definition: gencode.h:208
int code
Definition: gencode.h:207
bpf_u_int32 k
Definition: gencode.h:210