SA4U: Practical Static Analysis for Unit Type Error Detection
Published in 37th IEEE/ACM International Conference on Automated Software Engineering (ASE ’22), 2022
Recommended citation: Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, and Xiangyu Zhang. 2022. SA4U: Practical Static Analysis for Unit Type Error Detection. In 37th IEEE/ACM International Conference on Automated Software Engineering (ASE ’22), October 10–14, 2022, Rochester, MI, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3551349.3556937 /files/sa4u.pdf
This paper describes SA4U, a tool for detecting unit type errors in C++ programs.
Recommended citation: Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, and Xiangyu Zhang. 2022. SA4U: Practical Static Analysis for Unit Type Error Detection. In 37th IEEE/ACM International Conference on Automated Software Engineering (ASE ’22), October 10–14, 2022, Rochester, MI, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3551349.3556937