summaryrefslogtreecommitdiff
path: root/tests/08-sim-subtree_checks.py
blob: 66dac3c27d2ac7e9854ec1e4e1551fc12032b8ed (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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
#!/usr/bin/env python

#
# Seccomp Library test program
#
# Copyright (c) 2012 Red Hat <pmoore@redhat.com>
# Author: Paul Moore <paul@paul-moore.com>
#

#
# This library is free software; you can redistribute it and/or modify it
# under the terms of version 2.1 of the GNU Lesser General Public License as
# published by the Free Software Foundation.
#
# This library is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License
# for more details.
#
# You should have received a copy of the GNU Lesser General Public License
# along with this library; if not, see <http://www.gnu.org/licenses>.
#

import argparse
import sys

import util

from seccomp import *

def test(args):
    f = SyscallFilter(KILL)
    # the syscall and argument numbers are all fake to make the test simpler
    f.add_rule_exactly(ALLOW, 1000,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1))
    f.add_rule_exactly(ALLOW, 1000,
                       Arg(1, EQ, 1))

    f.add_rule_exactly(ALLOW, 1001,
                       Arg(1, EQ, 1))
    f.add_rule_exactly(ALLOW, 1001,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1))

    f.add_rule_exactly(ALLOW, 1002,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2),
                       Arg(3, EQ, 3))
    f.add_rule_exactly(ALLOW, 1002,
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2))

    f.add_rule_exactly(ALLOW, 1003,
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2))
    f.add_rule_exactly(ALLOW, 1003,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2),
                       Arg(3, EQ, 3))

    f.add_rule_exactly(ALLOW, 1004,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2),
                       Arg(3, EQ, 3))
    f.add_rule_exactly(ALLOW, 1004,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 11))
    f.add_rule_exactly(ALLOW, 1004,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2),
                       Arg(3, EQ, 33))
    f.add_rule_exactly(ALLOW, 1004,
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2))

    f.add_rule_exactly(ALLOW, 1005,
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2))
    f.add_rule_exactly(ALLOW, 1005,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2),
                       Arg(3, EQ, 3))
    f.add_rule_exactly(ALLOW, 1005,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 11))
    f.add_rule_exactly(ALLOW, 1005,
                       Arg(0, EQ, 0),
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2),
                       Arg(3, EQ, 33))

    f.add_rule_exactly(ALLOW, 1006,
                       Arg(1, NE, 1),
                       Arg(2, EQ, 0))
    f.add_rule_exactly(ALLOW, 1006,
                       Arg(1, EQ, 1),
                       Arg(2, EQ, 2))
    f.add_rule_exactly(ALLOW, 1006,
                       Arg(1, NE, 1))

    f.add_rule_exactly(TRAP, 1007,
                       Arg(2, EQ, 2),
                       Arg(3, EQ, 3))
    f.add_rule_exactly(ALLOW, 1007,
                       Arg(2, EQ, 2),
                       Arg(3, NE, 3))
    f.add_rule_exactly(ALLOW, 1007,
                       Arg(3, NE, 3))
    return f

args = util.get_opt()
ctx = test(args)
util.filter_output(args, ctx)

# kate: syntax python;
# kate: indent-mode python; space-indent on; indent-width 4; mixedindent off;