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