forked from hjjandy/soot-infoflow-android
-
Notifications
You must be signed in to change notification settings - Fork 0
/
exchangeFormat.xsd
113 lines (97 loc) · 4.17 KB
/
exchangeFormat.xsd
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
<?xml version="1.0"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
<xs:element name="sinkSources">
<xs:complexType>
<xs:sequence>
<xs:element name="method" type="methodType" minOccurs="1" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
<!-- Help for discribing the method for sinkSources -->
<xs:complexType name="methodType">
<xs:sequence>
<xs:element name="base" type="type" minOccurs="0" maxOccurs="1"/>
<xs:element name="return" type="type" minOccurs="0" maxOccurs="1" />
<xs:element name="param" type="typeWithIndex" minOccurs="0" maxOccurs="unbounded" />
</xs:sequence>
<xs:attribute name="signature" type="xs:string" use="required"/>
<xs:attribute name="category" type="categoryEnum" use="required" />
</xs:complexType>
<xs:complexType name="type">
<xs:sequence>
<xs:element name="accessPath" type="metaPath" maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="type" type="xs:string" use="required" />
</xs:complexType>
<xs:complexType name="typeWithIndex">
<xs:complexContent>
<xs:extension base="type">
<xs:attribute name="index" type="indexType" use="required"/>
</xs:extension>
</xs:complexContent>
</xs:complexType>
<xs:simpleType name="indexType">
<xs:restriction base="xs:int">
<xs:minInclusive value="0"/>
<xs:maxInclusive value="128" />
</xs:restriction>
</xs:simpleType>
<!-- Help type for discribing the accesspath for baseType, returnType and paramType -->
<xs:complexType name="metaPath">
<xs:sequence>
<xs:element name="pathElement" type="pathElementType" minOccurs="0" maxOccurs="unbounded"/>
</xs:sequence>
<xs:attribute name="isSource" type="xs:boolean" default="false"/>
<xs:attribute name="isSink" type="xs:boolean" default="false"/>
<xs:attribute name="length" type="xs:int" use="required" />
</xs:complexType>
<xs:complexType name="pathElementType">
<xs:simpleContent>
<xs:extension base="xs:string">
<xs:attribute name="index" type="xs:int" use="required"/>
<xs:attribute name="type" type="xs:string" use="required"/>
<xs:attribute name="field" type="xs:string" use="required"/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>
<!--Special type to describe a potential sink.
Distinguishing between all categories(ALL), sources(NO_CATEGORY-PHONE_INFORMATION), sinks(PHONE_CONNECTION-LOG) and shared (AUDIO-NFC). -->
<xs:simpleType name="categoryEnum">
<xs:restriction base="xs:string">
<xs:enumeration value="ALL" />
<xs:enumeration value="NO_CATEGORY" />
<xs:enumeration value="HARDWARE_INFO" />
<xs:enumeration value="UNIQUE_IDENTIFIER" />
<xs:enumeration value="LOCATION_INFORMATION" />
<xs:enumeration value="NETWORK_INFORMATION" />
<xs:enumeration value="ACCOUNT_INFORMATION" />
<xs:enumeration value="EMAIL_INFORMATION" />
<xs:enumeration value="FILE_INFORMATION" />
<xs:enumeration value="BLUETOOTH_INFORMATION" />
<xs:enumeration value="VOIP_INFORMATION" />
<xs:enumeration value="DATABASE_INFORMATION" />
<xs:enumeration value="PHONE_INFORMATION" />
<xs:enumeration value="PHONE_CONNECTION" />
<xs:enumeration value="INTER_APP_COMMUNINCATION" />
<xs:enumeration value="VOIP" />
<xs:enumeration value="PHONE_STATE" />
<xs:enumeration value="EMAIL" />
<xs:enumeration value="BLUETOOTH" />
<xs:enumeration value="ACCOUNT_SETTINGS" />
<xs:enumeration value="VIDEO" />
<xs:enumeration value="SYNCHRONIZATION_DATA" />
<xs:enumeration value="NETWORK" />
<xs:enumeration value="EMAIL_SETTINGS" />
<xs:enumeration value="FILE" />
<xs:enumeration value="LOG" />
<xs:enumeration value="AUDIO" />
<xs:enumeration value="SMS_MMS" />
<xs:enumeration value="CONTACT_INFORMATION" />
<xs:enumeration value="CALENDAR_INFORMATION" />
<xs:enumeration value="SYSTEM_SETTINGS" />
<xs:enumeration value="IMAGE" />
<xs:enumeration value="BROWSER_INFORMATION" />
<xs:enumeration value="NFC" />
</xs:restriction>
</xs:simpleType>
</xs:schema>