File: analysis-checks.sechecker

package info (click to toggle)
setools 3.3.7-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 9,840 kB
  • sloc: ansic: 82,247; tcl: 13,145; cpp: 4,885; makefile: 1,603; yacc: 779; lex: 296; python: 57; sh: 50
file content (78 lines) | stat: -rw-r--r-- 1,536 bytes parent folder | download | duplicates (4)
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
<sechecker version="1.1">
<profile>
	<module name="find_domains">
		<output value="quiet"/>
		<option name="domain_attribute">
			<item value="domain"/>
		</option>
	</module>
	
	<module name="find_file_types">
		<output value="quiet"/>
		<option name="file_type_attribute">
			<item value="file_type"/>
		</option>
	</module>
	
	<module name="domain_and_file">
		<output value="short"/>
	</module>
	
	<module name="spurious_audit">
		<output value="short"/>
	</module>
	
	<module name="inc_mount">
		<output value="short"/>
	</module>

	<module name="rules_exp_nothing">
		<output value="short"/>
	</module>

	<module name="domains_wo_roles">
		<output value="short"/>
	</module>

	<module name="inc_dom_trans">
		<output value="short"/>
	</module>
 	
	<module name="find_net_domains">
		<output value="quiet"/>
		<option name="net_obj">
			<item value="netif"/>
			<item value="tcp_socket"/>
			<item value="udp_socket"/>
			<item value="node"/>
			<item value="association"/>
		</option>
	</module>
  
	<module name="find_port_types">
		<output value="quiet"/>
	</module>
 
	<module name="find_node_types">
		<output value="quiet"/>
	</module>

	<module name="find_netif_types">
		<output value="quiet"/>
	</module>

	<module name="inc_net_access">
		<output value="short"/>
	</module>

	<module name="imp_range_trans">
		<output value="short"/>
	</module>

	<module name="unreachable_doms">
		<output value="short"/>
	</module>

</profile>
</sechecker>