Martin Mory
Senior Software Engineer, Program Analyses at Paderborn University
Stuttgart, Baden-Württemberg, Germany
Summary
🤩
Rockstar🎓
Top SchoolMartin Mory is a senior software engineer specializing in program analyses with nine years of experience bridging academic research and practical tooling for C/C++ code. Currently completing a PhD and working at Qt Group after a long research role at Paderborn University, he focuses on highly precise static dataflow analyses and robust LLVM-based frameworks. His open-source contributions to the Phasar static analysis project show hands-on expertise improving core analysis controllers, error handling, and real-world dataflow analyses like IFDS taint and uninitialized variable checks. Trained in IT security (MSc, TU Darmstadt) and applied computer science (BS, DHBW Stuttgart), he combines security-aware thinking with deep compiler and tooling knowledge. Martin is one of those engineers who translates formal research into stable developer tools, routinely fixing subtle compilation and analysis correctness issues that other teams often miss.
9 years of coding experience
3 years of employment as a software developer
Technischen Universität DarmstadtBachelor of Science - BS, Angewandte Informatik, Bachelor of Science - BS, Angewandte Informatik at DHBW Stuttgart
Github Skills (9)
c1710
c-language10
static-analysis10
cpp10
c1110
cprogramming-language10
llvm10
program-analysis10
debug9
Programming languages (4)
Github contributions (5)
secure-software-engineering/phasar
Jul 2017 - Jan 2023
A LLVM-based static analysis framework.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 releases, 173 reviews, 117 commits in 5 years 6 months
Contributions summary:Martin primarily worked on the back-end of the LLVM-based static analysis framework. Their contributions involved modifying the `AnalysisController.cpp` file, implementing error handling in the `LLVMBasedICFG` class, and fixing issues related to data-flow analysis such as the `IFDSUninitializedVariables` and `IFDSTaintAnalysis` analyses. These changes suggest a focus on improving the core functionality and stability of the static analysis framework. Further, the user addressed compilation issues and made enhancements to the project's internal components.
cppcompile-timeanalysis-frameworkdata-flow-analysisprogram-analysis
MMory/SEPreference
May 2019 - Jan 2023
Reference implementation for the Simulator Exchange Protocol (SEP)
Contributions:1 PR, 10 pushes, 1 branch in 3 years 8 months
exchangeethereumblockchainsimulatorsep
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.