Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada. Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 70-77, IEEE, 2019. [doi]
Abstract is missing.