Static Analysis Techniques to Detect Buffer Overrun Vulnerabilites