Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs.

Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl N. Levitt, Matt Bishop

Browse the full DIMVA paper archive.