forked from robovm/soot
-
Notifications
You must be signed in to change notification settings - Fork 2
/
credits
166 lines (119 loc) · 4.15 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
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
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
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
Antoine Mine ([email protected])
- purity analysis
Nomair Naeem ([email protected])
- Dava decompiler
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
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
-------------------- 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!