add new models and the v3 report

[yimin-zhao]

• Add several models similar to kmalloc/kfree.
• This time I disabled liveness checker and skipped the analysis for tools/ directory.
• No new discoveries, but it filter out the unnecessary reports.

[bulwahn]

Looks good. I will ask Ozan to reproduce your results in bug.txt with the scripts that he is providing in the other pull request #7. Possibly we then split the three changes you did in three result runs, so that we can see the effect of each change in isolation.

[yimin-zhao]

Yes, infer analyze --no-liveness wil disable DEAD_STORE report plus add tools to .inferconfig. These are what I did.