Compiler security

• Study security issues introduced by undefined behavior or compiler transformations in compiled programs.

• Generate high-quality code for testing various compiler components.

• Analyze security vulnerabilities within the compiler itself and their impact on CI/CD pipelines.

People

Xingbang He

2024-now