blob: c41a95e436553108d50f9de8fec69fed2397543a (
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
|
// Copyright 2015 syzkaller project authors. All rights reserved.
// Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
package sys
import (
"testing"
)
func TestTransitivelyEnabledCalls(t *testing.T) {
calls := make(map[*Call]bool)
for _, c := range Calls {
calls[c] = true
}
if trans := TransitivelyEnabledCalls(calls); len(calls) != len(trans) {
for c := range calls {
if !trans[c] {
t.Logf("disabled %v", c.Name)
}
}
t.Fatalf("can't create some resource")
}
delete(calls, CallMap["epoll_create"])
if trans := TransitivelyEnabledCalls(calls); len(calls) != len(trans) {
t.Fatalf("still must be able to create epoll fd with epoll_create1")
}
delete(calls, CallMap["epoll_create1"])
trans := TransitivelyEnabledCalls(calls)
if len(calls)-5 != len(trans) ||
trans[CallMap["epoll_ctl$EPOLL_CTL_ADD"]] ||
trans[CallMap["epoll_ctl$EPOLL_CTL_MOD"]] ||
trans[CallMap["epoll_ctl$EPOLL_CTL_DEL"]] ||
trans[CallMap["epoll_wait"]] ||
trans[CallMap["epoll_pwait"]] {
t.Fatalf("epoll fd is not disabled")
}
}
func TestClockGettime(t *testing.T) {
calls := make(map[*Call]bool)
for _, c := range Calls {
calls[c] = true
}
// Removal of clock_gettime should disable all calls that accept timespec/timeval.
delete(calls, CallMap["clock_gettime"])
trans := TransitivelyEnabledCalls(calls)
if len(trans)+10 > len(calls) {
t.Fatalf("clock_gettime did not disable enough calls: before %v, after %v", len(calls), len(trans))
}
}
|
