related documents Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities Conference Proceeding