SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs.

Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu

Browse the full SEKE paper archive.