blob: ab6a98c1d06edcde0b2fe9d305d8bd51cbd7cb9f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
@zeroed@
typedef Packet;
typedef uint8_t;
Packet *p;
position p1;
@@
memset(p@p1, 0, ...);
@isset@
Packet *p;
position zeroed.p1;
@@
memset(p@p1, 0, ...);
... when != p
(
p->pkt
|
PACKET_INITIALIZE(p)
)
@script:python depends on !isset@
p1 << zeroed.p1;
@@
print "Packet zeroed at %s:%s but pkt field is not set afterward." % (p1[0].file, p1[0].line)
import sys
sys.exit(1)
|
