Uninitialized variables: Fixed false negatives for loop variables / pointer dereference