« Home

Software Engineer Intern

AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany
2025-09 - 2025-11

Designed and implemented a pre-analysis module for MISRA C++ rule checking in the context of static analysis tool RuleChecker.

• Designed and implemented a pre-analysis module in RuleChecker to detect persistent side effects in C++ code.
• Developed a top-down Clang AST visitor in C++ to extract semantic information from program syntax, supporting MISRA C++ rule checking.
• Integrated the analyses with unit tests and small benchmarks to validate detection accuracy.
• Collaborated with the development team (approximately 20 people) through weekly meetings and technical discussions.