Skip to content

Commit 148d160

Browse files
StevenArztStevenArzt
authored
Merge pull request #805 from MarcMil/dev-marc
Improve .NET support
2 parents 1083570 + 583a934 commit 148d160

File tree

6 files changed

+576
-2
lines changed

6 files changed

+576
-2
lines changed

‎soot-infoflow-summaries/summariesManual/System.ArraySegment`1.xml‎

Lines changed: 113 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,113 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<hierarchy superClass="System.ValueType" />
4+
<methods>
5+
6+
<method id="void &lt;init&gt;(System.Object[])">
7+
<flows>
8+
<flow isAlias="false" typeChecking="false">
9+
<from sourceSinkType="Parameter" ParameterIndex="0" />
10+
<to sourceSinkType="Field"
11+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
12+
AccessPathTypes="[java.lang.Object[]]"
13+
/>
14+
</flow>
15+
</flows>
16+
</method>
17+
18+
<method id="void &lt;init&gt;(System.Object[],int,int)">
19+
<flows>
20+
<flow isAlias="false" typeChecking="false">
21+
<from sourceSinkType="Parameter" ParameterIndex="0" />
22+
<to sourceSinkType="Field"
23+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
24+
AccessPathTypes="[java.lang.Object[]]"
25+
/>
26+
</flow>
27+
</flows>
28+
</method>
29+
30+
<method id="void CopyTo(System.Object[])">
31+
<flows>
32+
<flow isAlias="false" typeChecking="false">
33+
<from sourceSinkType="Parameter" ParameterIndex="0" />
34+
<to sourceSinkType="Field"
35+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
36+
AccessPathTypes="[java.lang.Object[]]"
37+
/>
38+
</flow>
39+
</flows>
40+
</method>
41+
42+
<method id="void CopyTo(System.Object[],int)">
43+
<flows>
44+
<flow isAlias="false" typeChecking="false">
45+
<from sourceSinkType="Parameter" ParameterIndex="0" />
46+
<to sourceSinkType="Field"
47+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
48+
AccessPathTypes="[java.lang.Object[]]"
49+
/>
50+
</flow>
51+
</flows>
52+
</method>
53+
54+
<method id="void CopyTo(System.ArraySegment`1)">
55+
<flows>
56+
<flow isAlias="false" typeChecking="false">
57+
<from sourceSinkType="Parameter" ParameterIndex="0" />
58+
<to sourceSinkType="Field"
59+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
60+
AccessPathTypes="[java.lang.Object[]]"
61+
/>
62+
</flow>
63+
</flows>
64+
</method>
65+
66+
67+
<method id="System.Object[] ToArray()">
68+
<flows>
69+
<flow isAlias="false" typeChecking="false">
70+
<from sourceSinkType="Field"
71+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
72+
AccessPathTypes="[java.lang.Object[]]"
73+
/>
74+
<to sourceSinkType="Return" />
75+
</flow>
76+
</flows>
77+
</method>
78+
79+
<method id="System.ArraySegment`1 op_Implicit(System.Object[])">
80+
<flows>
81+
<flow isAlias="false">
82+
<from sourceSinkType="Parameter" ParameterIndex="0" />
83+
<to sourceSinkType="Return" />
84+
</flow>
85+
</flows>
86+
</method>
87+
88+
<method id="System.ArraySegment`1 CreateDeepStructCopy()">
89+
<flows>
90+
<flow isAlias="false">
91+
<from sourceSinkType="Field"
92+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
93+
AccessPathTypes="[java.lang.Object[]]"
94+
/>
95+
<to sourceSinkType="Return" />
96+
</flow>
97+
</flows>
98+
</method>
99+
100+
101+
<method id="System.Object[] get_Array()">
102+
<flows>
103+
<flow isAlias="false">
104+
<from sourceSinkType="Field"
105+
AccessPath="[System.ArraySegment`1: java.lang.Object[] innerArray]"
106+
AccessPathTypes="[java.lang.Object[]]"
107+
/>
108+
<to sourceSinkType="Return" />
109+
</flow>
110+
</flows>
111+
</method>
112+
</methods>
113+
</summary>

‎soot-infoflow-summaries/summariesManual/System.Net.Http.ByteArrayContent.xml‎

Lines changed: 100 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,100 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<hierarchy superClass="System.Net.Http.HttpContent" />
4+
<methods>
5+
<method id="void &lt;init&gt;(byte[])">
6+
<flows>
7+
<flow isAlias="false">
8+
<from sourceSinkType="Parameter" ParameterIndex="0" />
9+
<to sourceSinkType="Field"
10+
AccessPath="[okhttp3.Request$Builder: java.lang.String[] headerKeys]"
11+
AccessPathTypes="[java.lang.String[]]" />
12+
</flow>
13+
</flows>
14+
</method>
15+
16+
<method id="void &lt;init&gt;(byte[],int,int)">
17+
<flows>
18+
<flow isAlias="false">
19+
<from sourceSinkType="Parameter" ParameterIndex="0" />
20+
<to sourceSinkType="Field"
21+
AccessPath="[okhttp3.Request$Builder: java.lang.String[] headerKeys]"
22+
AccessPathTypes="[java.lang.String[]]" />
23+
</flow>
24+
</flows>
25+
</method>
26+
27+
<method id="void SerializeToStream(System.IO.Stream,System.Net.TransportContext,System.Threading.CancellationToken)">
28+
<flows>
29+
<flow isAlias="false">
30+
<from sourceSinkType="Field" />
31+
<to sourceSinkType="Parameter" ParameterIndex="0" />
32+
</flow>
33+
</flows>
34+
</method>
35+
36+
<method id="System.Threading.Tasks.Task SerializeToStreamAsync(System.IO.Stream,System.Net.TransportContext)">
37+
<flows>
38+
<flow isAlias="false">
39+
<from sourceSinkType="Field" />
40+
<to sourceSinkType="Parameter" ParameterIndex="0" />
41+
</flow>
42+
</flows>
43+
</method>
44+
45+
<method id="System.Threading.Tasks.Task SerializeToStreamAsync(System.IO.Stream,System.Net.TransportContext,System.Threading.CancellationToken)">
46+
<flows>
47+
<flow isAlias="false">
48+
<from sourceSinkType="Field" />
49+
<to sourceSinkType="Parameter" ParameterIndex="0" />
50+
</flow>
51+
</flows>
52+
</method>
53+
54+
<method id="System.Threading.Tasks.Task SerializeToStreamAsyncCore(System.IO.Stream,System.Threading.CancellationToken)">
55+
<flows>
56+
<flow isAlias="false">
57+
<from sourceSinkType="Field" />
58+
<to sourceSinkType="Parameter" ParameterIndex="0" />
59+
</flow>
60+
</flows>
61+
</method>
62+
63+
64+
<method id="System.IO.Stream CreateContentReadStream(System.Threading.CancellationToken)">
65+
<flows>
66+
<flow isAlias="false">
67+
<from sourceSinkType="Field" />
68+
<to sourceSinkType="Return" />
69+
</flow>
70+
</flows>
71+
</method>
72+
73+
<method id="System.Threading.Tasks.Task`1 CreateContentReadStreamAsync()">
74+
<flows>
75+
<flow isAlias="false">
76+
<from sourceSinkType="Field" />
77+
<to sourceSinkType="Return" />
78+
</flow>
79+
</flows>
80+
</method>
81+
82+
<method id="System.IO.Stream TryCreateContentReadStream()">
83+
<flows>
84+
<flow isAlias="false">
85+
<from sourceSinkType="Field" />
86+
<to sourceSinkType="Return" />
87+
</flow>
88+
</flows>
89+
</method>
90+
91+
<method id="System.IO.MemoryStream CreateMemoryStreamForByteArray()">
92+
<flows>
93+
<flow isAlias="false">
94+
<from sourceSinkType="Field" />
95+
<to sourceSinkType="Return" />
96+
</flow>
97+
</flows>
98+
</method>
99+
</methods>
100+
</summary>

‎soot-infoflow-summaries/summariesManual/System.Net.Http.StringContent.xml‎

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<hierarchy superClass="System.Net.Http.ByteArrayContent" />
4+
<methods>
5+
6+
<method id="void &gt;init&lt;(System.String)">
7+
<flows>
8+
<flow isAlias="false">
9+
<from sourceSinkType="Parameter" ParameterIndex="0" />
10+
<to sourceSinkType="Field" />
11+
</flow>
12+
</flows>
13+
</method>
14+
15+
<method id="void &gt;init&lt;(System.String,System.Text.Encoding)">
16+
<flows>
17+
<flow isAlias="false">
18+
<from sourceSinkType="Parameter" ParameterIndex="0" />
19+
<to sourceSinkType="Field" />
20+
</flow>
21+
</flows>
22+
</method>
23+
24+
<method id="void &gt;init&lt;(System.String,System.Text.Encoding,System.String)">
25+
<flows>
26+
<flow isAlias="false">
27+
<from sourceSinkType="Parameter" ParameterIndex="0" />
28+
<to sourceSinkType="Field" />
29+
</flow>
30+
</flows>
31+
</method>
32+
33+
<method id="byte[] GetContentByteArray(System.String,System.Text.Encoding)">
34+
<flows>
35+
<flow isAlias="false">
36+
<from sourceSinkType="Field" />
37+
<to sourceSinkType="Return" />
38+
</flow>
39+
</flows>
40+
</method>
41+
42+
<method id="System.Threading.Tasks.Task SerializeToStreamAsync(System.IO.Stream,System.Net.TransportContext,System.Threading.CancellationToken)">
43+
<flows>
44+
<flow isAlias="false">
45+
<from sourceSinkType="Field" />
46+
<to sourceSinkType="Parameter" ParameterIndex="0" />
47+
</flow>
48+
</flows>
49+
</method>
50+
51+
<method id="System.IO.Stream TryCreateContentReadStream()">
52+
<flows>
53+
<flow isAlias="false">
54+
<from sourceSinkType="Field" />
55+
<to sourceSinkType="Return" />
56+
</flow>
57+
</flows>
58+
</method>
59+
</methods>
60+
</summary>

‎soot-infoflow-summaries/summariesManual/System.Security.SecureString.xml‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<methods>
4+
<method id="void AppendChar(char)">
5+
<flows>
6+
<flow isAlias="false" typeChecking="false">
7+
<from sourceSinkType="Parameter" ParameterIndex="0" />
8+
<to sourceSinkType="Field" />
9+
</flow>
10+
</flows>
11+
</method>
12+
<method id="void Clear()">
13+
<clears>
14+
<clear sourceSinkType="Field"
15+
preventPropagation="false" />
16+
</clears>
17+
</method>
18+
<method id="void Dispose()">
19+
<clears>
20+
<clear sourceSinkType="Field"
21+
preventPropagation="false" />
22+
</clears>
23+
</method>
24+
<method id="void InsertAt(int,char)">
25+
<flows>
26+
<flow isAlias="false" typeChecking="false">
27+
<from sourceSinkType="Parameter" ParameterIndex="0" />
28+
<to sourceSinkType="Field" />
29+
</flow>
30+
</flows>
31+
</method>
32+
<method id="void SetAt(int,char)">
33+
<flows>
34+
<flow isAlias="false" typeChecking="false">
35+
<from sourceSinkType="Parameter" ParameterIndex="0" />
36+
<to sourceSinkType="Field" />
37+
</flow>
38+
</flows>
39+
</method>
40+
</methods>
41+
</summary>

0 commit comments

Comments
 (0)