Browsing by Subject "Filter Generation"
Now showing items 1-1 of 1
-
Sound Input Filter Generation for Integer Overflow Errors
(2013-08-06)We present a system, SIFT, for generating input filters that nullify integer overflow errors associated with critical program sites such as memory allocation or block copy sites. SIFT uses a static program analysis to ...