Checker Number
FORWARD_NULL 2
GUARDED_BY_VIOLATION 1
NULL_RETURNS 3
RESOURCE_LEAK 1
Total 7