Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "Filter Generation"

Now showing items 1-1 of 1

    • Sound Input Filter Generation for Integer Overflow Errors 

      Long, Fan; Sidiroglou-Douskos, Stelios; Kim, Deokhwan; Rinard, Martin (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 ...