Dr. Philipp Wendler
Akademischer Rat

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538
Munich
(Germany)
- Office
- Room F 008, Oettingenstr. 67
- Office hours
Monday 10-11please contact via e-mail- Phone
- +49 89 2180-9181
- firstname.lastname@lmu.de
- Personal Homepage
- https://www.philippwendler.de
GPG-Key
Please send me encrypted mails!
My GPG key: 0x31A9DE8C
Fingerprint: 19D5 A10B 2D97 88D8 7CBE E5ED 62C0 F78C 31A9 DE8C
Thesis Mentoring
Available topics
Currently assigned topics
Byte-level heap of predicate analysis CPAchecker [1, 2, 3]
CPAchecker currently models a program's heap as arrays of ints/floats/etc., depending on the types used in the program (cf. Section 4.4.3 of [3]). This is imprecise and prevents us from supporting functions like memset, which treat memory as an array of bytes. The goal of this project is to add an alternative heap encoding to CPAchecker's predicate analysis that allows byte-wise access to the heap and support for memset/memcpy/etc.
Finished topics
If you're a student interested in writing your thesis at our chair, you should also have a look at our full list of currently available theses.
Projects
- CPAchecker: The Configurable Software-Verification Platform
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Publications
(List at DBLP – My ORCID)
Other Responsibilities
- Employee Representative in the steering committee of the Institute of Informatics at LMU