The goal of this thesis is to develop a static analysis to describe the contents and shapes of Strings in Java Bytecode based programs.
String contents play an important role, e.g., in determining the targets of reflective method calls or the usage of cryptographic APIs.
The analysis will be developed as a part of , a static analysis framework developed at the Software Technology group. It will provide a basis for other analyses in OPAL, such as reflection analyses. OPAL
- Patrick Mell: Advanced String Analysis for Java Bytecode.