forked from soot-oss/soot
-
Notifications
You must be signed in to change notification settings - Fork 5
/
credits
173 lines (124 loc) · 4.4 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
Soot Credits
Soot Maintainers: Patrick Lam, Feng Qian, Ondrej Lhotak, Eric Bodden
-------------------- Soot Contributors ------------------------
(in alphabetical order)
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 (phong@hasc.com)
- 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 (flynn@sable.mcgill.ca)
- XML output
Etienne Gagnon (gagnon@sable.mcgill.ca)
- Jimple typing algorithm
Chris Goard (cgoard@sable.mcgill.ca)
- general bug fixes, hacks
- documentation
Richard Halpert (rhalpe@sable.mcgill.ca)
- lock allocation
- thread-based side effect analysis
- may-happen-in-parallel (MHP) analysis
Laurie Hendren (hendren@sable.mcgill.ca)
- project advisor
John Jorgensen (jjorge1@sable.mcgill.ca)
- pruning unrealizable exceptions from CFGs
- bug fixes
- documentation
Felix Kwok (wkwok@sable.mcgill.ca)
- VTA re-implementation
Patrick Lam (plam@sable.mcgill.ca)
- general Soot hacker
- Grimp
- Baf implementation
- Aggregation
- second implementation of inlining and devirtualization
- Local must-not-alias analysis
Jennifer Lhotak (jlhotak@sable.mcgill.ca)
- Eclipse Plugin
- Java To Jimple
Ondrej Lhotak (olhota@sable.mcgill.ca)
- General bug-fixes, soot hacker
- Spark
- call graph re-implementation
Lin Li (lli31@sable.mcgill.ca)
- may-happen-in-parallel (MHP) analysis
Florian Loitsch (florian@loitsch.net)
- PRE re-implementation
Jerome Miecznikowski (jerome@sable.mcgill.ca)
- Dava decompiler
Antoine Mine (Antoine.Mine@ens.fr)
- purity analysis
Nomair Naeem (nomain.naeem@mail.mcgill.ca)
- Dava decompiler
Matthias Perner (snafu@chaos-darmstadt.de)
- inital invokedynamic support based on JDK7 beta
Chris Pickett (cpicke@sable.mcgill.ca)
- documentation
- minor Jasmin fixes
Patrice Pominville (patrice@sable.mcgill.ca)
- Soot infrastructure
- Baf implementation & optimizations
- Jimple parser
- annotation
Feng Qian (fqian@sable.mcgill.ca)
- 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
Hossein Sadat-Mohtasham
- Program Dependency Graphs
Ganesh Sittampalam (ganesh@earth.li)
- contributed to resolver redesign
Manu Sridharan (manu_s@eecs.berkeley.edu)
- demand-driven client-driven refinement-based context-sensitive points-to
analysis (PLDI '06)
Vijay Sundaresan (vijay@sable.mcgill.ca)
- first implementation of inlining and devirtualization
Julian Tibble
- Improved footprint of nullness analysis
Navindra Umanee (navindra@cs.mcgill.ca)
- Shimple infrastructure
Raja Vallee-Rai (rvalleerai@sable.mcgill.ca)
- general Soot hacker
- API freak
Clark Verbrugge (clump@cs.mcgill.ca)
- coffi hacker
- original Jimple hacker
Richard Xiao (richardxx@cse.ust.hk)
- 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!