Hans Uhde Prize for Felix Stegmaier
- News
- Forschung

Felix Stegmaier received this year's Hans Uhde Prize for his master's thesis entitled "Inter-procedural Static Analysis for Unsafe Rust using PhASAR". Felix Stegmaier extended PhASAR to take into account the differences between Rust and C/C++ when compiling in preparation for the analysis. He laid the foundations for code analysis of large software systems and for possible applications in testing or IT security. He showed a remarkable insight into the scientific methodology as well as into the problem area of the thesis.
The Hans Uhde Prize is awarded annually by the Hans Uhde Foundation for outstanding scientific achievements in the engineering disciplines. The foundation was established in 1986 by Dipl.-Ing. Hans Uhde and aims to promote science, education and research.
PhASAR is an open-source static analysis framework developed for the analysis of C/C++ programs at the LLVM intermediate representation (IR) level. It enables researchers and developers to define and solve various data flow problems fully automatically. The framework provides essential analyses such as call graph construction, points-to-analysis and class hierarchy analysis and facilitates the development of interprocedural analyses. It was developed by Philipp Schubert, Ben Hermann and Eric Bodden during Prof. Hermann's time at the University of Paderborn and is currently a thriving open source project with a number of very active contributors outside the original team.