Apex: Automated inference of error specifications for c apis

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

Columbia University

New York City, NY 10027, USA