-
-
Notifications
You must be signed in to change notification settings - Fork 706
/
credits
185 lines (132 loc) · 4.71 KB
/
credits
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
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
Soot Credits
Soot Maintainers: Patrick Lam, Feng Qian, Ondrej Lhotak, Eric Bodden
-------------------- Soot Contributors ------------------------
(in alphabetical order)
Alexandre Bartel
- Dexpler (see SOAP '12)
Ben Bellamy
- New type assigner (see OOPSLA '08)
Will Benton
- Annotation generator for Java 5 annotations
Marc Berndl
- Soot framework optimization
- annotation
Eric Bodden
- Improvements to the Eclipse plugin
- Re-implementation of nullness analysis
- Instance Keys
- Local must-alias analysis
- Integration of JastAdd frontend
- TamiFlex support for reflection
- Support for invkedynamic (JSR 292)
Phong Co ([email protected])
- Jimple scalar optimizations
Archie Cobbs
- Added SourceFileTag, InnerClassTag, and the various ConstantValueTags
- Miscellaneous bug fixes
Torbjorn Ekman
- JastAdd-based frontend with Java 5 support; including its own
version of Java2Jimple
David Eng ([email protected])
- XML output
Etienne Gagnon ([email protected])
- Jimple typing algorithm
Chris Goard ([email protected])
- general bug fixes, hacks
- documentation
Richard Halpert ([email protected])
- lock allocation
- thread-based side effect analysis
- may-happen-in-parallel (MHP) analysis
Laurie Hendren ([email protected])
- project advisor
John Jorgensen ([email protected])
- pruning unrealizable exceptions from CFGs
- bug fixes
- documentation
Felix Kwok ([email protected])
- VTA re-implementation
Steven Lambeth
- BitSet based implementation of FlowAnalysis and other performance improvements
Patrick Lam ([email protected])
- general Soot hacker
- Grimp
- Baf implementation
- Aggregation
- second implementation of inlining and devirtualization
- Local must-not-alias analysis
Jennifer Lhotak ([email protected])
- Eclipse Plugin
- Java To Jimple
Ondrej Lhotak ([email protected])
- General bug-fixes, soot hacker
- Spark
- call graph re-implementation
Lin Li ([email protected])
- may-happen-in-parallel (MHP) analysis
Florian Loitsch ([email protected])
- PRE re-implementation
Jerome Miecznikowski ([email protected])
- Dava decompiler
Aaloan Miftah ([email protected])
- ASM based .class-to-Jimple conversion
Antoine Mine ([email protected])
- purity analysis
Nomair Naeem ([email protected])
- Dava decompiler
Matthias Perner ([email protected])
- inital invokedynamic support based on JDK7 beta
Chris Pickett ([email protected])
- documentation
- minor Jasmin fixes
Patrice Pominville ([email protected])
- Soot infrastructure
- Baf implementation & optimizations
- Jimple parser
- annotation
Feng Qian ([email protected])
- array bounds check and annotation
- contributed to documentation writing
- prepared 1.2.0 release
- Dot interface, CFGViewer
- prepared 1.2.2, 1.2.3 release
Samuel Andres Beracasa Rodriguez ([email protected])
- Improvements to the ASM frontend
Hossein Sadat-Mohtasham
- Program Dependency Graphs
Ganesh Sittampalam ([email protected])
- contributed to resolver redesign
Manu Sridharan ([email protected])
- demand-driven client-driven refinement-based context-sensitive points-to
analysis (PLDI '06)
Vijay Sundaresan ([email protected])
- first implementation of inlining and devirtualization
Julian Tibble
- Improved footprint of nullness analysis
Navindra Umanee ([email protected])
- Shimple infrastructure
Raja Vallee-Rai ([email protected])
- general Soot hacker
- API freak
Clark Verbrugge ([email protected])
- coffi hacker
- original Jimple hacker
Richard Xiao ([email protected])
- context-sensitive points-to anaysis using geometric encoding (ISSTA '11)
-------------------- Funding Acknowledgements ------------------
Funding support provided by:
- IBM's Centre for Advanced Studies
http://cas.ibm.com
- Le Fonds pour la Formation de Chercheurs et l'Aide a la
Recherche (Fonds FCAR)
http://www.fcar.qc.ca
- Natural Sciences and Engineering Research Council of
Canada (NSERC)
http://www.nserc.ca
- Richard H. Tomlinson Fellowship
- IBM Eclipse Innovation Grant
------------------------- Special Thanks -----------------------
To:
- Jonathan Meyer for providing the free software community
with Jasmin, a Java bytecode assembler.
- Our users for their patience and continuing support!