Refactor and add new functions tested by check_kvmalloc_array_zero()#5

tititiou36 wants to merge 4 commits intoerror27:mastererror27/smatch:masterfrom

tititiou36:mastertititiou36/smatch:masterCopy head branch name to clipboard