Automatic Discovery of API-Level Vulnerabilities

V. Ganapathy, S. A. Seshia, S. Jha, T. W. Reps, and R. E. Bryant. Automatic Discovery of API-Level Vulnerabilities. Technical Report 1512, CS Dept., Univ. of Wisconsin, 2004.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@TECHREPORT{GanapathyTR1512,
  AUTHOR = "V. Ganapathy and S. A. Seshia and S. Jha and T. W. Reps and R. E. Bryant",
  TITLE = "Automatic Discovery of {API}-Level Vulnerabilities",
  INSTITUTION =  "CS Dept., Univ. of Wisconsin",
  NUMBER =    "1512",
  YEAR =    "2004",
}