Powered by Linux
Re: [PATCH] smatch_kernel_host_data: enable additional debug — Semantic Matching Tool

Re: [PATCH] smatch_kernel_host_data: enable additional debug

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Wed, May 18, 2022 at 11:07:41AM +0300, Elena Reshetova wrote:
> 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@xxxxxxxxx>
> ---

Thanks.  Applied.

It might take a while to push this because I'm trying to make some other
changes.  Smatch has become gradually unusably slow for me so it's time
for the annual DB cleanup.

regards,
dan carpenter




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux