prepare analysis for integer vuln. icse draft