Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard.

Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada

Browse the full APSEC paper archive.