| 
|
Quote: annotations and static analysis identified format bugs, buffer overflow bugs, and unknown flaws in wu-ftpd
topics >
all references >
references e-f >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
debugging by usage rules
Quotation Skeleton
Here, we summarize our experience analyzing wu-ftpd version … analysis was done) format and buffer overflow bugs. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: debugging by usage rules (40 items)