Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities

Richard M. Chang
Guofei Jiang
Sriram Sankaranarayanan
Vitaly Shmatikov
CSF (2009), pp. 186-199

Abstract