Philipp Schubert
Static Code Analysis Specialist
Bielefeld, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolPhilipp Schubert is a static code analysis specialist at Sonar and creator/maintainer of PhASAR, an LLVM-based program analysis framework used for advanced C/C++ analyzers. With nine years of experience spanning academic research and industry, he builds program analyzers, publishes at top conferences, and has delivered a full-day PhASAR tutorial at PLDI. He co-founded and manages GaZAR, a tech-focused holding, while previously driving research on secure software engineering and on-the-fly computing at Paderborn and Fraunhofer. Philipp blends deep compiler and program-analysis expertise with practical tooling work—his PhASAR contributions include core control-flow and type-system refactorings and tests that keep the framework production-ready. He also teaches C++ extensively, making his course materials openly available, reflecting a strong commitment to reproducible education.
9 years of coding experience
7 years of employment as a software developer
Bachelor of Science (B.Sc.), Bioinformatics and Genome Research, Bachelor of Science (B.Sc.), Bioinformatics and Genome Research at Universität Bielefeld
German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (7)
c-language10
static-analysis10
cprogramming-language10
llvm10
type-system8
c117
c177
Programming languages (3)
Github contributions (5)
secure-software-engineering/phasar
Apr 2017 - Nov 2022
A LLVM-based static analysis framework.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:215 reviews, 1490 commits, 380 PRs in 5 years 8 months
Contributions summary:Philipp appears to have been primarily involved in implementing and maintaining the PhASAR static analysis framework. Their commits focused on adjusting the installation targets, fixing examples, and optimizing vertex and edge properties within the codebase. The changes suggest that the user worked on the core logic of the framework, potentially refactoring aspects of the internal control flow graphs and type systems, and creating test cases for those systems.
cppcompile-timeanalysis-frameworkdata-flow-analysisprogram-analysis
GaZAR-UG/llvm-opt-pass
Mar 2021 - Oct 2021
Contributions:5 commits, 1 push in 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.