Apex: Automated inference of error specifications for c apis

Kang, Yuan; Ray, Baishakhi; Jana, Suman;