Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard. - Thu-Trang Nguyen; Toshiaki Aoki; Takashi Tomita; Iori Yamada (APSEC, 2019)

Reducing false positives of static analysis for SEI CERT C coding standard. - Thu Trang Nguyen; Pattaravut Maleehuan; Toshiaki Aoki; Takashi Tomita; Iori Yamada (CESSER-IP@ICSE, 2019)