]> rtime.felk.cvut.cz Git - jailhouse.git/commit
projects / jailhouse.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5976889) | patch
ci: Add Coverity model for kmalloc
authorJan Kiszka <jan.kiszka@siemens.com>
Thu, 12 Mar 2015 07:00:32 +0000 (08:00 +0100)
committerJan Kiszka <jan.kiszka@siemens.com>
Fri, 20 Mar 2015 06:10:39 +0000 (07:10 +0100)
commit222cb1e8ffb9bcc39b498e35991fe4d019bd8829
tree4edb0c63614886489a825fd41c445f19b346bdcdtree | snapshot
parent5976889a7943fa5df471b0b0eafca954a5a660dbcommit | diff
ci: Add Coverity model for kmalloc

kmalloc can actually sanitize a tained size parameter if given the right
GFP flags, namely GFP_USER (to properly tag the request origin) and
__GFP_NOWARN (to avoid WARN_ON when hitting the kmalloc limit). Model
this for Coverity so that it no longer complains about the correct
pattern we use in jailhouse_cmd_cell_create.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
ci/coverity_model.c [new file with mode: 0644] blob