Currently, I am a PhD student in University of Utah, advised by Prof. Jun Xu. I received my M.Eng degree in Nanjing University, supervised by Professor Bing Mao. I received my B.Sc. degree in School of Computer Science and Technology, Xi’an Jiaotong University, China, in 2021. You can see my cv here.

Research Interest

​ Having focused on compiler security, I now aspire to broaden my expertise by researching diverse aspects of software engineering. I am interested in using software tools to make it easier to develop correct and efficient software.

Projects

Compiler Introduced Vulnerabilities Detection

​ We propose a novel detection technique based on LLVM’s debug information system, which can efficiently identify security vulnerabilities introduced by compilers in the target program before and after compiler optimization.

outcome：One patch is reported to linux kernel and get confirmed.

code(Unorganized)

Study of Compiler Introduced Security Bugs

​ We perform a comprehensive study on compiler-introduced security bugs(CISB) and their root causes. We collect a large set of CISB in the wild by manually analyzing 4,827 potential bug reports of the most popular compilers (GCC and Clang), distilling them into a taxonomy of CISB. We have CISB data set here.