xen-project/xen
1
0 Fork 0
mirror of https://github.com/xen-project/xen.git synced 2026-10-28 02:01:24 +01:00
Code Issues Activity
50,735 Commits 53 Branches 377 Tags
master
Commit Graph
3 Commits
Author SHA1 Message Date
Andrew Cooper 18dca1410d Coverity: Improve model for {,un}map_domain_page() 
The first attempt resulted in several "Free of address-of
expression (BAD_FREE)" issues, because of code which relies on the fact that
any pointer in the same page is ok to pass to unmap_domain_page()

Model this property to remove the issues.

Coverity IDs: 1135356 113536{0,1} 1401300 141809{0,1} 1438864
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
 2020-01-06 17:22:17 +00:00
Andrew Cooper 5a88f6fede misc/coverity: Model __builtin_unreachable() 
This resolves 23 issues Coverity had identified by following the false path of
an ASSERT().

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
 2014-09-25 12:00:07 +02:00
Andrew Cooper 25e3f24b6d coverity: Store the modelling file in the source tree. 
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CC: Coverity Team <coverity@xenproject.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
 2014-03-12 14:14:59 +00:00