| commit | 01ce2debff6e02d7affc9dbf854840199ffe771b | |
| author | Elena Reshetova <elena.reshetova@intel.com> | |
| Wed, 18 May 2022 08:07:41 +0000 (18 11:07 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 18 May 2022 08:25:05 +0000 (18 11:25 +0300) | ||
| tree | 01028b83692bb6b1a4ed61960fbeeb318b29048f | treesnapshot (tar.gz zip) |
| parent | ed5413fe3565575129a01938cfd703ceea21d52e | commitdiff |
smatch_kernel_host_data: enable additional debug
This allows calling __smatch_host_rl(*val) from the
analysed code in the same way as __smatch_user_rl, but
for the data influenced by the host in confidential
computing threat model.
Code author: Dan Carpenter
Signed-off-by: Elena Reshetova <elena.reshetova@intel.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This allows calling __smatch_host_rl(*val) from the
analysed code in the same way as __smatch_user_rl, but
for the data influenced by the host in confidential
computing threat model.
Code author: Dan Carpenter
Signed-off-by: Elena Reshetova <elena.reshetova@intel.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_debug.c | diffblobblamehistory | |
| check_debug.h | diffblobblamehistory |