Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages | IEEE Conference Publication | IEEE Xplore

Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages


Abstract:

Static analysis is a great approach to find bugs and code smells. Some of the errors span across multiple translation units. Unfortunately, it is challenging to achieve c...Show More

Abstract:

Static analysis is a great approach to find bugs and code smells. Some of the errors span across multiple translation units. Unfortunately, it is challenging to achieve cross translation unit analysis for C family languages. In this short paper, we describe a model and an implementation for cross translation unit (CTU) symbolic execution for C. We were able to extend the scope of the analysis without modifying any of the existing checks. The analysis is implemented in the open source Clang compiler. We also measured the performance of the approach and the quality of the reports. The implementation is already accepted into mainline Clang.
Date of Conference: 27 May 2018 - 03 June 2018
Date Added to IEEE Xplore: 30 August 2018
ISBN Information:
Electronic ISSN: 2574-1934
Conference Location: Gothenburg, Sweden