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.


Thank you Dan! No rush, I am just cleaning up my environment, rebasing,
etc. so wanted to send this last piece that related to host input now. 

Best Regards,
Elena.




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

  Powered by Linux